Reddit mentions of Godel's Proof

A good place to start might be Gödel's Proof. This book really guides the reader through all the different ideas that were used for Gödel's theorems, the authors give a lot of examples and really succeed at simplifying the concepts and outlining the steps in Gödel's reasonning. Very good read. (And of course they talk about Gödel's numbering in it :) )

Godel's Proof isn't the most technical ever, but it isn't the least, and it's like 40 pages long so you can buy it for $10 on Kindle and understand Godel's incompleteness theorem before bed tonight.

A couple of people have mentioned it (I upvoted), but I thought maybe a top-level comment would be helpful. "Godel's Proof" by Ernest Nagel and James R. Newman is a very clear exposition of the theorem, requiring little to no mathematical background.

You might like this book too. It's a condensed version of Gödel's proof for the layperson, with an introduction by Hofstadter.

I am currently working my way through Godel's Proof by Nagel and Newman. So far, it
has been rather interesting. I would highly recommend it if you are
interested. Some of the formulas on the Kindle edition don't look the greatest, but it is still legible. Also, it is surprisingly affordable.

"Gödel's Proof" is a fantastic little book for anyone wishing to learn more about the Incompleteness Theorem, specifically Gödel's proof of it. It's really quite fascinating.

It's worth grokking though. I read this the Summer b/t HS and College: http://www.amazon.com/Godels-Proof-Ernest-Nagel/dp/0814758169

The preface was actually by Hofstadter. Apparently, as a child, his parents were good friends with the author, Ernest Nagel.

I've learnt a bunch of things from the book Godel's Proof