22/05/06 21:19:11 l7CO6HIe.net
This is my plain reading of Mochizuki's IUT
papers and his blog posts. In short, I suspect
he is disregarding the mathematical formalism.
When he talks about "separate universes" and
"interuniversal", I believe he literally means
that. As if one can simultaneously run several
computer programs and exchange their outcomes
during program executions, I believe he thinks
he can simultaneously operate several formal
deductive systems or separate universes and
has the power to interuniversally exchange
their intermediate products via a "functorial
algorithm" or "mutation", which seems to be
a procedure about set theoretic formulas.
Of course, this would be problematic when
there is no formal system that supports those
set theoretic operations and interpretation of
the formulas. The same criticism probably
applies to his maneuver of "forgetting the
history" and "re-initialisation". I suppose
by these he is actually illegally intervening
the formal deductive system.