[I’ve retitled the previous post, to keep blog post numbers in sync with chapter numbers!]
We at last move on to the Second Theorem. In Chapter 15, we introduce the theorem, and explain its significance for Hilbert’s programme. This involves a cartoon history trying to bring out the attractions of Hilbert’s programme (surely one of the great ideas in the philosophy of maths — if only it had worked!).
[Link now removed]