「ABC予想」の証明理論、欠陥見つけたら1.4億円 (890ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
123: 2023/07/11(火)01:19 ID:PjgQ/jiK(1) AAS
本気で証明しようと思えば自動証明用に全論理式を書き下せば証明可能なんだけど
それだけで数年かかりそうな規模な上に、IUT論文に限った話じゃなけど自動証明視線でみれば
随所に自明でないギャップが存在しているのでどこまで行っても「僕の考えたIUTの証明」にしかならない
なのでIUT賛成派以外に自動証明をやる意味はないから賞金をかけられても手を出したりしないだろう
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s