もっちの基本的業績として「復元アルゴリズム」があって
それを使ってディオファントス幾何的帰結を得るための論理が
IUTだと思う。それが正しいかどうかを読み込む気はないが
「原理的に可能なのか？」を考えることには意味はあるだろう。

ショルツとスティックス（そして他の研究者達）はそんなことは考えた上でダメと言ってるわけだろう。