[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 48 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
880(1): 2020/04/11(土)23:21 ID:Dnk0+WH4(8/10) AAS
数学で証明をめぐってもめることは今後ともある。
みながみなワイルズのように謙虚であるとは限らない.
ギャップを埋めろという批判に対しギャップなどないと開き直る御仁もでてくるだろう。
幸い、証明の機械による検証が可能となりつつある。
ギャップがないという側は、当該部分だけでも
ギャップのない証明を書きおろして機械で検証することが半ば義務化するのではないか。
それができないのならば証明は失敗であり、証明する側がちゃんと理解していなかった証拠である。
883(2): 2020/04/11(土)23:31 ID:6znJbAfT(2/2) AAS
>>880
>証明の機械による検証が可能となりつつある。
10年後には機械証明が出来て、数学者が不要になる。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s