Quote by Gödel, Kurt
"One of the great ironies is that by trying to formalize everything, we discover what cannot be formalized."
"One of the great ironies is that by trying to formalize everything, we discover what cannot be formalized."
"I am confident that there is a complete (finite) system of axioms sufficient to prove all mathematical truths and no falsehoods."
"The more I think about language, the more it amazes me that people ever understand each other."
"A mathematician prefers to avoid even a minor error."
"Either mathematics is too big for the human mind or the human mind is more than a machine."