Quote by Gödel, Kurt
"It is reasonable to hope that the gap between thinking and being may be closed someday."
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."