美洋洋童装店
“……古往今来,为数众多的悖论为逻辑思想的发展提供了食粮。” ——N·布尔巴基 什么是悖论?笼统地说,是指这样的推理过程:它看上去是合理的,但结果却得出了矛盾。悖论在很多情况下表现为能得出不符合排中律的矛盾命题:由它的真,可以推出它为假;由它的假,则可以推出它为真。由于严格性被公认为是数学的一个主要特点,因此如果数学中出现悖论会造成对数学可靠性的怀疑。如果这一悖论涉及面十分广泛的话,这种冲击波会更为强烈,由此导致的怀疑还会引发人们认识上的普遍危机感。在这种情况下,悖论往往会直接导致“数学危机”的产生。按照西方习惯的说法,在数学发展史上迄今为止出现了三次这样的数学危机。 希帕索斯悖论与第一次数学危机 希帕索斯悖论的提出与勾股定理的发现密切相关。因此,我们从勾股定理谈起。勾股定理是欧氏几何中最著名的定理之一。天文学家开普勒曾称其为欧氏几何两颗璀璨的明珠之一。它在数学与人类的实践活动中有着极其广泛的应用,同时也是人类最早认识到的平面几何定理之一。在我国,最早的一部天文数学著作《周髀算经》中就已有了关于这一定理的初步认识。不过,在我国对于勾股定理的证明却是较迟的事情。一直到三国时期的赵爽才用面积割补给出它的第一种证明。 在国外,最早给出这一定理证明的是古希腊的毕达哥拉斯。因而国外一般称之为“毕达哥拉斯定理”。并且据说毕达哥拉斯在完成这一定理证明后欣喜若狂,而杀牛百只以示庆贺。因此这一定理还又获得了一个带神秘色彩的称号:“百牛定理”。 毕达哥拉斯 毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了一个合政治、学术、宗教三位一体的神秘主义派别:毕达哥拉斯学派。由毕达哥拉斯提出的著名命题“万物皆数”是该学派的哲学基石。而“一切数均可表成整数或整数之比”则是这一学派的数学信仰。然而,具有戏剧性的是由毕达哥拉斯建立的毕达哥拉斯定理却成了毕达哥拉斯学派数学信仰的“掘墓人”。毕达哥拉斯定理提出后,其学派中的一个成员希帕索斯考虑了一个问题:边长为1的正方形其对角线长度是多少呢?他发现这一长度既不能用整数,也不能用分数表示,而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数√2 的诞生。小小√2的出现,却在当时的数学界掀起了一场巨大风暴。它直接动摇了毕达哥拉斯学派的数学信仰,使毕达哥拉斯学派为之大为恐慌。实际上,这一伟大发现不但是对毕达哥拉斯学派的致命打击。对于当时所有古希腊人的观念这都是一个极大的冲击。这一结论的悖论性表现在它与常识的冲突上:任何量,在任何精确度的范围内都可以表示成有理数。这不但在希腊当时是人们普遍接受的信仰,就是在今天,测量技术已经高度发展时,这个断言也毫无例外是正确的!可是为我们的经验所确信的,完全符合常识的论断居然被小小的√2的存在而推翻了!这应该是多么违反常识,多么荒谬的事!它简直把以前所知道的事情根本推翻了。更糟糕的是,面对这一荒谬人们竟然毫无办法。这就在当时直接导致了人们认识上的危机,从而导致了西方数学史上一场大的风波,史称“第一次数学危机”。 欧多克索斯 二百年后,大约在公元前370年,才华横溢的欧多克索斯建立起一套完整的比例论。他本人的著作已失传,他的成果被保存在欧几里德《几何原本》一书第五篇中。欧多克索斯的巧妙方法可以避开无理数这一“逻辑上的丑闻”,并保留住与之相关的一些结论,从而解决了由无理数出现而引起的数学危机。但欧多克索斯的解决方式,是借助几何方法,通过避免直接出现无理数而实现的。这就生硬地把数和量肢解开来。在这种解决方案下,对无理数的使用只有在几何中是允许的,合法的,在代数中就是非法的,不合逻辑的。或者说无理数只被当作是附在几何量上的单纯符号,而不被当作真正的数。一直到18世纪,当数学家证明了基本常数如圆周率是无理数时,拥护无理数存在的人才多起来。到十九世纪下半叶,现在意义上的实数理论建立起来后,无理数本质被彻底搞清,无理数在数学园地中才真正扎下了根。无理数在数学中合法地位的确立,一方面使人类对数的认识从有理数拓展到实数,另一方面也真正彻底、圆满地解决了第一次数学危机。 贝克莱悖论与第二次数学危机 第二次数学危机导源于微积分工具的使用。伴随着人们科学理论与实践认识的提高,十七世纪几乎在同一时期,微积分这一锐利无比的数学工具为牛顿、莱布尼兹各自独立发现。这一工具一问世,就显示出它的非凡威力。许许多多疑难问题运用这一工具后变得易如翻掌。但是不管是牛顿,还是莱布尼兹所创立的微积分理论都是不严格的。两人的理论都建立在无穷小分析之上,但他们对作为基本概念的无穷小量的理解与运用却是混乱的。因而,从微积分诞生时就遭到了一些人的反对与攻击。其中攻击最猛烈的是英国大主教贝克莱。 贝克莱主教 1734年,贝克莱以“渺小的哲学家”之名出版了一本标题很长的书《分析学家;或一篇致一位不信神数学家的论文,其中审查一下近代分析学的对象、原则及论断是不是比宗教的神秘、信仰的要点有更清晰的表达,或更明显的推理》。在这本书中,贝克莱对牛顿的理论进行了攻击。例如他指责牛顿,为计算比如说 x2 的导数,先将 x 取一个不为0的增量 Δx ,由 (x + Δx)2 - x2 ,得到 2xΔx + (Δx2) ,后再被 Δx 除,得到 2x + Δx ,最后突然令 Δx = 0 ,求得导数为 2x 。这是“依靠双重错误得到了不科学却正确的结果”。因为无穷小量在牛顿的理论中一会儿说是零,一会儿又说不是零。因此,贝克莱嘲笑无穷小量是“已死量的幽灵”。贝克莱的攻击虽说出自维护神学的目的,但却真正抓住了牛顿理论中的缺陷,是切中要害的。 数学史上把贝克莱的问题称之为“贝克莱悖论”。笼统地说,贝克莱悖论可以表述为“无穷小量究竟是否为0”的问题:就无穷小量在当时实际应用而言,它必须既是0,又不是0。但从形式逻辑而言,这无疑是一个矛盾。这一问题的提出在当时的数学界引起了一定的混乱,由此导致了第二次数学危机的产生。 牛顿与莱布尼兹 针对贝克莱的攻击,牛顿与莱布尼兹都曾试图通过完善自己的理论来解决,但都没有获得完全成功。这使数学家们陷入了尴尬境地。一方面微积分在应用中大获成功,另一方面其自身却存在着逻辑矛盾,即贝克莱悖论。这种情况下对微积分的取舍上到底何去何从呢? “向前进,向前进,你就会获得信念!”达朗贝尔吹起奋勇向前的号角,在此号角的鼓舞下,十八世纪的数学家们开始不顾基础的不严格,论证的不严密,而是更多依赖于直观去开创新的数学领地。于是一套套新方法、新结论以及新分支纷纷涌现出来。经过一个多世纪的漫漫征程,几代数学家,包括达朗贝尔、拉格朗日、贝努力家族、拉普拉斯以及集众家之大成的欧拉等人的努力,数量惊人前所未有的处女地被开垦出来,微积分理论获得了空前丰富。18世纪有时甚至被称为“分析的世纪”。然而,与此同时十八世纪粗糙的,不严密的工作也导致谬误越来越多的局面,不谐和音的刺耳开始震动了数学家们的神经。下面仅举一无穷级数为例。 无穷级数S=1-1+1-1+1………到底等于什么? 当时人们认为一方面S=(1-1)+(1-1)+………=0;另一方面,S=1+(1-1)+(1-1)+………=1,那么岂非0=1?这一矛盾竟使傅立叶那样的数学家困惑不解,甚至连被后人称之为数学家之英雄的欧拉在此也犯下难以饶恕的错误。他在得到 1 + x + x2 + x3 + ..... = 1/(1- x) 后,令 x = -1,得出 S=1-1+1-1+1………=1/2! 由此一例,即不难看出当时数学中出现的混乱局面了。问题的严重性在于当时分析中任何一个比较细致的问题,如级数、积分的收敛性、微分积分的换序、高阶微分的使用以及微分方程解的存在性……都几乎无人过问。尤其到十九世纪初,傅立叶理论直接导致了数学逻辑基础问题的彻底暴露。这样,消除不谐和音,把分析重新建立在逻辑基础之上就成为数学家们迫在眉睫的任务。到十九世纪,批判、系统化和严密论证的必要时期降临了。 柯西 使分析基础严密化的工作由法国著名数学家柯西迈出了第一大步。柯西于1821年开始出版了几本具有划时代意义的书与论文。其中给出了分析学一系列基本概念的严格定义。如他开始用不等式来刻画极限,使无穷的运算化为一系列不等式的推导。这就是所谓极限概念的“算术化”。后来,德国数学家魏尔斯特拉斯给出更为完善的我们目前所使用的“ε-δ ”方法。另外,在柯西的努力下,连续、导数、微分、积分、无穷级数的和等概念也建立在了较坚实的基础上。不过,在当时情况下,由于实数的严格理论未建立起来,所以柯西的极限理论还不可能完善。 柯西之后,魏尔斯特拉斯、戴德金、康托尔各自经过自己独立深入的研究,都将分析基础归结为实数理论,并于七十年代各自建立了自己完整的实数体系。魏尔斯特拉斯的理论可归结为递增有界数列极限存在原理;戴德金建立了有名的戴德金分割;康托尔提出用有理“基本序列”来定义无理数。1892年,另一个数学家创用“区间套原理”来建立实数理论。由此,沿柯西开辟的道路,建立起来的严谨的极限理论与实数理论,完成了分析学的逻辑奠基工作。数学分析的无矛盾性问题归纳为实数论的无矛盾性,从而使微积分学这座人类数学史上空前雄伟的大厦建在了牢固可靠的基础之上。重建微积分学基础,这项重要而困难的工作就这样经过许多杰出学者的努力而胜利完成了。微积分学坚实牢固基础的建立,结束了数学中暂时的混乱局面,同时也宣布了第二次数学危机的彻底解决。 罗素悖论与第三次数学危机 十九世纪下半叶,康托尔创立了著名的集合论,在集合论刚产生时,曾遭到许多人的猛烈攻击。但不久这一开创性成果就为广大数学家所接受了,并且获得广泛而高度的赞誉。数学家们发现,从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论成为现代数学的基石。“一切数学成果可建立在集合论基础上”这一发现使数学家们为之陶醉。1900年,国际数学家大会上,法国著名数学家庞加莱就曾兴高采烈地宣称:“………借助集合论概念,我们可以建造整个数学大厦……今天,我们可以说绝对的严格性已经达到了……” 康托尔 可是,好景不长。1903年,一个震惊数学界的消息传出:集合论是有漏洞的!这就是英国数学家罗素提出的著名的罗素悖论。 罗素构造了一个集合S:S由一切不是自身元素的集合所组成。然后罗素问:S是否属于S呢?根据排中律,一个元素或者属于某个集合,或者不属于某个集合。因此,对于一个给定的集合,问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果S属于S,根据S的定义,S就不属于S;反之,如果S不属于S,同样根据定义,S就属于S。无论如何都是矛盾的。 罗素 其实,在罗素之前集合论中就已经发现了悖论。如1897年,布拉利和福尔蒂提出了最大序数悖论。1899年,康托尔自己发现了最大基数悖论。但是,由于这两个悖论都涉及集合中的许多复杂理论,所以只是在数学界揭起了一点小涟漪,未能引起大的注意。罗素悖论则不同。它非常浅显易懂,而且所涉及的只是集合论中最基本的东西。所以,罗素悖论一提出就在当时的数学界与逻辑学界内引起了极大震动。如G.弗雷格在收到罗素介绍这一悖论的信后伤心地说:“一个科学家所遇到的最不合心意的事莫过于是在他的工作即将结束时,其基础崩溃了。罗素先生的一封信正好把我置于这个境地。”戴德金也因此推迟了他的《什么是数的本质和作用》一文的再版。可以说,这一悖论就象在平静的数学水面上投下了一块巨石,而它所引起的巨大反响则导致了第三次数学危机。 危机产生后,数学家纷纷提出自己的解决方案。人们希望能够通过对康托尔的集合论进行改造,通过对集合定义加以限制来排除悖论,这就需要建立新的原则。“这些原则必须足够狭窄,以保证排除一切矛盾;另一方面又必须充分广阔,使康托尔集合论中一切有价值的内容得以保存下来。”1908年,策梅罗在自已这一原则基础上提出第一个公理化集合论体系,后来经其他数学家改进,称为ZF系统。这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。除ZF系统外,集合论的公理系统还有多种,如诺伊曼等人提出的NBG系统等。公理化集合系统的建立,成功排除了集合论中出现的悖论,从而比较圆满地解决了第三次数学危机。但在另一方面,罗素悖论对数学而言有着更为深刻的影响。它使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前,导致了数学家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。如围绕着数学基础之争,形成了现代数学史上著名的三大数学流派,而各派的工作又都促进了数学的大发展等等。 以上简单介绍了数学史上由于数学悖论而导致的三次数学危机与度过,从中我们不难看到数学悖论在推动数学发展中的巨大作用。有人说:“提出问题就是解决问题的一半”,而数学悖论提出的正是让数学家无法回避的问题。它对数学家说:“解决我,不然我将吞掉你的体系!”正如希尔伯特在《论无限》一文中所指出的那样:“必须承认,在这些悖论面前,我们目前所处的情况是不能长期忍受下去的。人们试想:在数学这个号称可靠性和真理性的模范里,每一个人所学的、教的和应用的那些概念结构和推理方法竟会导致不合理的结果。如果甚至于数学思考也失灵的话,那么应该到哪里去寻找可靠性和真理性呢?”悖论的出现逼迫数学家投入最大的热情去解决它。而在解决悖论的过程中,各种理论应运而生了:第一次数学危机促成了公理几何与逻辑的诞生;第二次数学危机促成了分析基础理论的完善与集合论的创立;第三次数学危机促成了数理逻辑的发展与一批现代数学的产生。数学由此获得了蓬勃发展,这或许就是数学悖论重要意义之所在吧。参考资料:
社会大学i
从哲学上来看,矛盾是无处不在的、不可避免的,即便以确定无疑著称的数学也不例外。数学中有大大小小的许多矛盾,比如正与负、加法与减法、微分与积分、有理数与无理数、实数与虚数等等。但是整个数学发展过程中还有许多深刻的矛盾,例如有穷与无穷,连续与离散,乃至存在与构造,逻辑与直观,具体对象与抽象对象,概念与计算等等。在整个数学发展的历史上,贯穿着矛盾的斗争与解决。而在矛盾激化到涉及整个数学的基础时,就产生数学危机。矛盾的消除,危机的解决,往往给数学带来新的内容,新的进展,甚至引起革命性的变革,这也反映出矛盾斗争是事物发展的历史动力这一基本原理。整个数学的发展史就是矛盾斗争的历史,斗争的结果就是数学领域的发展。The First数学发展史上的第一次危机发生于古希腊时期,当时毕达哥拉斯学派所倡导的是一种称为"唯数论"的哲学观点。他们认为宇宙的本质就是数的和谐,一切事物都必须而且只能通过数学得到解释。而他们所谓"数的和谐"是指一切事物和现象都可归结为整数或整数与整数之比。他们深信这一观点无比正确,因此广泛利用它来解释各种现象。而后不久希帕索斯发现无理数的事件,而这一事件是由于一个简单的不公度线段的发现而引起的。在一般人看来,对于任何两条不一样长的线段,我们都能找到第3条线段,使给定的两条线段都包含第3条线段的整数倍。可是希帕索斯却发现,对于边长为的正方形,设它的对角线为x,根据勾股定理,则有:这里出现的,正好是1与2的比例中项。但是无论如何找不到两个整数之比等于。也就是说,x 和之间不可能是整数的比例关系,也就不可能找到一条线段,使x和都包含它的整数倍。因此,从数学的推导可以得出结论,那就是,与我们直观的观察和想像相反,的确存在着不可公度的线段,即不具有共同度量单位的线段。不可公度线段的出现对毕达哥拉斯学派是一个沉重的打击,但这一怪现象毕竟是学派内部的人发现的,因此被称为毕达哥拉斯悖论或希帕索斯悖论。希帕索斯为此而献出生命,但他的死并没有消除悖论的存在,却使数学界产生了极度的思想混乱,从而爆发了第一次数学危机。这次数学危机的解决导致无理数的诞生。美籍华人数学家项武指出,有理数的准确翻译应该是"可比数",无理数的准确翻译应该是"不可比数"。经过这次惨痛的教训,古希腊数学家不得不承认直观和经验并非绝对可靠。因此他们对一些凭经验而得到的几何知识都要求严格的推理加以证明,正是在这个过程中促进了欧氏几何和非欧几何的诞生。The Second数学史上的第二次危机发生在17世纪,涉及的是微积分理论基础的问题,是由贝克莱悖论引起的。当时虽然微积分理论刚刚建立,但由于它在自然科学的理论研究和实际应用中的重要作用而引起人们高度的重视。它能提示和解释许多自然现象,但是却缺乏令人信服的严格理论基础,在推导过程中存在着明显的逻辑矛盾。例如:对于 y =x2 而言,根据牛顿的流数计算法有:y+△y=(x+△x)2 (1)x 2+△y=x2+2x△x+(△x)2 (2)△y=2x△x+(△x)2 (3)在上述推理中,从(3)到(4),要求△x不等于零,因为要用△x作除数。而从(4)到(5),又要求△x等于零,因为△x小到可以忽略不计,因此从(4)到(5)时将其舍去了。按照其物理意义,就非匀速运动而言,如果认为无穷小量△x、△y为0,那么就相当于。按照数学的传统法则,这是无意允许的。事实上,在这种情况下,也根本没有运动发生。但如果认定△x不为零,那么就仍然是平均速度,根本不是瞬时速度。正因为无穷小方法中包含着这类矛盾,受到许多数学家的指责。特别是基督教大主教贝克莱在1734年出版的《分析学家》的小册子中,对这一矛盾的指责达到高潮。贝克莱说:"无穷小最初不是零,才能在(3)到(4)时作除数,而在(4)到(5)时,又作为零而舍弃,这违反了矛盾律。无穷小如果是零就不能作除数,如果不是零,就不能舍弃。"这就是著名的"贝克莱悖论"。贝克莱悖论又一次引起数学界的思想混乱,导致了第二次数学危机的爆发。为解决这一悖论,无数人投入了大量的劳动。终于由法国数学家柯西首先给出了极限的定义;"若代表某变理的一串数值无限地趋向于某一数值时,其差可任意小,则该固定值称为这一串数值的极限。"很明显,这个定义给无穷小一个准确的概念,完全摆脱了与几何直观的联系。接着他又以极限概念为基础,分别建立了连续、导数、微分、积分等理论。从19世纪下半叶开始,极限理论逐渐取代了无穷小量的方法,在数学分析基础理论中占有了统治的地位,这样才能消除了第二次数学危机。The Third由于严格的实数理论和极限理论的建立,第一次、第二次数学危机都得到了解决。许多人认为数学世界应该太平了。殊不知实数理论和极限理论都是以集合论为基础的。因此当由集合论的悖论所引起的第三次数学危机爆发的时候,它实际上可以看作是前两次危机的继续和深化。它所涉及的问题比前两次更广泛,引起的危机感也更加强烈。从17世纪开始的300年中,出现了一大批杰出的数学家,像笛卡尔、牛顿、莱布尼兹、柯西、阿贝尔、康托尔、费尔马、伯努力利家族、欧拉、拉普拉斯、希尔伯特等。他们的卓越工作成就,把近代数学宫造成了一座高度严密和既抽象又确定的"数学迷宫"。数学表达的精确化和理论系统的公理化思想,深深渗透到人类知识的各个领域。数学家们为自己建造的数学大厦即将竣工而狂喜,认为数学理论的严密性已经完成,特别是基础理论已不成问题。法国知名数学家彭加勒竟然在1900年于巴黎召开的国际数学家代表大会上自豪的宣布:"数学的严格性,看来直到今天才可以说是完全地实现了。"正当人们陶醉于胜利之中时,正当康托尔所创立的饱经磨难的集合论已为大家所接受,并逐渐深入到数学的各个分支时,精确数学的万里晴空上却飘来了一片乌云。这片乌云就是英国的哲学家、数学家罗素提出的关于"集合论"的悖论。它导致了数学史上第三次危机。这个悖论用数学语言应该这样叙述:具有某种相同属性的事物的全体称为集合,组成该集合的每个事物称为元素。但集合一般可分为两大类,一类A={自身是自身元素},另一类B={自身不是自身元素}。例如由许多图书馆所构成的集合M仍然是图书馆,所以M是属于自己的元素的集合,M属于A。而由全体自然数所构成的集合N就不再是自然数,所以N是自己不属于自己的元素的集合,N属于B。那么罗素问:B的全体也是一个集合,它属于哪一类?若属于A,那么B是自身不是自身元素的集合,则B也属于B;若属于B,B是自身是自身元
蒋馨瑗SHELLEY
经过艰苦卓绝的战斗,笔者在西历2009年10月15日(仿SWB)终于攻克了卓里奇的第一章,笔者在学习的过程中发现书上的一些而问题还是非常有趣的,现总结如下:罗素悖论:罗素悖论的通俗表达是:在某个城市中有一位理发师,他的广告词是这样写的:“本人的理发技艺十分高超,誉满全城。我将为本城所有不给自己刮脸的人刮脸,我也只给这些人刮脸。我对各位表示热诚欢迎!”来找他刮脸的人络绎不绝,自然都是那些不给自己刮脸的人。可是,有一天,这位理发师从镜子里看见自己的胡子长了,他本能地抓起了剃刀,你们看他能不能给他自己刮脸呢?如果他不给自己刮脸,他就属于“不给自己刮脸的人”,他就要给自己刮脸,而如果他给自己刮脸呢?他又属于“给自己刮脸的人”,他就不该给自己刮脸。我们将这个问题抽象化:设M为一集合,P(M)表示M“是不以自己作为元素的集”这样一种性质。考察具有性质P的集合的类K={M|P(M)}。如果K是集合,那么,或者P(K)为真,或者非P(K)为真。然而,两者择一对于K是不可能的。实际上,p(K)不成立,因为由K的定义推知K包含着K,即非P(K)为真,另一方面,非P(K)也是不可能真的,因为这就表示K包含着K,而这与K的定义,亦即,他是不含自身类那样的集合的类,相矛盾.因此,K不是集合。罗素悖论是朴素集合论所导致的悖论之一,它导致了第三次数学危机,迫使人们建立了公理化集合系统。在该系统中,我们证明“一切集合的集合A”不存在(它是x∈x可以成立的充分条件),它正是罗素悖论中集合M的定义域,若它不存在,则由分出公理(对任何集合A及性质P,有这样的集合B,它所含的元素,是且仅是A中的那些具有性质P的元素),M没有来源,也不存在。下面来证明“一切集合的集合A”不存在:先证明康托尔定理:用P(X)记X的一切子集构成的集,用cardX表示X的势,康托尔定理如下:cardX
SevenLikeSmile
数学史上出现的三次数学危机,与其说是“数学的危机”,不如说是“数学哲学的危机”.下面我给你分享三次数学危机论文,欢迎阅读。
摘要:本文主要通过数学史上的三次危机的产生与消除,针对它们的本质浅谈自己的认识,实际导致这三次危机原因在与人的认识。第一次数学危机是人们对万物皆数的误解,随着无理数的发现,把第一次数学危机度过了。第二次数学危机是人们对无穷小的误解,微积分的出现产生了一种新的方法,即分析方法,分析方法是算和证的结合。是通过无穷趋近而确定某一结果。罗素悖论的发现,给数学界以极大的震动,导致了数学史上的第三次危机。为了探求其根源和解决难题的途径,在数学界逻辑界进行了不懈的探讨,提出了一系列解决方案,并在不知不觉中大大推动了数学和逻辑学的发展。
关键词:危机;万物皆数;无穷小;分析方法;集合
一、前言
数学常常被人们认为是自然科学中发展得最完善的一门学科,但在数学的发展史中,却经历了三次危机,人们为了使数学向前发展,从而引入一些新的东西使问题化解,在第一次危机中导致无理数的产生;第二次危机发生在十七世纪微积分诞生后,无穷小量的刻画问题,最后是柯西解决了这个问题;第三次危机发生在19世纪末,罗素悖论的产生引起数学界的轩然大波,最后是将集合论建立在一组公理之上,以回避悖论来缓解数学危机。本文回顾了数学上三次危机的产生与发展,并给出了自己对这三次危机的看法,最后得出确定性丧失的结论。
二、数学史上的第一次“危机”
第一次数学危机是发生在公元前580-568年之间的古希腊。那时的数学正值昌盛,忒被是以毕达哥拉斯为代表的毕氏学派对数的认识进行了研究,他们认为“万物旨数”。所谓数就是指整数,他们确定数的目的是企图通过揭示数的奥秘来探索宇宙的永恒真理,信条是:宇宙间的一切现象都能归结为整数或整数之比,即世界上只存在整数与分数,除此之外他们不认识也不承认别的数。在那个时期。上述思想是绝对权威、是“真理”。但是不久人们发现即使边长为1的正方形对角线不是可比数。这样毕达哥拉斯“万物皆数”是不成立的,绝对的权威受到了严重的挑战:一方面证明单位正方形对角线的长不是整数分数,按照他们的观点,这种长度不是数!另一方面,他们不承认自己的观点有问题,这就陷入了极大的矛盾之中,这是第一次数学危机。
三、第二次数学危机
第二次数学危机发生在十七世纪。十七世纪微积分诞生后,由于推敲微积分的理论基础问题,数学界出现混乱局面,即第二次数学危机。其实我翻了一下有关数学史的资料,阿基米德的逼近法实际上已经掌握了无限小分析的基本要素,直到很多年后。牛顿和莱布尼兹开辟了新的天地――微积分。微积分的主要创始人牛顿在一些典型的推导过程中,第一步用了无穷小量作分母进行除法,当然无穷小量不能为零;第二步牛顿又把无穷小量看作零,去掉那些包含它的项,从而得到所要的公式,在力学和几何学的应用证明了这些公式是正确的,但它的数学推导过程却在逻辑上自相矛盾。直到19世纪,柯西详细而有系统地发展了极限理论。柯西认为把无穷小量作为确定的量,即使是零,都说不过去,它会与极限的定义发生矛盾。无穷小量应该是要怎样小就怎样小的量,因此本质上它是变量,而且是以零为极限的量,至此柯西澄清了前人的无穷小的概念,另外Weistrass创立了极限理论,加上实数理论,集合论的建立,从而把无穷小量从形而上学的束缚中解放出来,第二次数学危机基本解决。
四、数学史上的第三次危机
1.悖论的产生及意义
(1)什么是悖论
悖论来自希腊语,意思是“多想一想”。这个次的意义比较丰富,它包括一切与人的知觉和日常经验相矛盾的数学结论,那些结论会使我们惊异无比。悖论是自相矛盾的命题,即如果承认这个命题成立,就可推出它的否定命题成立;反之,如果承认这个命题的否定命题成立,又可推出原命题成立。如果承认它是真的,经过一系列正确的推理,却又得出它是假的;如果承认它是假的,经过一系列正确的推理,却又得出它是真的。古今中外有不少著名的悖论,他们震撼了逻辑学和数学的基础,激发了人们求知和精密的思考,吸引了古往今来许多思想家和爱好者的注意力。解决悖论难题需要创造性的思考,悖论的解决又往往可以给人带来全新的观念。
(2)悖论产生的意义
疏忽学悖论是在数学学科理论体系发展到相当高的阶段才出现的。它是对数学学科理论体系可能存在的内在矛盾的揭示。虽然暂时引起人们的思想混乱,对正常的科学研究可能会形成一定的冲击,但它对于揭露原有理论体系中的逻辑矛盾,对于揭露原有理论的缺陷或局限性,对于这一步深入理解,任何和评价原有科学理念,对于原有的科学概念或理论的进一步充实完善和促进科学管理的产生都有相当重要的意义,同时也为科学研究提供新的课题和研究方向。
2.第三次数学危机的产生与解决
(1)第三次数学危机的产生
第三次数学危机发生在1902年,罗素悖论的产生震撼了整个数学界,号称天衣无缝,绝对正确的数学出现了自相矛盾。
罗素在该悖论中所定义的集合R,被几乎所有集合论研究者都认为是在朴素集合论中可以合法存在的集合。事实虽是这样但原因却又是什么呢?这是由于R是集合,若R含有自身作为元素,就有R R,那么从集合的角度就有RR。一个集合真包含它自己,这样的集合显然是不存在的。因为既要R有异于R的元素,又要R与R是相同的,这显然是不可能的。因此,任何集合都必须遵循R R的基本原则,否则就是不合法的集合。这样看来,罗素悖论中所定义的一切R R的集合,就应该是一切合法集合的集合,也就是所有集合的集合,这就是同类事物包含所有的同类事物,必会引出最大的这类事物。归根结底,R也就是包含一切集合的“最大的集合”了。因此可以明确了,实质上,罗素悖论就是一个以否定形式陈述的最大集合悖论。
(2)第三次数学危机的解决
罗素的悖论产生后,数学家们就开始为这场危机寻找解决的办法,其中之一是把集合论建立在一组公理之上,以回避悖论。首先进行这个工作的是德国数学家策梅罗,他提出七条公理,建立了一种不会产生悖论的集合论,又经过德国的另一位数学家弗芝克尔的改进,形成了一个无矛盾的集合论公理系统(即所谓zF公理系统),这场数学危机到此缓和下来。
现在,我们通过离散数学的学习,知道集合论主要分为Cantor集合论和Axiomatic集合论,集合是先定义了全集I,空集,在经过一系列一元和二元运算而得来的。而在七条公理上建立起来的集合论系统避开了罗素悖论,使现代数学得以发展。
三次数学危机是我们数学史发展中的一个奠基,他为我们日后更详细、深入的研究数学做了很好的铺垫,我我想以后也许会有第四次数学危机,但数学家也会把它化解掉,只有出现危机,才能使我们的数学研究达到更高的境界。
数学的产生和发展,始终与人类社会的生产和生活有着密不可分的联系。在新教材中,任何一个新概念的引入,都特别强调它的现实背景、数学理论发展背景或数学发展的历史背景,只有这样才能让学生感到知识发展水到渠成。所以特别希望在教学中能不时渗透数学史的相关知识,充分发挥和利用数学史的教育价值,使学生通过了解数学史,而更加全面更加深刻地理解数学、感悟数学。
一、集合论的诞生
一般认为,集合论诞生于1873年底。1873年11月29日,康托尔(,1845-1918)在给戴德金(JuliusWilhelmRichardDedekind,1831—1916)的信中提问“正整数集合与实数集合之间能否一一对应起来?”这是一个导致集合论产生的大问题。几天后,康托尔用反证法证明了此问题的否定性结果,“实数是不可数集”,并将这一结果以标题为《关于全体实代数数集合的一个性质》的论文发表在德国《克莱尔数学杂志》上,这是“关于无穷集合论的第一篇革命性论文”,在其系列论文中,他首次定义了集合、无穷集合、导集、序数、集合运算等,康托尔的这篇文章标志着集合论的诞生。
二、集合论成为现代数学大厦的基础
康托尔的集合论是数学史上最具革命性和创造性的理论,他处理了数学上最棘手的对象——无穷集合,让无数因“无穷”而困扰许久的数学家们在这种神奇的数学世界找回了自己的精神家园。它的概念和方法渗透到了代数、拓扑和分析等许多数学分支,甚至渗透到物理学等其他自然学科,为这些学科提供了奠基的方法。几乎可以说,没有集合论的观点,很难对现代数学获得一个深刻的理解。
集合论诞生的前后20年里,经历千辛万苦,但最终获得了世界的承认,到了20世纪初,集合论已经得到数学家们的普遍赞同,大家一致认为,一切数学成果都可以建立在集合论的基础之上了,简言之,借助集合论的概念,便可以建立起整个数学大厦,就连集合论诞生之初强烈反对的著名数学家庞加莱(JulesHenriPoincaré,1854-1912)也兴高采烈地在1900年的第二次国际数学家大会上宣布:“借助集合论概念,我们可以建造整个数学大厦。今天,我们可以说绝对的严格性已经达到了。”然而,好景不长,一个震惊数学界的消息传出,集合论是有漏洞的!如果是这样,则意味着数学大厦的基础出现了漏洞,对数学界来说,这将是多么可怕啊!
三、罗素(BertrandRussell,1872-1970)悖论导致第三次数学危机
1903年,英国数学家罗素在《数学原理》一书上给出一个悖论,很清楚地表现出集合论的矛盾,从而动摇了整个数学的基础,导致了数学危机的产生,史称“第三次数学危机”。
罗素构造了一个所有不属于自身(即不包含自身作为元素)的集合R,现在问R是否属于R?如果R属于R,则R满足R的定义,因此R不属于自身,即R不属于R。另一方面,如果R不属于R,则R不满足R的定义,因此R应属于自身,即R属于R,这样,不论任何情况都存在矛盾,这就是有名的罗素悖论(也称理发师悖论)。
罗素悖论不仅动摇了整个数学大厦的基础,也波及到了逻辑领域,德国的著名逻辑学家弗里兹在他的关于集合的基础理论完稿而即将付印时,收到了罗素关于这一悖论的信,他立刻发现,自己忙了很久得出的一系列结果却被这条悖论搅得一团糟,他只能在自己著作的末尾写道:“一个科学家所碰到的最倒霉的事,莫过于是在他的工作即将完成时却发现所干的工作的基础崩溃了。”这样,罗素悖论就影响到了一向被认为极为严谨的两门学科——数学和逻辑学。
四、消除悖论,化解危机
罗素悖论的存在,明确地表示集合论的某些地方是有毛病的,由于20世纪的数学是建立在集合论上的,因此,许多数学家开始致力于消除矛盾,化解危机。数学家纷纷提出自己的解决方案,希望能够通过对康托尔的集合论进行改造,通过对集合定义加以限制来排除悖论,这就需要建立新的原则。
在20世纪初,大概有两种方法。一种是1908年由数学家策梅洛(Zermelo,ErnstFriedrichFerdinand,1871~1953)提出的公理化集合论,把原来直观的集合概念建立在严格的公理基础上,对集合加以充分的限制以消除所知道的矛盾,从而避免悖论的出现,这就是集合论发展的第二阶段:公理化集合。
解铃还须系铃人,在此之前,危机的制造者罗素在他的著作中提出了层次的理论以解决这个矛盾,又称分支类型化。不过这个层次理论十分复杂,而策梅洛则把这个方法加以简化,提出了“决定性公理(外延公理)、初等集合公理、分离公理组、幂集合公理、并集合公理、选择公理和无穷公理”,通过引进这七条公理限制排除了一些不适当的集合,从而消除了罗素悖论产生的条件。后来,策梅洛的公理系统又经其他人,特别是弗兰克尔()和斯科伦()的修正和补充,成为现代标准的“策梅洛——弗兰克尔公理系统(简称ZF系统)”,这样,数学又回到严谨和无矛盾的领域,而且更促使一门新的数学分支——《基础数学》迅速发展。
五、危机的启示
从康托尔集合论的提出至今,时间已经过去了一百多年,数学又发生了巨大的变化,而这一切都与康托尔的开拓性工作密不可分,也和数学家们的艰辛努力密不可分。从危机的产生到解决,我们可以看到,数学的发展跟提出问题和面对困难是离不开的,期间要经历无数的挫折和失败,但是只要坚持,终会走向成功。
矛盾的消除,危机的化解,往往给数学带来新的内容,新的变化,甚至革命性的变革,这也反映出矛盾斗争是事物发展的历史性动力的基本原理。正如数学家克莱因(FelixChristianKlein1849-1925)在《数学——确定性丧失》中说:“与未来的数学相关的不确定性和可疑,将取代过去的确定性和自满,虽然这次悖论已经找到解释,危机也已化解,但是更多的还是未知,因为只要仔细分析,矛盾又将会被认识更为深刻的研究者发现,这种发现不应该被认为是‘危机’,而应该感到,下一个突破的机会来到了。”
参考文献:
1.《普通高中课程标准实验教科书——数学必修1》教师教学用,人民教育出版社
2.胡作玄,《第三次数学危机》
中华人民共和国的诞生,为中国数千年的文明史揭开了新的篇章,我国数学科学的研究出现了生机勃勃的景象,以下是我搜集的一篇关于三次数学危机探讨的论文范文,供大家阅读参考,
从我国数学的发展看三次数学危机。
1 引言
数学中有大大小小的许多矛盾,比如正与负、加法与减法、微分与积分、有理数与无理数、实数与虚数等等。但是整个数学发展过程中还有许多深刻的矛盾,例如有穷与无穷,连续与离散,乃至存在与构造,逻辑与直观,具体对象与抽象对象,概念与计算等等。在整个数学发展的历史上,贯穿着矛盾的斗争与解决。而在矛盾激化到涉及整个数学的基础时,就产生数学危机。整个数学的发展史就是矛盾斗争的历史,斗争的结果就是数学领域的发展。
2 三次数学危机
第一次数学危机发生在古希腊,源于毕达哥拉斯的以数为基础的宇宙模型和数是可公度的信条。毕达哥拉斯认为,事物的本质是由数构成的,并以数为基础,构造了宇宙模型[1].在毕达哥拉斯看来,数就是整数或整数之比。但这一信条后来遇到了困难。因为有些数是不可公度的。这一矛盾,导致了毕达哥拉斯关于数的信条的破产,并进一步导致了毕达哥拉斯以数为基础的宇宙模型的破产。这在当时产生的震动太大了,因此历史上称之为第一次数学危机。
17、18世纪关于微积分发生的激烈的争论,被称为第二次数学危机[2].在17世纪晚期,形成了微积分学。牛顿和莱布尼茨被公认为微积分的奠基者。他们的功绩主要在于把各种有关问题的解法统一成微积分,有明确的计算步骤,微分法和积分法互为逆运算[3].由于新诞生的微积分方法中隐含着逻辑推理上的严重缺陷,导致了无穷小悖论[4].当时牛顿等人不能自圆其说,而且,其后一百年间的数学家也未能有力的回答贝克莱的质问,由此而引起数学界甚至哲学界长达一个半世纪的争论,造成第二次数学危机.
19世纪末分析严格化的最高成就--集合论,似乎给数学家们带来了一劳永逸摆脱基础危机的希望。庞加莱甚至在1900年巴黎国际数学大会上宣称:现在我们可以说,完全的严格性已经达到了![5]但就在第二年,一场摇撼整个数学大厦基础的暴风雨来临了,英国数学家罗素以一个简单明了的集合论悖论打破了人们的上述希望,引起了关于数学基础的新争论。他把关于集合论的一个着名悖论用故事通俗地表述出来。
它和其它一些集合论悖论一样,对数学发展的影响是十分深刻、巨大的,甚至可以说是动摇了整个数学的基础,并导致了第三次数学危机。
3 从我国数学的发展看三次数学危机
中华人民共和国的诞生,为中国数千年的文明史揭开了新的篇章,我国数学科学的研究出现了生机勃勃的景象,这是我们国家社会主义建设的需要,也是我们党和国家非常重视科学技术的结果,
数学论文《从我国数学的发展看三次数学危机。中国科学院于1950年开始筹建数学研究所,1952年正式成立。全国各高等院校普遍设置了数学系,《数学学报》和《数学通报》复刊。1958年~1960年的大跃进时期,在极左思潮影响下,数学基础理论研究受到很大冲击,积极的一面是明确了向世界先进水平看齐的奋斗目标,也重视理论联系实际,线性规划得到大力推广并创造了切实可行的图上作业法,运筹学由此在我国发展起来。在发展我国高科技过程中,例如1965年9月17日,我国科学工作者在世界上首次用人工方法合成结晶牛胰岛素。
我们不能不承认,数学对于现实生活的影晌正在与日俱增。许多学科都在悄悄地经历着一场数学化的进程。现在,已经没有哪个领域能够抵御得住数学方法的渗透。因此,对于数学,特别是现代数学加以普及,使得数学和数学家的工作能对现实生活产生应有的积极影响,这已成为人们日益重视的课题。
4 总结
综上所述三次数学危机对数学的发展影响是巨大的。第一次数学危机中产生的欧几里德几何对树立天文学的发展起了很大的推动作用,第一次数学危机使古希腊数学基础发生了根本性的变化,使古希腊的数学基础转向几何。第二次数学危机中波尔查诺给出了连续性的正确定义;阿贝尔指出要严格限制滥用级数展开及求和;柯西指出无穷小量和无穷大量都是变量,并且定义了导数和积分;狄利克雷给出了函数的现代定义;美国数理逻辑学家罗宾逊又利用无穷小量引进超实数的概念,建立了非标准分析,同样也能精确的描述微积分,解决无穷小悖论。第三次数学危机建立了实数理论,且在此基础上建立了极限的基本定理,使数学分析建立在实数理论的严格基础之上,康托尔创立了集合论。而且还产生了公理化方法论和数理逻辑等一批新颖学科。我国以至世界各国的数学发展也都依赖于三次数学危机中产生的数学的新内容。整个数学的发展是一个层层深入、层层递进的过程。
参考文献:
[1]人民教育出版社中学数学室着.现代数学概论[M].北京:人民教育出版社,2003.
[2]张光远.现代化知识文库:二十世纪数学史话[M].知识出版社,
[3]袁小明.数学史话[M].山东教育出版社,1985.
[4]于寅.近代数学基础[M].华中理工大学出版社,.
理论是指导实践的基本,实践是印证理论的途径。如果没有理论基础,实践只会不断地犯错误,如果没有实践,理论将失去其依托而不成立。简单地说,没有理论你只知道怎么样,而
“……古往今来,为数众多的悖论为逻辑思想的发展提供了食粮。” ——N·布尔巴基 什么是悖论?笼统地说,是指这样的推理过程:它看上去是合理的,但结果却得出
发表论文研究意义写作技巧如下: 写作研究意义可以从两方面把握,一个是研究的理论意义,另一个就是研究的实际意义,常见的研究意义可以分别从这两个方面进行阐述,理论意
写意义的时候根据你的选题来决定形式可以分现实意义和理论意义也可以不细分,把目的和意义和在一起写,总之突出你观点的新颖和重要性即可建议可以从这两点来叙述,不过要根
1、内容不同 研究背景就是主要是国内外现状、发展历程之类的;而意义主要是指这个东西在当下还不行,就诸多不足而言还存在着研究的价值和意义,在某些方面可以改进。 2