18/12/09 20:36:42.41 m+Zbl6nv.net
アティヤだって「間違ってました宣言」をだしたわけではないし、
彼が正しい証明を得ている可能性は「ないとは断言できない」
要するに望月のケースと同じだ。
望月が正しいという可能性は、少なくとも外形論理的にはアティヤが正しいという可能性と同じだろう。
18/12/09 20:36:42.41 m+Zbl6nv.net
アティヤだって「間違ってました宣言」をだしたわけではないし、
彼が正しい証明を得ている可能性は「ないとは断言できない」
要するに望月のケースと同じだ。
望月が正しいという可能性は、少なくとも外形論理的にはアティヤが正しいという可能性と同じだろう。