Incompleteness: The Proof and Paradox of Kurt Gödel
I really enjoyed this book, a well-written balance of the history and context, the man, and an easy-to-follow explanation of diagonalizations. It updated my worldview more than most books by changing how i think about computation and the relationship between math and physics and intelligence, while still being an engaging easy read. Highly recommended :)
Rebecca Goldstein’s narrative biography traces the life of Kurt Gödel, the Austrian-born logician whose work fundamentally altered the landscape of mathematics and philosophy. Goldstein weaves together Gödel’s personal history—marked by his friendship with Albert Einstein and his later descent into paranoia—with an accessible explanation of his famous incompleteness theorems. Rather than relying on dense formalism, the book uses the context of the mid-twentieth-century intellectual world to illuminate why Gödel’s discoveries were so radical. It explores how his proofs demonstrated that any consistent formal system capable of expressing basic arithmetic contains statements that are true but unprovable within that system, thereby challenging the formalist ambitions of his contemporaries.
Description adapted from Open Library ↗.