[FOM] Shinichi Mochizuki on set-theoretical/foundational issues

Alasdair Urquhart urquhart at cs.toronto.edu
Wed May 22 17:55:54 EDT 2013

In the section "Past and Current Research of Shinichi Mochizuki" on
Shinichi Mochizuki's website, there is a 2 page note by Go Yamashita
entitled "FAQ on 'Inter-Universality'".  The first question is:

"Does the proof contain non-trivial operations related to changing
the universe in the sense of the foundations of mathematics or logic?"

The answer is:  "I do *not* think so (at least at the time of writing", 
with a more detailed explanation of the answer in the note.

Go Yamashita seems to be one of the few mathematicians who are making
a serious effort to understand the attempted proof of the abc conjecture.

More information about the FOM mailing list