[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
618(1): 2020/04/13(月)18:21 ID:Lx5viamn(8/10) AAS
数学理論内の論理だけで同じ数学理論に矛盾がない事の証明ができないことは、
有名なゲーデルの不完全性定理で証明されているんですよね
だとしたら、ある数学理論が無矛盾であることの調査は、
コンピュータのマシンパワーをつかって、何らかのアルゴリズムで矛盾性の
再現を試みさせてみて、すごーーーーく長い時間（人力なら10000年分とか）
理論をこねくり回しても矛盾性を発見できなければ10000年かかっても矛盾を
発見できなさそうなほどの無矛盾な数学理論って主張できるって方針
省3
641: 野暮天 2020/04/13(月)19:59 ID:ukZx7597(59/75) AAS
>>618
もし、ショルツが「IUTは矛盾している」と主張しているなら
その証明責務はショルツにあるじゃろうな
しかし、ショルツがいってるのは
「系3.12について、望月の方法では証明できそうもない」
ということじゃから、証明になっていることを示す責務は望月にある
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s