21/03/03 11:09:33.50 IBGui4qx.net
>>558
>いま、南出論文で、ABCの明示公式が導けるようになった
それはCor3.12を前提した上での結果なので、
その先の証明でIUT理論を使ったわけではないですよ
>その応用も示されている。
それもさらに先の話であって、Cor3.12の正当性とは無関係ですね
>望月IUT理論を（ちょっと改良して）適用すると、
>定量評価ができて、いろいろなディオファントスの明示不等式がでる
「望月IUT理論を（ちょっと改良して）適用すると」ではなく
「望月の不等式（Cor 3.12）を利用して、その先をちょっと改良すると」ですね
したがって、Cor3.12を導くまでのIUT理論についてはノータッチ
理解できてないものはいじれないですからね
南出氏だけでなく、星氏も山下氏も
>南出論文が本当ならば、（その可能性は非常に高い）
>ディオファントスの分野に与える影響は大きい
Cor3.12を前提した南出論文が正しくても、
肝心のCor3.12が不成立だと無意味ですけどね
つまり全ては「望月予想」である「望月の不等式」（Cor3.12）の正否にかかってる
また、仮に望月予想が正しいとしても、
その証明が望月とは別の人によってなされた場合
ABC予想の解決はその人によってなされたのであって
望月は単に有用な貢献としたという程度にしか見られないでしょうね
ABC予想をした人は、ABC予想を前提した上で解決される諸問題の
解決を行ったとは見られないのと全く同じく
それが評価として適切か否かは別の問題としてありますが
そういう難しいことはあなたは全く言及してないんでしょう？