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   5.90ms  0.71MB