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...
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].
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...
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. 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...
[1] https://www.amazon.com/Gödels-Proof-Ernest-Nagel/dp/08147583...
[1] https://www.amazon.com/Gödels-Proof-Ernest-Nagel/dp/08147583...
[1] https://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/081...
Edit : removed a line
[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...
It's only 160 pages and gives what seems to be a good explanation of the basics.
Can be read in a couple of hours and you'll know as much about Goedel's work as any GEB reader. Nowadays even comes with a Hofstadter intro but no bulk or talking animals.
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
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.
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.
[1]