「teratailもりあがっtail」におけるサイバーいじめ (843ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
465(1): KEMONO_PANTSU ◆sRRjTYeJB. [] 2022/03/16(水)14:08
461KEMONO_PANTSU ◆sRRjTYeJB. 2022/03/16(水) 11:06:41.42
ゲーデルの不完全性定理
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ナビゲーションに移動検索に移動
ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: Gödelscher Unvollständigkeitssatz）または不完全性定理とは、数学基礎論の重要な定理[1]（数学基礎論は数理論理学や超数学とほぼ同義な分野で、計算機科学〔コンピュータ科学〕と密接に関連している[2]）。クルト・ゲーデルが1931年の論文で証明した定理であり[3]、有限の立場（形式主義）では自然数論の無矛盾性の証明が成立しないことを示す[2][3]。なお、少し拡張された有限の立場では不完全性定理は成立せず、自然数論の無矛盾性の証明が成立する（ゲンツェンの無矛盾性証明）[2]。
計算機科学者（コンピュータ科学者）・論理学者のトルケル・フランセーン[4]および数学者・論理学者の田中一之[4]によると、不完全性定理が示したものは数学用語の意味での「特定の形式体系Pにおいて決定不能な命題の存在」であり、一般的な意味での「不完全性」とは無関係である[5]。すなわち不完全性定理以降の時代にも、数学上の意味で「完全」な理論は存在し続けているが[5]、“不完全性定理は数学や理論の「不完全性」を証明した”というような誤解が一般社会・哲学・宗教・神学等によって広まり、誤用されている[6]。
「不完全性定理が成立しない体系」および「ゲーデルの完全性定理」も参照
数学の「無矛盾性」を証明することを目指したヒルベルト・プログラムに関して「不完全性定理がヒルベルトのプログラムを破壊した」という類の哲学的発言はよくあるが、これは実際の不完全性定理やゲーデルの見解とは異なる、とフランセーン達は解説している[7]。正確には、ゲーデルはヒルベルトと同様の見解を持っており、彼が不完全性定理を証明して示したのは、ヒルベルトの目的（「無矛盾性証明」）を実現するためには手段（ヒルベルト・プログラム）を拡張する必要がある、ということだった[7]。日本数学会が言うには「彼〔ゲーデル〕の結果はヒルベルトの企図を直接否定するものではなく，実際この定理の発見後に無矛盾性証明のための様々な方法論が開発されている」[3]。
「不完全性定理によるヒルベルト・プログラムの発展」も参照
495(1): 仕様書無しさん [sage] 2022/03/18(金)13:12
KPは「お互いに証明出来ない」を認めた
2chｽﾚ:prog
464 仕様書無しさん 2022/03/18(金) 12:58:33.25
ゲーデルの不完全性定理によると、463が正しいとは限らない
よって、463は463の正しさを証明出来ない
465 仕様書無しさん sage 2022/03/18(金) 13:00:34.95
>>464
その通り
お互いに証明出来ないことが証明されたな
466 KEMONO_PANTSU 神 ◆sRRjTYeJB. 2022/03/18(金) 13:01:35.72
>>465
その通り
私はteratailで何回もBANされた。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s