The original version of this story appeared in Quanta Magazine. In 1994, an earthquake of a proof shook up the mathematical world. The mathematician Andrew Wiles had finally settled Fermat’s Last ...

Vol. 133, No. 1/2, Foundations of the Formal Sciences I (Oct. - Nov., 2002), pp. 237-255 (19 pages) We give an overview of recent results in ordinal analysis. Therefore, we discuss the different ...