Quote by Gödel, Kurt
"Even if we could formalize all of mathematics, we would not thereby capture mathematical truth."
More from Gödel, Kurt
"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."