20/05/12 11:12:37 jIkDYE6o.net
>>531
つづき
From what I have read and heard, I gather that currently, the shortest “proof of concept” of a non-trivial result in an existing (i.e. non-IUTT) field in Mochizuki’s work is the 300+ page argument needed to establish the abc conjecture.
It seems to me that having a shorter proof of concept (e.g. <100 pages) would help dispel scepticism about the argument.
It seems bizarre to me that there would be an entire self-contained theory whose only external application is to prove the abc conjecture after 300+ pages of set up, with no smaller fragment of this setup having any non-trivial external consequence whatsoever.
(DeepL翻訳)
私が読んだり聞いたりしたところによると、現在、望月の研究では、既存の(すなわち、非IUTTの)分野での自明でない結果の「概念証明」は、abcの推測を確立するために必要な300ページ以上の議論が最短であることがわかりました。
概念証明をもっと短く(例えば100ページ以下)することで、この議論に対する懐疑心を払拭するのに役立つように思えます。
300ページ以上の設定の後に、abcの仮定を証明することだけが唯一の外部応用である自己完結型の理論が存在することは、私には奇妙なことのように思えます。
(引用終り)