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   7.50ms  0.72MB