如题所述
悖论历史悠久,它的出现,本来并没有引起人们的重视,可是由于19世纪末20世纪初,在集合论中出现了3个著名的悖论,引起了当时数学界、逻辑学界以至于哲学界的震惊,触发了数学史上的第三次危机,才引起了现代数学界和逻辑学界的极大注意。本文试图对悖论的定义、成因以及由于数学悖论引起的数学史上的三次危机作以简要分析。
1 悖论的历史与悖论的定义
悖论的历史源远流长,它的起源可以一直追溯到古希腊和我国先秦时代。“悖论”一词源于希腊文,意为“无路可走”,转义是“四处碰壁,无法解决问题”。
在古希腊时代,克里特岛的哲学家伊壁门尼德斯(约公元前6世纪)发现的“撒谎者悖论”可以算作人们最早发现的悖论。公元前4世纪的欧布里德将其修改为“强化了的撒谎者悖论”。在此基础上,人们构造了一个与之等价的“永恒的撒谎者悖论”。埃利亚学派的代表人物芝诺(约490B.C.—430B.C.)提出的有关运动的四个悖论(二分法悖论、阿基里斯追龟悖论、飞矢不动悖论与运动场悖论)尤为著名,至今仍余波未息。
在中国古代哲学中也有许多悖论思想,如战国时期逻辑学家惠施(约370B.C.—318B.C.)的“日方中方睨,物方生方死”、“一尺之棰,日取其半,万世不竭”;《韩非子》中记载的有关矛与盾的悖论思想等,这些悖论式的命题,表面上看起来很荒谬,实际上却潜伏着某些辨证的思想内容。
在近代,著名的悖论有伽利略悖论、贝克莱悖论、康德的二律背反、集合论悖论等。在现代,则有光速悖论、双生子佯谬、EPR悖论、整体性悖论等。这些悖论从逻辑上看来都是一些思维矛盾,从认识论上看则是客观矛盾在思维上的反映。
尽管悖论的历史如此悠久,但直到本世纪初,人们才真正开始专门研究悖论的本质。在此之前,悖论只能引起人们的惊恐与不安;此后,人们才逐渐认识到悖论也有其积极作用。特别是本世纪60、70年代以来,出现了研究悖论的热潮。
悖论的定义有很多说法,影响较大的有以下几种,如“悖论是指这样一个命题A,由A出发可以找到一语句B,然后,若假定B真,就可推出¬B真,亦即可推出B假。若假定¬B真,即B假,又可推导出B真”。又如“悖论是一种导致逻辑矛盾的命题,这种命题,如果承认它是真的,那么它又是假的;如果承认它是假的,那么它又是真的。”再如“如果某一理论的公理和推理原则看上去是合理的,但在这个理论中却推出了两个互相矛盾的命题,或者证明了这样一个复合命题,它表现为两个互相矛盾的命题的等价式,那么,我们就说这个理论包含了一个悖论。”
上述各种悖论定义,都有其合理的一面,但又都不十分令人满意。从潜科学的观点来看,悖论是一种在已有科学规范中无法解决的认识矛盾,这种认识矛盾可以在新的科学规范中得到克服,这是悖论的广义定义。
悖论有其存在的客观性和必然性,它是科学理论演进中的必然产物,在科学发展史上经常出现,普遍存在于各门科学之中。不仅在语义学、形式逻辑和数理逻辑等领域出现悖论,而且在物理学、天文学、系统论和哲学等领域也经常出现悖论。
悖论是一种认识矛盾,它既包括逻辑矛盾、语义矛盾,也包括思想方法上的矛盾。
悖论常常以逻辑推理为手段,深入到原理论的根基之中,尖锐地揭露出该理论体系中潜藏着的无法回避的矛盾,所以它的出现必然导致现存理论体系的危机。科学危机的产生,往往是科学革命的前兆和强大杠杆,是科学认识飞跃的关节点和开始进入新阶段的重要标志。
我国著名数学家徐利治教授指出:“产生悖论的根本原因,无非是人的认识与客观实际以及认识客观世界的方法与客观规律的矛盾,这种直接和间接的矛盾在一点上的集中表现就是悖论。”所谓主客观矛盾在某一点上的集中表现,是指由于客观事物的发展造成了原来的认识无法解释新现实,因而要求看问题的思想方法发生转换,于是在新旧两种思想方法转换的关节点上,思维矛盾特别尖锐,就以悖论的形式表现出来。
2 数学悖论与数学史上的三次危机
数学悖论作为悖论的一种,主要发生在数学研究中。按照悖论的广义定义,所谓数学悖论,是指数学领域中既有数学规范中发生的无法解决的认识矛盾,这种认识矛盾可以在新的数学规范中得到解决。数学中有许多著名的悖论,除前面提到的伽利略悖论、贝克莱悖论外,还有康托尔最大基数悖论、布拉里——福蒂最大序数悖论、理查德悖论、基础集合悖论、希帕索斯悖论等。数学史上的危机,指数学发展中危及整个理论体系的逻辑基础的根本矛盾。这种根本性矛盾能够暴露一定发展阶段上数学体系逻辑基础的局限性,促使人们克服这种局限性,从而促使数学的大发展。数学史上的三次危机都是由数学悖论引起的,下面作以简要的分析。
毕达哥拉斯学派主张“数”是万物的本原、始基,而宇宙中一切现象都可归结为整数或整数之比。公元前5世纪,毕达哥拉斯学派的成员希帕索斯(470B.C.前后)发现:等腰直角三角形斜边与一直角边是不可公度的,它们的比不能归结为整数或整数之比。这一发现不仅严重触犯了毕达哥拉斯学派的信条,同时也冲击了当时希腊人的普遍见解,因此在当时它就直接导致了认识上的“危机”。希帕索斯的这一发现,史称“希帕索斯悖论”,从而触发了数学史上的第一次危机。
在希帕索斯悖论发现之前,人们仅认识到自然数和有理数,有理数理论成为占统治地位的数学规范,希帕索斯发现的无理数,暴露了原有数学规范的局限性。由此看来,希帕索斯悖论是由于主观认识上的错误而造成的。希帕索斯的发现,促使人们进一步去认识和理解无理数。但是,基于生产和科学技术的发展水平,毕达哥拉斯学派及以后的古希腊的数学家们没有也不可能建立严格的无理数理论,他们对无理数的问题基本上采取了回避的态度,放弃对数的算术处理,代之一几何处理,从而开始了几何优先发展的时期,在此后两千年间,希腊的几何学几乎成了全部数学的基础。当然,这种将整个数学捆绑在几何上的狭隘作法,对数学的发展也产生了不利的影响。希帕索斯的发现,说明直觉和经验不一定靠得住,而推理和证明才是可靠的,这就导致了亚里士多德的逻辑体系和欧几里德几何体系的建立。
十七世纪末,牛顿和莱布尼兹创立的微积分理论在实践中取得了成功的应用,大部分数学家对于这一理论的可靠性深信不移。但是,当时的微积分理论主要是建立在无穷小分析之上的,而无穷小分析后来证明是包含逻辑矛盾的。
1734年,英国大主教贝克莱发表了《分析学者,或致一个不信教的数学家。其中审查现代分析的对象、原则与推断是否比之宗教的神秘与教条,构思更为清楚,或推理更为明显》一书,对当时的微积分学说进行了猛烈的抨击。他说牛顿先认为无穷小量不是零,然后又让它等于零,这违背了背反律,并且所得到的流数实际上是0/0,是“依靠双重错误你得到了虽然不科学却是正确的结果”,这是因为错误互相抵偿的缘故。在数学史上,称之为“贝克莱悖论”。这一悖论的发现,在当时引起了一定的思想混乱,导致了数学史上的第二次危机,引起了持续200多年的微积分基础理论的争论。
贝克莱攻击“无穷小”,其目的是为宗教神学作论证,而作为“贝克莱悖论”本身,则是一个思想方法问题。因为数学要按照形式逻辑的不矛盾律来思维,不能在同一思维过程中既承认不等于零,又承认等于零。但是,事物的运动以其终点为极限,运动的结果在量上等于零,而在起点上则不等于零,这是事物运动的两个方面,不应纳入同一思维过程,如果把它们机械地联结起来,必然会导致思维中的悖论。贝克莱悖论产生的原因在于无穷小量的辨证性与数学方法的形式特性的矛盾。
第二次数学危机的产物——分析基础理论的严密化与集合论的创立。
“贝克莱悖论”提出以后,许多著名数学家从各种不同的角度进行研究、探索,试图把微积分重新建立在可靠的基础之上。法国数学家柯西是数学分析的集大成者,通过《分析教程》(1821)、《无穷小计算讲义》(1823)、《无穷小计算在几何中的应用》(1826)这几部著作,柯西建立起以极限为基础的现代微积分体系。但柯西的体系仍有尚待改进之处。比如:他关于极限的语言尚显模糊,依靠了运动、几何直观的东西;缺乏实数理论。法国数学家魏尔斯特拉斯是数学分析基础的主要奠基者之一,他改进了波尔查诺、阿贝尔、柯西的方法,首次用“e—d”方法叙述了微积分中一系列重要概念如极限、连续、导数和积分等,建立了该学科的严格体系。“e—d”方法的提出和应用于微积分,标志着微积分算术化的完成。为了建立极限理论的基本定理,不少数学家开始给出无理数的严格定义。1860年,魏尔斯特拉斯提出用递增有界数列来定义无理数;1872年,戴德金提出用分割来定义无理数;1883年,康托尔提出用基本序列来定义无理数;等等。这些定义,从不同的侧面深刻揭示了无理数的本质,从而建立了严格的实数理论,彻底消除了希帕索斯悖论,把极限理论建立在严格的实数理论的基础上,并进而导致集合论的诞生。
魏尔斯特拉斯用排除无穷小量的办法来解决贝克莱悖论,而在本世纪60年代,鲁滨逊又把无穷小量请了回来,引进了超实数的概念,从而建立了非标准分析,同样也能精确地描述微积分,进而也解决了贝克莱悖论。但必须注意到,贝克莱悖论只是在相对意义下得到了解决,因为实数理论的无矛盾性归结为集合论的无矛盾性,而集合论的无矛盾性至今仍未彻底解决。
经过第一、二次数学危机,人们把数学基础理论的无矛盾性,归结为集合论的无矛盾性,集合论已成为整个现代数学的逻辑基础,数学这座富丽堂皇的大厦就算竣工了。看来集合论似乎是不会有矛盾的,数学的严格性的目标快要达到了,数学家们几乎都为这一成就自鸣得意。法国著名数学家庞加莱(1854—1912)于1900年在巴黎召开的国际数学家会议上夸耀道:“现在可以说,(数学)绝对的严密性是已经达到了”。然而,事隔不到两年,英国著名数理逻辑学家和哲学家罗素(1872—1970)即宣布了一条惊人的消息:集合论是自相矛盾的,并不存在什么绝对的严密性!史称“罗素悖论”。1918年,罗素把这个悖论通俗化,成为理发师悖论。罗素悖论的发现,无异于晴天劈雳,把人们从美梦中惊醒。罗素悖论以及集合论中其它一些悖论,深入到集合论的理论基础之中,从而从根本上危及了整个数学体系的确定性和严密性。于是在数学和逻辑学界引起了一场轩然大波,形成了数学史上的第三次危机。
产生集合论悖论的原因在于集合的辨证性与数学方法的形式特性或者形而上学的思维方法的矛盾。如产生罗素悖论的原因,就在于概括原则造集的任意性与生成集合的客观规则的非任意性之间的矛盾。
第三次数学危机的产物——数理逻辑的发展与一批现代数学的产生。
为了解决第三次数学危机,数学家们作了不同的努力。由于他们解决问题的出发点不同,所遵循的途径不同,所以在本世纪初就形成了不同的数学哲学流派,这就是以罗素为首的逻辑主义学派、以布劳威尔(1881—1966)为首的直觉主义学派和以希尔伯特为首的形式主义学派。这三大学派的形成与发展,把数学基础理论研究推向了一个新的阶段。三大学派的数学成果首先表现在数理逻辑学科的形成和它的现代分支——证明论等——的形成上。
为了排除集合论悖论,罗素提出了类型论,策梅罗提出了第一个集合论公理系统,后经弗伦克尔加以修改和补充,得到常用的策梅罗——弗伦克尔集合论公理体系,以后又经伯奈斯和哥德尔进一步改进和简化,得到伯奈斯——哥德尔集合论公理体系。希尔伯特还建立了元数学。作为对集合论悖论研究的直接成果是哥德尔不完全性定理。
美国杰出数学家哥德尔于本世纪30年代提出了不完全性定理。他指出:一个包含逻辑和初等数论的形式系统,如果是协调的,则是不完全的,亦即无矛盾性不可能在本系统内确立;如果初等算术系统是协调的,则协调性在算术系统内是不可能证明的。哥德尔不完全性定理无可辩驳地揭示了形式主义系统的局限性,从数学上证明了企图以形式主义的技术方法一劳永逸地解决悖论问题的不可能性。它实际上告诉人们,任何想要为数学找到绝对可靠的基础,从而彻底避免悖论的种种企图都是徒劳无益的,哥德尔定理是数理逻辑、人工智能、集合论的基石,是数学史上的一个里程碑。美国著名数学家冯•诺伊曼说过:“哥德尔在现代逻辑中的成就是非凡的、不朽的——它的不朽甚至超过了纪念碑,它是一个里程碑,在可以望见的地方和可以望见的未来中永远存在的纪念碑”。
时至今日,第三次数学危机还不能说已从根本上消除了,因为数学基础和数理逻辑的许多重要课题还未能从根本上得到解决。然而,人们正向根本解决的目标逐渐接近。可以预料,在这个过程中还将产生许多新的重要成果。
发现和提出悖论并加以研究,对于数学基础、逻辑学和哲学都有重要意义。正如塔斯基(1901— )所指出的:“必须强调的是,悖论在建立现代演绎科学的基础上占有一个特别重要的地位。正如集合论的悖论,特别是罗素悖论成为逻辑和数学相容性形式化的起点一样,撒谎者悖论及其语义学悖论导致了理论语义学的发展。”
1 悖论的历史与悖论的定义
悖论的历史源远流长,它的起源可以一直追溯到古希腊和我国先秦时代。“悖论”一词源于希腊文,意为“无路可走”,转义是“四处碰壁,无法解决问题”。
在古希腊时代,克里特岛的哲学家伊壁门尼德斯(约公元前6世纪)发现的“撒谎者悖论”可以算作人们最早发现的悖论。公元前4世纪的欧布里德将其修改为“强化了的撒谎者悖论”。在此基础上,人们构造了一个与之等价的“永恒的撒谎者悖论”。埃利亚学派的代表人物芝诺(约490B.C.—430B.C.)提出的有关运动的四个悖论(二分法悖论、阿基里斯追龟悖论、飞矢不动悖论与运动场悖论)尤为著名,至今仍余波未息。
在中国古代哲学中也有许多悖论思想,如战国时期逻辑学家惠施(约370B.C.—318B.C.)的“日方中方睨,物方生方死”、“一尺之棰,日取其半,万世不竭”;《韩非子》中记载的有关矛与盾的悖论思想等,这些悖论式的命题,表面上看起来很荒谬,实际上却潜伏着某些辨证的思想内容。
在近代,著名的悖论有伽利略悖论、贝克莱悖论、康德的二律背反、集合论悖论等。在现代,则有光速悖论、双生子佯谬、EPR悖论、整体性悖论等。这些悖论从逻辑上看来都是一些思维矛盾,从认识论上看则是客观矛盾在思维上的反映。
尽管悖论的历史如此悠久,但直到本世纪初,人们才真正开始专门研究悖论的本质。在此之前,悖论只能引起人们的惊恐与不安;此后,人们才逐渐认识到悖论也有其积极作用。特别是本世纪60、70年代以来,出现了研究悖论的热潮。
悖论的定义有很多说法,影响较大的有以下几种,如“悖论是指这样一个命题A,由A出发可以找到一语句B,然后,若假定B真,就可推出¬B真,亦即可推出B假。若假定¬B真,即B假,又可推导出B真”。又如“悖论是一种导致逻辑矛盾的命题,这种命题,如果承认它是真的,那么它又是假的;如果承认它是假的,那么它又是真的。”再如“如果某一理论的公理和推理原则看上去是合理的,但在这个理论中却推出了两个互相矛盾的命题,或者证明了这样一个复合命题,它表现为两个互相矛盾的命题的等价式,那么,我们就说这个理论包含了一个悖论。”
上述各种悖论定义,都有其合理的一面,但又都不十分令人满意。从潜科学的观点来看,悖论是一种在已有科学规范中无法解决的认识矛盾,这种认识矛盾可以在新的科学规范中得到克服,这是悖论的广义定义。
悖论有其存在的客观性和必然性,它是科学理论演进中的必然产物,在科学发展史上经常出现,普遍存在于各门科学之中。不仅在语义学、形式逻辑和数理逻辑等领域出现悖论,而且在物理学、天文学、系统论和哲学等领域也经常出现悖论。
悖论是一种认识矛盾,它既包括逻辑矛盾、语义矛盾,也包括思想方法上的矛盾。
悖论常常以逻辑推理为手段,深入到原理论的根基之中,尖锐地揭露出该理论体系中潜藏着的无法回避的矛盾,所以它的出现必然导致现存理论体系的危机。科学危机的产生,往往是科学革命的前兆和强大杠杆,是科学认识飞跃的关节点和开始进入新阶段的重要标志。
我国著名数学家徐利治教授指出:“产生悖论的根本原因,无非是人的认识与客观实际以及认识客观世界的方法与客观规律的矛盾,这种直接和间接的矛盾在一点上的集中表现就是悖论。”所谓主客观矛盾在某一点上的集中表现,是指由于客观事物的发展造成了原来的认识无法解释新现实,因而要求看问题的思想方法发生转换,于是在新旧两种思想方法转换的关节点上,思维矛盾特别尖锐,就以悖论的形式表现出来。
2 数学悖论与数学史上的三次危机
数学悖论作为悖论的一种,主要发生在数学研究中。按照悖论的广义定义,所谓数学悖论,是指数学领域中既有数学规范中发生的无法解决的认识矛盾,这种认识矛盾可以在新的数学规范中得到解决。数学中有许多著名的悖论,除前面提到的伽利略悖论、贝克莱悖论外,还有康托尔最大基数悖论、布拉里——福蒂最大序数悖论、理查德悖论、基础集合悖论、希帕索斯悖论等。数学史上的危机,指数学发展中危及整个理论体系的逻辑基础的根本矛盾。这种根本性矛盾能够暴露一定发展阶段上数学体系逻辑基础的局限性,促使人们克服这种局限性,从而促使数学的大发展。数学史上的三次危机都是由数学悖论引起的,下面作以简要的分析。
毕达哥拉斯学派主张“数”是万物的本原、始基,而宇宙中一切现象都可归结为整数或整数之比。公元前5世纪,毕达哥拉斯学派的成员希帕索斯(470B.C.前后)发现:等腰直角三角形斜边与一直角边是不可公度的,它们的比不能归结为整数或整数之比。这一发现不仅严重触犯了毕达哥拉斯学派的信条,同时也冲击了当时希腊人的普遍见解,因此在当时它就直接导致了认识上的“危机”。希帕索斯的这一发现,史称“希帕索斯悖论”,从而触发了数学史上的第一次危机。
在希帕索斯悖论发现之前,人们仅认识到自然数和有理数,有理数理论成为占统治地位的数学规范,希帕索斯发现的无理数,暴露了原有数学规范的局限性。由此看来,希帕索斯悖论是由于主观认识上的错误而造成的。希帕索斯的发现,促使人们进一步去认识和理解无理数。但是,基于生产和科学技术的发展水平,毕达哥拉斯学派及以后的古希腊的数学家们没有也不可能建立严格的无理数理论,他们对无理数的问题基本上采取了回避的态度,放弃对数的算术处理,代之一几何处理,从而开始了几何优先发展的时期,在此后两千年间,希腊的几何学几乎成了全部数学的基础。当然,这种将整个数学捆绑在几何上的狭隘作法,对数学的发展也产生了不利的影响。希帕索斯的发现,说明直觉和经验不一定靠得住,而推理和证明才是可靠的,这就导致了亚里士多德的逻辑体系和欧几里德几何体系的建立。
十七世纪末,牛顿和莱布尼兹创立的微积分理论在实践中取得了成功的应用,大部分数学家对于这一理论的可靠性深信不移。但是,当时的微积分理论主要是建立在无穷小分析之上的,而无穷小分析后来证明是包含逻辑矛盾的。
1734年,英国大主教贝克莱发表了《分析学者,或致一个不信教的数学家。其中审查现代分析的对象、原则与推断是否比之宗教的神秘与教条,构思更为清楚,或推理更为明显》一书,对当时的微积分学说进行了猛烈的抨击。他说牛顿先认为无穷小量不是零,然后又让它等于零,这违背了背反律,并且所得到的流数实际上是0/0,是“依靠双重错误你得到了虽然不科学却是正确的结果”,这是因为错误互相抵偿的缘故。在数学史上,称之为“贝克莱悖论”。这一悖论的发现,在当时引起了一定的思想混乱,导致了数学史上的第二次危机,引起了持续200多年的微积分基础理论的争论。
贝克莱攻击“无穷小”,其目的是为宗教神学作论证,而作为“贝克莱悖论”本身,则是一个思想方法问题。因为数学要按照形式逻辑的不矛盾律来思维,不能在同一思维过程中既承认不等于零,又承认等于零。但是,事物的运动以其终点为极限,运动的结果在量上等于零,而在起点上则不等于零,这是事物运动的两个方面,不应纳入同一思维过程,如果把它们机械地联结起来,必然会导致思维中的悖论。贝克莱悖论产生的原因在于无穷小量的辨证性与数学方法的形式特性的矛盾。
第二次数学危机的产物——分析基础理论的严密化与集合论的创立。
“贝克莱悖论”提出以后,许多著名数学家从各种不同的角度进行研究、探索,试图把微积分重新建立在可靠的基础之上。法国数学家柯西是数学分析的集大成者,通过《分析教程》(1821)、《无穷小计算讲义》(1823)、《无穷小计算在几何中的应用》(1826)这几部著作,柯西建立起以极限为基础的现代微积分体系。但柯西的体系仍有尚待改进之处。比如:他关于极限的语言尚显模糊,依靠了运动、几何直观的东西;缺乏实数理论。法国数学家魏尔斯特拉斯是数学分析基础的主要奠基者之一,他改进了波尔查诺、阿贝尔、柯西的方法,首次用“e—d”方法叙述了微积分中一系列重要概念如极限、连续、导数和积分等,建立了该学科的严格体系。“e—d”方法的提出和应用于微积分,标志着微积分算术化的完成。为了建立极限理论的基本定理,不少数学家开始给出无理数的严格定义。1860年,魏尔斯特拉斯提出用递增有界数列来定义无理数;1872年,戴德金提出用分割来定义无理数;1883年,康托尔提出用基本序列来定义无理数;等等。这些定义,从不同的侧面深刻揭示了无理数的本质,从而建立了严格的实数理论,彻底消除了希帕索斯悖论,把极限理论建立在严格的实数理论的基础上,并进而导致集合论的诞生。
魏尔斯特拉斯用排除无穷小量的办法来解决贝克莱悖论,而在本世纪60年代,鲁滨逊又把无穷小量请了回来,引进了超实数的概念,从而建立了非标准分析,同样也能精确地描述微积分,进而也解决了贝克莱悖论。但必须注意到,贝克莱悖论只是在相对意义下得到了解决,因为实数理论的无矛盾性归结为集合论的无矛盾性,而集合论的无矛盾性至今仍未彻底解决。
经过第一、二次数学危机,人们把数学基础理论的无矛盾性,归结为集合论的无矛盾性,集合论已成为整个现代数学的逻辑基础,数学这座富丽堂皇的大厦就算竣工了。看来集合论似乎是不会有矛盾的,数学的严格性的目标快要达到了,数学家们几乎都为这一成就自鸣得意。法国著名数学家庞加莱(1854—1912)于1900年在巴黎召开的国际数学家会议上夸耀道:“现在可以说,(数学)绝对的严密性是已经达到了”。然而,事隔不到两年,英国著名数理逻辑学家和哲学家罗素(1872—1970)即宣布了一条惊人的消息:集合论是自相矛盾的,并不存在什么绝对的严密性!史称“罗素悖论”。1918年,罗素把这个悖论通俗化,成为理发师悖论。罗素悖论的发现,无异于晴天劈雳,把人们从美梦中惊醒。罗素悖论以及集合论中其它一些悖论,深入到集合论的理论基础之中,从而从根本上危及了整个数学体系的确定性和严密性。于是在数学和逻辑学界引起了一场轩然大波,形成了数学史上的第三次危机。
产生集合论悖论的原因在于集合的辨证性与数学方法的形式特性或者形而上学的思维方法的矛盾。如产生罗素悖论的原因,就在于概括原则造集的任意性与生成集合的客观规则的非任意性之间的矛盾。
第三次数学危机的产物——数理逻辑的发展与一批现代数学的产生。
为了解决第三次数学危机,数学家们作了不同的努力。由于他们解决问题的出发点不同,所遵循的途径不同,所以在本世纪初就形成了不同的数学哲学流派,这就是以罗素为首的逻辑主义学派、以布劳威尔(1881—1966)为首的直觉主义学派和以希尔伯特为首的形式主义学派。这三大学派的形成与发展,把数学基础理论研究推向了一个新的阶段。三大学派的数学成果首先表现在数理逻辑学科的形成和它的现代分支——证明论等——的形成上。
为了排除集合论悖论,罗素提出了类型论,策梅罗提出了第一个集合论公理系统,后经弗伦克尔加以修改和补充,得到常用的策梅罗——弗伦克尔集合论公理体系,以后又经伯奈斯和哥德尔进一步改进和简化,得到伯奈斯——哥德尔集合论公理体系。希尔伯特还建立了元数学。作为对集合论悖论研究的直接成果是哥德尔不完全性定理。
美国杰出数学家哥德尔于本世纪30年代提出了不完全性定理。他指出:一个包含逻辑和初等数论的形式系统,如果是协调的,则是不完全的,亦即无矛盾性不可能在本系统内确立;如果初等算术系统是协调的,则协调性在算术系统内是不可能证明的。哥德尔不完全性定理无可辩驳地揭示了形式主义系统的局限性,从数学上证明了企图以形式主义的技术方法一劳永逸地解决悖论问题的不可能性。它实际上告诉人们,任何想要为数学找到绝对可靠的基础,从而彻底避免悖论的种种企图都是徒劳无益的,哥德尔定理是数理逻辑、人工智能、集合论的基石,是数学史上的一个里程碑。美国著名数学家冯•诺伊曼说过:“哥德尔在现代逻辑中的成就是非凡的、不朽的——它的不朽甚至超过了纪念碑,它是一个里程碑,在可以望见的地方和可以望见的未来中永远存在的纪念碑”。
时至今日,第三次数学危机还不能说已从根本上消除了,因为数学基础和数理逻辑的许多重要课题还未能从根本上得到解决。然而,人们正向根本解决的目标逐渐接近。可以预料,在这个过程中还将产生许多新的重要成果。
发现和提出悖论并加以研究,对于数学基础、逻辑学和哲学都有重要意义。正如塔斯基(1901— )所指出的:“必须强调的是,悖论在建立现代演绎科学的基础上占有一个特别重要的地位。正如集合论的悖论,特别是罗素悖论成为逻辑和数学相容性形式化的起点一样,撒谎者悖论及其语义学悖论导致了理论语义学的发展。”
温馨提示:答案为网友推荐,仅供参考
第1个回答 2010-12-09
第一次:有理数危机
毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了一个合政治、学术、宗教三位一体的神秘主义派别:毕达哥拉斯学派。由毕达哥拉斯提出的著名命题“万物皆数”是该学派的哲学基石。而“一切数均可表成整数或整数之比”则是这一学派的数学信仰。然而,具有戏剧性的是由毕达哥拉斯建立的毕达哥拉斯定理却成了毕达哥拉斯学派数学信仰的“掘墓人”。毕达哥拉斯定理提出后,其学派中的一个成员希帕索斯考虑了一个问题:边长为1的正方形其对角线长度是多少呢?他发现这一长度既不能用整数,也不能用分数表示,而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数√2 的诞生。小小√2的出现,却在当时的数学界掀起了一场巨大风暴。它直接动摇了毕达哥拉斯学派的数学信仰,使毕达哥拉斯学派为之大为恐慌。实际上,这一伟大发现不但是对毕达哥拉斯学派的致命打击。对于当时所有古希腊人的观念这都是一个极大的冲击。这一结论的悖论性表现在它与常识的冲突上:任何量,在任何精确度的范围内都可以表示成有理数。这不但在希腊当时是人们普遍接受的信仰,就是在今天,测量技术已经高度发展时,这个断言也毫无例外是正确的!可是为我们的经验所确信的,完全符合常识的论断居然被小小的√2的存在而推翻了!这应该是多么违反常识,多么荒谬的事!它简直把以前所知道的事情根本推翻了。更糟糕的是,面对这一荒谬人们竟然毫无办法。这就在当时直接导致了人们认识上的危机,从而导致了西方数学史上一场大的风波,史称“第一次数学危机”。
第二次:微积分危机
第二次数学危机导源于微积分工具的使用。伴随着人们科学理论与实践认识的提高,十七世纪几乎在同一时期,微积分这一锐利无比的数学工具为牛顿、莱布尼兹各自独立发现。这一工具一问世,就显示出它的非凡威力。许许多多疑难问题运用这一工具后变得易如翻掌。但是不管是牛顿,还是莱布尼兹所创立的微积分理论都是不严格的。两人的理论都建立在无穷小分析之上,但他们对作为基本概念的无穷小量的理解与运用却是混乱的。因而,从微积分诞生时就遭到了一些人的反对与攻击。其中攻击最猛烈的是英国大主教贝克莱。
第三次:罗素悖论与集合危机
十九世纪下半叶,康托尔创立了著名的集合论,在集合论刚产生时,曾遭到许多人的猛烈攻击。但不久这一开创性成果就为广大数学家所接受了,并且获得广泛而高度的赞誉。数学家们发现,从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论成为现代数学的基石。“一切数学成果可建立在集合论基础上”这一发现使数学家们为之陶醉。1900年,国际数学家大会上,法国著名数学家庞加莱就曾兴高采烈地宣称:“………借助集合论概念,我们可以建造整个数学大厦……今天,我们可以说绝对的严格性已经达到了……”
可是,好景不长。1903年,一个震惊数学界的消息传出:集合论是有漏洞的!这就是英国数学家罗素提出的著名的罗素悖论。
罗素构造了一个集合S:S由一切不是自身元素的集合所组成。然后罗素问:S是否属于S呢?根据排中律,一个元素或者属于某个集合,或者不属于某个集合。因此,对于一个给定的集合,问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果S属于S,根据S的定义,S就不属于S;反之,如果S不属于S,同样根据定义,S就属于S。无论如何都是矛盾的。
罗素
其实,在罗素之前集合论中就已经发现了悖论。如1897年,布拉利和福尔蒂提出了最大序数悖论。1899年,康托尔自己发现了最大基数悖论。但是,由于这两个悖论都涉及集合中的许多复杂理论,所以只是在数学界揭起了一点小涟漪,未能引起大的注意。罗素悖论则不同。它非常浅显易懂,而且所涉及的只是集合论中最基本的东西。所以,罗素悖论一提出就在当时的数学界与逻辑学界内引起了极大震动。如G.弗雷格在收到罗素介绍这一悖论的信后伤心地说:“一个科学家所遇到的最不合心意的事莫过于是在他的工作即将结束时,其基础崩溃了。罗素先生的一封信正好把我置于这个境地。”戴德金也因此推迟了他的《什么是数的本质和作用》一文的再版。可以说,这一悖论就象在平静的数学水面上投下了一块巨石,而它所引起的巨大反响则导致了第三次数学危机。
危机产生后,数学家纷纷提出自己的解决方案。人们希望能够通过对康托尔的集合论进行改造,通过对集合定义加以限制来排除悖论,这就需要建立新的原则。“这些原则必须足够狭窄,以保证排除一切矛盾;另一方面又必须充分广阔,使康托尔集合论中一切有价值的内容得以保存下来。”1908年,策梅罗在自已这一原则基础上提出第一个公理化集合论体系,后来经其他数学家改进,称为ZF系统。这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。除ZF系统外,集合论的公理系统还有多种,如诺伊曼等人提出的NBG系统等。公理化集合系统的建立,成功排除了集合论中出现的悖论,从而比较圆满地解决了第三次数学危机。但在另一方面,罗素悖论对数学而言有着更为深刻的影响。它使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前,导致了数学家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。如围绕着数学基础之争,形成了现代数学史上著名的三大数学流派,而各派的工作又都促进了数学的大发展等等。
毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了一个合政治、学术、宗教三位一体的神秘主义派别:毕达哥拉斯学派。由毕达哥拉斯提出的著名命题“万物皆数”是该学派的哲学基石。而“一切数均可表成整数或整数之比”则是这一学派的数学信仰。然而,具有戏剧性的是由毕达哥拉斯建立的毕达哥拉斯定理却成了毕达哥拉斯学派数学信仰的“掘墓人”。毕达哥拉斯定理提出后,其学派中的一个成员希帕索斯考虑了一个问题:边长为1的正方形其对角线长度是多少呢?他发现这一长度既不能用整数,也不能用分数表示,而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数√2 的诞生。小小√2的出现,却在当时的数学界掀起了一场巨大风暴。它直接动摇了毕达哥拉斯学派的数学信仰,使毕达哥拉斯学派为之大为恐慌。实际上,这一伟大发现不但是对毕达哥拉斯学派的致命打击。对于当时所有古希腊人的观念这都是一个极大的冲击。这一结论的悖论性表现在它与常识的冲突上:任何量,在任何精确度的范围内都可以表示成有理数。这不但在希腊当时是人们普遍接受的信仰,就是在今天,测量技术已经高度发展时,这个断言也毫无例外是正确的!可是为我们的经验所确信的,完全符合常识的论断居然被小小的√2的存在而推翻了!这应该是多么违反常识,多么荒谬的事!它简直把以前所知道的事情根本推翻了。更糟糕的是,面对这一荒谬人们竟然毫无办法。这就在当时直接导致了人们认识上的危机,从而导致了西方数学史上一场大的风波,史称“第一次数学危机”。
第二次:微积分危机
第二次数学危机导源于微积分工具的使用。伴随着人们科学理论与实践认识的提高,十七世纪几乎在同一时期,微积分这一锐利无比的数学工具为牛顿、莱布尼兹各自独立发现。这一工具一问世,就显示出它的非凡威力。许许多多疑难问题运用这一工具后变得易如翻掌。但是不管是牛顿,还是莱布尼兹所创立的微积分理论都是不严格的。两人的理论都建立在无穷小分析之上,但他们对作为基本概念的无穷小量的理解与运用却是混乱的。因而,从微积分诞生时就遭到了一些人的反对与攻击。其中攻击最猛烈的是英国大主教贝克莱。
第三次:罗素悖论与集合危机
十九世纪下半叶,康托尔创立了著名的集合论,在集合论刚产生时,曾遭到许多人的猛烈攻击。但不久这一开创性成果就为广大数学家所接受了,并且获得广泛而高度的赞誉。数学家们发现,从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论成为现代数学的基石。“一切数学成果可建立在集合论基础上”这一发现使数学家们为之陶醉。1900年,国际数学家大会上,法国著名数学家庞加莱就曾兴高采烈地宣称:“………借助集合论概念,我们可以建造整个数学大厦……今天,我们可以说绝对的严格性已经达到了……”
可是,好景不长。1903年,一个震惊数学界的消息传出:集合论是有漏洞的!这就是英国数学家罗素提出的著名的罗素悖论。
罗素构造了一个集合S:S由一切不是自身元素的集合所组成。然后罗素问:S是否属于S呢?根据排中律,一个元素或者属于某个集合,或者不属于某个集合。因此,对于一个给定的集合,问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果S属于S,根据S的定义,S就不属于S;反之,如果S不属于S,同样根据定义,S就属于S。无论如何都是矛盾的。
罗素
其实,在罗素之前集合论中就已经发现了悖论。如1897年,布拉利和福尔蒂提出了最大序数悖论。1899年,康托尔自己发现了最大基数悖论。但是,由于这两个悖论都涉及集合中的许多复杂理论,所以只是在数学界揭起了一点小涟漪,未能引起大的注意。罗素悖论则不同。它非常浅显易懂,而且所涉及的只是集合论中最基本的东西。所以,罗素悖论一提出就在当时的数学界与逻辑学界内引起了极大震动。如G.弗雷格在收到罗素介绍这一悖论的信后伤心地说:“一个科学家所遇到的最不合心意的事莫过于是在他的工作即将结束时,其基础崩溃了。罗素先生的一封信正好把我置于这个境地。”戴德金也因此推迟了他的《什么是数的本质和作用》一文的再版。可以说,这一悖论就象在平静的数学水面上投下了一块巨石,而它所引起的巨大反响则导致了第三次数学危机。
危机产生后,数学家纷纷提出自己的解决方案。人们希望能够通过对康托尔的集合论进行改造,通过对集合定义加以限制来排除悖论,这就需要建立新的原则。“这些原则必须足够狭窄,以保证排除一切矛盾;另一方面又必须充分广阔,使康托尔集合论中一切有价值的内容得以保存下来。”1908年,策梅罗在自已这一原则基础上提出第一个公理化集合论体系,后来经其他数学家改进,称为ZF系统。这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。除ZF系统外,集合论的公理系统还有多种,如诺伊曼等人提出的NBG系统等。公理化集合系统的建立,成功排除了集合论中出现的悖论,从而比较圆满地解决了第三次数学危机。但在另一方面,罗素悖论对数学而言有着更为深刻的影响。它使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前,导致了数学家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。如围绕着数学基础之争,形成了现代数学史上著名的三大数学流派,而各派的工作又都促进了数学的大发展等等。