With regards to the "Rucker, Infinity and the Mind" except that says: >The proof of Gödel's Incompleteness Theorem is so simple, and so sneaky, that it is almo

With regards to the "Rucker, Infinity and the Mind" except that says: >The proof of Gödel's Incompleteness Theorem is so simple, and so sneaky, that it is almost embarassing to relate. His basic procedure is as follows: (...) Actually, Godel's theorem is not that simple at all. It involves lots of hard math. And it's not about some hazy "Universal Truth Machine", it's about a specified axiomatic mathematical system with certain specific properties. The "simple" thing that RI&TM describes is a variation of the Liar's paradox. Which is somewhat like what Godel used, but he did not use it in a simplistic way, not at that level of coarseness, and surely not "embarrassingly simple to relate".