[FOM] Shinichi Mochizuki on set-theoretical/foundational issues
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