"The development of mathematics toward greater precision has……" — Kurt Gödel

"The development of mathematics toward greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules... One might therefore conjecture that these axioms and rules of inference are sufficient to decide any mathematical question that can at all be formally expressed in these systems. It will be shown below that this is not the case, that on the contrary there are in the two systems mentioned relatively simple problems in the theory of integers that cannot be decided on the basis of the axioms."

Kurt Gödel

10 Quotes by Kurt Gödel

Kurt Gödel has 10 quotes on this site. A few more worth reading:

More All Quotes

This quote is filed under All Quotes, one of 128,558 quotes in that category. Here are a few more:

See all 128,558 All Quotes »