Inter-universal geometry と ABC予想 26

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

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

183(1): 2018/04/14(土)18:14 ID:ZT5tsve9(2/2) AAS
証明の精度ってなんだよ
科学実験じゃないんだから

185: 2018/04/14(土)18:35 ID:i1Ai30US(4/9) AAS
>>183
数学者か？証明自体は正しいか正しくないかだが、過程で色んな書き方がある
直感的に自明だとか証明を書いたと勘違いして、証明が不足することがある
証明過程の精度であって証明自体の精度ではない