
The origin of mathematical rationality | Tangente
The origin of rationality
Formalization originated in ancient Greece with the project of constructing a coherent mathematical edifice, of which Euclid is the foremost representative.


Formalization originated in ancient Greece with the project of constructing a coherent mathematical edifice, of which Euclid is the foremost representative.


Articles recommended for you.

Euclid's fifth postulate differs from the others: it seems provable. Yet its negation leads to other geometries, known as non-Euclidean geometries. They have their place within mathematics and have applications both in arithmetic, as Poincaré showed, and in general relativity.

Some profound results, such as Pythagoras' theorem, predate any awareness of mathematics as a science. Rather, once theorized and proved, these results gave rise to this science.

Two postulates in Euclid's Elements embody the ideal conception of the straightedge and compass inherited from Plato's realm of Ideas. The Alexandrian scholar built much of plane geometry—and the constructions he bequeathed to us—on these two postulates.

For two millennia, mathematicians sought to prove Euclid's fifth postulate. Adrien-Marie Legendre believed he had found a proof, before realizing that his proof implicitly assumed the truth of that same postulate. A circular argument…
Discussion
Sign in to post a comment and talk with other readers.
No comments yet. Be the first to respond.