"It was not until the nineteenth century, chiefly through... Gauss, Bolyai, Lobachevsky, and Riemann, that the impossibility of deducing the parallel axiom from the others was demonstrated. This outcome was of the greatest intellectual importance. ...[I]t called attention... to the fact that a proof can be given of the impossibility of proving certain propositions within a given system. ...Gödel's paper is a proof of the impossibilty of formally demonstrating certain important propositions in number theory. ...[T]he resolution of that parallel axiom question forced the realization that Euclid was not the last word on the subject of geometry, since new systems of geometry can be constructed... incompatible with those adopted by Euclid. ...[I]t gradually became clear that the proper business of pure mathematicians is to derive theorems from postulated assumptions, and that it is not their concern whether the axioms are actually true."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
, , Godel's Proof (2001)
https://en.wikiquote.org/wiki/Mathematical_proof
Revision History
No revisions have been submitted for this quote.
Categories
Mathematical proof
43 quotes on TrueQuotesView all quotes by Mathematical proof →
Related Quotes
"The physicists didn't want to be bothered with the idea that maybe quantum theory is only provisional. A horn of plen…"
"Now Gödel's proof, Russell's original paradox, all these things, all stem from one common root which is inherent in a…"
"In the summer of 1914 I attended Frege's course, Logik in der Mathematik. Here he examined critically some of the cus…"
"On the subject of demonstrations, it is to be remarked that the Hindu mathematicians proved propositions both algebra…"
"Pythagoras did not possess a proof of the theorem which bears his name... he was temperamentally uninterested in proo…"
"Proof is the idol before whom the pure mathematician tortures himself."
"Another roof, another proof."
"Paul Erdős, although an atheist, spoke of an imaginary book, in which God has written down all the most beautiful mat…"
"It really is worth the trouble to invent a new symbol if we can thus remove not a few logical difficulties and ensure…"
"The great masters of modern analysis are Lagrange, Laplace, and Gauss, who were contemporaries. It is interesting to …"