芝诺的飞矢
第一章 芝诺的飞矢
埃利亚来的怪人
公元前五世纪初，意大利半岛南端的埃利亚城里，出生了一个后来让整个数学史不得安宁的人。芝诺大约生于公元前四九零年，比苏格拉底年长三十岁上下。他是巴门尼德的学生，而巴门尼德是那个时代最大胆的哲学家，他主张整个世界是一个不生不灭、不可分割的"一"，运动和变化都是幻觉。你今天听起来觉得荒唐，可在当时，这是一套逻辑上极其严密的形而上学。芝诺一辈子只干一件事：替老师的"一"辩护。
巴门尼德留下一首长诗《论自然》，流传下来大约三分之二。诗里说，存在者不生不灭、完整不动、浑圆如球，而感官世界里的生灭变化统统属于"凡人的意见"。这套一元论今天读来近乎狂想，但它的推理格式严格得吓人：思想与存在是同一的，非存在不可思想，所以存在的只能是那个不动的"一"。芝诺的全部论证，都是给这个"一"修的护城河。理解了这一点你就明白，他的悖论不是怀疑论的耍赖，而是双线作战：一边论证运动讲不通，一边论证多与连续也讲不通。老师管正面，学生管反面，师徒二人把战场铺满了。
辩护的方式很特别。他不直接论证"一"存在，而是反过来论证"多"和"运动"会导致荒谬。据新柏拉图主义者普罗克洛斯记载，引的是斯彪西波的说法，芝诺写过一本书，里面装了四十个论证。可惜这本书失传了，我们今天能看到的碎片，绝大部分是从亚里士多德的《物理学》和六世纪辛普里丘的注释里抠出来的。也就是说，芝诺的原文经过了两道转手，一道是批评者亚里士多德，一道是九百年后的注释家。史料就这么点，但就这么点史料，撑起了两千五百年的争论。
埃利亚今天叫韦利亚，是意大利坎帕尼亚大区海边的一处遗址，古希腊人在南意大利的殖民城邦之一。那一带当时是思想重镇，毕达哥拉斯学派的大本营克罗顿就在隔壁。芝诺活动的年代，波斯战争刚打完，伯里克利的黄金时代还没开场。按阿波罗多洛斯的编年，芝诺比恩培多克勒年长，据说是巴门尼德收养的学生，第欧根尼还记了一笔，说他因谋反被抓，至死不屈。这些逸闻不必件件当真，但拼起来足以确定一件事：这个人的形象在古代就被传奇化了，而他传奇的核心，正是那些让所有人头疼的论证。
关于芝诺的死，第欧根尼·拉尔修在《名哲言行录》里讲过一个惨烈的故事：城邦的僭主拷问他，要他供出同谋，他把牙齿咬碎也不开口，最后被扔进石臼捣死。这故事真伪难辨，古人喜欢给哲学家安排戏剧性的死亡，但至少说明一件事，在古代人的记忆里，芝诺是个硬骨头。亚里士多德在失传的《智术师》里称他为"辩证法的创始人"，这个头衔他担得起，因为他是最早系统使用归谬法的人。先假设你是对的，然后一步步推出矛盾，逼你承认自己错了。这套手艺后来成了数学证明的看家本领。
我一直觉得，把芝诺想象成雅典市场上耍嘴皮子的智者，是对他最大的误解。柏拉图在《巴门尼德》篇里让芝诺说得很清楚：他的论证不是玩弄文字，而是严肃的哲学武器。这个人要对付的不是某个具体的数学问题，而是所有人根深蒂固的直觉，东西在动，数目众多，空间无限可分。他发现这些直觉经不起推敲。两千年后英国哲学家罗素回顾这段历史时说，芝诺的论证几乎每一个都无比精妙深刻，为后来的理论提供了土壤。这话从一个逻辑学家嘴里说出来，分量不轻。
四个悖论，一个纲领
留下来最有名的四个悖论，都记在《物理学》第六卷第九节，编号二三九b。第一个叫两分法。你要从A走到B，得先走完一半；要走完这一半，得先走完一半的一半，如此下去，在你迈出任何一步之前，你得先完成无穷多个"走一半"的任务。无穷多个任务怎么完成得了？所以结论是，运动根本无法开始。
第二个是阿基里斯追乌龟。阿基里斯是荷马史诗里跑得最快的英雄，乌龟是爬得最慢的东西，可芝诺说，只要乌龟起点靠前一点，阿基里斯永远追不上。因为等阿基里斯跑到乌龟出发的地方，乌龟已经往前爬了一段；等他再跑到那个地方，乌龟又爬了一段。追赶者永远被追者踩着尾巴，距离在缩小，可"追上"这一刻永远到不了。亚里士多德复述时给的比例我们已不知道，但论证结构一清二楚。
第三个就是本书书名里那支飞矢。箭在飞，可芝诺说，看任何一个瞬间，箭都占据着与自身等长的一段空间，跟静止时一模一样。瞬间不是一小段时间，而是时长为零的"现在"。既然每个瞬间箭都不动，而时间又由瞬间组成，不动加不动还是不动，所以箭从头到尾都没动过。亚里士多德的原话复述是：飞着的箭是静止的，理由是，如果一切物体在空间中运动时总是占据与自身相等的空间，而在每个"现在"里情况正是如此，那么飞矢就是不动。
第四个是运动场，三排物体相向运动，相对速度引起"半个时间等于一个时间"的怪结论。这个论证的细节争议最大，因为它依赖对"经过"的某种特定理解，很多学者认为亚里士多德的转述本身就模糊了。四个悖论之外，芝诺还有一批反对"多"的论证，比如谷堆悖论：一粒谷子落地没有声音，可一斗谷子落地哗啦作响，无声加无声怎么会变成有声？再比如"如果存在多，东西必然既小得没有大小，又大得无穷"。这些碎片加起来，是一个完整的纲领：用理性拆掉常识的世界。
那组针对"多"的论证，值得再多说两句。谷粒悖论在亚里士多德的《论天》里记了一笔，他的回答带着点俏皮：一粒谷子落地其实也有声音，只是小得听不见，如同半粒、四分之一粒落地各有其声。另一个论证说，如果存在是多，那么每个东西既小得没有大小，分到最后是无；又大得无穷，任何两个部分之间永远隔着别的部分。"无"堆积起来还是没有大小，于是"多"就同时既存在又不存在。这类论证攻击的正是无穷分割与连续统的结构，跟两分法是同一枚硬币的两面，正反面都刻着同一个问题：连续的东西到底由什么组成。
后人给这四个悖论起的通行名字，两分法、阿基里斯、飞矢、运动场，都不出自芝诺本人，是亚历山大里亚的评注传统留下的标签。亚里士多德只是按顺序转述，并声明自己只挑了最重要的几个，说明他知道还有更多。现代学者通常把留存的论证算作八个：四个关于运动，四个关于多与场所。本书重点讲运动的四个，其余的会顺带提及。还有一点要说清，辛普里丘引用的两段原文显示芝诺写的是散文，语气冷峻，像法条而不像诗。这个人的可怕之处，正在于这种不动声色。
在我看来，这四个悖论的水平并不整齐。两分法和阿基里斯其实是一回事，一个从起点卡你，一个从过程卡你，核心都是无穷任务序列。运动场最弱，转述失真加上自身有破绽。而飞矢最深，它攻击的不是无穷，而是"瞬间"和"运动"这两个概念本身。你要么否认瞬间有时长，要么承认时间不由瞬间组成，要么另找出路，反正没法糊弄过去。这支箭就这么悬在人类头顶，一悬就是两千四百年。
无穷分割的陷阱
两分法背后的真问题是：一条线段能不能无限分割？希腊几何学家天天在分割线段，但把"无限分割"当成一个过程正面处理，他们没有工具。欧多克索斯在公元前四世纪发明了穷竭法，后来写进欧几里得《原本》第十二卷，用"给定的量可以超过其一部分"这类公设绕开无穷，巧妙地证明了圆面积之比等于直径平方之比、锥体体积是柱体的三分之一。穷竭法的精义是用有限步骤逼近，再配一个归谬收尾，从头到尾不碰"无穷多个无穷小之和"这块烫手的东西。这是伟大的回避术，不是解决。
欧多克索斯还有另一项功劳，藏在《原本》第五卷里。他给"比"下了一个不用数值的定义：两个量之间有比，当且仅当其中任何一个的适当倍数都能超过另一个。这个定义的妙处是绕开了无理数，正方形对角线与边虽然不可公度，它们之间的"比"却可以有严格的几何意义，比例运算照常进行。这是数学史上第一次为处理"不圆满的对象"专门发明概念工具，手法跟两千四百年后戴德金处理无理数如出一辙。顺带说一句，亚里士多德在《物理学》第五卷第三节给"连续"下过定义：各部分的端点重合且合为一体的叫连续，仅仅相接的叫邻接，隔着东西的叫相继。他明确否认连续体由不可分的东西组成。这些概念地板，全是被芝诺踩出来的。
另一条路是原子论。德谟克利特主张万物由不可分的微粒构成，据说他还写过论不可分线的小册子，失传了。如果线段由有限个原子组成，分割到头就停了，两分法的无穷任务序列压根不存在。可原子论自己有麻烦：毕达哥拉斯学派大约在公元前四七零年前后发现了不可公度量，正方形的对角线和边没有公共度量单位，用今天的话说是根号二无理。这个发现把"万物皆数"的信仰砸了个坑，传说泄密的希帕索斯被同门沉了海，故事未必可靠，但学派的震动是实打实的。原子论者还得回答，原子有没有大小？有大小就能再分，没大小就凑不出有长度的线段。亚里士多德后来在《论生成与毁灭》里就是这么怼原子论的。
两边夹击之下，希腊数学走上了一条特有的路：几何严格，算术退避，无穷绕行。阿基米德是这条路走到极致的人。他在《方法》里用力学直觉肆无忌惮地切割无穷小，把球体积算出来，然后在正式论文《论球和圆柱》里用穷竭法重新严格证明一遍，仿佛前面的野路子没发生过。他在《数沙者》里还发明了一套阶数记法，估算填满宇宙需要多少粒沙，算出十的六十三次方这个量级，显示了希腊人处理大数的能力。可就算阿基米德，也从不把无穷小当作合法对象。直觉用来发现，严格用来发表，这个分裂症一直遗传到十七世纪。
所以说白了，芝诺挖的坑，希腊人是绕过去的，不是填掉的。绕了两千年，坑还在那里。直到十九世纪，柯西和魏尔斯特拉斯建立起极限的ε-δ语言，戴德金在一八七二年用分割定义无理数，人们才算真正开始回填。有意思的是，回填用的工具，恰恰是芝诺逼出来的概念。没有他那个"无穷多个任务能不能完成"的追问，就不需要那么精密的极限理论。悖论不是数学的病，是数学的疫苗。
飞矢不动
现在把那支箭单独拿出来细看。论证三步：在每个瞬间，箭占据与自身等长的空间；占据与自身等长的空间就是静止；所以箭在每个瞬间都静止。箭在所有瞬间都静止，结论，箭不飞。这个论证的杀伤力在于，它每一步都像是废话。箭在某瞬间在哪？就在它所在的地方。什么叫运动？位置随时间变化。可瞬间时长为零，"零时间内的位置变化"也是零，于是"瞬时速度"这个概念本身就悬了。你直觉上知道箭速是每小时一百里，可这个数字到底描述哪个时刻的什么事实？
亚里士多德的诊断记录在《物理学》第六卷第九节：错误在于芝诺假定时间由不可分的"现在"组成。如果不作这个假定，论证立刻塌掉。因为"在某瞬间静止"不等于"在一段时间内静止"，静止的定义是"在一段时间内位置不变"，拿这个定义去套零时长的瞬间，得到的是无定义，不是静止。这诊断相当锋利。亚里士多德还追问，飞矢在"现在"里究竟动不动？他的回答是，"动"和"静"都是对时间段而言的谓词，对瞬间根本不适用，就像问"这个点有多长"是问错了问题。
可光诊断不解决问题。瞬时速度到底是什么？这个问题的标准答案要等到牛顿。牛顿的流数术里，速度是"最初与最终比"，也就是位移与时间之比在时间趋于零时的极限。莱布尼茨用dx和dy这对无穷小量搭出了同样的东西。一六八四年莱布尼茨在《教师学报》上发表微分法，一六八七年牛顿的《自然哲学的数学原理》问世，天体运行被这些新工具一网打尽。但代价是，无穷小从芝诺的坑里被重新放了出来。一七三四年贝克莱主教发表《分析学家》，把无穷小骂作"消逝量的幽灵"，说数学家先假设增量非零，除完之后又让它等于零，这不是推理是信仰。贝克莱动机不纯，他要证明神学论证不比数学更模糊，可他挑的毛病是真的。飞矢的问题以另一种形式还魂了。
最后收拾局面的是魏尔斯特拉斯。他在一八六零年代柏林大学的讲座里建立了ε-δ语言，瞬时速度被定义为平均速度当时间增量趋于零时的极限，极限由不等式定义，全程不需要无穷小，也不需要"无穷多个任务"。至此，芝诺的四则论证在数学上全部可以化解析疑：无穷级数求和理论告诉你可以无限逼近并取到极限，一致收敛理论告诉你逐项操作何时合法。可我要提醒一句，数学上的化解不等于哲学上的了结。箭在瞬间"到底"动不动，瞬间是不是真实存在的实体，这些问题的争论一直延续到今天，物理学里也一样。
飞矢问题在中世纪还有过一次意外的推进。十四世纪牛津默顿学院的一批"计算家"，把运动的速度当作用词项逻辑处理的对象，讨论"在某个瞬间开始并终止的增大"。海特斯伯里在一三三五年前后写下均速定理：匀加速运动经过的距离，等于以初末速度的平均值匀速经过的距离。这定理后来在巴黎被奥雷姆用图形法证明，再往后就通向伽利略的落体定律。回头看你会吃一惊：这些人琢磨的"瞬间速度是什么"恰恰是飞矢的核心，而他们已经敢把瞬时速度当作可以运算的对象，尽管严格的地基还要再等五百年。思想的接力就是这样，接力棒歪歪扭扭，但一直在传。
亚里士多德的裁决
芝诺之后第一个正面处理无穷的人是亚里士多德，地点在《物理学》第三卷。他的裁定成为此后两千年西方思想的主流意见，所以值得细讲。第三卷第四到第八节讨论无穷，他先列举前人的看法：毕达哥拉斯派认为无限是本体，阿那克西曼德早在公元前六世纪就用"阿派朗"（无定）当万物本原，还有人说无限是气或火。然后他给出自己的定义，大意是：无限不是"此外别无他物"，而是"此外永有他物"。一个东西叫无限，不是因为它包揽了一切，而是因为它总能再往前、再多、再分。
这个定义的实质是把无穷从"东西"降格为"过程"。亚里士多德的原意用今天的语言说就是：无穷只有潜在的，没有实在的。数数可以永远数下去，但你永远数不完，"全体自然数"作为一个完成了的整体并不存在于物理世界；线段可以永远分下去，但没有任何人真正完成了无限次分割；时间可以永远延续，但宇宙里没有一个"已完成的无限时段"。他把已经完成的无限叫"实无穷"，把可以永远继续的无限叫"潜无穷"，然后宣布，实无穷不存在，至少在物理世界不存在，数学里也只应该用潜无穷。
第六卷处理运动，第九节逐条反驳芝诺。对两分法和阿基里斯，他说：无限可以在潜在意义上被越过，因为运动者的路径无限可分，但潜在可分的路径在有限时间里可以被穿越，时间本身也无限可分，有限的距离对有限的时间，无穷对无穷，比例法则依然管用。对飞矢如前所述，指出"瞬间静止"是用错了谓词。对运动场，他干脆指出论证里偷换了参照系，三排物体的相对速度被算错了。第六卷第三节还有个补刀：时间不是由"现在"组成的，正如线不是由点组成的，因为点加点的长度还是零，现在加现在的时间也是零。这一刀下去，飞矢的隐含前提被公开处刑。
裁决还有建设性的另一半。亚里士多德在《论天》第一卷专门论证了不可能存在无限大的物体，理由是物体有处所、有中心，而无限大的东西没有可供定义的中心与边界。这套论证在中世纪被反复引用，因为它恰好可以用来论证宇宙有限，而有限的宇宙符合神学口味。另一半建设性在于，他承认数学对象层面的无限可分：几何线段作为抽象对象可以无限分割，不受物理限制。于是潜无穷在数学里获得永久居留权，实无穷被驱逐。这个二分法统治了从波爱修斯到阿奎那的每一个读书人，经院哲学讨论无穷，用的全是亚里士多德的词汇。要打破它，得等到有人证明实无穷不但无害，而且好用。
还有一条裁决特别有名，在第三卷第七节。有人反驳说，数学家明明在用无限，你凭什么禁？亚里士多德回答，数学家不需要实无限，他们需要的只是"任意大的有限"。要画多长的线段就画多长，要取多细的分割就取多细，这就够几何学用了。后人评价这句话时多半带点讥讽，说它是给数学开的安慰剂。可平心而论，从欧几里得到笛卡尔，两千年里数学确实就靠潜无限过活，没出大乱子。真正需要实无穷的数学，要等到康托尔才会出现，而那时候，第一个跳出来反对康托尔的理由，恰恰就是这条一千六百年前的裁决。
两千年的账单
亚里士多德的裁定经过中世纪的背诵和权威化，变成了一道禁令。可历史偏偏爱跟禁令开玩笑。十七世纪六零年代，牛顿在伍尔索普乡下躲瘟疫，发明流数术；一六八四年莱布尼茨发表第一篇微分论文。两人用的都是实无穷性质的工具，无穷小量被当作可以参与运算的对象，加减乘除照来不误。微积分的战果惊人，行星轨道、炮弹轨迹、光学设计全被拿下，可地基呢？地基里坐着芝诺和贝克莱指出的幽灵。十八世纪最伟大的数学家们，欧拉、拉格朗日，各显神通地使用发散级数和无穷小，成果辉煌，账目混乱。达朗贝尔一七五四年给极限下过含糊的定义，说"一个量是另一个量的极限，如果后者能任意接近前者"，方向对了，火候差得远。
有意思的是，两位创始人自己心里也发虚。牛顿一六八七年写《原理》时刻意用综合几何的风格，命题证明走比例和极限的古典路数，流数术只在个别地方露头，他晚年在答复批评者的信里承认，无穷小可以换成"最初与最终比"。莱布尼茨的辩护更直白，他说无穷小是"暂时的设定"，好比旅行途中借宿，回头是要还的。两位都不认为无穷小是板上钉钉的对象，只当方便的脚手架。脚手架一搭就是一百五十年，直到柯西拆掉它换成极限的地基。这段历史最能说明潜无穷禁令的威力：连微积分的发明者，都不敢明目张胆地宣称自己拥有实无穷。
清算从十九世纪初开始。柯西一八二一年出版《分析教程》，把极限定义为变量无限趋近的定值，把无穷小定义为以零为极限的变量，潜无穷的旗帜重新竖起。一八二六年阿贝尔在信里欢呼，柯西是第一个把无穷小讲清楚的人。但柯西自己的语言里还残留着"无限趋近"这种动态隐喻，真正把运动从分析里赶出去的是魏尔斯特拉斯。他那句著名的口号是，一个变量趋近一个极限，这话掩盖了事情的本质，正确的表述是静态的不等式。ε-δ语言诞生后，芝诺式的无穷分割陷阱在数学上才算系统排雷。
这条时间线上还要记一笔：一八五四年黎曼的任教资格演讲《论作为几何学基础的假设》，把空间本身的问题重新摆上桌面；一八七二年戴德金出版《连续性与无理数》，用有理数的分割定义实数，等于宣告连续统可以严格地被构造出来，不靠几何直觉。戴德金在同一年写下的笔记里说得明白，他就是要回答"空间是不是连续的、是不是无限可分的"这类古老问题。你看，芝诺的问题改头换面之后，由德国人逐一签收。
二十世纪还有一轮回响。哲学家们发明了"超任务"这个词，专指无穷多个步骤在有限时间内完成的假想过程。一九五四年汤姆逊在《分析》杂志上设计了汤姆逊灯：灯每开关一次用一半的时间，一分钟内开关了无穷多次，问一分钟结束时灯是亮是灭？这个问题至今没有公认答案，因为它暴露的是"完成无穷任务"这个概念本身的模糊。物理这边也有动静，一九七七年米斯拉和苏达尚在《数学物理杂志》上提出"量子芝诺效应"，不间断的观测会冻结量子系统的演化，芝诺的名字以物理学效应的方式复活，这恐怕是他本人无论如何想不到的。
现代测度论还给飞矢补了一个漂亮的注脚。用勒贝格的观点看，单个瞬间是零长度的一个点，可数个点加起来还是零，因为测度是可数可加的。所以如果时间由可数个瞬间组成，总时长只能是零，这荒谬。结论只有两条路：要么瞬间不是时间的组成材料，要么组成时间的瞬间集合根本不可数。第二种可能在一八七四年之后变成了实打实的定理，实数不可数。你看，芝诺的问题在两千多年后换上勒贝格和康托尔的衣裳，依然站在那里，只是这次它不是敌人，而是向导。直觉喊不可能的地方，往往埋着最深的概念矿。
悖论是方法
现在退后一步看全景。芝诺留给数学的遗产，我以为有三层。第一层是具体的洞见：连续与离散的张力、瞬间与运动的概念困境、无穷任务的完成性问题。这些问题不是空谈，它们分别在实数理论、微分学、极限论里变成了严格的数学。第二层是方法论：归谬法。假设对立面成立，推出矛盾，芝诺用得炉火纯青，后来成了数学证明的正宗武器，集合论里最重要的定理几乎全是归谬法打的，康托尔的对角线论证骨子里就是芝诺的手艺加上了新的对象。第三层，也是最少被讲的一层，是悖论的正面价值。
我在这本书里想坚持一个