>>889
ショルツェが言ってるのって
望月の主張するようには読めず、意味の通るようにsimplifyすると読めるが、しかしそうすると系3.12は示せない
みたいなことじゃなかった？

そもそもIUT懐疑派は、abc予想あるいは系3.12が成り立ってないと言ってるわけではなくて、望月の証明にギャップがあると言ってるわけだから、懐疑派としては形式証明のやりようがなくない？
IUT支持派も、形式証明に落とし込めるほどIUTを明確化できてれば、ハナから系3.12をもっとはっきりと証明できてるだろうし

こんな混乱した状況じゃ、支持派が仮にIUTを形式化してabc予想の証明に成功しても、懐疑派はその形式化の不備を疑うし、失敗したら今度は支持派が形式化の不備で失敗しただけ、とか言う感じにしかならなそう