[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
611(1): トイレのうんち 05/02(金)16:36 ID:gUNjSKXL(14/28) AAS
>>605
> ゲーデルの不完全性定理 第二不完全性定理より
> "初等的な自然数論"を含む理論 Tが無矛盾ならば，
> Tの無矛盾性を表す命題 Con(T) がその体系で証明できない
> つまり 間違いを示すことの方が、簡単な場合が多い
> 証明や理論が正しいことの証明は、以外と難しいものだ
全くトンチンカン 頭大丈夫？
省18
615: 現代数学の系譜 雑談 ◆yH25M02vWFhP 05/02(金)16:48 ID:s/7BO1KV(7/11) AAS
>>611
(引用開始)
ちなみにゲーデルの第二無矛盾性定理は
「自然数論の無矛盾性って難しいよ」
っていう主張ではなく
「自然数論の無矛盾性を表す命題が
自然数論の中で表すことができかつ
省9
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s