Gödel's Proof

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


by noufalibrahim   2022-11-17
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...

by alok-g   2021-06-20
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...

by alok-g   2021-06-20
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...

by rottc0dd   2021-06-20
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

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.