I mentioned that Mark Colyvan, by way of epilogue to his Introduction to the Philosophy of Mathematics has a list of choice “mathematical results that have some philosophical interest, or in some cases are just very cool pieces of mathematics”. Some might be interested in knowing about his list. It is divided into three main parts (leaving aside the epilogue to the epilogue on “Some interesting numbers”). So we have, with his dates,
1. Philosophers’s Favourites: The Tarski-Banach Theorem (1924), Löwenheim-Skolem Theorem (1922), Godel’s Incompleteness Theorems (1931) , Cantor’s Theorem (1891), Independence of Continuum Hypothesis (1963) , Four-Colour Theorem (1976), Fermat’s Last Theorem (1995) Bayes’ Theorem (1763), The Irrationality of Square root of 2 (ca. 500 BC), The Infinitude of the Primes (ca. 300 BC).
2. The Under-Appreciated Classics: The Borsuk-Ulam Theorem (1933), Riemann Rearrangement Theorem (1854), Gauss’s Theorema Egregium (1828), Residue Theorem (1831), Poincare Conjecture (2002), Prime Number Theorem (1849). The Fundamental Theorems of Calculus (ca. 1675), Lindemann’s Theorem (1882), Fundamental Theorem of Algebra (1816), Fundamental Theorem of Arithmetic (ca. 300 BC).
3. Some Famous Open Problems: The Riemann Hypothesis, The Twin Prime Conjecture, Goldbach’s Conjecture, Infinitude of the Mersenne Primes.
Well, that strikes me as a fairly random list. And Colyvan’s comments are a pretty mixed bag too. For example, I’d have thought that one of the things of interest about the Prime Number Theorem is that, though it originally looked ‘deep’, something that required some serious apparatus to prove, it has latterly been shown to have an elementary proof (indeed can be proved in IDelta_0 + exp). Now questions about ‘depth’ of proof, and what can be revealed by proofs of different kinds, are surely of some philosophical interest, but Colyvan misses the chance to hint at them. Again, what’s the philosophical interest of the proof of the Poincaré conjecture? Colyvan gives us some human interest gossip about Grigori Perelman turning down the Fields medal and so on: but what’s the philosophical point? Perhaps Colyvan has the Poincaré conjecture on the list because it is “cool”: but then why is it especially cool (apart from the fact that it resisted proof for a long time?).
However, I’m certainly not at all averse to Colyvan’s project of giving a list of conceptually interesting mathematical problems and proofs: it could be a fun and illuminating project. What would you put on the list and why? [For more initial thoughts, see the comments on the previous blog post.]