22/11/27 09:37:25.72 zRSM0dm/.net
>>189-190
>＞中島啓IMU総裁が何か考えて、「IUTの理解と普及」の差配をする
> とか、なんか中島啓氏に勝手に期待してるようですが、
中島啓IMU総裁の課題の一つに、IUTの処理があると思っています
かれは、次のICMで、IUTを入れると思うよ。遠アーベル理論の一部になるのか、あるいはIUTの中で遠アーベルを扱うのかは知らないが
>そもそも望月新一のやってることが論理的にわけわからんので
>バッサリ割愛された結果が”radical simplifications”なので、
>自分のやってることが論理的に整合していることを説明する義務は
>当然ながら望月新一一人にあります
義務？ ない�