Godel's Proof

Gödel’s Proof presents a readable explanation of Kurt Gödel’s landmark 1931 paper and the challenge it posed to basic assumptions in mathematics and logic. It also sets out the broad implications of the discovery in plain language, making a famously difficult subject more approachable.

The text is aimed at educated readers with an interest in logic and philosophy, as well as students and professionals in mathematics, computer science, logic, philosophy, and science. It offers a route into a major idea that shaped modern thinking about formal systems and mathematical proof.