数学界の評決は既にずいぶん前に下っていると思いますが
明示的に決着すべく実際に行動するかわんごさんは立派だと思います
これは結果的にどう転ぶかとは無関係です
これまでIUT信奉者たちが避けてきたことですから