>>59
>結論:ショルツェ氏に若干の誤解がある。simplification は、証明の不成立の厳密な論証になっていない
百歩譲ってその通りだとして、系3.12の証明が証明になっていることの何の根拠にもなっていない。
13年かかって数学コミュニティを納得させられなかった。これがすべて。
査読者を納得させるのは簡単にできたのに不思議ですねw