Thursday, November 24, 2016

The problem of Achilles and the tortoise

Zeno of Elea
Zeno of Elea, a follower of Parmenides, is mainly remembered for his paradoxes which try to prove that movement does not exist, especially the paradox of Achilles and the tortoise, which asserted that it would be impossible for Achilles to catch the tortoise in a race, if he had accepted a starting handicap.
We know that Achilles runs faster than the tortoise (otherwise he could not catch it and the paradox would make no sense). As he has taken a handicap, when Achilles starts to run the tortoise will already be at a certain distance, at point A. When Achilles reaches point A, the tortoise will have advanced to point B. When Achilles reaches B, the tortoise is already in C, and so on, ad infinitum.
The time Achilles needs to catch the tortoise will be the sum of the times it takes him to reach points A, B, C... The total time is, therefore, the sum of an infinite series of numbers. The problem is that Zeno thinks that the sum of an infinite series of numbers must be infinite, so Achilles will never catch the tortoise (this is the conclusion of his reasoning). This, however, is not true: there are many infinite series whose sum is finite. One of them is precisely the series that computes the time needed by Achilles to catch the tortoise, according to Zeno’s reasoning.

Suppose, for instance, that Achilles runs at twice the speed of the tortoise. We will use, as the unit of time, the time needed by Achilles to reach point A. Then the time series in Zeno’s reasoning is 1, 1/2, 1/4, 1/8, 1/16..., whose sum is 2. In other words, Achilles catches the tortoise in double the time he needs to reach the point where the tortoise was, when he started running.

Proof
The solution of this first-degree equation is x=2

This reasoning can be generalized. Assume that Achilles runs r times faster than the tortoise, where r is any real number greater than 1 (we know that Achilles must outrun the tortoise). The time he takes to catch it, obtained by adding Zeno’s series, is equal to r/(r-1). That is, if Achilles runs three times faster than the tortoise, he will catch it at a time 1.5 times greater than the time it takes him to reach point A. If he just runs 10% faster than the tortoise, it would cost him 11 times that time.

Although the problem of Achilles and the tortoise collides too much with common sense for anyone to take it seriously, for over two millennia it remained in the subconscious of philosophers and mathematicians as an unsolved problem, until the development of the theory of numerical series in the nineteenth century made it possible to consider it closed. This proved that Zeno’s theory regarding the inexistence and the impossibility of movement was based on a demonstrably false hypothesis, so his theory finally fell.
This is not always the case with philosophical theories: it is often very difficult to tear them down permanently, because the false premises on which they are based are well hidden and very difficult to refute. But the example of Zeno's theory should make us wary to see that philosophical theories are not all equal: some are demonstrably false; others are probably false, although their falsity has not yet been proved; and others may be true, or at least truer than others.
Consider the materialistic philosophy, which asserts that only matter exists. Why is it so popular, when it has been proved that it leads to numerous contradictions, a few of which I listed in another post in this blog?
Probably because there are many people, philosophers or not, who ardently wish that this theory be true, because by denying human freedom and reducing it to determinism or randomness, it eliminates the concept of good and evil, and therefore sin and responsibility. This is the reason why some modern psychologists and psychiatrists tell their prospective clients:

Do you have regrets? Come to my office and I will take them away.

The same post in Spanish
Thematic Thread on Mathematics: Previous Next
Manuel Alfonseca

No comments:

Post a Comment