4 ms·
For anyone looking for a brief, accessible explanation of the proof itself, I cannot recommend the Nagel and Newman [1] highly enough. [1] http://www.amazon.co
by jfb 13y ago
For anyone looking for a brief, accessible explanation of the proof itself, I cannot recommend the Nagel and Newman [1] highly enough.
[1] http://www.amazon.com/Gödels-Proof-Ernest-Nagel/dp/0814758371/ref=sr_1_1?ie=UTF8&qid=1380563150&sr=8-1&keywords=nagel+newman http://www.amazon.com/Gödels-Proof-Ernest-Nagel/dp/081475837...
- alok-g 13y agoWhile I loved the first few chapters of the book, and they were mind-opening, I found the explanation of the proof unsatisfactory. As I recall, it was mentioned in the preface that the book will give a complete outline of the actual proof. I did not find this to be the case, the outline seemed to jump quite a bit from one thought to another leaving me with more questions about the proofs than answers. I still do not understand the proofs (though I now nearly understand an analogous result in computer science via Jeff Ulmann's book).
- jfb 13y agoI has been a few decades since I read it for the first time, so I may be glossing it in my mind.