Proof theory, on the other hand, focuses on the structure and nature of mathematical proofs. Recent research in these fields has explored various aspects of modal logic and proof theory ...

In an interview with The Asahi Shimbun, Mochizuki called using IUT Theory to provide a proof of Fermat's Last Theorem a "byproduct" of his team's work. The editorial board of Kodai Mathematical ...