Math solved Zeno’s paradox

On some rare days when the sun is shining and I’m enjoying a well made kouign-amann (my favourite comes from b.patisserie in San Francisco but Patisserie Poupon in Baltimore will do the trick), I find a brief respite from my usual depressed state and take delight, if only for a brief moment, in the fact that mathematics completely resolved Zeno’s paradox. To me, it is the quintessential example of how mathematics can fully solve a philosophical problem and it is a shame that most people still don’t seem to know or understand this monumental fact. Although there are probably thousands of articles on Zeno’s paradox on the internet (I haven’t bothered to actually check), I feel like visiting it again today even without a kouign-amann in hand.

I don’t know what the original statement of the paradox is but they all involve motion from one location to another like walking towards a wall or throwing a javelin at a target. When you walk towards a wall, you must first cross half the distance, then half the remaining distance, and so on forever. The paradox is thus: How then can you ever reach the wall, or a javelin reach its target, if it must traverse an infinite number of intervals? This paradox is completely resolved by the concept of the mathematical limit, which Newton used to invent calculus in the seventeenth century. I think understanding the limit is the greatest leap a mathematics student must take in all of mathematics. It took mathematicians two centuries to fully formalize it although we don’t need most of that machinery to resolve Zeno’s paradox. In fact, you need no more than middle school math to solve one of history’s most famous problems.

The solution to Zeno’s paradox stems from the fact that if you move at constant velocity then it takes half the time to cross half the distance and the sum of an infinite number of intervals that are half as long as the previous interval adds up to a finite number. That’s it! It doesn’t take forever to get anywhere because you are adding an infinite number of things that get infinitesimally smaller. The sum of a bunch of terms is called a series and the sum of an infinite number of terms is called an infinite series. The beautiful thing is that we can compute this particular infinite series exactly, which is not true of all series.

Expressed mathematically, the total time t it takes for an object traveling at constant velocity to reach its target is

t = \frac{d}{v}\left( \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots\right)

which can be rewritten as

t = \frac{d}{v}\sum_{n=1}^\infty \frac{1}{2^n}

where d is the distance and v is the velocity. This infinite series is technically called a geometric series because the ratio of two subsequent terms in the series is always the same. The terms are related geometrically like the volumes of n-dimensional cubes when you have halve the length of the sides (e.g. 1-cube (line and volume is length), 2-cube (square and volume is area), 3-cube (good old cube and volume), 4-cube ( hypercube and hypervolume), etc) .

For simplicity we can take d/v = 1. So to compute the time it takes to travel the distance, we must compute:

t = \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16}\cdots

To solve this sum, the first thing is to notice that we can factor out 1/2 and obtain

t = \frac{1}{2}\left(1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8}\cdots\right)

The quantity inside the bracket is just the original series plus 1, i.e.

1 + t = 1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16}\cdots

and thus we can substitute this back into the original expression for t and obtain

t = \frac{1}{2}(1 + t)

Now, we simply solve for t and I’ll actually go over all the algebraic steps. First multiply both sides by 2 and get

2 t = 1 +t

Now, subtract t from both sides and you get the beautiful answer that t = 1. We then have the amazing fact that

t = \sum_{n=1}^\infty \frac{1}{2^n} = 1

I never get tired of this. In fact this generalizes to any geometric series

\sum_{n=1}^\infty \frac{1}{a^n} = \frac{1}{1-a} - 1

for any a that is less than 1. The more compact way to express this is

\sum_{n=0}^\infty \frac{1}{a^n} = \frac{1}{1-a}

Now, notice that in this formula if you set a = 1, you get 1/0, which is infinity. Since 1^n= 1 for any n, this tells you that if you try to add up an infinite number of ones, you’ll get infinity. Now if you set a > 1 you’ll get a negative number. Does this mean that the sum of an infinite number of positive numbers greater than 1 is a negative number? Well no because the series is only defined for a < 1, which is called the domain of convergence. If you go outside of the domain, you can still get an answer but it won’t be the answer to your question. You always need to be careful when you add and subtract infinite quantities. Depending on the circumstance it may or may not give you sensible answers. Getting that right is what math is all about.

One thought on “Math solved Zeno’s paradox

  1. 1. This geometric series is one of my favorites (partly because its one of the few i can remember how to solve).
    I also like 1+2+3+4+.. , 1-2+3-4+… exp^x… sum (a_.i^n ) and permutations
    (I can’t even remember all the terms like arithmetic, geometric, harmonic…mean. Even ‘worse’ is when one has equations and theorems named after people.)

    (Many of these series are connected to formulas partly due to Ramanujan–I forget the site —maybe ‘mathstackexchange’ — they have whole lists of integer or other sequences.
    (Wikipedia also has many, as does the ‘handbook of math functions’ by Abramowitz and Stegun.
    The ones i mostly look at have to do with decompositions of a number into primes.

    Looking at these reminds me of looking at the mountains in the Himalayas (i went to Ladack once–part of Kashmir, where again there is another conflict–i think muslims vs hindus) and Alaska/Canada along the Yukon river in winter.
    You see all these snowy mountains that look like ice cream cones , and say ‘that looks nice but I dont think i can go there’. (Besides, in Alaska it was –45F).
    Professional climbers do but that takes equipment, training, and alot of money and help usually. I dont climb anything more difficult than what you find in West Virginia which are hard and cold enough (can be -15F or at times coder.) (In Ladack you can get to maybe 20,000 feet before you hit the ice and cliffs and have to turn back. In Ladack i tried once to go visit Tibet–just over the border—i followed the trail through the snow the Tibetans used but didn’t get far–military stopped me.I also wasnt weaing any shoes—i figured ‘ i’m american and we’re exceptional so if Tibetans can walk with no shoes i easily can’. Not exactly the wisest idea but typical of my hiking ideas–eg ‘travel light’—so if its not too cold 1st thing you do is hide your tent, sleeping bag, extra clothes and most food–one can probably find food on the way and pick up your stuff on the way back . I sometimes have decided maybe i should have carried my stuff–misery now or later.)

    2. I once had a series that came out of some combinatoric ‘puzzle’ or ‘paradox’ (actually involving the 2nd law of thermodynamics) which ended up with a series (involving prime numbers). I didnt have a calculator so each day i’d calculate a few more terms to see if my algorithm ‘worked’. I think i got out to maybe 20-30 terms and it always worked. I wanted a ‘closed form solution’ (not a recursion) and looked in Abramowitz and Stegun but didn’t find it.
    (I have a feeling its actualy an easy problem which has been solved but I didn’t find the solution–or it may not exist.)

    Some of these formulas actually lead to probability distributions that look like variants of the Boltzmann distribution. You sort of have the ‘temperature’ of the number sequence. Ramanujan has a famous one which turned out be false–failed after a few million terms–so someone found a correction maybe 10-20 years ago (on arxiv).Sort of like an extra term in the ‘boltzmann distribution’.
    This might be like setting your GPS to take you to some distant planet. You get out a few billion miles and find out your algorithm took you to the neigborhing planet which is uninhabitable and once you get in its gravitational field you can’t get to the nearby one you wanted to go to–unless you install the correction factor.

    . Zeno’s paradox i call the tortoise and the hare.
    hare is racing the tortoise and gives it a head start. I like variants or counterexamples when the hare can’t catch the tortoise . For example, suppose the tortoise reproduces along the way -so then you have a whole lot and increasing number of tortoises (the baby tortoises also reproduce) all racing with the hare–and they take off on different routes.
    Maybe hare can’t beat all of them. (This may be realted to Goodstein’s theorem and the busy beaver problem.)
    There are also possibly ‘ultrafinitist’ variants. this may be an example
    (i dont really understand the paper and just found it—the author seems to be ‘real’ but also have some ‘out there ‘ ideas (also involving quantum theory .

    I think ultrafinitists deny the existence of most (ie irrational) real numbers and infinity.

    I think there are versions of pjhysics that also assume space-time-energy-information is discrete.
    (The old native american idea that ‘its turtles all the way down’ –eg you reduce quarks and electrons into their component turtles, and decompose those into smaller turtles , ends with the smallest turltle known to Man.
    I used to catch snakes basically to look at and maybe keep a few days to show people and then let them go . Ii call these 3 day pets
    I was always somewhat interested in the biggest snakes–maybe up to 7 feet was biggest i caught–and smallest–like a 4 inch snake .I’ve also seen snapping turtels as big as maybe 3 feet including the tail and as small as maybe 2 inches. I call the small ones ‘wannabe snakes and turtle’–because they act as hostile as the big ones but can’t back it up. ) I still catch these at times(its sort of an instinctive habit like a cat and a bird or dog and squirrel) though i decided its basically cruel–most very much object to being picked up.
    I caught one big water snake a few weeks ago—-previously it didn’t seem to mind but this time it ripped me up. It was the last really warm day—and perhaps it knew it didnt have time for a visit. I’m still trying to figure out if i’m going to have to see a doctor –i sort of wish it would just fix itself.

    Edward Nelson of Princeton was also an ultrafinitist. (He had a ‘stochastic mechanics theory’ which was bascially a ‘hidden variables theory’ but I think he acknowledged it didn’tget around Bell’s theorem. . He also tried in his last days to prove Peano arithmatic was inconsistant. Terrance Tao i gather found a flaw in his proof so he retratced it. (apparently used an axiom of infinity to prove infinity didn’t exist.)

    My variant of the zeno paradox might be solvable by a ‘super turing ‘ or quantum computer. the hare can race all the reproducing tortoises at the same time and beat all of them.

    (another version has achilles racing the tortoise to the galapagos islands. the turtles is going to visit relatives and to warn them acchilles is coming. he’s going to sell half the turtles to pet stores and eat the other half. depending on the structure of the mathematical universe the the turtles will either survive or else go extinct.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s