Zeno of Elea (5th century BCE) devised a series of logical puzzles arguing, seemingly persuasively, that motion is impossible — despite our everyday experience overwhelmingly showing that things obviously do move. These paradoxes remained genuinely philosophically unresolved for over two thousand years, until the rigorous 19th-century mathematical theory of infinite series and limits (see that entry) finally provided a mathematically satisfying and precise resolution.
Around 450 BCE, the Greek philosopher Zeno of Elea posed a puzzle that seems almost silly at first, yet stumped serious philosophers for two thousand years: to walk across a room, you must first travel halfway there. But before that, you must travel a quarter of the way. And before that, an eighth of the way. This continues forever, requiring infinitely many individual steps to be completed — so, Zeno argued, how could you ever actually begin moving at all, let alone finish crossing the room?
In Zeno's most celebrated example, the swift warrior Achilles races a slow-moving tortoise that's been given a modest head start. Zeno argues Achilles can logically never actually catch up: by the time Achilles reaches the tortoise's starting point, the tortoise has moved slightly further ahead. By the time Achilles reaches that new point, the tortoise has again moved a little further still. This seems to repeat forever, with the tortoise always remaining just barely ahead — suggesting, absurdly, that Achilles can never catch a mere tortoise.
Of course, in everyday reality, fast runners easily overtake slow tortoises, and people cross rooms constantly and without any apparent difficulty. The real philosophical puzzle was never about whether motion actually happens — it obviously does — but about precisely identifying the specific logical flaw in Zeno's seemingly quite reasonable-sounding argument. Finding that exact flaw, in a fully rigorous and satisfying way, required mathematics that simply didn't yet exist in Zeno's own time.
As covered in the Series & Convergence entry, Zeno's implicit assumption was that summing infinitely many individual quantities must always yield an infinite total. This is false. The specific distances in the room-crossing paradox — ½, ¼, ⅛, 1/16, ... — form a convergent geometric series that sums to exactly 1 (the full width of the room). Infinitely many sub-journeys can indeed add up to a perfectly finite total distance, and — crucially — can also be completed in a correspondingly finite total amount of time, since each successively smaller sub-journey also takes a correspondingly smaller and smaller amount of time to complete.
If Achilles runs twice as fast as the tortoise, and the tortoise starts 10 metres ahead, then Achilles closes the gap according to the sequence 10, 5, 2.5, 1.25, ... metres — a convergent geometric series summing to exactly 20 metres. Achilles genuinely does catch the tortoise, at exactly the 20 metre mark, after a perfectly finite amount of elapsed time — Zeno's argument correctly describes infinitely many discrete events happening, but incorrectly assumes, without actually proving it, that infinitely many events must necessarily require an infinite amount of total time to complete.
A different, related paradox posed by Zeno argues that a flying arrow, at any single specific instant in time, occupies one fixed, definite position, and therefore, at that precise instant, is not actually moving at all (since motion, one might argue, requires a change of position over some duration, not a state at a single, durationless instant) — so, Zeno concluded, the arrow must be perpetually motionless throughout its entire flight, since it is motionless during each and every individual instant that composes that flight. This particular version is generally considered by philosophers to be conceptually somewhat different from, and in some ways more genuinely subtle and challenging than, the more straightforwardly series-based paradoxes above — its full resolution relies more directly on the precise mathematical concept of instantaneous velocity as a well-defined derivative (a limit of average velocities over shrinking time intervals), a concept that itself only received a fully rigorous foundation with the 19th-century development of the derivative (see that entry).
Aristotle, writing considerably before the development of calculus, proposed an important early conceptual distinction between what he called "potential infinity" (an unending process that could, in principle, always be continued indefinitely further) and "actual infinity" (a genuinely completed infinite totality, treated and manipulated as a single, unified whole). Aristotle argued Zeno's paradoxes illegitimately treated space and time as if composed of actually-infinite collections of discrete points, whereas Aristotle held they should more properly be understood only in terms of potential, ongoing infinite divisibility — a genuinely important and influential early philosophical distinction, though one that mathematics would not itself fully and rigorously formalise for well over two thousand additional years.
None of Zeno's original writings survive directly. Our knowledge of his specific paradoxes comes entirely through later secondary accounts, principally in Aristotle's Physics (Book VI), along with additional later commentary from Simplicius (6th century CE). Zeno was a member of the Eleatic school of philosophy, and his paradoxes are generally understood by historians of philosophy as having been designed to indirectly defend his teacher Parmenides's controversial metaphysical claim that all apparent change and plurality in the world is fundamentally illusory — Zeno's paradoxes functioning rhetorically as a kind of reductio ad absurdum, arguing that the seemingly obvious commonsense alternative view (that motion and genuine plurality are real) leads to equally, or perhaps even more severe, logical absurdities and contradictions.
While the mathematics of convergent infinite series fully and rigorously resolves the specific quantitative puzzle of how infinitely many distances can sum to a finite total, some philosophers (including, notably, Bertrand Russell, and more recently Adolf Grünbaum, 1967) have argued that a deeper, related philosophical question persists and is not fully resolved by the mathematics alone: whether physical space and time are genuinely infinitely and continuously divisible in the actual physical world, or whether they might instead have some ultimate minimum discrete unit (analogous to how matter itself is composed of discrete, non-infinitely-divisible atoms). This deeper specific question remains actively and seriously debated within both the philosophy of physics and, to some extent, within theoretical physics itself.
Some modern theoretical physicists have speculated that space and time might not, in physical reality, be infinitely and continuously divisible after all, but could instead have a fundamental minimum meaningful physical scale — the Planck length (approximately 1.6×10⁻³⁵ metres) is sometimes informally proposed, quite speculatively, as such a possible fundamental physical limit. If ordinary continuous space and time were to be definitively shown to break down into some form of discreteness at sufficiently small physical scales, this could in principle be seen as lending a degree of genuine underlying physical support to Aristotle's ancient distinction between potential and actual infinity — though this specific idea remains highly speculative, is not experimentally established or confirmed at all, and represents an area of ongoing theoretical inquiry rather than settled or accepted physical fact.
Beyond their own specific and eventual resolution, Zeno's paradoxes are widely credited by historians of mathematics with helping to substantially motivate and stimulate the ancient development of rigorous mathematical methods for handling infinite and infinitesimal processes carefully and correctly — including, much later, directly informing and motivating both Newton and Leibniz's independent development of calculus, and subsequently the even more rigorous 19th-century epsilon-delta formalisation of limits by Cauchy and Weierstrass (see the Limit entry). In this sense, Zeno's ancient paradoxes can reasonably be understood as having posed some of the very first sustained, serious philosophical and logical challenges that ultimately, over the very long term, helped to shape and motivate the eventual creation of significant parts of modern mathematical analysis.