Inter-universal geometry と ABC 予想 48

[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 48 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

833(2): 2020/04/11(土)21:18 ID:6znJbAfT(1/2) AAS
>>782
今でも数学としては相手にされていないだろう。

883(2): 2020/04/11(土)23:31 ID:6znJbAfT(2/2) AAS
>>880
>証明の機械による検証が可能となりつつある。
10年後には機械証明が出来て、数学者が不要になる。