数学悖论、数学危机及其对数学的推动作用

数学悖论、数学危机及其对数学的推动作用
数学悖论、数学危机及其对数学的推动作用

数学悖论、数学危机及其对数学的推动作用

数学悖论、数学危机及其对数学的推动作用

悖论是让数学家无法回避的问题。悖论出现使得数学体系出现不可靠性和失真理性,这就逼迫数学家投入最大的热情去解决它。而在解决悖论的过程中,各种理论应运而生了,因而悖论在推动数学发展中的巨大作用。现在我作如下简单阐述:毕达哥拉斯学派认为“万物皆数”,而“一切数均可表成整数或整数之比”则是这一学派的数学信仰。然而,毕达哥拉斯定理却成了毕达哥拉斯学派数学信仰的“掘墓人”.毕达哥拉斯定理提出后,其学派中的一个成员希帕索斯考虑了一个问题:边长为1的正方形其对角线长度是多少呢?他发现这一长度既不能用整数,也不能用分数表示,而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数√2 的诞生。这却在当时的数学界掀起了一场巨大风暴。这一伟大发现不但对毕达哥拉斯学派的致命打击,也对于当时所有古希腊人的观念这都是一个极大的冲击。更糟糕的是,面对这一荒谬人们竟然毫无办法。这就在当时直接导致了人们认识上的危机,从而导致了西方数学史上一场大的风波,史称“第一次数学危机”.

二百年后,欧多克索斯提出的新比例理论暂时消除悖论。一直到18世纪,当数学家证明了圆周率是无理数时,拥护无理数存在的人才多起来。到十九世纪下半叶,现在意义上的实数理论建

立起来后,无理数本质被彻底搞清,无理数在数学中合法地位的确立,一方面使人类对数的认识从有理数拓展到实数,另一方面也真正彻底、圆满地解决了第一次数学危机。

伴随着人们科学理论与实践认识的提高,十七世纪微积分诞生,但是微积分理论是不严格的。理论都建立在无穷小分析之上,作为基本概念的无穷小量的理解与运用却是混乱的。因而,从微积分诞生时就遭到了一些人的反对与攻击。其中攻击最猛烈的是英国大主教贝克莱。

数学史上把贝克莱的问题称之为“贝克莱悖论”.笼统地说,贝克莱悖论可以表述为“无穷小量究竟是否为0”的问题:就无穷小量在当时实际应用而言,它必须既是0,又不是0.但从形式逻辑而言,这无疑是一个矛盾。这一问题的提出在当时的数学界引起了一定的混乱,由此导致了第二次数学危机的产生。

十八世纪开始微积分理论获得了空前丰富。然而,与此同时十八世纪粗糙的,不严密的工作也导致谬误越来越多的局面。当时数学中出现的混乱局面了。尤其到十九世纪初,傅立叶理论直接导致了数学逻辑基础问题的彻底暴露。这样把分析重新建立在逻辑基础之上就成为数学家们迫在眉睫的任务。到十九世纪,批判、系统化和严密论证的必要时期降临了。

使分析基础严密化的工作由法国著名数学家柯西迈出了第一大步。柯西于1821年开始给出了分析学一系列基本概念的严格定义。后来,德国数学家魏尔斯特拉斯给出更为完善的我们目前所

使用的“ε-δ ”方法。另外,在柯西的努力下,连续、导数、微分、积分、无穷级数的和等概念也建立在了较坚实的基础上。

柯西之后,魏尔斯特拉斯、戴德金、康托尔各自经过自己独立深入的研究,都将分析基础归结为实数理论,并于七十年代各自建立了自己完整的实数体系。1892年,另一个数学家创用“区间套原理”来建立实数理论。由此,沿柯西开辟的道路,建立起来的严谨的极限理论与实数理论,完成了分析学的逻辑奠基工作。数学分析的无矛盾性问题归纳为实数论的无矛盾性,从而使微积分学这座人类数学史上空前雄伟的大厦建在了牢固可靠的基础之上。微积分学坚实牢固基础的建立,结束了数学中暂时的混乱局面,同时也宣布了第二次数学危机的彻底解决。

十九世纪下半叶,康托尔创立了著名的集合论,并且获得广泛而高度的赞誉。数学家们发现,从自然数与康托尔集合论出发可建立起整个数学大厦。因而这使数学家们为之陶醉。

可是,1903年一个震惊数学界的消息传出:集合论是有漏洞的!这就是英国数学家罗素提出的著名的罗素悖论。

罗素构造了一个集合S:S由一切不是自身元素的集合所组成。然后罗素问:S是否属于S呢?根据排中律,一个元素或者属于某个集合,或者不属于某个集合。因此,对于一个给定的集合,问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果S属于S,根据S的定义,S就不属

于S;反之,如果S不属于S,同样根据定义,S就属于S.无论如何都是矛盾的。

罗素悖论一提出就在当时的数学界与逻辑学界内引起了极大震动。这一悖论就像在平静的数学水面上投下了一块巨石,而它所引起的巨大反响则导致了第三次数学危机。

危机产生后,人们希望能够通过对康托尔的集合论进行改造,通过对集合定义加以限制来排除悖论,这就需要建立新的原则。1908年,策梅罗在自己这一原则基础上提出第一个公理化集合论体系,后来经其他数学家改进,称为ZF系统。这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。公理化集合系统的建立,成功排除了集合论中出现的悖论,从而比较圆满地解决了第三次数学危机。但在另一方面,罗素悖论对数学而言有着更为深刻的影响。它使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前,导致了数学家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。

以上简单介绍了数学史上由于悖论而导致的三次数学危机与解决,从中我们不难看到悖论在推动数学发展中的巨大作用。而悖论提出的正是让数学家无法回避的问题。正如希尔伯特在《论无限》一文中所指出的那样:“必须承认,在这些悖论面前,我们目前所处的情况是不能长期忍受下去的。人们试想:在数学这个号称可靠性和真理性的模范里,每一个人所学的、教的和应用的那些概念结构和推理方法竟会导致不合理的结果。如果甚至于

数学思考也失灵的话,那么应该到哪里去寻找可靠性和真理性呢?”悖论的出现逼迫数学家投入最大的热情去解决它。而在解决悖论的过程中,各种理论应运而生了:第一次数学危机促成了公理几何与逻辑的诞生;第二次数学危机促成了分析基础理论的完善与集合论的创立;第三次数学危机促成了数理逻辑的发展与一批现代数学的产生。数学由此获得了蓬勃发展。

历史上的三次数学危机

历史上的三次数学危机王方汉(武汉市第二十三中学430050) 在数学发展的过程中,人的认识是不断深化的.在各个历史阶段,人的认识又有一定的局限性和相对性.当一种/反常0现象用当时的数学理论解释不了,并且因此影响到数学的基础时,我们就说数学发生了危机.许多人并不赞成使用危机这个词,因为它们并没有阻碍数学的发展. 在历史上,数学曾发生过三次危机.这三次危机,从产生到消除,经历的时间各不相同,都极大地推动了数学的发展,成为数学史上的佳话. 第一次数学危机产生于公元前五世纪.那时,古希腊的毕达哥拉斯学派发现:正方形边与对角线是不可通约的,现在称之为/比达哥拉斯悖论0. /悖论0这一术语,许多中小学生恐怕是第一次见到.所谓悖论,就是指自相矛盾荒谬结论. 今天看来,两条线段不可通约,是数学中常见的合理的现象,它不过表明两条线段之比是一个无理数而已,可是,当时的古希腊人怎么会认识到这一点?!在他们眼中,各种事物的许多物理的、化学的、生物的性质都可能改变,惟其数量性质是不会变的!他们认为:万物都包含着数:数只有两种,这就是自然数和可通约的数.所以,不可通约的数是不可思议的! 第一次数学危机持续了两千多年.十九世纪,数学家哈密顿(Hamilton)、梅雷(Melay)、代德金(Dedekind)、海涅(Heine)、波雷尔(Borel)、康托尔(Cantor)和维尔斯特拉斯(Weietstrass)等正式研究了无理数,给出了无理数的严格定义,提出了一个含有有理数和无理数的新的数类)))实数,并建立了完整的实数理论.这样,就完全消除了第一次数学危机. 第二次数学危机是因为发现微积分方法而产生的.十七世纪,牛顿和德国数学家莱布尼兹(Leibniz,1646-1716)首创了微积分.这时的微积分只有方法,没有严密的理论作为基础,许多地方存在着漏洞,还不能自圆其说.例如,牛顿当时是这样求函数y=x n的导数的: (x+v x)n=x n+n#x n-1#v x+n(n-1) 2 #x n-2#(v x)2+,+(v x)n,然后把函数的增量v y除以自变量的增量v x,得 v y v x= (x+v x)n-x n v x =n#x n-1+ n(n-1) 2 #x n-2#v x +,+nx#(v x)n-2+(v x)n-1, 最后,扔掉其中所有含v x的项,就得到函数y= x n的导数为nx n-1. 哲学家以眼光税利、思维敏捷而著称.贝克莱(Berkelg)就是这样的哲学家.他一针见血地指出:先以v x为除数,说明v x不等于零,后来又扔掉所有含v x的项,可见v x等于零,这岂不自相矛盾吗?这就是著名的/贝克莱悖论0. 现在我们知道,自变量x的增量v x是一个无穷小量.但在当时,贝克莱悖论的出现,咄咄逼人,逼得数学家们不得不认真地对待/无穷小量0,设法克服由此引起的思维上的混乱. 十九世纪,许多数学家投入到了这一工作之中,柯西(Cauchy,1789-1857)和维尔斯特拉斯的贡献最为突出.1821年,柯西建立了极限的理论,提出了/无穷小量是以零为极限但永远不为零的变量0,维尔斯特拉斯又作了进一步的改进,终于消除了贝克莱悖论,把微积分建立在坚实的极限理论之上,从而结束了第二次数学危机. 第二次数学危机的解除,与第一次数学危机的解除,两者实际上是密不分的.为解决微积分问题,必须建立严密的无理数定义以及完整的实数理论.有了实数理论,加上柯西和维尔斯特拉斯的极限理论,这样,第一、二次数学危机就相继消除了. 一波未平,又起一波.前两次数学危机解决后不到三十年,又卷起了第三次数学危机的轩然大波. 十九世纪末和二十世纪初,德国数学家康托尔(Cantor,1845-1918)创立了集合论,初衷是为整个数学大厦奠定牢实的基础.正当人们为集合论的诞生而欣然自慰时,一串串数学悖论却冒了出来,又搅得数学家心里忐忑不安.其中,英国数学家罗素(Russell,1872-1970)于1902年提出的

悖论及其对数学发展的影响

悖论及其对数学发展的影响 【开场白:一个传说】一个讼师招收徒弟时约定,徒弟学成后第一场官司如果打赢,则交给师傅一两银子,如果打输,就可以不交银子。后来,弟子满师后却无所事事,迟迟不参与打官司。老讼师得不到银子,非常生气,告到县衙里,和这位弟子打官司。这位弟子却不慌不忙地说:“这场官司如果我打赢了当然不给您银子,如果打输了按照约定也不交给您银子,反正我横竖不交银子。”一句话把老讼师给气死了。 类似的: 1)我正在说谎?!! 2)鸡与鸡蛋何为先? 一、悖论的定义 “悖论”(英语:Paradox,俄语:Πарадокс)的字面意思是荒谬的理论,然而其内涵远没有这么简单,它是在一定理论系统前提下的看起来没有问题的矛盾。 关于悖论,目前并没有非常权威性1 的定义,以下的解释,在一定程度上是合理的。 通常认为,一个论断,如果不论是肯定还是否定它,都会导出一个与原始判断相反的结论,而要推翻它却又很难给出正当的根据时,这种论断称为悖论;或者,如果一个命题及其否定命题均可以用逻辑上等效的推理加以证明,而其推导又无法明确提出错误时,这种自相矛盾的命题叫做悖论。这种“定义”,比单纯从字面理解有所细化,也比较容易理解,但仍不够准确。 下述说法是A.A.富兰克尔给出的:如果某种理论的公理及其推理规则看上去是合理的,但在这个理论中却推出了两个互相矛盾的命题,或者证明了这样一个复合命题,它表现为两个矛盾命题的等价式,我们称这个理论包含了一个悖论。这里强调了悖论是依赖于一定的理论体系的,但是,只是说,某个理论体系包含了悖论,而没有言明什么是悖论。 悖论不同于通常的诡辩或谬论。诡辩、谬论可以通过已有的理论、逻辑论述其错误的原因,是与现有理论相悖的;而悖论虽感其不妥,但从它所在的理论体系中,不能阐明其错误的原因,是与现有理论相容的。悖论是(在当时)解释不了的矛盾。 悖论蕴涵真理,但常被人们描绘为倒置的真理; 悖论富有魅力,既让您乐在其中,又使您焦躁不安,欲罢不能; 数学历史中出现的悖论,为数学的发展提供了契机。 二、悖论的起源 起源之一:芝诺悖论(公元前五世纪) 芝诺(Zenon Eleates,约公元前490年——约公元前429年)出生于意大利南部的埃利亚(Elea)城,是古希腊埃利亚学派的主要代表人物之一。他是古希腊著名哲学家巴门尼德(Parmennides)的学生。他否定现实世界的运动,信奉巴门尼德关于世界上真实的东西只能是“唯一不动的存在”的信条。在他那个时代,人们对时间和空间的看法有两种截然不同的观点。一种观点认为,空间和时间无限可分,运动是连续而又平顺的;另一种观点则认为,时间和空间是由一小段一小段不可分的部分组成,运动是间断且跳跃的。芝诺悖论是针对上述二观点而提出的。他关于运动的四个悖论,被认为是悖论的起源之一。其中前两个悖论是针对那种连续的时空观而提出的,后两个悖论则是针对间断时空观提出的。 (1) 一物体要从A点到达B D点;而要到达D点,又必先抵达其1/8处之E点。如此下去,永无止境,因此,运动不可能存在。

《四次数学危机与世界十大经典数学悖论》

《“四次”数学危机与世界十大经典数学悖论》 “四次”数学危机 第一次危机发生在公元前580~568年之间的古希腊,数学家毕达哥拉斯建立了毕达哥拉斯学派。这个学派集宗教、科学和哲学于一体,该学派人数固定,知识保密,所有发明创造都归于学派领袖。当时人们对有理数的认识还很有限,对于无理数的概念更是一无所知,毕达哥拉斯学派所说的数,原来是指整数,他们不把分数看成一种数,而仅看作两个整数之比,他们错误地认为,宇宙间的一切现象都归结为整数或整数之比。该学派的成员希伯索斯根据勾股定理(西方称为毕达哥拉斯定理)通过逻辑推理发现,边长为1的正方形的对角线长度既不是整数,也不是整数的比所能表示。希伯索斯的发现被认为是“荒谬”和违反常识的事。它不仅严重地违背了毕达哥拉斯学派的信条,也冲击了当时希腊人的传统见解。使当时希腊数学家们深感不安,相传希伯索斯因这一发现被投入海中淹死,这就是第一次数学危机。 最后,这场危机通过在几何学中引进不可通约量概念而得到解决。两个几何线段,如果存在一个第三线段能同时量尽它们,就称这两个线段是可通约的,否则称为不可通约的。正方形的一边与对角线,就不存在能同时量尽它们的第三线段,因此它们是不可通约的。很显然,只要承认不可通约量的存在使几何量不再受整数的限制,所谓的数学危机也就不复存在了。 我认为第一次危机的产生最大的意义导致了无理数地产生,比如说我们现在说的,都无法用来表示,那么我们必须引入新的数来刻画这个问题,这样无理数便产生了,正是有这种思想,当我们将负数开方时,人们引入了虚数i(虚数的产生导致复变函数等学科的产生,并在现代工程技术上得到广泛应用),这使我不得不佩服人类的智慧。但我个人认为第一次危机的真正解决在1872年德国数学家对无理数的严格定义,因为数学是很强调其严格的逻辑与推证性的。 第二次数学危机发生在十七世纪。十七世纪微积分诞生后,由于推敲微积分的理论基础问题,数学界出现混乱局面,即第二次数学危机。其实我翻了一下有关数学史的资料,微积分的雏形早在古希腊时期就形成了,阿基米德的逼近法实际上已经掌握了无限小分析的基本要素,直到2100年后,牛顿和莱布尼兹开辟了新的天地——微积分。微积分的主要创始人牛顿在一些典型的推导过程中,第一步用了无穷小量作分母进行除法,当然无穷小量不能为零;第二步牛顿又把无穷小量看作零,去掉那些包含它的项,从而得到所要的公式,在力学和几何学的应用证明了这些公式是正确的,但它的数学推导过程却在逻辑上自相矛盾.焦点是:无穷小量是零还是非零?如果是零,怎么能用它做除数?如果不是零,又怎么能把包含着无穷小量的那些项去掉呢? 直到19世纪,柯西详细而有系统地发展了极限理论。柯西认为把无穷小量作为确定的量,即使是零,都说不过去,它会与极限的定义发生矛盾。无穷小量应该是要怎样小就怎样小的量,因此本质上它是变量,而且是以零为极限的量,至此柯西澄清了前人的无穷小的概念,另外Weistrass创立了极限理论,加上实数理论,集合论的建立,从而把无穷小量从形而上学的束缚中解放出来,第二次数学危机基本解决。 而我自己的理解是一个无穷小量,是不是零要看它是运动的还是静止的,如果是静止的,我们当然认为它可以看为零;如果是运动的,比如说1/n,我们说,但n个1/n相乘就为1,这就不是无穷小量了,当我们遇到等情况时,我们可以用洛比达法则反复求导来考查极限,也可以用Taylor展式展开后,一阶一阶的比,我们总会在有限阶比出大小。 第三次数学危机发生在1902年,罗素悖论的产生震撼了整个数学界,号称天衣无缝,绝对正确的数学出现了自相矛盾。 我从很早以前就读过“理发师悖论”,就是一位理发师给不给自己理发的人理发。那

数学的三次危机——第三次数学危机

三、第三次数学危机 数学基础的第三次危机是由1897年的突然冲击而出现的,从整体上看到现在还没有解决到令人满意的程度。这次危机是由于在康托的一般集合理论的边缘发现悖论造成的。由于集合概念已经渗透到众多的数学分支,并且实际上集合论已经成了数学的基础,因此集合论中悖论的发现自然地引起了对数学的整个基本结构的有效性的怀疑。 1897年,福尔蒂揭示了集合论的第一个悖论;两年后,康托发现了很相似的悖论,它们涉及到集合论中的结果。1902年,罗素发现了一个悖论,它除了涉及集合概念本身外不涉及别的概念。 罗素,英国人,哲学家、逻辑学家、数学家。1902年著述《数学原理》,继而与怀德海合著《数学原理》(1910年~1913年),把数学归纳为一个公理体系,是划时代的著作之一。他在很多领域都有大量著作,并于1950年获得诺贝尔文学奖。他关心社会现象,参加和平运动,开办学校。1968~1969年出版了他的自传。 罗素悖论曾被以多种形式通俗化,其中最著名的是罗索于1919年给出的,它讲的是某村理发师的困境。理发师宣布了这样一条原则:他只给不自己刮胡子的人刮胡子。当人们试图答复下列疑问时,就认识到了这种情况的悖论性质:“理发师是否可以给自己刮胡子?”如果他给自己刮胡子,那么他就不符合他的原则;如果他不给自己刮胡子,那么他按原则就该为自己刮胡子。 罗素悖论使整个数学大厦动摇了,无怪乎弗雷格在收到罗素的信之后,在他刚要出版的《算术的基本法则》第2卷本末尾写道:“一位科学家不会碰到比这更难堪的事情了,即在工作完成之时,它的基础垮掉了。当本书等待付印的时候,罗素先生的一封信把我就置于这种境地”。狄德金原来打算把《连续性及无理数》第3版付印,这时也把稿件抽了回来。发现拓扑学中“不动点原理”的布劳恩也认为自己过去做的工作都是“废话”,声称要放弃不动点原理。 自从在康托的集合论和发现上述矛盾之后,还产生了许多附加的悖论。集合论的现代悖论与逻辑的几个古代悖论有关系。例如公元前四世纪的欧伯利得悖论:“我现在正在做的这个陈述是假的”。如果这个陈述是真的,则它是假的;然而,如果这个陈述是假的,则它又是真的了。于是,这个陈述既不能是真的,又不能是假的,怎么也逃避不了矛盾。更早的还有埃皮门尼德(公元前6世纪,克利特人)悖论:“克利特人总是说谎的人”。只要简单分析一下,就能看出这句话也是自相矛盾的。 集合论中悖论的存在,明确地表示某些地方出了毛病。自从发现它们之后,人们发表了大量关于这个课题的文章,并且为解决它们作过大量的尝试。就数学而论,看来有一条容易的出路:人们只要把集合论建立在公理化的基础上,加以充分限制以排除所知道的矛盾。 第一次这样的尝试是策梅罗于1908年做出的,以后还有多人进行了加工。但是,此程序曾受到批评,因为它只是避开了某些悖论,而未能说明这些悖论;此外,它不能保证将来不出现别种悖论。

几个有趣的悖论的数学辨析

几个有趣的悖论的数学辨析 数学悖论是数学发展过程中的一个重要的存在形态, 它是数学体系中出现的一种尖锐的矛盾, 对于这一矛盾的处理与研究, 丰富了数学的容, 促进了数学的发展。作为一名数学教师, 学习有关这方面的知识, 并进行研究, 既能提高自己的专业水平, 又能使授课容生动有趣; 作为学生了解这方面的容,不但能扩大知识面, 而且能提高学习兴趣 1 芝诺悖论 在西方的数学史上有一个非常有名的数学悖论——芝诺悖论。芝诺是公元五世纪古希腊埃利亚学派的代表人物。芝诺本人既不是一位科学家, 更不是一位数学家, 芝诺的老师是埃利亚学派的创始人巴门尼德。巴门尼德是个一神论者, 他认为世界的本原是“不生不灭、完整、唯一和不动的”。但世界显然是丰富多彩、复杂纷繁的,怎么会是“唯一” 的呢?一个完全不动的世界怎么可能呢? 于是引起同时代人的反驳。芝诺为了捍为他老师的学说, 提出了一些论述。其中最有名的有四个, 历史上称为芝诺悖论。作为巴门尼德的继承人, 他力图证明, 如果承认“ 多” 和“ 运动” , 就会招致更加荒谬的结果。限于篇幅, 在此只辑录其二。 二分法: 你不能在有限的时间穿过无穷的点。在你穿过一定的距离的全部之前, 你必须穿过这个距离的一半。这样做下去就会陷入无止境, 所以在任何一定的空间中都有无穷个点, 你不能在有限的时间中一个接一个地接触无穷个点。

阿喀琉斯追不上大乌龟: 阿喀琉斯是古希腊《荷马史诗》中一个跑得最快的大英雄, 他怎么会跑不过大乌龟呢? 假定他的速度是乌 龟的10倍, 阿喀琉斯与乌龟赛跑的路程是1千米, 让乌龟先跑1 10 千 米, 然后让阿喀琉斯去追。于是问题来了。当阿喀琉斯追到1 10 千 米的地方, 乌龟又向前跑了 1 100千米, 当阿喀琉斯又追到 1 100 千米时, 乌龟又向前跑了 1 10000千米, … …, 这样一来, 一直追下 去, 阿喀琉斯会追上大乌龟吗? 之所以说这两个论证是悖论, 是因为我们知道, 无论是谁, 不管身高身低, 只要一迈步, 都可以在有限的时间越过无穷多个点; 无论是谁, 都不会相信大英雄阿喀琉斯竟会跑不过大乌龟。然而在当时的人们的知识围, 却找不出芝诺的论证错在什么地方。 1 . 1 芝诺悖论的数学意义 芝诺的“二分法” 和“ 阿喀琉斯追不上大乌龟”的论证, 本意是要用结论的荒谬性来否定其前提关于时空的可无限分割的观点, 该两个论证与另外两个论证(“ 飞箭” 与“ 运动场” ) 组合得出了时空既是不可无限分割, 又是可以无限分割的矛盾结论。“ 芝诺悖论” 促进了以严格的思维规律为研究对象的逻辑学和以严格的求证思想为基础的数学的发展。芝诺论证问题的方法是我们今天数学中仍在使用的反证法。可以说, 这是对反证法的最早的运用。大家知道, 当一个数学命题无法直接证明时, 我们就求助于反证法。

数学悖论与三大危机

数学悖论 默认分类2010-05-20 10:20:02 阅读20 评论0 字号:大中小订阅 数学的基础是什么? 1. 定义 2. 公理 3. 逻辑 首先说公理的陈述,这就是一个很麻烦的事情。在你的公理中一定会有很多名词,比如点,线,等等,因此似乎需要先定义这些最基本的名词。但当你尝试作这样的定义的时候,你会发现你还是无从下手,无论你怎么定义它们,你都会引入其它未定义的名词。其实在逻辑上,对最基本的名词的定义就是不可能的事情。我们采用的办法就是使用未经定义的最基本的名词来陈述公理,在公理中同时也就给出了这些对象的 属性。 再说逻辑,比如最基本,最有名的三段论。 大前提:人都会死。 小前提:亚里士多德是人。 结论:亚里士多德会死。 粗看,我们得到这个结论一点问题都没有。但你仔细想想,是什么原因我们可以使用这样的推导?我们采用这样的方法进行推导就一定不会出现问题吗?能否证明这样的推导过程就一定是正确的?其实这是一个没有办法证明的问题。但我们的实践经验告诉我们这样的推导是不会有问题的,是正确的。因此我们也同样采用公理的方法确定下来三段论的逻辑推导方法是正确的。在逻辑上,这样的例子还有很多。 由此,可以看出,数学的基础就是公理。数学只是公理集之上的推导和演绎。推导和演绎的基础仍然是公 理。 “……古往今来,为数众多的悖论为逻辑思想的发展提供了食粮。”——N·布尔巴基 一、悖论的历史与悖论的定义 悖论的历史源远流长,它的起源可以一直追溯到古希腊和我国先秦时代。“悖论”一词源于希腊文,意为“无路可走”,转义是“四处碰壁,无法解决问题”。 在古希腊时代,克里特岛的哲学家伊壁门尼德斯(约公元前6世纪)发现的“撒谎者悖论”可以算作人们最早发现的悖论。公元前4世纪的欧布里德将其修改为“强化了的撒谎者悖论”。在此基础上,人们构造了一个与之等价的“永恒的撒谎者悖论”。埃利亚学派的代表人物芝诺(约490B.C.—430B.C.)提出的有关运动的四个悖论(二分法悖论、阿基里斯追龟悖论、飞矢不动悖论与运动场悖论)尤为著名,至今仍 余波未息。 在中国古代哲学中也有许多悖论思想,如战国时期逻辑学家惠施(约370B.C.—318B.C.)的“日方中方睨,物方生方死”、“一尺之棰,日取其半,万世不竭”;《韩非子》中记载的有关矛与盾的悖论思想等,这些悖论式的命题,表面上看起来很荒谬,实际上却潜伏着某些辨证的思想内容。 在近代,著名的悖论有伽利略悖论、贝克莱悖论、康德的二律背反、集合论悖论等。在现代,则有光速悖论、双生子佯谬、EPR悖论、整体性悖论等。这些悖论从逻辑上看来都是一些思维矛盾,从认识论上 看则是客观矛盾在思维上的反映。 尽管悖论的历史如此悠久,但直到本世纪初,人们才真正开始专门研究悖论的本质。在此之前,悖论只能引起人们的惊恐与不安;此后,人们才逐渐认识到悖论也有其积极作用。特别是本世纪60、70年代以 来,出现了研究悖论的热潮。

十大数学悖论

… 十大数学悖论 1.理发师悖论(罗素悖论):某村只有一人理发,且该村的人都需要理发,理发师规定,给且只给村中不自己理发的人理发。试问:理发师给不给自己理发? 如果理发师给自己理发,则违背了自己的约定;如果理发师不给自己理发,那么按照他的规定,又应该给自己理发。这样,理发师陷入了两难的境地。 2.说谎者悖论:公元前6世纪,古希腊克里特岛的

哲学家伊壁门尼德斯有如此断言:“所有克里特人所说的每一句话都是谎话。” 如果这句话是真的,那么也就是说,克里特人伊壁门尼德斯说了一句真话,但是却与他的真话——所有克里特人所说的每一句话都是谎话——相悖;如果这句话不是真的,也就是说克里特人伊壁门尼德斯说了一句谎话,则真话应是:所有克里特人所说的每一句话都是真话,两者又相悖。 所以怎样也难以自圆其说,这就是著名的说谎者悖论。:

公元前4世纪,希腊哲学家又提出了一个悖论:“我现在正在说的这句话是假的。”同上,这又是难以自圆其说! 说谎者悖论至今仍困扰着数学家和逻辑学家。说谎者悖论有许多形式。如:我预言:“你下面要讲的话是‘不’,对不对用‘是’或‘不是’来回答。” 又如,“我的下一句话是错(对)的,我的上一句话是对(错)的”。 3.跟无限相关的悖论: {1,2,3,4,5,…}

是自然数集: {1,4,9,16,25,…}是自然数平方的数集。 这两个数集能够很容易构成一一对应,那么,在每个集合中有一样多的元素吗 4.伽利略悖论:我们都知道整体大于部分。由线段BC上的点往顶点A连线,每一条线都会与线段DE(D点在AB 上,E点在AC上)相交,因此可得DE与BC一样长,与图矛盾。为什么 5.预料不到的考试的悖论:一位老师宣布说,在下一星期的五天

(整理)数学史上的三次危机.

数学史上的三次危机 张清利 第一次数学危机 在古代的数学家看来与有理数对应的点充满了数轴,现在尚未深入了解数轴性质的人也会这样认为。因此,当发现在数轴上存在不与任何有理数对应的一些点时,在人们的心理上引起了极大震惊,这个发现是早期希腊人的重大成就之一。它是在公元前5世纪或6世纪的某一时期由毕达哥拉斯学派的成员首先获得的。这是数学史上的一个里程碑。毕达哥拉斯学派发现单位正方形的边与对角线不可公度,即对角线的长不能表为q p /的形式,也就是说不存在作为公共度量单位的线段。后来,又发现数轴上还存在许多点也不对应于任何有理数。因此,必须发明一些新的数,使之与这样的点对应,因为这些数不能是有理数,所以把它们称为无理数。 例如, ,22,8,6,2等都是无理数。无理数的发现推翻了早期希腊人坚持的另一信念:给定任何两个线段,必定能找到第三线段,也许很短,使得给定的线段都是这个线段的整数倍。事实上,即使现代人也会这样认为,如果他还不知道情况并非如此的话。 第一次数学危机表明,当时希腊的数学已经发展到这样的阶段: 1. 数学已由经验科学变为演绎科学; 2. 把证明引入了数学; 3. 演绎的思考首先出现在几何中,而不是在代数中,使几何具有 更加重要的地位。这种状态一直保持到笛卡儿解析几何的诞生。 中国、埃及、巴比伦、印度等国的数学没有经历这样的危机,因而一直停留在实验科学。即算术阶段。希腊则走上了完全不同的道路,形成了欧几里得的《几何原本》与亚里士多得的逻辑体系, 而成为现代科学的始祖。 在当时的所有民族中为什么只有希腊人认为几何事实必须通过合乎逻辑的论证而不能通过实验来建立?这个原因被称为希腊的奥秘。 总之,第一次数学危机是人类文明史上的重大事件。 无理数与不可公度量的发现在毕达哥拉斯学派内部引起了极大的震动。首先,这是对毕达哥拉斯哲学思想的核心,即“万物皆依赖于整数”的致命一击;既然像2这样的无理数不能写成两个整数之比,那么,它究竟怎样依赖于整数呢?其次,这与通常的直觉相矛盾,因为人们在直觉上总认为任何两个线段都是可以公度的。而毕达哥拉斯学派的比例和相似形的全部理论都是建立在这一假设之上的。突然之间基础坍塌了,已经建立的几何学的大部分内容必须抛弃,因为它们的证明失效了。数学基础的严重危机爆发了。这个“逻辑上的丑陋”是如此可怕,以致毕达哥拉斯学派对此严守秘密。据说,米太旁登的帕苏斯把这个秘密泄漏了出去,结果他被抛进了大海。还有一种说法是,将他逐出学派,并为他立了一个墓,说他

数学上的悖论谬论

这篇关于数学上的悖论谬论的论证的文章是由北大中文系Matrix67所写,读来感觉很有意思,和大家一起分享,来一场头脑风暴。 1=2?史上最经典的“证明” 设a = b,则a·b = a^2,等号两边同时减去b^2就有a·b - b^2 = a^2 - b^2。注意,这个等式的左边可以提出一个b,右边是一个平方差,于是有b·(a - b) = (a + b)(a - b)。约掉(a - b)有b = a + b。然而a = b,因此b = b + b,也即b = 2b。约掉b,得1 =2。 这可能是有史以来最经典的谬证了。TedChiang在他的短篇科幻小说DivisionbyZero中写到: 引用 There is a well-known “proof” that demonstrates that one equals two. It begins with somedefinitions: “Let a = 1; let b = 1.” It ends with the conclusion “a = 2a,” that is, one equalstwo. Hidden inconspicuously in the middle is a division by zero, and at that point the proofhas stepped off the brink, making all rules null and void. Permitting division by zero allowsone to prove not only that one and two are equal, but that any two numbers at all—real orimaginary, rational or irrational—are equal. 这个证明的问题所在想必大家都已经很清楚了:等号两边是不能同时除以a - b的,因为我们假设了a = b,也就是说a - b是等于0的。 无穷级数的力量(1) 小学时,这个问题困扰了我很久:下面这个式子等于多少? 1 + (-1) + 1 + (-1) + 1 + (-1) + … 一方面: 1 + (-1) + 1 + (-1) + 1 + (-1) + … = [1 + (-1)] + [1 + (-1)] + [1 + (-1)] + … = 0 + 0 + 0 + …

十大数学悖论

十大数学悖论 1.理发师悖论(罗素悖论):某村只有一人理发,且该村的人都需要理发,理发师规定,给且只给村中不自己理发的人理发。试问:理发师给不给自己理发? 如果理发师给自己理发,则违背了自己的约定;如果理发师不给自己理发,那么按照他的规定,又应该给自己理发。这样,理发师陷入了两难的境地。 2.说谎者悖论:公元前6世纪,古希腊克里特岛的哲学家伊壁门尼德斯有如此断言:“所有克里特人

所说的每一句话都是谎话。” 如果这句话是真的,那么也就是说,克里特人伊壁门尼德斯说了一句真话,但是却与他的真话——所有克里特人所说的每一句话都是谎话——相悖;如果这句话不是真的,也就是说克里特人伊壁门尼德斯说了一句谎话,则真话应是:所有克里特人所说的每一句话都是真话,两者又相悖。 所以怎样也难以自圆其说,这就是著名的说谎者悖论。 : 公元前4世纪,希腊哲学家又提出了一个悖论:“我现在正在说的这句话是假的。”同上,这又是难以

自圆其说! 说谎者悖论至今仍困扰着数学家和逻辑学家。说谎者悖论有许多形式。如:我预言:“你下面要讲的话是‘不’,对不对?用‘是’或‘不是’来回答。” 又如,“我的下一句话是错(对)的,我的上一句话是对(错)的”。 3.跟无限相关的悖论: {1,2,3,4,5,…}是自然数集: {1,4,9,16,25,…}是自然数平方的数集。 这两个数集能够很容易构成一一对应,那么,在每个集合中有

一样多的元素吗? 4.伽利略悖论:我们都知道整体大于部分。由线段BC上的点往顶点A连线,每一条线都会与线段DE(D点在AB上,E点在AC上)相交,因此可得DE与BC一样长,与图矛盾。为什么? 5.预料不到的考试的悖论:一位老师宣布说,在下一星期的五天内(星期一到星期五)的某一天将进行一场考试,但他又告诉班上的同学:“你们无法知道是哪一天,只有到了考试那天的早上八点钟才通知你们下午一点钟考。 你能说出为什么这场考试无

数学悖论、数学危机及其对数学的推动作用

数学悖论、数学危机及其对数学的推动作用 数学悖论、数学危机及其对数学的推动作用 悖论是让数学家无法回避的问题。悖论出现使得数学体系出现不可靠性和失真理性,这就逼迫数学家投入最大的热情去解决它。而在解决悖论的过程中,各种理论应运而生了,因而悖论在推动数学发展中的巨大作用。现在我作如下简单阐述:毕达哥拉斯学派认为“万物皆数”,而“一切数均可表成整数或整数之比”则是这一学派的数学信仰。然而,毕达哥拉斯定理却成了毕达哥拉斯学派数学信仰的“掘墓人”.毕达哥拉斯定理提出后,其学派中的一个成员希帕索斯考虑了一个问题:边长为1的正方形其对角线长度是多少呢?他发现这一长度既不能用整数,也不能用分数表示,而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数√2 的诞生。这却在当时的数学界掀起了一场巨大风暴。这一伟大发现不但对毕达哥拉斯学派的致命打击,也对于当时所有古希腊人的观念这都是一个极大的冲击。更糟糕的是,面对这一荒谬人们竟然毫无办法。这就在当时直接导致了人们认识上的危机,从而导致了西方数学史上一场大的风波,史称“第一次数学危机”. 二百年后,欧多克索斯提出的新比例理论暂时消除悖论。一直到18世纪,当数学家证明了圆周率是无理数时,拥护无理数存在的人才多起来。到十九世纪下半叶,现在意义上的实数理论建

立起来后,无理数本质被彻底搞清,无理数在数学中合法地位的确立,一方面使人类对数的认识从有理数拓展到实数,另一方面也真正彻底、圆满地解决了第一次数学危机。 伴随着人们科学理论与实践认识的提高,十七世纪微积分诞生,但是微积分理论是不严格的。理论都建立在无穷小分析之上,作为基本概念的无穷小量的理解与运用却是混乱的。因而,从微积分诞生时就遭到了一些人的反对与攻击。其中攻击最猛烈的是英国大主教贝克莱。 数学史上把贝克莱的问题称之为“贝克莱悖论”.笼统地说,贝克莱悖论可以表述为“无穷小量究竟是否为0”的问题:就无穷小量在当时实际应用而言,它必须既是0,又不是0.但从形式逻辑而言,这无疑是一个矛盾。这一问题的提出在当时的数学界引起了一定的混乱,由此导致了第二次数学危机的产生。 十八世纪开始微积分理论获得了空前丰富。然而,与此同时十八世纪粗糙的,不严密的工作也导致谬误越来越多的局面。当时数学中出现的混乱局面了。尤其到十九世纪初,傅立叶理论直接导致了数学逻辑基础问题的彻底暴露。这样把分析重新建立在逻辑基础之上就成为数学家们迫在眉睫的任务。到十九世纪,批判、系统化和严密论证的必要时期降临了。 使分析基础严密化的工作由法国著名数学家柯西迈出了第一大步。柯西于1821年开始给出了分析学一系列基本概念的严格定义。后来,德国数学家魏尔斯特拉斯给出更为完善的我们目前所

十大数学悖论

十大数学悖论 1.?理发师悖论(罗素悖论):某村只有一人理发,且该村的人都需要理发,理发师规定,给且只给村中不自己理发的人理发。试问:理发师给不给自己理发? 如果理发师给自己理发,则违背了自己的约定;如果理发师不给自己理发,那么按照他的规定,又应该给自己理发。这样,理发师陷入了两难的境地。 ???? 2.?说谎者悖论:公元前6世纪,古希腊克里特岛的哲学家伊壁门尼德斯有如此断言:“所有克里特人所说的每一句话都是谎话。”

如果这句话是真的,那么也就是说,克里特人伊壁门尼德斯说了一句真话,但是却与他的真话——所有克里特人所说的每一句话都是谎话——相悖;如果这句话不是真的,也就是说克里特人伊壁门尼德斯说了一句谎话,则真话应是:所有克里特人所说的每一句话都是真话,两者又相悖。? 所以怎样也难以自圆其说,这就是着名的说谎者悖论。?:? 公元前4世纪,希腊哲学家又提出了一个悖论:“我现在正在说的这句话是假的。”同上,这又是难以自圆其说! ?????? 说谎者悖论至今仍困扰着数学家和逻辑学家。说谎者悖论

有许多形式。如:我预言:“你下面要讲的话是‘不’,对不对?用‘是’或‘不是’来回答。” 又如,“我的下一句话是错(对)的,我的上一句话是对(错)的”。 ????? 3.?跟无限相关的悖论: ????? {1,2,3,4,5,…}是自然数集: ????? {1,4,9,16,25,…}是自然数平方的数集。? 这两个数集能够很容易构成一一对应,那么,在每个集合中有一样多的元素吗?? ????????4.伽利略悖论:我们都知道整体大于部分。由线段BC上的点往顶点A连线,每一条线都会

数学悖论和三次数学危机

数学悖论与三次数学危机 “……古往今来,为数众多的悖论为逻辑思想的发展提供了食粮。” ——N·布尔巴基 什么是悖论?笼统地说,是指这样的推理过程:它看上去是合理的,但结果却得出了矛盾。悖论在很多情况下表现为能得出不符合排中律的矛盾命题:由它的真,可以推出它为假;由它的假,则可以推出它为真。由于严格性被公认为是数学的一个主要特点,因此如果数学中出现悖论会造成对数学可靠性的怀疑。如果这一悖论涉及面十分广泛的话,这种冲击波会更为强烈,由此导致的怀疑还会引发人们认识上的普遍危机感。在这种情况下,悖论往往会直接导致“数学危机”的产生。按照西方习惯的说法,在数学发展史上迄今为止出现了三次这 样的数学危机。 希帕索斯悖论与第一次数学危机 希帕索斯悖论的提出与勾股定理的发现密切相关。因此,我们从勾股定理谈起。勾股定理是欧氏几何中最著名的定理之一。天文学家开普勒曾称其为欧氏几何两颗璀璨的明珠之一。它在数学与人类的实践活动中有着极其广泛的应用,同时也是人类最早认识到的平面几何定理之一。在我国,最早的一部天文数学著作《周髀算经》中就已有了关于这一定理的初步认识。不过,在我国对于勾股定理的证明却是较迟的事情。一直到三国时期的赵爽才用面 积割补给出它的第一种证明。

在国外,最早给出这一定理证明的是古希腊的毕达哥拉斯。因而国外一般称之为“毕达哥拉斯定理”。并且据说毕达哥拉斯在完成这一定理证明后欣喜若狂,而杀牛百只以示庆贺。 因此这一定理还又获得了一个带神秘色彩的称号:“百牛定理”。 毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了一个合政治、学术、宗教三位一体的神秘主义派别:毕达哥拉斯学派。由毕达哥拉斯提出的著名命题“万物皆数”是该学派的哲学基石。而“一切数均可表成整数或整数之比”则是这一学派的数学信仰。然而,具有戏剧性的是由毕达哥拉斯建立的毕达哥拉斯定理却成了毕达哥拉斯学派数学信仰的“掘墓人”。毕达哥拉斯定理提出后,其学派中的一个成员希帕索斯考虑了一个问题:边长为1的正方形其对角线长度是多少呢?他发现这一长度既不能用整数,也不能用分数表示,而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数√2 的诞生。小小√2的出现,却在当时的数学界掀起了一场巨大风暴。它直接动摇了毕达哥拉斯学派的数学信仰,使毕达哥拉斯学派为之大为恐慌。实际上,这一伟大发现不但是对毕达哥拉斯学派的致命打击。对于当时所有古希腊人的观念这都是一个极大的冲击。这一结论的悖论性表现在它与常识的冲突上:任何量,在任何精确度的范围内都可以表示成有理数。这不但在希腊当时是人们普遍接受的信仰,就是在今天,测量技术已经高度发展时,这个断言也毫无例外是正确的!可是为我们的经验所确信的,完全符合常识的论断居然被小小的√2的存在而推翻了!这应该是多么违反常识,多么荒谬的事!它简直把以前所知道的事情根本推翻了。更糟糕的是,面对这一荒谬人们竟然毫无办法。这就在当时直接导致了人们认识上的危机,从而导致了西方数学史上一场大的风波,史称“第一次数学危机”。

希帕索斯悖论与第一次数学危机

希帕索斯悖论与第一次数学危机希帕索斯悖论的提出与勾股定理的发现密切相关。因此,我们从勾股定理谈起。勾股定理是欧氏几何中最著名的定理之一。天文学家开普勒曾称其为欧氏几何两颗璀璨的明珠之一。它在数学与人类的实践活动中有着极其广泛的应用,同时也是人类最早认识到的平面几何定理之一。在我国,最早的一部天文数学著作《周髀算经》中就已有了关于这一定理的初步认识。不过,在我国对于勾股定理的证明却是较迟的事情。一直到三国时期的赵爽才用面积割补给出它的第一种证明。 在国外,最早给出这一定理证明的是古希腊的毕达哥拉斯。因而国外一般称之为“毕达哥拉斯定理”。并且据说毕达哥拉斯在完成这一定理证明后欣喜若狂,而杀牛百只以示庆贺。因此这一定理还又获得了一个带神秘色彩的称号:“百牛定理”。 毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了一个合政治、学术、宗教三位一体的神秘主义派别:毕达哥拉斯学派。由毕达哥拉斯提出的著名命题“万物皆数”是该学派的哲学基石。而“一切数均可表成整数或整数之比”则是这一学派的数学信仰。然而,具有戏剧性的是由毕达哥拉斯建立的毕达哥拉斯定理却成了毕达哥拉斯学派数学 信仰的“掘墓人”。毕达哥拉斯定理提出后,其学派中的一个

成员希帕索斯考虑了一个问题:边长为1的正方形其对角线长度是多少呢?他发现这一长度既不能用整数,也不能用分数表示,而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数√2的诞生。小小√2的出现,却在当时的数学界掀起了一场巨大风暴。它直接动摇了毕达哥拉斯学派的数学信仰,使毕达哥拉斯学派为之大为恐慌。实际上,这一伟大发现不但是对毕达哥拉斯学派的致命打击。对于当时所有古希腊人的观念这都是一个极大的冲击。这一结论的悖论性表现在它与常识的冲突上:任何量,在任何精确度的范围内都可以表示成有理数。这不但在希腊当时是人们普遍接受的信仰,就是在今天,测量技术已经高度发展时,这个断言也毫无例外是正确的!可是为我们的经验所确信的,完全符合常识的论断居然被小小的√2的存在而推翻了!这应该是多么违反常识,多么荒谬的事!它简直把以前所知道的事情根本推翻了。更糟糕的是,面对这一荒谬人们竟然毫无办法。这就在当时直接导致了人们认识上的危机,从而导致了西方数学史上一场大的风波,史称“第一次数学危机”。 课本、报刊杂志中的成语、名言警句等俯首皆是,但学生写作文运用到文章中的甚少,即使运用也很难做到恰如其分。为什么?还是没有彻底“记死”的缘故。要解决这个问题,方法很简单,每天花3-5分钟左右的时间记一条成语、一则名言警句即可。可以写在后黑板的“积累专栏”上每日一换,可以在每天课

数学悖论推理题

数学悖论推理题 1=2?史上最经典的“证明” 设 a = b ,则a·b = a^2,等号两边同时减去 b^2 就有a·b - b^2 = a^2 - b^2 。注意,这个等式的左边可以提出一个 b ,右边是一个平方差,于是有b·(a - b) = (a + b)(a - b) 。约掉 (a - b) 有 b = a + b。然而 a = b ,因此 b = b + b ,也即 b = 2b 。约掉 b ,得 1 = 2 。 这可能是有史以来最经典的谬证了。 Ted Chiang 在他的短篇科幻小说 Division by Zero 中写到: 引用 There is a well-known “proof” that demonstrates that one equals two. It begins with some definitions: “Let a = 1; let b = 1.” It ends with the conclusion “a = 2a,” that is, one equals two. Hidden inconspicuously in the middle is a division by zero, and at that point the proof has stepped off the brink, making all rules null and void. Permitting division by zero allows one to prove not only that one and two are equal, but that any two numbers at all—real or imaginary, rational or irrational—are equal. 这个证明的问题所在想必大家都已经很清楚了:等号两边是不能同时除以 a - b 的,因为我们假设了 a = b ,也就是说 a - b 是等于 0 的。 无穷级数的力量(1) 小学时,这个问题困扰了我很久:下面这个式子等于多少? 1 + (-1) + 1 + (-1) + 1 + (-1) + … 一方面:

罗素悖论与第三次数学危机

罗素悖论与第三次数学危机 自相矛盾的悖论,是数学史上一直困扰着数学家的难题之一。20世纪英国著名哲学家、数学家罗素曾经提出过一个著名的悖论——“理发师难题”,其内容如下: 西班牙的塞维利亚有一个理发师,这位理发师有一条极为特殊的规定:他只给那些“不给自己刮胡子”的人刮胡子。 理发师这个拗口的规定,对于除他自己以外的别人,并没有什么难理解的地方。但是回到他自己这里,问题就麻烦了。如果这个理发师不给自己刮胡子,那么按照规定,他就应该给自己刮胡子;可是他给自己刮胡子的话,按照规定他又不应该给自己刮胡子。因此,这位理发师无论是否给自己刮脸,都不符合自己的那条规定。这真是令人哭笑不得的结果。 罗素还提出过与“理发师难题”相似的几个悖论,数学上将这些悖论统称为“罗素悖论”或者“集合论悖论”。为什么又叫“集合论悖论”呢?因为“罗素悖论”都可以用集合论中的数学语言来描述,归结成一种说法就是:在某一非空全集中,有这样一个确定的集合,这个集合中“只有不属于这个集合的元素”。 那么,全集中的某一个指定元素,和这个确定集合之间是什么关系呢?不难分析,如果这个元素包含于这个集合的话,那么根据这个集合的定义,这个元素就应该是“不属于这个集合”的元素;可如果这个元素“不属于这个集合”,那么根据这个集合的定义,这个元素就应该在这个集合中,即包含于这个集合。这就是说,全集中的每一个元素,与这个确定集合之间都不存在确定的包含关系,这无疑是讲不通的。 自从康托尔创立了数学领域中的“集合论”,用集合论中的观点来诠释各个数学概念之间的逻辑关系,真可谓是“天衣无缝”。因此集合论被誉为“数学大厦的基石”。然而“罗素悖论”的发现,证明了集合论中竟然存在自相矛盾的悖论,这足以暴露集合论本身的缺陷。 “罗素悖论”在20世纪数学理论中引起了轩然大波。“数学大厦的基石”竟然出现了明显的“裂缝”,那么人类耗费数千年心血建立起来的“数学殿堂”,会不会倒塌呢?一时间,数学界众说纷纭,悲观者甚至因此把当代数学比作“建立在沙滩上的庞然大物”。这就是数学史上著名的“第三次数学危机”。

数学悖论与数学发展

数学悖论与数学发展 悖论是强烈违反我们直觉的问题。尽管从古希腊起至今,悖论一直给人们带来很大乐趣,可 是最伟大的数学家都总是极严肃地对待它。在发展现代逻辑学和集合论等数学史上一些巨大 进展正是努力解决经典悖论的直接结果。 一、毕达哥拉斯悖论与第一次数学危机 1.第一次数学危机的内容 公元前六世纪,在古希腊学术界占统治地位的毕达哥拉斯学派,他们认为万物皆数,而数只 有两种,就是正整数和可通约的数。然而不久毕达哥拉斯学派的一个学生希伯斯学习勾股定 理时,提出了一个问题:假设正方形边长为 1,并设其对角线长为 d,依勾股定理应有 d2= 12+12=2,即 d2=12+12=2,那么 d是多少呢?希伯斯花了很多时间来寻找这两个整数之比,结果没找到,反而找到了两数不可通约性的证明。这一发现历史上称为毕达哥拉斯悖论。 2.第一次数学危机的影响 第一次数学危机的影响是巨大的,它极大的推动了数学及其相关学科的发展。首先,第一次 数学危机让人们第一次认识到了无理数的存在,无理数从此诞生了,之后,许多数学家正式 研究了无理数,给出了无理数的严格定义,提出了一个新的数类——实数,并建立了完整的 实数理论,为数学分析的发展奠定了基础。其次,第一次数学危机表明,直觉和经验不一定 靠得住,推理证明才是可靠的,从此希腊人开始重视演绎推理,并由此建立了几何公理体系。欧氏几何就是人们为了消除矛盾,解除危机,在此时应运而生的。第一次数学危机极大地促 进了几何学的发展,使几何学在此后两千年间成为几乎是全部严密数学的基础,这不能不说 是数学思想史上的一次巨大革命。 二、贝克莱悖论与第二次数学危机 1.第二次数学危机的内容 公元 17世纪,牛顿和莱布尼兹创立了微积分,微积分能提示和解释许多自然现象,它在自 然科学的理论研究和实际应用中的重要作用引起人们高度的重视。然而,因为微积分才刚刚 建立,这时的微积分只有方法,没有严密的理论作为基础,许多地方存在漏洞,还不能自圆 其说。 对于牛顿对求导过程的论述,哲学家贝克莱发现了其中的问题,他一针见血的指出,在同一 问题的讨论中,将所谓的无穷小量有时作为 0,有时又异于 0的做法,不得不让人怀疑。无 穷小量究竟是不是0?无穷小及其分析是否合理?贝克莱悖论的出现危及到了微积分的基础,引起了数学界长达两个多世纪的论战,从而形成了数学发展史中的第二次危机。 2.第二次数学危机的影响 第二次数学危机出现后,经过欧拉、拉格朗日等人的努力,微积分取得了一些进展;从 19 世纪开始为彻底解决微积分的基础问题,柯西、外尔斯特拉斯等人进行了微积分理论的严格 化工作。在解决使无穷小数学化的问题上,出现了罗比达公理,而柯西又采用的ε .δ 方法刻 画无穷小,无穷小被极限代替了。后来外尔斯特拉斯又给出了极限的严格定义,建立了极限 理论,使微积分建立在极限基础之上。极限的ε .δ 定义就是用静态的ε .δ 刻画动态极限,用 有限量来描述无限性过程,它是从有限到无限的桥梁和路标,它表现了有限与无限的关系, 使微积分朝科学化、数学化前进了一大步。极限理论的建立加速了微积分的发展,它不仅在 数学上,而且在认识论上也有重大的意义。后来在考查极限理论的基础中,经过代德金、康 托尔、海涅、外尔斯特拉斯和巴门赫等人的努力,产生了实数理论;在考查实数理论的基础

相关文档
最新文档