您的位置首页百科词条

数学悖论

数学悖论

数学悖论

悖论是一种认识矛盾,它既包括逻辑矛盾、语义矛盾,也包括思想方法上的矛盾。 数学悖论作为悖论的一种,主要发生在数学研究中。按照悖论的广义定义,所谓数学悖论,是指数学领域中既有数学规范中发生的无法解决的认识矛盾,这种认识矛盾可以在新的数学规范中得到解决。

“……古往今来,为数众多的悖论为逻辑思想的发展提供了食粮。” ——N·布尔巴基 悖论的历史源远流长,它的起源可以一直追溯到古希腊和中国先秦时代。“悖论”一词源于希腊文,意为“无路可走”,转义是“四处碰壁,无法解决问题”。 在古希腊时代,克里特岛的哲学家埃庇米尼得斯(约公元前6世纪)发现的“说谎者悖论”可以算作人们最早发现的悖论。公元前4世纪的欧布里德将其修改为“强化了的撒谎者悖论”。在此基础上,人们构造了一个与之等价的“永恒的撒谎者悖论”。埃利亚学派的代表人物芝诺(约490B.C.—430B.C.)提出的有关运动的四个悖论(二分法悖论、阿基里斯追龟悖论、飞矢不动悖论与运动场悖论)尤为著名,至今仍余波未息。 在中国古代哲学中也有许多悖论思想,如战国时期逻辑学家惠施(约370B.C.—318B.C.)的“日方中方睨,物方生方死”、“一尺之棰,日取其半,万世不竭”;《韩非子》中记载的有关矛与盾的悖论思想等,这些悖论式的命题,表面上看起来很荒谬,实际上却潜伏着某些辩证的思想内容。 在近代,著名的悖论有伽利略悖论、贝克莱悖论、康德的二律背反、集合论悖论等。在现代,则有光速悖论、双生子佯谬、EPR悖论、整体性悖论等。这些悖论从逻辑上看来都是一些思维矛盾,从认识论上看则是客观矛盾在思维上的反映。 尽管悖论的历史如此悠久,但直到本世纪初,人们才真正开始专门研究悖论的本质。在此之前,悖论只能引起人们的惊恐与不安;此后,人们才逐渐认识到悖论也有其积极作用。特别是本世纪60、70年代以来,出现了研究悖论的热潮。

悖论的定义有很多说法,影响较大的有以下几种,如“悖论是指这样一个命题A,由A出发可以找到一语句B,然后,若假定B真,就可推出~B真,亦即可推出B假。若假定~B真,即B假,又可推导出B真”。又如“悖论是一种导致逻辑矛盾的命题,这种命题,如果承认它是真的,那么它又是假的;如果承认它是假的,那么它又是真的。”再如“如果某一理论的公理和推理原则看上去是合理的,但在这个理论中却推出了两个互相矛盾的命题,或者证明了这样一个复合命题,它表现为两个互相矛盾的命题的等价式,那么,我们就说这个理论包含了一个悖论。” 上述各种悖论定义,都有其合理的一面,但又都不十分令人满意。从潜科学的观点来看,悖论是一种在已有科学规范中无法解决的认识矛盾,这种认识矛盾可以在新的科学规范中得到克服,这是悖论的广义定义。 悖论有其存在的客观性和必然性,它是科学理论演进中的必然产物,在科学发展史上经常出现,普遍存在于各门科学之中。不仅在语义学、形式逻辑和数理逻辑等领域出现悖论,而且在物理学、天文学、系统论和哲学等领域也经常出现悖论。 悖论是一种认识矛盾,它既包括逻辑矛盾、语义矛盾,也包括思想方法上的矛盾。 悖论常常以逻辑推理为手段,深入到原理论的根基之中,尖锐地揭露出该理论体系中潜藏着的无法回避的矛盾,所以它的出现必然导致现存理论体系的危机。科学危机的'产生,往往是科学革命的前兆和强大杠杆,是科学认识飞跃的关节点和开始进入新阶段的重要标志。 我国著名数学家徐利治教授指出:“产生悖论的根本原因,无非是人的认识与客观实际以及认识客观世界的方法与客观规律的矛盾,这种直接和间接的矛盾在一点上的集中表现就是悖论。”所谓主客观矛盾在某一点上的集中表现,是指由于客观事物的发展造成了原来的认识无法解释新现实,因而要求看问题的思想方法发生转换,于是在新旧两种思想方法转换的关节点上,思维矛盾特别尖锐,就以悖论的形式表现出来。

数学悖论作为悖论的一种,主要发生在数学研究中。按照悖论的广义定义,所谓数学悖论,是指数学领域中既有数学规范中发生的无法解决的认识矛盾,这种认识矛盾可以在新的数学规范中得到解决。数学中有许多著名的悖论,除前面提到的伽利略悖论、贝克莱悖论外,还有康托尔最大基数悖论、布拉里——福蒂最大序数悖论、理查德悖论、基础集合悖论、希帕索斯悖论等。数学史上的危机,指数学发展中危及整个理论体系的逻辑基础的根本矛盾。这种根本性矛盾能够暴露一定发展阶段上数学体系逻辑基础的局限性,促使人们克服这种局限性,从而促使数学的大发展。数学史上的三次危机都是由数学悖论引起的,下面作以简要的分析。

起因

毕达哥拉斯学派主张“数”是万物的本原、始基,而宇宙中一切现象都可归结为整数或整数之比。在希帕索斯悖论发现之前,人们仅认识到自然数和有理数,有理数理论成为占统治地位的数学规范,希帕索斯发现的无理数,暴露了原有数学规范的局限性。由此看来,希帕索斯悖论是由于主观认识上的错误而造成的。

经过

公元前5世纪,毕达哥拉斯学派的成员希帕索斯(470B.C.前后)发现:等腰直角三角形斜边与一直角边是不可公度的,它们的比不能归结为整数或整数之比。这一发现不仅严重触犯了毕达哥拉斯学派的信条,同时也冲击了当时希腊人的普遍见解,因此在当时它就直接导致了认识上的“危机”。希帕索斯的这一发现,史称“希帕索斯悖论”,从而触发了第一次数学危机。

影响

希帕索斯的发现,促使人们进一步去认识和理解无理数。但是,基于生产和科学技术的发展水平,毕达哥拉斯学派及以后的古希腊的数学家们没有也不可能建立严格的无理数理论,他们对无理数的问题基本上采取了回避的态度,放弃对数的算术处理,代之以几何处理,从而开始了几何优先发展的时期,在此后两千年间,希腊的几何学几乎成了全部数学的基础。当然,这种将整个数学捆绑在几何上的狭隘作法,对数学的发展也产生了不利的影响。 希帕索斯的发现,说明直觉和经验不一定靠得住,而推理和证明才是可靠的,这就导致了亚里士多德的逻辑体系和欧几里德几何体系的建立。