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

[Alasdair Urquhart]

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.