See my reply on a sibling comment. Also, it's one of very few popular books that goes deep on the subject of Goedel's Theorem and the limit discoveries in logic and computability. A subject that in my view deserves to be more in our collective consciousness than even Quantum Physics since it's implications are likely to be even more profound.
If I remember right, that section didn’t differ substantially from Lucas’s argument, which I thought had already been effectively rebutted (eg in Godel, Escher, Bach). But maybe I’ll take another look and see if that’s fair.
