Interuniversal geometry とABC 予想59  

[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59   (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

239(2): 2025/12/06(土)18:52 ID:lsDPHD30(1) AAS
Lean通ってもまだ認めないとか言ってる馬鹿いそうだな

240: 2025/12/06(土)18:57 ID:bRHQWQKU(11/12) AAS
>>239
leanは数学の形式化が対象だ。
IUTは望月新一教授本人が数学でなく
全く新しい理論と主張したから
対象外です？

242(1): 2025/12/06(土)19:02 ID:qakIGKJ2(3/4) AAS
>>238,239
昔の論文どのくらいまで形式化して論証してるの？
19世紀ぐらいまではそんなに論文数も多くないだろうし
もしかして全部やってる？