18/09/26 17:49:38.78 lQZBZJMo.net
望月氏は元々数学界というものをIUTT的世界観で考えているのではないかな
数学の様々な分野・方法・計算があって（異質な環構造）、それをIUTTによって復元・構成する（Multiradialアルゴリズム）
多元論的に見えるが究極的にはIUTT一元論にもっていきたいのではないかな
IUTT・IVの“Section 3: Inter-universal Formalism: the Language of Species”などその宣言のように見える
望月氏の一見頑なに見える態度はこういうところから来ているのじゃないかな
すなわち
IUTT＝新数学＝新ちゃんの数学