《出師表原文

芝諾的系列悖論中最有名的一個(gè)是“阿喀琉斯和烏龜”。

神話中，阿喀琉斯（也稱阿基里斯，希臘神話中的勇士，曾參加圍攻特洛伊城）出生后被其母倒提著腳在冥河水中浸過(guò)，因此除未浸到水的腳踵外，渾身刀槍不入。

“阿喀琉斯和烏龜”悖論說(shuō)的是，英雄阿喀琉斯參加與一只烏龜?shù)拈L(zhǎng)跑比賽。

這不是一只普通烏龜，而是在擊敗了伊索（古希臘寓言作家）的兔子后洋洋自得的那只烏龜。

為了公平起見(jiàn)，阿喀琉斯讓烏龜領(lǐng)先一步——比如1千米。比賽開(kāi)始后，阿喀琉斯很快就到達(dá)了烏龜?shù)某霭l(fā)點(diǎn)。

然而，此時(shí)烏龜已笨拙地前進(jìn)了一段距離，例如1/10千米。阿喀琉斯又迅速跑完了這100米，但此刻烏龜又往前挪動(dòng)了一小段距離——1/100千米……

芝諾悖論指出，由于烏龜總是領(lǐng)先阿喀琉斯一步——每當(dāng)阿喀琉斯到達(dá)烏龜所在的上一個(gè)位置，烏龜總是又往前走了一段距離（盡管這段距離可能很短很短），所以阿喀琉斯永遠(yuǎn)都追不上烏龜。

雖然阿喀琉斯每次所跑的距離越來(lái)越短，但烏龜有無(wú)限段領(lǐng)先距離需要他跨越。這個(gè)距離用公式可表述為：

1+1/10+1/100+1/1000+…10的無(wú)限次方分之一

根據(jù)芝諾所言，阿喀琉斯“不可能在有限時(shí)間內(nèi)跨越無(wú)限段銷搜緩的距離”。

直到19世紀(jì)，數(shù)學(xué)家才證明了芝諾悖論是錯(cuò)的。隨著阿喀琉斯與烏龜之間的距離越來(lái)越短，阿喀琉斯追趕得也越來(lái)越快。

事實(shí)上，阿喀琉斯與烏龜之間的距離最終會(huì)變得無(wú)限短，以至于他瞬間就跑過(guò)了烏龜。

因此，他完全漏頌?zāi)苴s上烏龜，輕易超越它。

也許讀到這里，還是有些讀者搞不明白芝諾悖論為什么是錯(cuò)的。

其實(shí)，不少當(dāng)代哲學(xué)家聲稱，芝諾悖論在數(shù)學(xué)邏輯上也許是錯(cuò)的，但在邏輯思維上完全站得住腳。果真如此嗎？

事實(shí)上，提出這一悖論的芝諾本人恐怕也知道阿喀琉斯追得上烏龜。不然的話，芝諾悖論就不會(huì)被叫作悖論了。芝諾把阿喀琉斯追烏龜?shù)倪^(guò)程無(wú)限分割，這一點(diǎn)沒(méi)有什么錯(cuò)誤。

但由此得出追趕過(guò)程的段落無(wú)窮多、因而追趕過(guò)程的持續(xù)時(shí)間也無(wú)窮大這個(gè)結(jié)論就大錯(cuò)特錯(cuò)了。無(wú)窮個(gè)數(shù)字相加之和可以是有限的數(shù)值，而不是想當(dāng)然的無(wú)窮大。

中國(guó)莊周所著《莊子》一書的《天下篇》中，記有“一尺之棰，日取其半，萬(wàn)世不竭”。

一尺的長(zhǎng)度可以無(wú)限分割，換句話說(shuō)，無(wú)窮個(gè)線段相加可以等于一尺。

無(wú)窮個(gè)線段之和可以是有限的，因此走完這樣的無(wú)窮個(gè)線段所需的時(shí)間也是有限的。

線段上有無(wú)窮個(gè)點(diǎn)，點(diǎn)沒(méi)有大小，線段卻有確定的長(zhǎng)度。

這個(gè)問(wèn)題正好和芝諾悖論有些相似，如果理解不了芝諾悖論，那么就解釋不清楚為什么沒(méi)有長(zhǎng)度的點(diǎn)能構(gòu)成線段。

事實(shí)上，這也正是亞里士多德對(duì)芝諾這一悖論的反駁思路。

現(xiàn)在回到前述的悖論。

那么，到什么位置時(shí)阿喀琉斯能追上烏龜呢？由于19世紀(jì)數(shù)學(xué)家們的工作，我們知道，對(duì)于任何介于0和1之間的數(shù)值n來(lái)說(shuō)：

1+n+n2 +n3 +…n的無(wú)限次方=1/（1-n）

對(duì)于芝諾悖論而虧模言，取n=1/10，那么阿喀琉斯會(huì)在僅僅跑了1.11米之后就追上烏龜。

看上去，這個(gè)結(jié)果不過(guò)是滿足人們對(duì)一個(gè)歷史悖論的好奇心。然而，這種觀念直到今天依然具有現(xiàn)實(shí)意義。

當(dāng)然，數(shù)學(xué)家們不是用它來(lái)研究人龜賽跑，而是利用它來(lái)與疾病作斗爭(zhēng)。