| 词条 | 数学悖论 |
| 释义 | 悖论是一种认识矛盾，它既包括逻辑矛盾、语义矛盾，也包括思想方法上的矛盾。 数学悖论作为悖论的一种，主要发生在数学研究中。按照悖论的广义定义，所谓数学悖论，是指数学领域中既有数学规范中发生的无法解决的认识矛盾，这种认识矛盾可以在新的数学规范中得到解决。 “……古往今来，为数众多的悖论为逻辑思想的发展提供了食粮。” ——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.前后）发现：等腰直角三角形斜边与一直角边是不可公度的，它们的比不能归结为整数或整数之比。这一发现不仅严重触犯了毕达哥拉斯学派的信条，同时也冲击了当时希腊人的普遍见解，因此在当时它就直接导致了认识上的“危机”。希帕索斯的这一发现，史称“希帕索斯悖论”，从而触发了数学史上的第一次危机。 影响希帕索斯的发现，促使人们进一步去认识和理解无理数。但是，基于生产和科学技术的发展水平，毕达哥拉斯学派及以后的古希腊的数学家们没有也不可能建立严格的无理数理论，他们对无理数的问题基本上采取了回避的态度，放弃对数的算术处理，代之一几何处理，从而开始了几何优先发展的时期，在此后两千年间，希腊的几何学几乎成了全部数学的基础。当然，这种将整个数学捆绑在几何上的狭隘作法，对数学的发展也产生了不利的影响。 希帕索斯的发现，说明直觉和经验不一定靠得住，而推理和证明才是可靠的，这就导致了亚里士多德的逻辑体系和欧几里德几何体系的建立。 第二次数学危机起因十七世纪末，牛顿和莱布尼兹创立的微积分理论在实践中取得了成功的应用，大部分数学家对于这一理论的可靠性深信不移。但是，当时的微积分理论主要是建立在无穷小分析之上的，而无穷小分析后来证明是包含逻辑矛盾的。 经过1734年，英国大主教贝克莱发表了《分析学者，或致一个不信教的数学家。其中审查现代分析的对象、原则与推断是否比之宗教的神秘与教条，构思更为清楚，或推理更为明显》一书，对当时的微积分学说进行了猛烈的抨击。他说牛顿先认为无穷小量不是零，然后又让它等于零，这违背了背反律，并且所得到的流数实际上是0/0,是“依靠双重错误你得到了虽然不科学却是正确的结果”，这是因为错误互相抵偿的缘故。在数学史上，称之为“贝克莱悖论”。这一悖论的发现，在当时引起了一定的思想混乱，导致了数学史上的第二次危机，引起了持续200多年的微积分基础理论的争论。 贝克莱攻击“无穷小”，其目的是为宗教神学作论证，而作为“贝克莱悖论”本身，则是一个思想方法问题。因为数学要按照形式逻辑的不矛盾律来思维，不能在同一思维过程中既承认不等于零，又承认等于零。但是，事物的运动以其终点为极限，运动的结果在量上等于零，而在起点上则不等于零，这是事物运动的两个方面，不应纳入同一思维过程，如果把它们机械地联结起来，必然会导致思维中的悖论。贝克莱悖论产生的原因在于无穷小量的辨证性与数学方法的形式特性的矛盾。 影响第二次数学危机的产物——分析基础理论的严密化与集合论的创立。 “贝克莱悖论”提出以后，许多著名数学家从各种不同的角度进行研究、探索，试图把微积分重新建立在可靠的基础之上。法国数学家柯西是数学分析的集大成者，通过《分析教程》（1821）、《无穷小计算讲义》（1823）、《无穷小计算在几何中的应用》（1826）这几部著作，柯西建立起以极限为基础的现代微积分体系。但柯西的体系仍有尚待改进之处。比如：他关于极限的语言尚显模糊，依靠了运动、几何直观的东西；缺乏实数理论。德国数学家魏尔斯特拉斯是数学分析基础的主要奠基者之一，他改进了波尔查诺、阿贝尔、柯西的方法，首次用“ε—δ”方法叙述了微积分中一系列重要概念如极限、连续、导数和积分等，建立了该学科的严格体系。“ε—δ”方法的提出和应用于微积分，标志着微积分算术化的完成。为了建立极限理论的基本定理，不少数学家开始给出无理数的严格定义。1860年，魏尔斯特拉斯提出用递增有界数列来定义无理数；1872年，戴德金提出用分割来定义无理数；1883年，康托尔提出用基本序列来定义无理数；等等。这些定义，从不同的侧面深刻揭示了无理数的本质，从而建立了严格的实数理论，彻底消除了希帕索斯悖论，把极限理论建立在严格的实数理论的基础上，并进而导致集合论的诞生。 第三次数学危机起因魏尔斯特拉斯用排除无穷小量的办法来解决贝克莱悖论，而在上世纪60年代，鲁滨逊又把无穷小量请了回来，引进了超实数的概念，从而建立了非标准分析，同样也能精确地描述微积分，进而也解决了贝克莱悖论。但必须注意到，贝克莱悖论只是在相对意义下得到了解决，因为实数理论的无矛盾性归结为集合论的无矛盾性，而集合论的无矛盾性至今仍未彻底解决。 经过经过第一、二次数学危机，人们把数学基础理论的无矛盾性，归结为集合论的无矛盾性，集合论已成为整个现代数学的逻辑基础，数学这座富丽堂皇的大厦就算竣工了。看来集合论似乎是不会有矛盾的，数学的严格性的目标快要达到了，数学家们几乎都为这一成就自鸣得意。法国著名数学家庞加莱（1854—1912）于1900年在巴黎召开的国际数学家会议上夸耀道：“现在可以说，（数学）绝对的严密性是已经达到了”。然而，事隔不到两年，英国著名数理逻辑学家和哲学家罗素（1872—1970）即宣布了一条惊人的消息：集合论是自相矛盾的，并不存在什么绝对的严密性！史称“罗素悖论”。1918年，罗素把这个悖论通俗化，成为理发师悖论。罗素悖论的发现，无异于晴天劈雳，把人们从美梦中惊醒。罗素悖论以及集合论中其它一些悖论，深入到集合论的理论基础之中，从而从根本上危及了整个数学体系的确定性和严密性。于是在数学和逻辑学界引起了一场轩然大波，形成了数学史上的第三次危机。 产生集合论悖论的原因在于集合的辨证性与数学方法的形式特性或者形而上学的思维方法的矛盾。如产生罗素悖论的原因，就在于概括原则造集的任意性与生成集合的客观规则的非任意性之间的矛盾。 影响第三次数学危机的产物——数理逻辑的发展与一批现代数学的产生。 为了解决第三次数学危机，数学家们作了不同的努力。由于他们解决问题的出发点不同，所遵循的途径不同，所以在本世纪初就形成了不同的数学哲学流派，这就是以罗素为首的逻辑主义学派、以布劳威尔（1881—1966）为首的直觉主义学派和以希尔伯特为首的形式主义学派。这三大学派的形成与发展，把数学基础理论研究推向了一个新的阶段。三大学派的数学成果首先表现在数理逻辑学科的形成和它的现代分支——证明论等——的形成上。 为了排除集合论悖论，罗素提出了类型论，策梅罗提出了第一个集合论公理系统，后经弗伦克尔加以修改和补充，得到常用的策梅罗——弗伦克尔集合论公理体系，以后又经伯奈斯和哥德尔进一步改进和简化，得到伯奈斯——哥德尔集合论公理体系。希尔伯特还建立了元数学。作为对集合论悖论研究的直接成果是哥德尔不完全性定理。 美国杰出数学家哥德尔于本世纪30年代提出了不完全性定理。他指出：一个包含逻辑和初等数论的形式系统，如果是协调的，则是不完全的，亦即无矛盾性不可能在本系统内确立；如果初等算术系统是协调的，则协调性在算术系统内是不可能证明的。哥德尔不完全性定理无可辩驳地揭示了形式主义系统的局限性，从数学上证明了企图以形式主义的技术方法一劳永逸地解决悖论问题的不可能性。它实际上告诉人们，任何想要为数学找到绝对可靠的基础，从而彻底避免悖论的种种企图都是徒劳无益的，哥德尔定理是数理逻辑、人工智能、集合论的基石，是数学史上的一个里程碑。美国著名数学家冯·诺伊曼说过：“哥德尔在现代逻辑中的成就是非凡的、不朽的——它的不朽甚至超过了纪念碑，它是一个里程碑，在可以望见的地方和可以望见的未来中永远存在的纪念碑”。 时至今日，第三次数学危机还不能说已从根本上消除了，因为数学基础和数理逻辑的许多重要课题还未能从根本上得到解决。然而，人们正向根本解决的目标逐渐接近。可以预料，在这个过程中还将产生许多新的重要成果。 发现和提出悖论并加以研究，对于数学基础、逻辑学和哲学都有重要意义。正如塔斯基（1901— ）所指出的：“必须强调的是，悖论在建立现代演绎科学的基础上占有一个特别重要的地位。正如集合论的悖论，特别是罗素悖论成为逻辑和数学相容性形式化的起点一样，撒谎者悖论及其语义学悖论导致了理论语义学的发展。” 悖论一览理发师悖论理发师悖论（罗素悖论）：某村只有一人理发，且该村的人都需要理发，理发师规定，给且只给村中不自己理发的人理发。试问：理发师给不给自己理发？如果理发师给自己理发，则违背了自己的约定；如果理发师不给自己理发，那么按照他的规定，又应该给自己理发。这样，理发师陷入了两难的境地。 说谎者悖论说谎者悖论：公元前6世纪，古希腊克里特岛的哲学家伊壁门尼德斯有如此断言：“所有克里特人所说的每一句话都是谎话。” 如果这句话是真的，那么也就是说，克里特人伊壁门尼德斯说了一句真话，但是却与他的真话——所有克里特人所说的每一句话都是谎话——相悖；如果这句话不是真的，也就是说克里特人伊壁门尼德斯说了一句谎话，则真话应是：所有克里特人所说的每一句话都是真话，两者又相悖。 所以怎样也难以自圆其说，这就是著名的说谎者悖论。 公元前4世纪，希腊哲学家又提出了一个悖论：“我现在正在说的这句话是假的。”同上，这又是难以自圆其说！ 说谎者悖论至今仍困扰着数学家和逻辑学家。说谎者悖论有许多形式。如：我预言：“你下面要讲的话是‘不’，对不对？用‘是’或‘不是’来回答。” 又如，“我的下一句话是错（对）的，我的上一句话是对（错）的”。 跟无限相关的悖论跟无限相关的悖论： {1，2，3，4，5，…}是自然数集： {1，4，9，16，25，…}是自然数平方的数集。 这两个数集能够很容易构成一一对应，那么，在每个集合中有一样多的元素吗？ 伽利略悖论：我们都知道整体大于部分。由线段BC上的点往顶点A连线，每一条线都会与线段DE(D点在AB上,E点在AC上)相交，因此可得DE与BC一样长，与图矛盾。为什么？ 预料不到的考试的悖论预料不到的考试的悖论：一位老师宣布说，在下一星期的五天内（星期一到星期五）的某一天将进行一场考试，但他又告诉班上的同学：“你们无法知道是哪一天，只有到了考试那天的早上八点钟才通知你们下午一点钟考。” 你能说出为什么这场考试无法进行吗？ 电梯悖论电梯悖论：在一幢摩天大楼里，有一架电梯是由电脑控制运行的，它每层楼都停，且停留的时间都相同。然而，办公室靠近顶层的王先生说：“每当我要下楼的时候，都要等很久。停下的电梯总是要上楼，很少有下楼的。真奇怪！”李小姐对电梯也很不满意，她在接近底层的办公室上班，每天中午都要到顶楼的餐厅吃饭。她说：“不论我什么时候要上楼，停下来的电梯总是要下楼，很少有上楼的。真让人烦死了！” 这究竟是怎么回事？电梯明明在每层停留的时间都相同，可为什么会让接近顶楼和底层的人等得不耐烦？ 硬币悖论硬币悖论：两枚硬币平放在一起，顶上的硬币绕下方的硬币转动半圈，结果硬币中图案的位置与开始时一样；然而，按常理，绕过圆周半圈的硬币的图案应是朝下的才对！你能解释为什么吗？ 谷堆悖论谷堆悖论：显然，1粒谷子不是堆； 如果1粒谷子不是堆，那么2粒谷子也不是堆； 如果2粒谷子不是堆，那么3粒谷子也不是堆； …… 如果99999粒谷子不是堆，那么100000粒谷子也不是堆； …… 如果1粒谷子落地不能形成谷堆，2粒谷子落地不能形成谷堆，3粒谷子落地也不能形成谷堆，依此类推，无论多少粒谷子落地都不能形成谷堆。这就是令整个古希腊震惊一时的谷堆悖论。 从真实的前提出发，用可以接受的推理，但结论则是明显错误的。它说明定义“堆”缺少明确的边界。它不同于三段论式的多前提推理，在一个前提的连续积累中形成悖论。从没有堆到有堆中间没有一个明确的界限，解决它的办法就是引进一个模糊的“类”。 这是连锁（Sorites）悖论中的一个例子，归功于古希腊人Eubulides，后来的怀疑论者不承认它是知识。“Soros”在希腊语里就是“堆”的意思。最初是一个游戏：你可以把1粒谷子说成是堆吗？不能；你可以把2粒谷子说成是堆吗？不能；你可以把3粒谷子说成是堆吗？不能。但是你迟早会承认一个谷堆的存在，你从哪里区分他们？ 宝塔悖论宝塔悖论：如果从一砖塔中抽取一块砖，它不会塌；抽两块砖，它也不会塌；……抽第N块砖时，塔塌了。现在换一个地方开始抽砖，同第一次不一样的是，抽第M块砖是，塔塌了。再换一个地方，塔塌时少了L块砖。以此类推，每换一个地方，塔塌时少的砖块数都不尽相同。那么到底抽多少块砖塔才会塌呢？ 鸡与蛋问题世界上是先有鸡还是先有蛋？ 当然是先有鸡，只是刚开始它不是鸡，而是别的动物，后来它们的繁衍方式发生了变化，——成为了卵生，所以才有了蛋。 最早没有卵生动物，很多生物还是无性繁殖分裂的，后来慢慢进化成卵生和哺乳动物，所以按道理应该先进化成生物本体才可能有蛋的由来。 “蛋”有可能来自外星球，后来环境适应而孵化，之后在地球繁衍.....就形成了鸡生蛋，蛋又孵化成鸡。 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。