Zeno's Paradoxes

The setup: why Zeno wrote them

Zeno of Elea was a student of Parmenides, the philosopher who insisted that "what is" is one, eternal, and unchanging — that the world of moving, plural things we seem to perceive is illusion. Parmenides was mocked. Zeno's response was a counterattack: fine, suppose motion and plurality are real, as common sense says. He then constructs roughly forty arguments to show that this assumption produces contradictions. None of his original writing survives. We know the paradoxes through Aristotle's Physics, Book VI, and through a sixth-century commentary by Simplicius.

The strategy is reductio ad absurdum: take the opponent's premise, derive an absurdity, conclude the premise is false. If Zeno's reasoning is sound, motion is impossible — and so the everyday world of arrows in flight and runners overtaking tortoises must be appearance, not reality. Whether you accept that conclusion or not, the arguments are extraordinarily resilient.

Achilles and the Tortoise

The most famous paradox: swift Achilles races a slow tortoise that has been given a head start. To catch the tortoise, Achilles must first reach the point where the tortoise began. By the time he arrives there, the tortoise has crawled a little further. Achilles must now reach that point — but again the tortoise has moved on. This continues forever. There are infinitely many "catch-up" stages, so Achilles never overtakes the tortoise.

The trick is that each successive stage is shorter than the last. If Achilles runs ten times faster than the tortoise and the head start is 100 metres, the gaps shrink as 100, 10, 1, 0.1, 0.01, .... Common sense says he obviously catches up — and the math agrees. The infinite sum 100 + 10 + 1 + 0.1 + ... equals exactly 111.111... metres, reached in finite time. But Zeno's worry isn't whether the sum converges. It's how a physical body actually completes infinitely many distinct tasks.

The Dichotomy

To walk from A to B you must first walk to the midpoint M₁. Before reaching M₁ you must reach the midpoint between A and M₁, call it M₂. Before that, M₃, and so on. There are infinitely many such midpoints, and they cluster arbitrarily close to A. So before you can take any motion at all, you must complete infinitely many smaller motions. Motion can never even begin.

The Dichotomy is more radical than Achilles, because it threatens the very start of any journey, not just its completion. Aristotle distinguished the two: the "progressive" Dichotomy worries about finishing; the "regressive" Dichotomy worries about starting.

The Arrow

An arrow in flight, at any single instant, occupies a region exactly equal to its own size. At that instant it is not moving — there is no time during the instant for it to move. Time is composed of instants. So at every instant the arrow is at rest. So the arrow is always at rest. So motion is impossible.

This paradox attacks the very idea of velocity at an instant. Modern physics defines instantaneous velocity as a derivative — a limit of average velocities over shrinking intervals. That's a mathematical answer, but Zeno's question is metaphysical: can a body have a property (moving) at an instant when nothing happens during that instant?

The Stadium

The fourth famous paradox is harder to reconstruct, but the gist: three rows of bodies — A stationary, B moving right, C moving left at the same speed — pass each other. The B-row passes one stationary A-body in some time t. In that same t, B passes two C-bodies. Zeno argues this means t = 2t, contradiction. The paradox dissolves once you grant that velocity is relative, but Zeno was challenging the assumption that time and space are composed of indivisible minimum units. If they were, the Stadium would be a real contradiction.

The paradoxes compared

	Achilles	Dichotomy	Arrow	Stadium
Targets	Finishing motion	Starting motion	Motion at an instant	Indivisible units
Form of infinity	Infinite stages, shrinking	Infinite stages, shrinking	Continuum of instants	Discrete atoms
Mathematical answer	Convergent series	Convergent series	Limit definition of velocity	Frame relativity
Residual puzzle	Completing supertasks	Starting supertasks	Properties at instants	Discreteness of spacetime
Modern relevance	Supertask theory	Constructive math	Block-universe debate	Quantum gravity
Aristotle's reply	Distinguish potential vs actual infinity	Same	Reject "instants compose time"	Reject minimal units
Status today	Mathematically dissolved, metaphysically open	Same	Same	Largely resolved

Worked example: the geometric series

Suppose Achilles runs at 10 m/s and the tortoise at 1 m/s, with a 100-metre head start. The catch-up stages are:

Stage 1: Achilles runs 100 m  (takes 10 s).  Tortoise crawls 10 m further.
Stage 2: Achilles runs   10 m  (takes  1 s).  Tortoise crawls  1 m further.
Stage 3: Achilles runs    1 m  (takes 0.1 s). Tortoise crawls  0.1 m further.
...
Total distance:    100 + 10 + 1 + 0.1 + ... = 100/(1 − 1/10) = 111.111... m
Total time:         10 +  1 + 0.1 + ...     =  10/(1 − 1/10) =  11.111... s

The closed-form sum a + ar + ar² + ... = a/(1 − r) gives a finite total whenever |r| < 1. Cauchy gave this its rigorous footing in his 1821 Cours d'Analyse, formalising the idea of a limit. Before Cauchy, mathematicians used infinite sums freely but worried about their legitimacy — Berkeley's 1734 attack on calculus called fluxions "ghosts of departed quantities".

Aristotle's reply

Aristotle distinguished potential from actual infinity. The line from A to B contains infinitely many points potentially — you could mark a midpoint, then another, indefinitely. But it does not contain them actually as a completed totality. A runner does not have to traverse infinitely many actual things; she traverses one continuous path that is only divisible without limit. On this view, the Dichotomy and Achilles confuse a property of the description (it can be subdivided forever) with a property of the journey (it consists of infinitely many discrete acts).

Aristotle's distinction was the orthodox answer for almost two millennia. It came under pressure when Cantor (1874) showed that actual infinities are mathematically respectable, with different infinite cardinalities behaving in lawful, computable ways. The metaphysical version of Zeno's worry — whether a physical body can complete a Cantorian totality of acts — survives.

Counterarguments and modern responses

Calculus and the convergent-series response. The mathematical resolution: the infinite sum of catch-up distances is finite, so finite time suffices to complete them. Bertrand Russell endorsed this in Our Knowledge of the External World (1914), calling Zeno's argument "valid only as showing that infinite divisibility is consistent with finite extent". Most analytic philosophers regard the math as decisive on the question of whether the journey is geometrically possible.

The supertask reply. Max Black (1951), James Thomson (1954) and Paul Benacerraf (1962) revived the puzzle by treating the runner as performing a supertask: infinitely many distinct acts in finite time. Thomson's Lamp asks: a switch is flipped at t = 1/2, 3/4, 7/8, ..., reaching t = 1; at t = 1, is the lamp on or off? The series of states has no last term, so neither answer is consistent. If supertasks are incoherent, Zeno's runner is too.

The Planck-scale reply. Some physicists argue that space and time may be discrete at the Planck length (≈ 10⁻³⁵ m). If so, infinite divisibility is a mathematical idealisation, not a physical fact, and Zeno's premise — that there are infinitely many midpoints — is false in our universe. This dissolves the Dichotomy by rejecting its setup. Quantum loop gravity and causal-set theories pursue this line.

The presentist reply. If only the present moment is real (presentism), then "the arrow at an instant" is not a slice of a four-dimensional block but the whole of physical reality. The arrow has motion as a primitive present property, not a derivative of past and future positions. This sidesteps the Arrow paradox by denying that time decomposes into instants existing on equal ontological footing.

Variants and descendants

• Thomson's Lamp (1954). A switch flipped at t = 1/2, 3/4, 7/8, ... — what is its state at t = 1?
• The Ross-Littlewood paradox (1953). Ten balls into a vase, one removed, repeated infinitely with shrinking intervals — is the vase empty at t = 1?
• Benardete's paradox (1964). Infinitely many gods each block a runner at successive midpoints — the runner can't move, yet no individual god intervenes.
• The Quantum Zeno effect. Repeated measurement of an unstable quantum system slows its decay arbitrarily — a physical echo of "watched motion never moves" (Misra and Sudarshan, 1977).
• Gabriel's Horn. A solid of revolution with finite volume but infinite surface area — finite paint fills it but cannot cover its inside.

Common confusions

• "Calculus solved it" is half right. Calculus shows the infinite sum is finite. It does not address whether a body can physically perform the supertask. Both questions are real; the mathematical one was settled in the nineteenth century, the metaphysical one was not.
• Zeno is not denying that things appear to move. He is arguing that the appearance is incoherent on closer analysis — Parmenides told him so, and he is providing the technical backup.
• The Arrow is not about photographs. "An arrow at an instant looks frozen" is a modern intuition pump, not the original argument. Zeno's claim is that there is no during at an instant, so motion has no place to occur.
• Achilles doesn't lose the race. The paradox does not predict he loses; it predicts that on a certain analysis of motion, he never overtakes — yet he obviously does. That gap is the point.