Every so often, the Pentagon's blue sky research arm gets slammed, for funding investigations that are a little too down-to-Earth. Then Darpa turns around, and sponsors a new project to "develop a ...

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 ...

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 ...