# Gödel's Proof

All Hacker News 10
This Month Hacker News 2

A few of them.

1. This book made all the patchwork ideas I had about the incompleteness theorem fall into place and click while I was doing my bachelors https://www.amazon.in/Godels-Proof-Ernest-Nagel/dp/081475837...

2. This similarly solidified a lot of patchwork ideas I had about money https://www.amazon.com/Money-Unauthorized-Biography-Coinage-...

3. This didn't make the topic click but it shed light on the entire landscape after which anything I read on unicode made sense and filled up my mental map of the whole area https://www.joelonsoftware.com/2003/10/08/the-absolute-minim...

Does it explain the proof itself in it's full glory? I had read "Godel's Proof" by Ernest Nagel et al [1] and it fell short.

[1] https://www.amazon.com/Gödels-Proof-Ernest-Nagel/dp/08147583...

Does either (claims to) explain the proof itself in it's full glory? I had read "Godel's Proof" by Ernest Nagel et al [1] and it fell short.

[1] https://www.amazon.com/Gödels-Proof-Ernest-Nagel/dp/08147583...

There is a little great book called "Godel's proof" by Nagel and Newman[1]. And definitely requires some focus but readable nevertheless.

[1] https://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/081...

Edit : removed a line

For a detailed perspective on how the proof works, I highly recommend Ernest Nagel and James Newman's book Gödel's Proof [0], mentioned in the article. Alternatively, Gödel Escher Bach by Douglas Hofstader is a classic which serves as a great (and more accessible) introduction to the proof [1].

[0] https://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/081...

[1] https://www.amazon.com/G%C3%B6del-Escher-Bach-Eternal-Golden...

Just read this book, IMO https://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/081...

It's only 160 pages and gives what seems to be a good explanation of the basics.

Here's a good adjacent read that I thought was a much clearer and relatively accessible tour through the Proof - https://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/081... - it's more of a pamphlet than a book, really.
I couldn't make it through GEB, but I read a good concise explanation in a book called Godel's Proof: https://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/081...
A few recommedations:

1. Black Like Me - John Howard Griffin - https://www.amazon.com/More-Matrix-Philosophy-Revolutions-Re...

3. Godel, Escher, Bach: An Eternal Golden Braid - Douglas Hofstadter - https://www.amazon.com/dp/0451147952/ref=sspa_dk_detail_4?ps...

6. The Fountainhead - Ayn Rand - https://www.amazon.com/Book-Why-Science-Cause-Effect/dp/0465...

8. The Education of Millionaires - Michael Ellsberg - https://www.amazon.com/Education-Millionaires-Everything-Col...

9. The Silent Corner, The Whispering Room, and The Crooked Staircase - Dean Koontz - https://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/081...

11. After Dark - Haruki Murakami - https://www.goodreads.com/book/show/17803.After_Dark

I'd highly recommend "Gödel's Proof" by Ernest Nagel and James Newman (https://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/081...). It'll probably require a bit of patience to go through, but should be fairly accessible to reader without an extensive mathematics background.
I read this little gem over the summer: Godel's Proof (http://www.amazon.com/Godels-Proof-Ernest-Nagel/dp/081475837...)

At 160 pages, it's the ideal size to carry with you everywhere you go. All summer long, any time I had an extra half an hour, I would take it out and read/re-read a chapter.

You're doing exactly what you need to do, you are putting extra effort into it.

My feeling is the "bad" cs grads usually did not put in that extra effort. Reading GEB is rarely a required par of any CS degree but reading it is an incredibly useful thing in my view. It's a thick book and takes commitment to read.

Side note: Check out this book (http://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/0814...) on Godel's proof. It's been updated by Doug Hofstadter the author of GEB. I found it pretty good. Read it slowly, two three time if needed. It will make sense.

I always found the study of logic to be very interesting. What I highly recommend reading first, however, is a layman's introduction to Gödel's Incompleteness Theorem [1]. The essential idea is, much like the conclusion in this article, that axioms are chosen and theorems are proven within the systems they create. The caveat is that no system can be proven to be complete.

[1]