Gödel Without Tears, slowly, 15

[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!).

 

 

 

The post Gödel Without Tears, slowly, 15 appeared first on Logic Matters.