In short, Godel showed that provability is a weaker notion than truth, no matter what axiomatic system is involved.

Douglas R. Hofstadter Quotes

Privacy Policy   6.40ms  0.71MB