Gがサーベイが更新されていて見てきたけど、相変わらず理解者たちは他者に対して説明する努力をするつもりはないようだ
IUTコミュニティというより、IUTコミュ障、IUT型コミュニケーション不全症候群という感じだね

Gのサーベイ最新版p.64より
-----------------
(If we use the language of species and mutations(cf. [IUTchIV,x3]), then we can rigorously formulate mono-anabelian statements
without mentioning the contents of algorithms).
-----------------
同上p.251より
-----------------
In this sur-vey, we avoid the rigorous formulation of the language of species and mutations (cf.[IUTchIV,x3]),
-----------------
“mutation”という語はこの2箇所しかないが、厳密な定式化ができているつもりならそこから単遠アーベルの効用を説明すればよいだろうに
そうすれば保守本流の数論幾何学者に無視されても他の分野から注目されるはずなのにね

彼らは数理論理学の話に持ち込みたいのではなく、むしろ逆でそれに触れられたくないのだろう