You Can Never Start Moving: Zeno's Dichotomy Paradox and the Problem of the Infinite

In the first installment of our infinity series, we met Zeno's Achilles paradox, which argued that a fast runner can never overtake a slow one. That paradox attacks the end of a journey. But Zeno had a more radical argument that attacks the beginning. It is called the Dichotomy, and it may be the most fundamental of all his paradoxes.

The Two Forms of the Dichotomy

The Dichotomy comes in two forms, each targeting a different aspect of motion.

The Progressive (or "Reverse") Form

Suppose you want to cross a room. Before reaching the far wall, you must reach the midpoint. Before the midpoint, the quarter-point. Before the quarter-point, the eighth-point. For any distance you must cross, there is always a shorter distance that must be crossed first.

The result is an infinite regress with no first term. There is no "first step" because every candidate step requires a prior one. It is as though you have been asked to begin counting down from infinity. There is no place to start, so motion can never begin.

The Regressive (or "Standard") Form

Now suppose you do manage to start. You reach the halfway point, then the three-quarter point, then the seven-eighths point, and so on. You pass through an infinite number of intermediate stages, each one bringing you closer to the far wall but never actually arriving. This version closely parallels the Achilles paradox: an infinite series of diminishing distances prevents completion.

Put together, the two forms create a pincer attack: you cannot start, and even if you could, you could not finish. Motion is impossible in both directions.

And yet, obviously, things move. So where is the error?

The Calculus Solution: Convergent Series

The standard response, developed gradually from Archimedes through Newton and Leibniz to Cauchy and Weierstrass, is the theory of convergent infinite series.

The infinite sum 1/2 + 1/4 + 1/8 + 1/16 + ... does not diverge to infinity. Its partial sums (1/2, 3/4, 7/8, 15/16, ...) approach 1 as a limit. In the modern epsilon-delta framework, for any positive number epsilon, no matter how small, there exists a partial sum within epsilon of 1. The limit of the series is defined as exactly 1.

The same applies to time. If you walk at a constant speed, each sub-journey takes proportionally less time. The infinite series of durations also converges to a finite total. You complete the infinite sequence of sub-journeys in finite time.

This is mathematically rigorous, and it is the answer most people learn in school. But philosophers have raised serious questions about whether it truly resolves the paradox.

Does the Limit Concept Actually Resolve the Paradox?

The philosopher Adolf Grunbaum was one of the strongest defenders of the mathematical solution. He argued that the runner's traversal of the room simply is the completion of the infinite series. There is no separate act of "arriving" that happens after all the sub-journeys. The arrival just is the limit of the process, in the same way that 1 just is the sum of the series. No gap needs to be bridged.

On the other side, critics like Max Black and J. Thomson argued that the mathematical model leaves the central question unanswered. Black's "infinity machine" thought experiment makes the objection vivid: a machine performs infinitely many tasks in finite time (each task taking half as long as the previous one). The time series converges, so the machine finishes. But what is the machine's final state? No task in the series determines it, because there is no last task. The final state seems to come from nowhere.

Thomson made this sharper with his famous lamp. A lamp is switched on at 1 minute, off at 1/2 minute remaining, on at 1/4 minute remaining, and so on. After 2 minutes, the switching sequence is complete. But is the lamp on or off? The series provides no answer, since the lamp alternates forever without settling.

If you watched Episode 3 of our series, Thomson's lamp should sound familiar. We covered it in the context of supertasks. The Dichotomy is closely related: any continuous motion, if space and time are infinitely divisible, is itself a supertask.

The defenders of the mathematical solution respond that the lamp and the infinity machine are disanalogies. Physical motion is continuous, not a sequence of discrete switching events. A runner gliding across a room does not "perform" each sub-journey as a separate act. The mathematical model of convergence correctly describes continuous motion, and no additional explanation is needed.

Who is right? That depends on a deeper question: what does it mean for space and time to be continuous?

Aristotle and the Potential/Actual Distinction

In Episode 5, we covered Aristotle's distinction between potential and actual infinity. His answer to the Dichotomy is one of the earliest and, in my view, still one of the strongest.

Aristotle argues that the room is not actually divided into infinitely many parts. It is potentially divisible: you can describe a midpoint, and then a midpoint of the remainder, and so on, without limit. But the divisions are descriptions, not physical barriers. The runner crosses one continuous distance. She does not have to pass through infinitely many gates.

The paradox, on Aristotle's reading, confuses what we can say about a process with what the process actually involves. We can describe the runner's journey using infinitely many subdivisions, but the runner does not experience or perform infinitely many sub-acts. She just runs.

This meshes well with everyday experience. Nobody stops at the midpoint, then at the quarter-point, then at the eighth-point. You simply walk across the room in one fluid motion. The infinite subdivision is an artifact of mathematical description, not a feature of the motion itself.

The challenge for Aristotle's view is explaining the relationship between the mathematical description and physical reality. If the series 1/2 + 1/4 + 1/8 + ... accurately models the distances the runner covers (and it does), then in what sense is the infinity "merely potential"? The runner really does pass through the midpoint, and the quarter-point, and so on. Every term in the infinite series corresponds to a real location the runner occupies at a real moment. The infinity seems to be right there in the motion.

The Discrete Alternative

One radical solution is to deny that space and time are infinitely divisible. If there is a smallest unit of length and a smallest unit of time, then any motion consists of finitely many jumps. The infinite regress never gets started.

Ancient atomists like Epicurus held something like this view. In the modern era, the Planck length (about 1.6 x 10^-35 meters) and Planck time (about 5.4 x 10^-44 seconds) are sometimes cited as candidates for fundamental units. However, mainstream physics does not treat these as indivisible units of space and time. They represent the scale at which our current theories break down, not necessarily a "pixel size" of reality.

The discrete view also faces its own paradoxes. If space consists of indivisible units, how do diagonal distances work? A diagonal crossing of a grid of discrete cells does not have the same length as the Pythagorean theorem predicts. And how does an object "jump" from one discrete unit to the next without passing through intermediate positions?

Modern Approaches

Contemporary discussions of the Dichotomy tend to focus on three options.

First, the "deflationary" view: the calculus answer is the complete answer. The runner's motion just is the completion of the convergent series, and no further explanation is needed or possible. This is the majority view among mathematicians and physicists, though it is less popular among philosophers of science.

Second, the "Aristotelian" view: the runner crosses a continuous distance, and the infinite subdivision is a feature of our description, not the motion. This remains attractive to many philosophers, especially those influenced by process philosophy or the metaphysics of continuity.

Third, the "structuralist" view, advanced by philosophers like James Hawthorne: the paradox reveals a genuine gap between mathematical models and physical reality. Mathematics can model motion using infinite series, but mathematical existence does not entail physical executability. We need a separate account of how physical systems implement what the models describe. On this view, the paradox is not solved but dissolved: it points to a limit of mathematical explanation, not a limit of reality.

What the Paradox Teaches Us

After 2,500 years, the Dichotomy remains philosophically alive because it sits at a genuine intersection of mathematics, physics, and metaphysics. Each discipline handles the infinite differently:

Mathematics defines the infinite rigorously through limits and set theory, and it works perfectly within that framework. Physics uses the mathematics successfully to predict and describe motion. But philosophy asks: what is actually happening when a physical being traverses a distance that can be described using infinitely many subdivisions?

The question is not whether motion happens. It obviously does. The question is what motion requires about the structure of space and time, and whether our mathematical tools are describing that structure or merely approximating it.

Zeno was not trying to prove that motion is an illusion (though some ancient sources interpret him that way). He was a student of Parmenides, who argued that reality is fundamentally one, unchanging, and indivisible. Zeno's paradoxes were designed to show that the common-sense view of a world full of separate, moving objects is riddled with contradictions. Whether you agree with his Parmenidean conclusions or not, the contradictions he identified are real, and they continue to demand answers.

Next episode, we will leave Zeno behind and enter the world of Georg Cantor, who proved something that sounds flatly impossible: some infinities are bigger than others. If you think this series has been strange so far, you have no idea what is coming.

Suggested Reading

R.M. Sainsbury, "Paradoxes" (Cambridge University Press). Chapter 1 gives an excellent overview of Zeno's paradoxes with clear philosophical analysis.

Wesley Salmon, ed., "Zeno's Paradoxes" (Hackett). The essential anthology. Includes Black, Thomson, Grunbaum, and Vlastos.

Carl Boyer, "The History of the Calculus and its Conceptual Development" (Dover). Traces how mathematicians from Archimedes to Weierstrass grappled with the infinite.

Aristotle, "Physics" Book VI. Aristotle's direct response to Zeno. Surprisingly readable.

Nick Huggett, "Zeno's Paradoxes" (Stanford Encyclopedia of Philosophy, online). The best free, peer-reviewed overview of the current state of the debate.

David Albert, "After Physics" (Harvard University Press). Chapters on the philosophy of space and time that touch on the relationship between mathematical and physical structure.