阿基里斯和乌龟的悖论（Achilles & the Tortoise Paradox）——概要

跑得最快的永远追不上跑得最慢的——芝诺·埃利亚的归谬论证。

悖论内容

芝诺设计了一场赛跑：让跑得最快的阿基里斯与一只乌龟赛跑，乌龟的起点在阿基里斯身前1000米处，假定阿基里斯的速度是乌龟的10倍。

比赛开始后：

1. 阿基里斯跑完1000米（时间t），乌龟领先100米
2. 阿基里斯跑完下一个100米（时间t/10），乌龟领先10米
3. 阿基里斯跑完下一个10米（时间t/100），乌龟领先1米
4. ……无限递推

芝诺的结论：阿基里斯永远追不上乌龟。

芝诺的哲学意图

悖论是为[[Parmenides|巴门尼德]]的"存在不动"论服务的：承认运动，就会陷入无限递推的困境，因此运动只是假象，真正的实在是静止的"存在"。

柏拉图还揭示了悖论的另一层讽刺：芝诺最初用这个悖论嘲笑[[Pythagoras|毕达哥拉斯]]学派的数学思想（1 > 0.999...），后来又反用于嘲笑巴门尼德本人。

亚里士多德的反驳

[[Aristotle|亚里士多德]]最早系统反驳了芝诺的悖论。亚里士多德区分了：

• 无限潜在性：时间或空间可以无限分割（这是可以的）
• 无限现实性：无限次操作在有限时间内完成（这才是问题所在）

亚里士多德认为，芝诺混淆了这两种无限性。

数学解答

现代数学（通过极限理论）解决了这一悖论：无穷级数 100 + 10 + 1 + 0.1 + ... = 111.111... 是一个有限值，因此阿基里斯确实能在有限时间内追上乌龟。

关联

• [[Parmenides]] — 悖论的哲学背景
• [[Aristotle]] — 最早的系统反驳
• [[Plato]] — 记录了芝诺悖论的哲学意图
• [[Zeno-paradoxes]] — 芝诺四大悖论概览
• topics/greek-philosophy.md

源文件

• sources/阿基里斯和乌龟的悖论.md