# Gödel's Proof by Nagel and Newman

10 Hacker News commenters recommended Gödel's Proof by Nagel and Newman and 1 criticized it, November 2025 to November 2026. It was recommended in 2 of 13 months.

**Verdict:** Short, concise explanation of Gödel's incompleteness proofs, praised for conceptual clarity and as an easier read than GEB. One critic says its philosophical conclusions are wrong.

## Why people recommend it

- Short and easier than GEB (3 comments): "Also recommend this book. Very concise too, it's only around 100 pages." ([source](https://news.ycombinator.com/item?id=49293838)) "is also a great and shorter read if the scale of GEB is intimidating" ([source](https://news.ycombinator.com/item?id=49291472)) "Nagel & Newman is much better if you find GEB a slog" ([source](https://news.ycombinator.com/item?id=49292697))
- Clear conceptual introduction to proofs (3 comments): "Nagel and Newman did a great job explaining why logic as a mechanical thing has only a tenuous relationship to concepts we understand" ([source](https://news.ycombinator.com/item?id=49291830)) "I'd recommend Gödel's Proof by Nagel and Newman for a conceptual intro." ([source](https://news.ycombinator.com/item?id=49291432)) "a wonderful introduction to the proofs" ([source](https://news.ycombinator.com/item?id=49291499))
- Engrossing, quick to read (2 comments): "I found the book an absolute page turner and finished in one afternoon." ([source](https://news.ycombinator.com/item?id=48227452)) "I spent a month with the text, dipping into mild insanity" ([source](https://news.ycombinator.com/item?id=48225168))

## Alternatives hackers recommend

- [Elements by Euclid by Oliver Byrne](https://hackerapproved.com/p/elements-of-euclid.md): 17 recommend
- [Fermat's Last Theorem by Simon Singh](https://hackerapproved.com/p/fermat-s-last-theorem.md): 11 recommend
- [Principia Mathematica by Whitehead and Russell](https://hackerapproved.com/p/principia-mathematica.md): 10 recommend
- [Mathematica: A Secret World of Intuition and Curiosity by David Bessis](https://hackerapproved.com/p/mathematica-a-secret-world-of-intuition-and-curiosity.md): 9 recommend
- [Exploring Mathematics with Python by Arthur Engel](https://hackerapproved.com/p/exploring-mathematics-with-python.md): 8 recommend

## Where to get it

- [See price on Amazon](https://www.amazon.com/dp/0814758371?tag=hackerapprove-20) (affiliate link)
- [Bookshop.org](https://bookshop.org/a/130825/9780814758373) (affiliate link)

## Cite as

Hacker Approved, "Gödel's Proof by Nagel and Newman", https://hackerapproved.com/p/g-del-s-proof/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).