阿喀琉斯与乌龟悖论——跑得再快也永远追不上乌龟？

大家好，我是 Senko。本文将解读悖论中特别有名的一个——“阿喀琉斯与乌龟”。

这个悖论由公元前 5 世纪的古希腊哲学家芝诺提出，将近 2500 年过去了，它至今仍活跃在哲学与数学的讨论中，堪称一道超长销的经典难题。

它的内容非常简单，却能从逻辑上“证明”：希腊神话中跑得最快的英雄阿喀琉斯，永远追不上慢吞吞的乌龟——一个怎么想都很离奇的结论。

什么是阿喀琉斯与乌龟悖论

设定是这样的：阿喀琉斯和乌龟赛跑，作为让步，乌龟从前方一段距离起跑。假设乌龟从 100 米远的地方出发。

阿喀琉斯比乌龟快得多，于是他先跑到乌龟原来所在的位置（100 米处）。然而，在他跑到那里的这段时间里，乌龟也向前爬了一小段。假设乌龟前进了 10 米，那么它现在位于 110 米处。

接着，阿喀琉斯又跑到 110 米处。可是在这段时间里，乌龟又向前爬了一点，这次它前进了 1 米，位于 111 米处。

当阿喀琉斯到达 111 米处时，乌龟又领先了 0.1 米……

把这个逻辑不断重复下去：每当阿喀琉斯到达“乌龟刚才所在的位置”时，乌龟必定又领先了一小段。于是结论就变成了——阿喀琉斯永远追不上乌龟。

在现实世界里，阿喀琉斯追不上乌龟是不可能的。按常识来想，飞毛腿阿喀琉斯很快就会超过乌龟。

然而，芝诺的论证乍看之下毫无破绽。“追到乌龟原来的位置→这期间乌龟又前进了一点→再追→又领先一点……”这一无限循环在道理上确实成立，按逻辑推下去，阿喀琉斯就永远落在乌龟后面。

我们的直觉明明知道“肯定追得上”，想在逻辑上反驳却出人意料地困难。这正是这个悖论的核心。

芝诺借助这个悖论，对“运动”和“空间的无限分割”这些概念本身提出了质疑：如果运动真的存在，为什么逻辑上会产生这样的矛盾呢？

这个悖论困扰了哲学家两千多年，直到 17 世纪以后数学的发展才给出了一个清晰的回答，那就是无穷级数的收敛。

确实，阿喀琉斯追上乌龟之前的步骤有无穷多个。但是，每一步所花的时间也在不断缩短。

我们来具体算一算。设阿喀琉斯的速度是乌龟的 10 倍。

把这些时间全部加起来，就是 10 + 1 + 0.1 + 0.01 + ……。这是一个无限延续的加法，但它的总和收敛于 11.111… 秒，也就是约 11.11 秒。即使时间被无限分割，其总和仍然是一个有限的数值。

也就是说，芝诺论证的花招在于一个隐含假设：“无穷多个步骤＝无穷长的时间”。实际上，即便步骤有无穷多个，只要每一步的时间足够短，总和就可以是有限的。

需要注意的是，芝诺本人并不是真的主张“阿喀琉斯追不上乌龟”。

芝诺设计这个悖论，是为了捍卫老师巴门尼德的哲学。巴门尼德主张“存在是唯一且不变的”，认为“运动”和“变化”不过是幻象。

芝诺想借这个悖论表明：“运动实际存在这一常识性观念，其实内含逻辑矛盾”。说到底，这是一种归谬法式的论证。

阿喀琉斯与乌龟悖论对后世的数学和哲学产生了极其深远的影响。

无穷级数与极限概念之所以被严格定义，很大程度上正是源于人们对这个悖论的回应。作为微积分基础的“极限”概念，可以说正是数学对芝诺之问交出的答卷。

同时，阿喀琉斯与乌龟在哲学领域至今仍是讨论的对象。虽然数学上可以说已经解决，但“被无限分割的时间之和是有限的——我们真的能理解这件事吗”这一哲学疑问依然存在。

数学给出了答案，我们的直觉却总有些无法释怀。这种挥之不去的别扭感，或许正是悖论的本质。

阿喀琉斯与乌龟，是芝诺留下的关于运动的悖论之一。传下来的一共有四个，彼此之间是互相补足的结构。