逆に望月先生は基礎論についてはど素人
modelを動かすというのが標準的数学理論では許されてない事がわかってない
しょうがないから有志の人達が無理クリ標準的な数学への解釈を試みるもことごとく失敗
ショルツ然り
iutが論文として認めてもらうには
①iutがどんな言語で記述されどんな推論規則と公理を持つか規定する、そしてiutで何が証明されれば標準の数学で何が証明できるのか示す、その上で「iutでxxが証明できたので標準の数学で◯◯が示せた」と主張する
②iutが標準の数学の枠内で議論しているというならキチンと業界内部のディファクトスタンダードで決まっている自然言語への変換の範囲内の文章に変換する
のどっちかしかない
②は色々な人が試みたが全て失敗
①は昨今のブログ見ると「iutは標準の数学の枠内」と言い出してるのでやらないんやろ、だったらinter universeはどこ行ったって話なんだがな