>>259
＞ゲーデルの各種論文は形式化によって正しいと結論出てるの？
ゲーデルの不完全性定理は形式化しやすいよ
Natarajan Shankarによって形式化された結果はこの本に出てる
Metamathematics, Machines and Goedel's Proof
(Cambridge Tracts in Theoretical Computer Science, Series Number 38)
Inter-universal geometry と ABC予想 (応援スレ) 79
■ このスレッドは過去ログ倉庫に格納されています
280１３２人目の素数さん
2025/12/06(土) 20:32:31.88ID:7AY4hGmc■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【競馬】菊花賞(京都・G1) ゴーイントゥスカイが最後の1冠を制す！ 武豊は菊花賞最多6勝目！ 3冠ならずロブチェン14着 [ニーニーφ★]
- 竹中工務店、「特定技能」外国人をリーダーに 技能・指導力を表彰 [えりにゃん★]
- 【野球】「松井秀喜がFA選手と交渉したら全員行くかも」 巨人・新監督誕生の計り知れない効果「松井さんに口説かれて断る人おる？」 [冬月記者★]
- なぜ千葉県の魅力度は年々「ダダ下がり」なのか？ 5年間で7ランクもダウン！ ディズニーも成田空港もある県で何が起きているのか [♪♪♪★]
- 3243人が選んだ《ガンダムヒロイン》TOP10！ セイラ、アイナをおさえた1位は…？ 「幸せ半ばで散った愛娘」 [征夷大将軍★]
- 【草原火災】モンゴル当局が賠償請求検討 KDDI「法令違反ない」★4 [煮卵★]
- サンライズ出雲の寝台券キャンセル出たわ🌠一番安い早漏個室だけど高市さん！ [457294144]
- トランプさん｢オバマは無能な大統領だったイランに数十億ドル支払い核兵器開発の機会を与えた｡しかも偽医者を応援している｣ [737440712]
- 生きるか死ぬかの闘いを勝ち抜いた武豊のトレセン🐎🏡👊😅👊
- 【折り畳みiPhone】『Apple』終了。完全にもうダメ。 [153490809]
- 【実況】博衣こよりのえちえち空の軌跡the8nd🧪
- 彼の語録を聞け