Part biography, part philosophy, very little about the proofs themselves. This opened my eyes to the larger significance of the incompleteness theorems, and made me realize that I have never understood Wittgenstein, and that I've never properly understood the notion of mathematical realism.
Books RSS
