Inter-universal geometry と ABC予想 26

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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

180(1): 2018/04/14(土)18:05 ID:u23qx9re(3/4) AAS
>>177
アイデアが正しいと保証するのが証明。
証明の精度が悪くては道具にならないじゃん、

182(1): 2018/04/14(土)18:08 ID:i1Ai30US(3/9) AAS
>>180
直感的・意味論的な方向性の話だよ
完璧に証明を書ききらないと方向性が全くわからないなんてことはない