Gödel's Proof

Category: Mathematics
Author: Ernest Nagel, James Roy Newman
All Hacker News 10
This Month Hacker News 2


by eindiran   2020-07-17
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...

by anaphor   2019-09-07
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.

by wellpast   2019-09-07
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.
by undershirt   2018-10-04
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...
by mindcrime   2018-07-16
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

by rintakumpu   2018-02-23
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.
by emacdona   2017-08-19
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.

by nkassis   2017-08-19
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.

by agentultra   2017-08-19
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.