Ah yes, Godel. It's right up there with the Halting Problem and
NP-Completeness in that it's almost impossible to correctly comprehend
what its consequences actually are.
(For example, both these explanations neatly omit the fact that Godel's
theorum only applies to "sufficiently powerful systems".)
