You get real understanding when you study the actual proof. For that, the best book I know is Smullyan’s Goedel’s Incompleteness Theorems. For an informal argument that can be understood by someone who doesn’t know what a formal system is, I think this one is quite good.
You get real understanding when you study the actual proof. For that, the best book I know is Smullyan’s Goedel’s Incompleteness Theorems. For an informal argument that can be understood by someone who doesn’t know what a formal system is, I think this one is quite good.