Bigness (Part 1)
Azimuth 2020-04-13
Summary:
The French mathematicians who went under the pseudonym Nicolas Bourbaki did a lot of good things—but not so much in the foundations of mathematics. In this paper, Adrian Mathias showed that their formalism was incredibly inefficient: • Adrian R. D. Mathias, A term of length 4,523,659,424,929, Synthese 133 (2002), 75–86. He proved that the definition […]