下げマスの書き込み

4/26(火)　n8Wwiz6U

>>605-606　（数学と無関係な発言）
>>652
>ショルツェ氏の言い分
>「”Th 3.11までは自明（トリビアル）”
>　つまりは、”屁みたいなわかりきった命題ばかり
>　だから、Cor 3.12を証明するには、全く足りていない」
>一般の数学者 （woit、デイビッド･ロバーツ氏。ケドラヤ、ファルティングス師匠）
>「なんとか劇場とか、テータ橋梁とか、何をやろうとしているのか？　
>　そもそも、意図や数学概念が分からん」
>望月氏
>「要は遠アーベルなんよ。遠アーベルをもっともっと勉強しないと、IUTは理解出来ないんだ」

ポイント１　3.12は3.11の系ではない
ポイント２　望月は自分の証明の正当性を説明できない

つまり望月はABC予想を証明できていない
さすがの下げマスもこの事実を否定できなくなった