数学悖论是有关数学的悖论,主要发生在数学研究中。按照广义的悖论定义,所有数学规范中发生的无法解决的矛盾,这种矛盾可以在新的数学规范中得到解决。
广义的悖论是一种认识矛盾,它既包括逻辑矛盾、语义矛盾,也包括思想方法上的矛盾。
在古希腊时代,克里特岛的哲学家埃庇米尼得斯(约公元前6世纪)发现的"说谎者悖论"可以算作人们最早发现的悖论。公元前4世纪的欧布里德将其修改为"强化了的说谎者悖论"。在此基础上,人们构造了一个与之等价的"永恒的说谎者悖论"。埃利亚学派的代表人物芝诺(约490B.C.-430B.C.)提出的有关运动的四协类资再个悖论(二分法悖论、阿基里斯追龟悖论、飞矢不动悖论与运动场悖论)尤为著名,至今仍余波未息。
在中国古来自代哲学中也有许多悖论思想,如战国时期逻辑学家惠施(约370B.C.-318B.C.)的"日方中方睨,物方生方死"、《庄子·天下篇》的"一尺之棰,日取其半,万世不竭";《韩非子》中记载的有关矛与盾的悖论思想等,这些悖论式的命题,表面上看起来很荒谬,实际上却潜伏着某些辩证的思想内容。
在近代,著名的悖论有伽利略悖论、贝克莱悖论、康德的二律背反、集合论悖论等。在现代,则有光速悖论360百科、双生子佯谬、EPR悖论、整屋永述大美体性悖论等。这些悖论从逻辑上看来都是一些思维矛盾,从认识论上看则是客观矛盾在思维上的反映。
尽管悖论的历史如此悠久,但直到本世纪初,人们才真正开始专门研究悖论的本质。在此之前,悖论只能引起人们的惊恐与不安;此后,人们才逐渐认识到悖论也明微影有其积极作用。特别是20世纪60、70年代以来,出现了研究悖论的热潮。
数学悖论作为悖论简科英官背针来罗充何卫的一种,主要发生在数学研究中盐司广喜示团。按照悖论的广义定义,所谓数学悖论,是指数学领域中既有数学规范中发生的无法解决的认识矛盾,这种认识矛盾可以在新的数学规范中得到解决。数学中有许多著名的悖论,除前面提到的伽利略悖养叶让照齐团皮由论、贝克莱悖论外解指色位浓握学型,还有康托尔最大基数悖论、布拉里--福蒂最大序数悖论、理查德悖论、基础集合悖论、希帕索斯悖论等。数学史上的危机,指数学发展中危及整个理论体系的逻辑基础的根本矛盾。这种根本性矛盾能够暴露一定发展阶段上数学体系逻辑基础的局限性,促使人们克服这种局限性,从而促使数学的大相皇鸡击镇待社发展。数学史上的三次危机都是由数学悖论引起的,下面作以简要的分析。
毕达哥拉斯学派主张"数"是万物的本原、始基,而宇宙中一切现象都可归结为整数或整数之比。在希帕索斯悖论发现之前,人们仅认识到自然数和有理数,有理数理论成为占统治地位的数学来自规范,希帕索斯发现陆准她校注使育的无理数,暴露了原有数学规范的局限性。由此看来,希帕索斯悖论是由于主观认识上的错误而造成的。
公元前5世纪,毕达哥拉斯学派的成员希帕索斯(470B.C.前后)发现:等腰直角三角形斜边搞精易迅银配与一直角边是不可公度的,它们的比不能归结为整数或整数之比。这一发现不仅严重触犯了毕达哥拉斯学派的信条,同时也冲击了当时希腊360百科人的普遍见解,因此在当时它就直接导致了认识上的"危机"。希帕索斯的这一发卫亮频冷扩华现,史称"希帕索斯悖论",从而触发了第一次数学危机。
希帕索斯的发现,本卫重让巴棉群评促使人们进一步去认识和理解无理数。但是,基于生产和科学技术的发展水平,毕达哥拉斯学派及以后的古希腊的数学家们没有也不可能建立严格的无理数理论,他们左编祖断对无理数的问题基本上采周茶慢群叫坏米装取了回避的态度,放弃对数的算术处理,代之以几何处理,从而开始了几何优先某第预片首学将层后放发展的时期,在此后两千年间,希腊的几何学几乎成了全部数学的基础。当然,这种将整个数学捆绑在几何上的狭隘作法,对数学的发展也产生了不利的影响。
希帕索斯的发现,说明直觉和经验不一定靠得住,而推理和证明才是可靠的,这就刻哥李过讲导致了亚里士多德的逻辑体系和欧几里德几何体系的建立。
十七世纪末,牛顿和莱布尼兹创立的微积分理论在实践中取得了成功的应用,大部分数学家对于这一理论盾具此元亚款友运白的可靠性深信不移。但是,当时的微积分理论主要是建立在无穷小分析之上的,而无穷掉红十局移息注呢呢核小分析后来证明是包含逻辑矛盾的。
1734年,英国大主教贝克莱发表了《分析学者,或致一个不信教的视被织检聚数学家。其中审查现代分析的对象、原则与推断是否子蛋劳继息阳比之宗教的神秘与教条,构思更为清楚,或推理更为明显》一书,对当时增的微积分学说进行了猛烈的抨击。他说牛顿先认为无医显供艺之甲有委燃策穷小量不是零,然后又让它等于零,这违背了背呢想苦反律,并且所得到的流数实际上是0/0,是"依靠双重错误你得到了虽然不科学却是正确的结果",这是因为错误互相抵偿的缘故。在数学史上,称之为"贝克莱悖论"。这一悖论的发现,在当时引起了一定的思想混乱,导致了数学史上的第二次危机,引起了持续200多年的微积分基础理论的争论。
贝克莱攻击"无穷小",其目的是为宗教神学作论证,而作为"贝克莱悖论"本身,则是一个思想方法问题。因为数学要按照形式逻辑的不矛盾律来思维,不能在同一思维过程中既承认不等于零,又承认等于零。模进盟某析获美于鲜但是,事物的运动以其终点为极限,运动的结果在量上等于零,而在起点上则不等于零,这是事物运动的两个方面,不应纳入门附同一思维过程,如果把它们机械地联结起儿及散消来,必然会导致思维中的悖论。贝克莱悖论产生的原因在于无穷小量的辨证性与数学方法的形式特性的矛盾。
第二次数学危机的产物--分析基础理论的严密化与集合论的创立。
"贝克莱悖论"提出以后,许多著名数学家从各种不同的角度进行研究、探索,试图把微积分重新建立在可靠的基础之上。法国数学家柯西是数学分析的集大成者,通过《分析教程》(1821)、《无穷小计算讲义》(1823)、《无穷小计算在几何中的应用》(1826)这几部著作,柯西建立起以极限为基础的现代微积分体系。但柯西的体系仍有尚待改进之处。比如:他关于极限的语言尚显模糊,依靠了运动、几何直观的东西;缺乏实数理论。德国数学家魏尔斯特拉斯是数学分析基础的主要奠基者之一,他改进了波尔查诺、阿贝尔、柯西的方法,首次用"ε-δ"方法叙述了微积分中一系列重要概念如极限、连续、导数和积分等,建立了该学科的严格体系。"ε-δ"方法的提出和应用于微积分,标志着微积分算术化的完成。为了建立极限理论的基本定理,不少数学家开始给出无理数的严格定义。1860年,魏尔斯特拉斯提出用递增有界数列来定义无理数;1872年,戴德金提出用分割来定义无理数;1883年,康托尔提出用基本序列来定义无理数;等等。这些定义,从不同的侧面深刻揭示了无理数的本质,从而建立了严格的实数理论,彻底消除了希帕索斯悖论,把极限理论建立在严格的实数理论的基础上,并进而导致集合论的诞生。
魏尔斯特拉斯用排除无穷小量的办法来解决贝克莱悖论,而在上世纪60年代,鲁滨逊又把无穷小量请了回来,引进了超实数的概念,从而建立了非标准分析,同样也能精确地描述微积分,进而也解决了贝克莱悖论。但必须注意到,贝克莱悖论只是在相对意义下得到了解决,因为实数理论的无矛盾性归结为集合论的无矛盾性,而集合论的无矛盾性至今仍未彻底解决。
经过第一、二次数学危机,人们把数学基础理论的无矛盾性,归结为集合论的无矛盾性,集合论已成为整个现代数学的逻辑基础,数学这座富丽堂皇的大厦就算竣工了。看来集合论似乎是不会有矛盾的,数学的严格性的目标快要达到了,数学家们几乎都为这一成就自鸣得意。法国著名数学家庞加莱(1854-1912)于1900年在巴黎召开的国际数学家会议上夸耀道:"现在可以说,(数学)绝对的严密性是已经达到了"。然而,事隔不到两年,英国著名数理逻辑学家和哲学家罗素(1872-1970)即宣布了一条惊人的消息:集合论是自相矛盾的,并不存在什么绝对的严密性!史称"罗素悖论"。1918年,罗素把这个悖论通俗化,称为理发师悖论。罗素悖论的发现,无异于晴天劈雳,把人们从美梦中惊醒。罗素悖论以及集合论中其它一些悖论,深入到集合论的理论基础之中,从而从根本上危及了整个数学体系的确定性和严密性。于是在数学和逻辑学界引起了一场轩然大波,形成了数学史上的第三次危机。
产生集合论悖论的原因在于集合的辨证性与数学方法的形式特性或者形而上学的思维方法的矛盾。如产生罗素悖论的原因,就在于概括原则造集的任意性与生成集合的客观规则的非任意性之间的矛盾。
第三次数学危机的产物--数理逻辑的发展与一批现代数学的产生。
为了解决第三次数学危机,数学家们作了不同的努力。由于他们解决问题的出发点不同,所遵循的途径不同,所以在本世纪初就形成了不同的数学哲学流派,这就是以罗素为首的逻辑主义学派、以布劳威尔(1881-1966)为首的直觉主义学派和以希尔伯特为首的形式主义学派。这三大学派的形成与发展,把数学基础理论研究推向了一个新的阶段。三大学派的数学成果首先表现在数理逻辑学科的形成和它的现代分支--证明论等--的形成上。
为了排除集合论悖论,罗素提出了类型论,策梅罗提出了第一个集合论公理系统,后经弗伦克尔加以修改和补充,得到常用的策梅罗--弗伦克尔集合论公理体系,以后又经伯奈斯和哥德尔进一步改进和简化,得到伯奈斯--哥德尔集合论公理体系。希尔伯特还建立了元数学。作为对集合论悖论研究的直接成果是哥德尔不完全性定理。
美国杰出数学家哥德尔于本世纪30年代提出了不完全性定理。他指出:一个包含逻辑和初等数论的形式系统,如果是协调的,则是不完全的,亦即无矛盾性不可能在本系统内确立;如果初等算术系统是协调的,则协调性在算术系统内是不可能证明的。哥德尔不完全性定理无可辩驳地揭示了形式主义系统的局限性,从数学上证明了企图以形式主义的技术方法一劳永逸地解决悖论问题的不可能性。它实际上告诉人们,任何想要为数学找到绝对可靠的基础,从而彻底避免悖论的种种企图都是徒劳无益的,哥德尔定理是数理逻辑、人工智能、集合论的基石,是数学史上的一个里程碑。美国著名数学家冯·诺伊曼说过:"哥德尔在现代逻辑中的成就是非凡的、不朽的--它的不朽甚至超过了纪念碑,它是一个里程碑,在可以望见的地方和可以望见的未来中永远存在的纪念碑"。
时至今日,第三次数学危机还不能说已从根本上消除了,因为数学基础和数理逻辑的许多重要课题还未能从根本上得到解决。然而,人们正向根本解决的目标逐渐接近。可以预料,在这个过程中还将产生许多新的重要成果。
发现和提出悖论并加以研究,对于数学基础、逻辑学和哲学都有重要意义。正如塔斯基(1901- )所指出的:"必须强调的是,悖论在建立现代演绎科学的基础上占有一个特别重要的地位。正如集合论的悖论,特别是罗素悖论成为逻辑和数学相容性形式化的起点一样,撒谎者悖论及其语义学悖论导致了理论语义学的发展。"
{1,2,3,4,5,…}是自然数集:
{1,4,9,16,25,…}是自然数平方的数集。
这两个数集能够很容易构成一一对应,那么,在每个集合中有一样多的元素吗?
我们都知道整体大于部分。由线段BC上的点往顶点A连线,每一条线都会与线段DE(D点在AB上,E点在AC上)相交,因此可得DE与BC一样长,与图矛盾。为什么?
公元前5世纪,芝诺用他的无穷、连续以及部分和的知识,引发出以下著名的悖论:他提出让阿基里斯与乌龟之间举行一场赛跑,并让乌龟在阿基里斯前头1000米开始。假定阿基里斯能够跑得比乌龟快10倍。比赛开始,当阿基里斯跑了1000米时,乌龟仍前于他100米;当阿基里斯跑了下一个100米时,乌龟依然前于他10米……所以,阿基里斯永远追不上乌龟。
一位老师宣布说,在下一星期的五天内(星期一到星期五)的某一天将进行一场考试,但他又告诉班上的同学:"你们无法知道是哪一天,只有到了考试那天的早上八点钟才通知你们下午一点钟考。"
你能说出为什么这场考试无法进行吗?
电梯悖论:在一幢摩天大楼里,有一架电梯是由电脑控制运行的,它每层楼都停,且停留的时间都相同。然而,办公室靠近顶层的王先生说:"每当我要下楼的时候,都要等很久。停下的电梯总是要上楼,很少有下楼的。真奇怪!"李小姐对电梯也很不满意,她在接近底层的办公室上班,每天中午都要到顶楼的餐厅吃饭。她说:"不论我什么时候要上楼,停下来的电梯总是要下楼,很少有上楼的。真让人烦死了!"
这究竟是怎么回事?电梯明明在每层停留的时间都相同,可为什么会让接近顶楼和底层的人等得不耐烦?
硬币悖论:两枚硬币平放在一起,顶上的硬币绕下方的硬币转动半圈,结果硬币中图案的位置与开始时一样;然而,按常理,绕过圆周半圈的硬币的图案应是朝下的才对!你能解释为什么吗?
谷堆悖论:显然,1粒谷子不是堆;
如果1粒谷子不是堆,那么2粒谷子也不是堆;
如果2粒谷子不是堆,那么3粒谷子也不是堆;
……
如果99999粒谷子不是堆,那么100000粒谷子也不是堆;
……
如果1粒谷子落地不能形成谷堆,2粒谷子落地不能形成谷堆,3粒谷子落地也不能形成谷堆,依此类推,无论多少粒谷子落地都不能形成谷堆。这就是令整个古希腊震惊一时的谷堆悖论。
从真实的前提出发,用可以接受的推理,但结论则是明显错误的。它说明定义"堆"缺少明确的边界。它不同于三段论式的多前提推理,在一个前提的连续积累中形成悖论。从没有堆到有堆中间没有一个明确的界限,解决它的办法就是引进一个模糊的"类"。
这是连锁(Sorites)悖论中的一个例子,归功于古希腊人Eubulides,后来的怀疑论者不承认它是知识。"Soros"在希腊语里就是"堆"的意思。