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   9.10ms  0.73MB