Inter-universal geometry とABC 予想57  

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

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

651(1): 06/06(金)00:14 ID:tt45gTjn(1) AAS
機械証明しかないな
数論幾何みたいな研究で実績あるかどうか知らんけど
ジョルダンの曲線定理くらいなら機械でできる
逆に機械証明の手法入れて何か見えたりはまあしないか

652: 06/06(金)00:48 ID:ND0qG6B9(1/4) AAS
>>651
今の機械証明だと全く対応できないからこれ用のシステムを研究開発する必要がある
圏やスキームですら無くてそれら全てを超越するものだもん