“Godel showed that provability is a weaker notion than truth.”

- Douglas Hofstadter, Godel, Escher, Bach

[via An Ecstasy of Particulars]