20/05/05 15:38:12 dnbV/fKk.net
本スレから
下記、機械検証をやるのは、みんな自由だし、例えば欧州数学会が、機械検証やって、「IUTアウト！」もありじゃない？
そしたら、RIMS側は、その機械検証の検証をやることになりますよね
決着早くなるから、大賛成ですよｗ（＾＾；
Inter-universal geometry と ABC予想 51
ｽﾚﾘﾝｸ(math板:932番)-938
932 名前：１３２人目の素数さん[] 投稿日：2020/05/05(火) 14:33:36.01 ID:B4L1lDg4 [7/7]
擁護派って、もうだいぶ前から、数学的真理の擁護じゃなくて
望月とRIMSの強弁をいかに擁護するかの「弁護士の論理（小保方の論理）」になってるよね。
だから、たとえば3.12だけでも「機械検証ができないか」って水を向けられたら、
機械検証からいかに逃れるかの理屈が返って来るｗ
もはや数学的真理などどうでもいのだろう。
938 名前：１３２人目の素数さん[] 投稿日：2020/05/05(火) 14:53:12.59 ID:zuve741i [3/3]
>>932
＞「機械検証ができないか」
It's a great idea!
どれだけ時間がかかるかわかりませんが
是非実施すべきでしょう
拒む理由は全くありません