>>486
>文元氏は分かってないよ
文元氏だけでなく誰も分かってないでしょ。だって
>Is there a formal definition of what
>Mochizuki means by the term?
に対する答えは「ない」なんだから。
「宇宙」がどういう意味で使われているかは論文発表早々から
問われてきたけど、はっきりした答えが返ってきたことはない。
例えば山下氏の『"宇宙際"についてのFAQ』には
ああとも取れるし、こうとも取れるみたいに書いてある。
こうした無定義の述語が頻出するのがIUT。
"functorial algorithm"のformal definitionも見たことない。