c. 408 -- 355 BC | Exhaustion, Proportion & the Cosmos
The mathematician who tamed the infinite, saved Greek geometry from the irrational crisis, and built the first scientific model of the heavens
Eudoxus was born around 408 BC in Cnidus, a prosperous Greek city on the coast of Asia Minor (modern Turkey), renowned for its medical school and astronomical observatory.
Despite coming from modest means, his brilliance was recognized early. He studied geometry with Archytas of Tarentum, the Pythagorean mathematician who had solved the problem of doubling the cube.
Around age 23, Eudoxus traveled to Athens to study at Plato's Academy. He was so poor that he lived in the Piraeus (the port) and walked the 10 km to the Academy daily. He remained there for several months, absorbing philosophy and mathematics.
He then traveled to Egypt, where he studied astronomy with the priests at Heliopolis for over a year, observing and cataloguing stars.
A Dorian colony with a famous temple of Aphrodite and a distinguished school of medicine associated with Hippocrates' followers. Its observatory was among the finest in the Greek world.
A Pythagorean who applied geometry to mechanics and music. His influence on Eudoxus connected Pythagorean number theory with the new geometric methods.
The inscription "Let no one ignorant of geometry enter" reflected Plato's belief that mathematics was the path to philosophical truth. Eudoxus became the Academy's greatest mathematician.
After Egypt, Eudoxus founded his own school in Cyzicus (on the Sea of Marmara), attracting many students. His reputation grew so great that he eventually returned to Athens with his followers, becoming a leading figure at the Academy.
His relationship with Plato was complex. They admired each other's intellect but disagreed on fundamentals: Eudoxus rejected Plato's Theory of Forms, arguing that abstract Forms cannot explain the properties of physical things.
In mathematics, Eudoxus produced two revolutionary contributions that shaped all subsequent Greek geometry:
He eventually returned to Cnidus, where he served as a lawgiver and continued astronomical observations until his death around 355 BC.
Beyond mathematics, Eudoxus made major contributions to astronomy, geography, medicine, and philosophy. Ancient sources describe him as one of the most universally accomplished scholars of antiquity.
None of Eudoxus' writings survive. We know his work through Euclid (who incorporated it into the Elements), Archimedes (who refined it), and later commentators like Simplicius and Proclus.
Eudoxus built an observatory in Cnidus and wrote two works on the constellations: Phaenomena and Enoptron (Mirror). Aratus later versified the Phaenomena into a famous poem.
Eudoxus worked during the golden age of Greek mathematics, bridging the crisis of the irrationals and the systematic rigor of Euclid.
The Pythagorean discovery that √2 is irrational shattered the assumption that all magnitudes are commensurable. Proofs relying on ratios of whole numbers became suspect. Mathematics needed a new foundation.
His theory of proportions handled both rational and irrational ratios with equal rigor. It was so powerful that Dedekind explicitly modeled his construction of real numbers (1872) on Eudoxus' approach.
Zeno's paradoxes had shown the dangers of reasoning about the infinite. The method of exhaustion was partly a response: it used the infinite implicitly, through reductio ad absurdum, without ever taking an infinite limit.
The Academy fostered pure mathematics as a philosophical pursuit. Plato's demand for "saving the phenomena" (explaining celestial motions using only uniform circular motion) directly motivated Eudoxus' planetary model.
The 4th century BC saw Athens as the intellectual center of the Greek world, despite its political decline after the Peloponnesian War. The Academy, Lyceum, and other schools attracted scholars from across the Mediterranean.
Before Euclid's Elements (c. 300 BC), mathematical knowledge was scattered across various schools. Eudoxus provided the theoretical foundations that Euclid later systematized into Books V and XII.
To find the area of a circle, Eudoxus inscribed regular polygons with increasing numbers of sides. Each polygon exhausts more of the circle's area.
The key insight: at each step, the inscribed polygon captures more than half the remaining difference between itself and the circle. Therefore the remaining gap can be made smaller than any given quantity.
The proof proceeds by double reductio:
Result: the areas of two circles are in the ratio of the squares of their diameters. This is Euclid XII.2.
Eudoxus formulated the principle (later named for Archimedes): given any two magnitudes, a sufficient multiple of the smaller exceeds the larger. This excludes infinitesimals and is the foundation of the exhaustion method.
Using exhaustion, Eudoxus proved: the volume of a cone is 1/3 the cylinder with the same base and height; the volume of a pyramid is 1/3 the prism; areas of circles are as squares of diameters.
The method of exhaustion avoids actual limits. Each proof is a finite reductio. This rigorous but laborious approach meant each result required a custom proof -- there was no general integration technique.
In 1872, Dedekind wrote that his construction of real numbers via "cuts" was directly inspired by Eudoxus: "I find the origin of the notion of irrational number in Eudoxus' theory (Euclid V, Def. 5)."
"The method of exhaustion is really integration in thin disguise."
-- Carl Boyer, A History of MathematicsBefore Eudoxus, a "ratio" required commensurable magnitudes (a common measuring unit). The discovery of irrationals left ratios like diagonal : side = √2 : 1 without rigorous meaning.
Eudoxus' Definition (Euclid V, Def. 5): Magnitudes a, b are in the same ratio as c, d if and only if, for all positive integers m and n:
This definition works for all magnitudes -- rational or irrational. It is essentially a Dedekind cut avant la lettre: two ratios are equal if they partition the rationals the same way.
A Dedekind cut partitions the rationals into two sets: those less than an irrational number and those greater. Eudoxus' definition identifies a ratio with exactly such a partition. The parallel is exact and acknowledged by Dedekind himself.
Eudoxus' definition implies that ratios of magnitudes form a complete ordered field -- what we now call the real numbers. He could not have stated this explicitly, but his definition is logically equivalent.
After Hippasus revealed √2's irrationality, Greek geometry was in crisis: the Pythagorean theory of proportion failed for incommensurables. Eudoxus restored rigor by creating a proportion theory that works universally.
Euclid's Elements Book V presents Eudoxus' theory virtually unchanged. It is considered the most sophisticated and abstract book of the Elements -- closer in spirit to 19th-century analysis than to typical Greek geometry.
Plato challenged astronomers to "save the phenomena" -- explain the irregular motions of the planets using only uniform circular motion. Eudoxus answered with the first mathematical model of the cosmos.
Each planet was carried by a system of nested concentric spheres, each rotating uniformly about a different axis:
Total: 27 spheres. The combined rotation of the inner two spheres for each planet produces a figure-eight curve called the hippopede, which qualitatively reproduces retrograde motion.
Two spheres rotating at equal speeds about inclined axes produce a figure-eight on the celestial sphere. This elegant curve was the first mathematical explanation of planetary retrograde motion -- when planets appear to move backward.
The model could not account for varying brightness (distance changes) or accurately predict planetary positions. Callippus added 7 more spheres; Aristotle added "unwinding" spheres, reaching 55 total.
Despite its inaccuracies, the model established the principle that celestial phenomena should be explained by mathematical models -- the foundation of mathematical astronomy through Ptolemy, Copernicus, and Kepler.
Eudoxus pioneered a method that avoids the infinite directly but harnesses it through rigorous finite reasoning.
Inscribe & circumscribe known shapes
Show gap shrinks by > half each step
Suppose answer differs from claim
Find a polygon violating the assumption
The genius of Eudoxus is that no actual limit is taken. The proof works entirely with finite polygons. The infinite process is implicit, hidden inside the double reductio. This satisfied Greek philosophical scruples about the actual infinite (after Zeno).
Each new result required a complete new exhaustion proof. There was no general method like integration. It took Archimedes' genius to push this technique further, and 2000 years before calculus provided the general framework.
The intellectual relationship between Eudoxus and Plato is one of the most fascinating in ancient thought. They were colleagues at the Academy, but their philosophical commitments diverged sharply.
Plato held that abstract Forms (Ideas) exist independently and that physical objects merely "participate" in them. Eudoxus proposed instead that Forms are "mixed into" physical things -- a more materialist position that Aristotle tells us Plato rejected.
On pleasure, the disagreement was equally stark. Eudoxus argued that pleasure is the highest good, citing that all creatures seek it. Plato's Philebus is partly a response, arguing that the good life requires intelligence mixed with pleasure.
Despite these disagreements, Plato reportedly respected Eudoxus so much that he may have left him in charge of the Academy during one of his trips to Syracuse.
Since none of Eudoxus' works survive, reconstructing his exact contributions requires detective work through Euclid, Archimedes, Aristotle, and later commentators. Some attributions remain contested among historians.
Eudoxus' argument for pleasure as the good was taken seriously despite -- or because of -- his austere personal character. Aristotle noted that people believed him not because the argument was strong, but because of his reputation for temperance.
Because his work was absorbed into Euclid's Elements, Eudoxus is far less famous than his achievements warrant. He solved two of the deepest problems in Greek mathematics and created the first scientific cosmology.
The Eudoxus-Dedekind construction of real numbers remains the standard rigorous foundation. His theory of proportions IS the theory of real numbers, cast in geometric language.
The method of exhaustion is the direct ancestor of Riemann integration (partitioning into finer and finer pieces) and Lebesgue measure theory. The "squeeze" idea persists in every epsilon-delta proof.
Eudoxus' axiom -- that any magnitude can be exceeded by a multiple of any smaller magnitude -- defines "Archimedean" ordered fields. Non-Archimedean fields (like hyperreals with infinitesimals) violate it.
His planetary model established the principle that natural phenomena should be represented by mathematical models -- predictive, falsifiable, and refinable. This is the foundation of mathematical physics.
The completeness of the real numbers (every bounded sequence has a limit) is implicit in Eudoxus' proportion theory. This property distinguishes the reals from the rationals and is essential for analysis.
Eudoxus set the standard for mathematical rigor that Greek mathematics would follow. His influence through Euclid's Elements shaped the axiomatic method that remains the gold standard today.
Every numerical integration algorithm (trapezoidal rule, Simpson's rule, Monte Carlo) descends from Eudoxus' method: approximate a curved region with simpler shapes and refine until the error is acceptable.
CAD systems approximate curves using polygonal meshes -- exactly the exhaustion approach. Increasing mesh density "exhausts" the true surface, with error bounds guaranteed by the same logic.
The idea of decomposing complex motions into combinations of simple circular motions evolved through Ptolemy's epicycles to Fourier's decomposition of any periodic function into sines and cosines.
Computer number systems are essentially rational approximations to reals, with comparison operations that mirror Eudoxus' definition: test whether ma > nb by comparing floating-point representations.
"The concept of proportion elaborated by Eudoxus is one of the finest achievements of Greek mathematics, and it is in some ways the kernel of the whole of Book V of Euclid."
-- Wilbur Knorr, The Evolution of the Euclidean ElementsThomas Heath (1921). The authoritative treatment of Eudoxus' contributions, with detailed analysis of his proportion theory and method of exhaustion.
Wilbur Knorr (1975). Meticulous reconstruction of pre-Euclidean mathematics, tracing how Eudoxus' work was incorporated into the Elements.
Jacob Klein (1968). Philosophical analysis of how Greek mathematical concepts (especially proportion) differ from modern algebraic thinking.
Richard Dedekind (1872). The foundational paper where Dedekind acknowledges his debt to Eudoxus while constructing the real numbers rigorously.
Christopher Cullen (1996). Comparative perspective showing how Chinese astronomers solved similar problems to Eudoxus with different mathematical tools.
Otto Neugebauer (1957). Places Greek astronomy (including Eudoxus' model) in the broader context of Babylonian and Egyptian astronomical traditions.
"Eudoxus would rather be able to explain the cause of the stars than be a king."
-- Attributed to Eudoxus, recorded by PlutarchHe measured the immeasurable and gave proportion to the cosmos.
Eudoxus of Cnidus · c. 408--355 BC · Cnidus · Athens · Cyzicus