Inter-universal geometry と ABC予想 49

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

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

998(1): 2020/04/15(水)13:39 ID:/g+JzMtk(9/9) AAS
>>990
Coqによる検証でも、人間によるテストを全部無くすことはできないが

「人間の証明を、人が再チェックして、確認する」

とかいう機械排除の口実は全く存在しない

999: 2020/04/15(水)14:26 ID:upGWUHod(3/4) AAS
>>983->>998
のやり取りみるだけで、擁護派は数学的真理などどうでもよく、
機械検証をいわれたら逃げ回り、
ひたすら「望月がABC予想を証明した功績を認めろ」と強弁しているだけであることがわかる。