20/04/06 13:34:58 Vi++uUTK.net
>>515
>これまでは証明が証明になっておらず、周りから理解されない理論は埋没していたのだから、
>過去の歴史を振り返って非難を受けた理論が今では認められているのは自明だ
そうそう
それと
「証明が証明になっておらず」は、時代に依存するって、だれか数学者のえらい人が書いていたな
つまり、例えば、ガウスとかコーシーとか、後の時代から見て、証明が雑とかの指摘はしようがないってね
後の時代になって、もっと厳密でかつシンプルで分かり易い別証明が出たりしてね
IUTも、きっと、そうなると思うよ
（ Kirti Joshiの ”Anabelomorphy”＆ ”p-adic Mochizukioid”（下記）は、その兆候と思う（＾＾； ）
（参考）
URLﾘﾝｸ(arxiv.org)
On Mochizuki’s idea of Anabelomorphy and its applications Kirti Joshi 20200305
URLﾘﾝｸ(arxiv.org)
Mochizuki’s anabelian variation of ring structures and formal groups Kirti Joshi December 11, 2019