Quote by Kurt Gödel
"The pursuit of proof often leads to the discovery of unprovability."
More from Kurt Gödel
"I am not interested in any one thing, but in the harmony of all things."
"The more I think about language, the more it amazes me that people ever understand each other at all."
"Either mathematics is too big for the human mind, or the human mind is more than a machine."
"The development of mathematics toward greater abstractness was a mistake."