『ゲーデルの不完全性定理』を解説文に含む用語の検索結果の4ページ目

「『ゲーデルの不完全性定理』」を解説文に含む見出し語の検索結果(31～40/471件中)

問題の決定可能性 - ウィキペディア小見出し辞書

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/05/28 07:09 UTC 版)「自動定理証明」の記事における「問題の決定可能性」の解説使用する論理によって、論理式の妥...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:10 UTC 版)「決定可能性」の記事における「決定不能な理論の例」の解説決定不能な理論を以下に挙げる一...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/10 06:40 UTC 版)「プリンキピア・マテマティカ」の記事における「無矛盾性と完全性」の解説残された当時の関心...

ハイキング中グレゴリー・チャイティン（Gregory "Greg" J. Chaitin, 1947年 - ）は、アルゼンチン出身、アメリカ在住の数学者、コンピュータ科学者。1960年代に情報理論の分...

計算可能性理論において帰納的分離不能対（きのうてきぶんりふのうつい、英: recursively inseparable pair)とは自然数の集合の対で帰納的集合によって分離できないものをいう(Mo...

床屋のパラドックス（とこやのパラドックス）は、数理論理学と集合論における重要なパラドックスである。このパラドックスはイギリスの論理学者バートランド・ラッセルにより考案されたラッセルのパラドックスを分か...