ブンゲン本は数学的な解説本としてはさっぱりだが
ネタ的にはいろいろ面白いことが書いてある。
たとえば、p.135では「論理だけでは数学はできません」と言い
「自然であることや、他の事実と見事に整合していることなどから
得られる、もっと直観的な「腑に落ちる」というタイプの理解」
「直観的で全体像把握型の認識も必要」と書いている。
ならば、ダブスタに陥ることなくIUTに対してもそのスタンスを取るべきだろう。
少なくとも、ディオファントス幾何における結果を導いている以上
ディオファントス幾何的な辞書で翻訳した説明は可能なはず。
もっちが欧米に呼ばれたら、当然そういう説明を求められると思う。
それで何で行きたくないかと言えば、「逃げている」と取られても仕方ないんでは。