Until the nineteenth century, geometry was regarded by everybody, including mathematicians, as the most reliable branch of knowledge. Analysis got its meaning and its legitimacy from its link with geometry.
In the nineteenth century, two disasters befell. One was the recognition that there’s more than one thinkable geometry. This was a consequence of the discovery of non-Euclidean geometries.
A second disaster was the overtaking of geometrical intuition by analysis. Space-filling curves** and continuous nowhere-differentiable curves** were shocking surprises. They exposed the fallibility of the geometric intuition on which mathematics rested.
The situation was intolerable. Geometry served from the time of Plato as proof that certainty is possible in human knowledge—including religious certainty. Descartes and Spinoza followed the geometrical style in establishing the existence of God. Loss of certainty in geometry threatened loss of all certainty.
Mathematicians of the nineteenth century rose to the challenge. Led by Dedekind and Weierstrass, they replaced geometry with arithmetic as a foundation for mathematics. This required constructing the continuum—the unbroken line segment—from the natural numbers. Dedekind,** Cantor, and Weierstrass found ways to do this. It turned out that no matter how it was done, building the continuum out of the natural numbers required new mathematical entities—infinite sets.
Sunday, May 1, 2022
Foundation for matematics: geometry or algebra?
Subscribe to:
Posts (Atom)