It's discussed through and through in Hofstadter's book "Godel,
Escher, Bach: An Eternal Golden Braid". I first dscovered it in
Rudy Rucker's "Infinity and the Mind". Actually, the understand-
ing of the theorem is the easy part. It says, basically: in any
formal system determining truths, there will be truths which the
system cannot determine. [Hence the similarity I see between
this theorem and your observation that science gets all hazy and
'I-dunno'ish at the quantum level: truths it cannot determine?]
- JPSchneider
- jschneid@hanoverdirect.com