数模论坛

 找回密码
 注-册-帐-号
搜索
热搜: 活动 交友 discuz
查看: 4858|回复: 7

爱吹牛的理发师

  [复制链接]
b
发表于 2004-5-30 02:47:44 | 显示全部楼层 |阅读模式
<FONT size=3>爱吹牛的理发师(质疑数学中的某些悖论)--胡桢

      有一个理发师特别爱吹牛,逢人便说:他只给村里所有那些不给自己理发的人理发。于是乎,有人反问:理发师的头发由谁给他理呢?
若假定这个理发师的头发是他自己理的,那么按规定他只给那些不给自己理发的人理发,所以,可以推导出他不能为他自己理发;若假定他的头发是别人给理的,亦即他不给他自己理发,按规定这位理发师应该去给他自己理发。所以,不管怎样,不管这位理发师的头发是由谁给理的,都必然要推导出相反的命题。
类似于理发师的悖论引发了数学上第三次的危机,出现了所谓的康托尔悖论和罗素悖论。从形式逻辑的角度上分析,这样的悖论是存在的,因为从演绎法的推断中可以获得这样的悖论。然而,辩证地分析数学上的悖论,却与理发师悖论有着质的区别。
按照理发师的悖论,其大前提是只给那些不给自己理发的人理发,该前提已无前延,在此大前提之定论下后续出两个相互矛盾的推论。然而,康托尔悖论和罗素悖论,其中的前提是否为定论,却是一个尚未论证的,又怎知该前提是一个正确的前提呢?
先看一下所谓的罗素悖论:设T:{x|x Not∈x},也就是说,T是由所有那些不属于自己的那些集合所组成,任一集合x,如果x Not∈x成立,那么这个x就是T的元,反之,T中每一元x都有这种性质,亦即若x ∈T,就有x Not∈x,现在问:集合T是否属于它自己呢?
作为一个集合的符号x,其中的元素可以是任何别的东西,但决不会是符号x本身。因为任意集合都具有{x|x Not∈x}这样的性质,所以{x}在集合论中是被定义为另一具有元素x之集合,而不是集合x。当罗素先生以悖论的方式在询问T是否属于它自己时,只是在重复提问开始时的问题,并无新的内涵。这让我想起了小时候的一个讲故事之事,内容是:【从前有个小和尚,给别人讲故事,那位小和尚说,从前有个小和尚,给别人讲故事,那位小和尚说,从前有个...。】反反复复就是这两话,可以讲到世界的末日,也没有将故事讲完。
显然,罗素悖论只是忘却了所谓的符号只代表其本身这一事实,混淆了符号的内涵与外延之区别。{x|x Not∈x}是作为符号x的内涵而存在;集合x中的元素是符号x的外延,说明在集合x中具有多少元素。同样,对于集合T也具有这样的性质,其与集合x的区别仅仅是符号之不同,而没有本质上的区别。对于集合T,可以用同样的理由再构成另一集合,直至无穷。罗素悖论企图移用理发师悖论于集合论,却在前提上犯了错误。在理发师悖论引发了矛盾的推理之前提,而在集合论中却是最基本的原则:集合的包含性。
再来看看所谓的康托尔悖论:按照集合论的概括原则,任一性质都决定一集合,因此,可以假定u是由所有集合所组成的那个集合。对于u,我们有它的幂集合P(u)。现在问:集合u与集合P(u)中,哪个的基数更大一些呢?
该悖论是根据康托尔定理而引发的。这个所谓的康托尔定理是指:任意集合的基数小于其幂集合的基数。于是乎,由康托尔定理可知,集合u的基数小于幂集合P(u)的基数;但另一方面又有,幂集合P(u)是u所有的子集合所组成,因此,对于任意的x∈P(u),由u的定义,就有x∈u,所以,P(u)包含于u。可知,幂集合P(u)的基数不大于集合u的基数,由此引发了悖论。
对于康托尔定理,当集合为有限时,无疑是正确的;然而,若集合为无限时是否仍是正确的,没人作过论证,焉能以此作为前提?让我们考察一下康托尔定理在无穷集合时的情况。
我们知道,对于自然数集N的幂集合,已被证明等价于实数集R,其中的区别仅仅在于实数集R是连续的,而自然数集N的幂集合有空集Φ。对于自然数集N的幂集合,有元素:
{1}, {2}, {3}, ..., {1,2}, {1,3}, ..., {2,3}, ..., {1,2,3}, ...
等等。根据选择公理,以自然数1、2、3、...等为依据,分割上述的元素属于且仅属于互不相交的某一子集中。于是乎,由商集化的子集所组成的良序化之链具有:
π(1)>π(2)>π(3)>π(4)>...>π(n)>...
这样的形式。这些商集化的子集,都具有无穷多个元素,且在全域中所占的比例为:
1/2+1/2^2+1/2^3+1/2^4+...→1
即在自然数集N的幂集合中,其元素全部是可归纳的。
那么,实数集R的幂集合的基数是什么样的?换言之,若用自然数集N的幂集合来考察实数集R,自然数集N的幂集合之幂集合的基数是什么样的?以自然数集N的幂集合中的元素而组成的幂集合,有元素:
{{1}}, {{2}}, ..., {{1},{2}}, ..., {{1},{2,3}}, ...
等等。根据选择公理,同样可以用自然数1、2、3、...等为依据,分割上述的元素属于且仅属于互不相交的某一子集中。其商集化的子集所组成的良序化之链也具有:
π(1)>π(2)>π(3)>π(4)>...>π(n)>...
这样的形式。这些商集化的子集,都具有无穷多个元素,且在全域中所占的比例也是:
1/2+1/2^2+1/2^3+1/2^4+...→1
即在自然数集N的幂集合之幂集合中,其元素也是全部可归纳的。换言之,自然数集N的幂集合中的元素完全可以一一对应自然数集N的幂集合之幂集合中的元素,因为它们的商集化子集是一样多的,而且都具有无穷多个元素。
由此可知,所谓的康托尔定理只是在有限集中有效,当集合趋于无穷时,以自然数为基本元素的集合,其基数有极限,也就是实数集R的基数。显然,无限构成的自然数集N的幂集之幂集,只有一个基数,不存在任意集合的基数小于其幂集合的基数之定理。
既然康托尔定理在无穷集合中并不存在,那么,所谓的康托尔悖论也就无从谈起。因此,爱吹牛的理发师悖论只有在理发师的吹牛中存在,任何移作它用,由于前提之不同,只能成为谬误的悖论。</FONT>
发表于 2004-6-8 06:31:35 | 显示全部楼层
<>很好 我喜欢</P>
发表于 2004-6-8 22:24:32 | 显示全部楼层
数学发展的路就是这样的,一个悖论的产生就意味着一个新的突破口出现了!
发表于 2004-7-28 18:32:51 | 显示全部楼层
理发师的问题老师讲过挺好的
发表于 2004-8-6 02:38:34 | 显示全部楼层
<>[em03][em03][em03][em03][em03]</P><>挺好玩的</P>[em05][em05][em05][em05][em05]
发表于 2004-8-8 00:37:18 | 显示全部楼层
<CENTER><FONT><FONT color=brown>数学悖论与三次数学危机</FONT>
<FONT color=brown>
<img src="http://www.oursci.org/magazine/200401/author.gif"> 韩雪涛
</FONT></CENTER>
<FONT color=green>
  “……古往今来,为数众多的悖论为逻辑思想的发展提供了食粮。”
  ——N·布尔巴基
</FONT>
  什么是悖论?笼统地说,是指这样的推理过程:它看上去是合理的,但结果却得出了矛盾。悖论在很多情况下表现为能得出不符合排中律的矛盾命题:由它的真,可以推出它为假;由它的假,则可以推出它为真。由于严格性被公认为是数学的一个主要特点,因此如果数学中出现悖论会造成对数学可靠性的怀疑。如果这一悖论涉及面十分广泛的话,这种冲击波会更为强烈,由此导致的怀疑还会引发人们认识上的普遍危机感。在这种情况下,悖论往往会直接导致“数学危机”的产生。按照西方习惯的说法,在数学发展史上迄今为止出现了三次这样的数学危机。


<B>希帕索斯悖论与第一次数学危机</B>

  希帕索斯悖论的提出与勾股定理的发现密切相关。因此,我们从勾股定理谈起。勾股定理是欧氏几何中最著名的定理之一。天文学家开普勒曾称其为欧氏几何两颗璀璨的明珠之一。它在数学与人类的实践活动中有着极其广泛的应用,同时也是人类最早认识到的平面几何定理之一。在我国,最早的一部天文数学著作《周髀算经》中就已有了关于这一定理的初步认识。不过,在我国对于勾股定理的证明却是较迟的事情。一直到三国时期的赵爽才用面积割补给出它的第一种证明。

  在国外,最早给出这一定理证明的是古希腊的毕达哥拉斯。因而国外一般称之为“毕达哥拉斯定理”。并且据说毕达哥拉斯在完成这一定理证明后欣喜若狂,而杀牛百只以示庆贺。因此这一定理还又获得了一个带神秘色彩的称号:“百牛定理”。    

<TABLE align=center bgColor=#144a94 border=0 cellPadding=0 cellSpacing=0 width=280><TR><TD><TABLE border=0 cellPadding=0 cellSpacing=1 width="100%"><TR><TD align=left bgColor=#144a94 class=p1 width="92%"><img src="http://www.oursci.org/magazine/200401/040105-02.jpg">
<FONT color=white>毕达哥拉斯</FONT></TD></TR></TABLE></TD></TR></TABLE>

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

<TABLE align=center bgColor=#144a94 border=0 cellPadding=0 cellSpacing=0 width=202><TR><TD><TABLE border=0 cellPadding=0 cellSpacing=1 width="100%"><TR><TD align=left bgColor=#144a94 class=p1 width="92%"><img src="http://www.oursci.org/magazine/200401/040105-03.gif">
<FONT color=white>欧多克索斯</FONT></TD></TR></TABLE></TD></TR></TABLE>

  二百年后,大约在公元前370年,才华横溢的欧多克索斯建立起一套完整的比例论。他本人的著作已失传,他的成果被保存在欧几里德《几何原本》一书第五篇中。欧多克索斯的巧妙方法可以避开无理数这一“逻辑上的丑闻”,并保留住与之相关的一些结论,从而解决了由无理数出现而引起的数学危机。但欧多克索斯的解决方式,是借助几何方法,通过避免直接出现无理数而实现的。这就生硬地把数和量肢解开来。在这种解决方案下,对无理数的使用只有在几何中是允许的,合法的,在代数中就是非法的,不合逻辑的。或者说无理数只被当作是附在几何量上的单纯符号,而不被当作真正的数。一直到18世纪,当数学家证明了基本常数如圆周率是无理数时,拥护无理数存在的人才多起来。到十九世纪下半叶,现在意义上的实数理论建立起来后,无理数本质被彻底搞清,无理数在数学园地中才真正扎下了根。无理数在数学中合法地位的确立,一方面使人类对数的认识从有理数拓展到实数,另一方面也真正彻底、圆满地解决了第一次数学危机。


<B>贝克莱悖论与第二次数学危机</B>

  第二次数学危机导源于微积分工具的使用。伴随着人们科学理论与实践认识的提高,十七世纪几乎在同一时期,微积分这一锐利无比的数学工具为牛顿、莱布尼兹各自独立发现。这一工具一问世,就显示出它的非凡威力。许许多多疑难问题运用这一工具后变得易如翻掌。但是不管是牛顿,还是莱布尼兹所创立的微积分理论都是不严格的。两人的理论都建立在无穷小分析之上,但他们对作为基本概念的无穷小量的理解与运用却是混乱的。因而,从微积分诞生时就遭到了一些人的反对与攻击。其中攻击最猛烈的是英国大主教贝克莱。

<TABLE align=left bgColor=#144a94 border=0 cellPadding=0 cellSpacing=0 width=141><TR><TD><TABLE border=0 cellPadding=0 cellSpacing=1 width="100%"><TR><TD align=left bgColor=#144a94 class=p1 width="92%"><img src="http://www.oursci.org/magazine/200401/040105-04.gif">
<FONT color=white>贝克莱主教</FONT></TD></TR></TABLE></TD></TR></TABLE>  1734年,贝克莱以“渺小的哲学家”之名出版了一本标题很长的书《分析学家;或一篇致一位不信神数学家的论文,其中审查一下近代分析学的对象、原则及论断是不是比宗教的神秘、信仰的要点有更清晰的表达,或更明显的推理》。在这本书中,贝克莱对牛顿的理论进行了攻击。例如他指责牛顿,为计算比如说 <FONT face="Times New Roman"><I>x</I><SUP>2</SUP></FONT> 的导数,先将 <FONT face="Times New Roman"><I>x</I></FONT> 取一个不为0的增量 <FONT face="Times New Roman">Δ<I>x</I></FONT> ,由 <FONT face="Times New Roman">(<I>x</I> + Δ<I>x</I>)<SUP>2</SUP> - <I>x</I><SUP>2</SUP></FONT> ,得到 <FONT face="Times New Roman">2<I>x</I>Δ<I>x</I> + (Δ<I>x</I><SUP>2</SUP>)</FONT> ,后再被 <FONT face="Times New Roman">Δ<I>x</I></FONT> 除,得到 <FONT face="Times New Roman">2<I>x</I> + Δ<I>x</I></FONT> ,最后突然令 <FONT face="Times New Roman">Δ<I>x</I> = 0</FONT> ,求得导数为 <FONT face="Times New Roman"><I>2x</I></FONT> 。这是“依靠双重错误得到了不科学却正确的结果”。因为无穷小量在牛顿的理论中一会儿说是零,一会儿又说不是零。因此,贝克莱嘲笑无穷小量是“已死量的幽灵”。贝克莱的攻击虽说出自维护神学的目的,但却真正抓住了牛顿理论中的缺陷,是切中要害的。

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

<TABLE align=center bgColor=#144a94 border=0 cellPadding=0 cellSpacing=0 width=399><TR><TD><TABLE border=0 cellPadding=0 cellSpacing=1 width="100%"><TR><TD align=left bgColor=#144a94 class=p1 width="92%"><img src="http://www.oursci.org/magazine/200401/040105-05.jpg"><img src="http://www.oursci.org/magazine/200401/040105-06.jpg">
<FONT color=white>牛顿与莱布尼兹</FONT></TD></TR></TABLE></TD></TR></TABLE>

  针对贝克莱的攻击,牛顿与莱布尼兹都曾试图通过完善自己的理论来解决,但都没有获得完全成功。这使数学家们陷入了尴尬境地。一方面微积分在应用中大获成功,另一方面其自身却存在着逻辑矛盾,即贝克莱悖论。这种情况下对微积分的取舍上到底何去何从呢?

  “向前进,向前进,你就会获得信念!”达朗贝尔吹起奋勇向前的号角,在此号角的鼓舞下,十八世纪的数学家们开始不顾基础的不严格,论证的不严密,而是更多依赖于直观去开创新的数学领地。于是一套套新方法、新结论以及新分支纷纷涌现出来。经过一个多世纪的漫漫征程,几代数学家,包括达朗贝尔、拉格朗日、贝努力家族、拉普拉斯以及集众家之大成的欧拉等人的努力,数量惊人前所未有的处女地被开垦出来,微积分理论获得了空前丰富。18世纪有时甚至被称为“分析的世纪”。然而,与此同时十八世纪粗糙的,不严密的工作也导致谬误越来越多的局面,不谐和音的刺耳开始震动了数学家们的神经。下面仅举一无穷级数为例。

  无穷级数S=1-1+1-1+1………到底等于什么?

  当时人们认为一方面S=(1-1)+(1-1)+………=0;另一方面,S=1+(1-1)+(1-1)+………=1,那么岂非0=1?这一矛盾竟使傅立叶那样的数学家困惑不解,甚至连被后人称之为数学家之英雄的欧拉在此也犯下难以饶恕的错误。他在得到

  <FONT face="Times New Roman">1 + <I>x</I> + <I>x</I><SUP>2</SUP> + <I>x</I><SUP>3</SUP> + ..... = 1/(1- <I>x</I>)</FONT>

   后,令 <FONT face="Times New Roman"><I>x</I> = -1</FONT>,得出

  S=1-1+1-1+1………=1/2!

  由此一例,即不难看出当时数学中出现的混乱局面了。问题的严重性在于当时分析中任何一个比较细致的问题,如级数、积分的收敛性、微分积分的换序、高阶微分的使用以及微分方程解的存在性……都几乎无人过问。尤其到十九世纪初,傅立叶理论直接导致了数学逻辑基础问题的彻底暴露。这样,消除不谐和音,把分析重新建立在逻辑基础之上就成为数学家们迫在眉睫的任务。到十九世纪,批判、系统化和严密论证的必要时期降临了。

<TABLE align=center bgColor=#144a94 border=0 cellPadding=0 cellSpacing=0 width=265><TR><TD><TABLE border=0 cellPadding=0 cellSpacing=1 width="100%"><TR><TD align=left bgColor=#144a94 class=p1 width="92%"><img src="http://www.oursci.org/magazine/200401/040105-07.jpg">
<FONT color=white>柯西</FONT></TD></TR></TABLE></TD></TR></TABLE>

  使分析基础严密化的工作由法国著名数学家柯西迈出了第一大步。柯西于1821年开始出版了几本具有划时代意义的书与论文。其中给出了分析学一系列基本概念的严格定义。如他开始用不等式来刻画极限,使无穷的运算化为一系列不等式的推导。这就是所谓极限概念的“算术化”。后来,德国数学家魏尔斯特拉斯给出更为完善的我们目前所使用的“<FONT face="Times New Roman" size=+1><I>ε-δ</I></FONT> ”方法。另外,在柯西的努力下,连续、导数、微分、积分、无穷级数的和等概念也建立在了较坚实的基础上。不过,在当时情况下,由于实数的严格理论未建立起来,所以柯西的极限理论还不可能完善。

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


<B>罗素悖论与第三次数学危机</B>

  十九世纪下半叶,康托尔创立了著名的集合论,在集合论刚产生时,曾遭到许多人的猛烈攻击。但不久这一开创性成果就为广大数学家所接受了,并且获得广泛而高度的赞誉。数学家们发现,从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论成为现代数学的基石。“一切数学成果可建立在集合论基础上”这一发现使数学家们为之陶醉。1900年,国际数学家大会上,法国著名数学家庞加莱就曾兴高采烈地宣称:“………借助集合论概念,我们可以建造整个数学大厦……今天,我们可以说绝对的严格性已经达到了……”

<TABLE align=center bgColor=#144a94 border=0 cellPadding=0 cellSpacing=0 width=239><TR><TD><TABLE border=0 cellPadding=0 cellSpacing=1 width="100%"><TR><TD align=left bgColor=#144a94 class=p1 width="92%"><img src="http://www.oursci.org/magazine/200401/040105-08.jpg">
<FONT color=white>康托尔</FONT></TD></TR></TABLE></TD></TR></TABLE>

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

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

<TABLE align=center bgColor=#144a94 border=0 cellPadding=0 cellSpacing=0 width=291><TR><TD><TABLE border=0 cellPadding=0 cellSpacing=1 width="100%"><TR><TD align=left bgColor=#144a94 class=p1 width="92%"><img src="http://www.oursci.org/magazine/200401/040105-09.jpg">
<FONT color=white>罗素</FONT></TD></TR></TABLE></TD></TR></TABLE>

  其实,在罗素之前集合论中就已经发现了悖论。如1897年,布拉利和福尔蒂提出了最大序数悖论。1899年,康托尔自己发现了最大基数悖论。但是,由于这两个悖论都涉及集合中的许多复杂理论,所以只是在数学界揭起了一点小涟漪,未能引起大的注意。罗素悖论则不同。它非常浅显易懂,而且所涉及的只是集合论中最基本的东西。所以,罗素悖论一提出就在当时的数学界与逻辑学界内引起了极大震动。如G.弗雷格在收到罗素介绍这一悖论的信后伤心地说:“一个科学家所遇到的最不合心意的事莫过于是在他的工作即将结束时,其基础崩溃了。罗素先生的一封信正好把我置于这个境地。”戴德金也因此推迟了他的《什么是数的本质和作用》一文的再版。可以说,这一悖论就象在平静的数学水面上投下了一块巨石,而它所引起的巨大反响则导致了第三次数学危机。

  危机产生后,数学家纷纷提出自己的解决方案。人们希望能够通过对康托尔的集合论进行改造,通过对集合定义加以限制来排除悖论,这就需要建立新的原则。“这些原则必须足够狭窄,以保证排除一切矛盾;另一方面又必须充分广阔,使康托尔集合论中一切有价值的内容得以保存下来。”1908年,策梅罗在自已这一原则基础上提出第一个公理化集合论体系,后来经其他数学家改进,称为ZF系统。这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。除ZF系统外,集合论的公理系统还有多种,如诺伊曼等人提出的NBG系统等。公理化集合系统的建立,成功排除了集合论中出现的悖论,从而比较圆满地解决了第三次数学危机。但在另一方面,罗素悖论对数学而言有着更为深刻的影响。它使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前,导致了数学家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。如围绕着数学基础之争,形成了现代数学史上著名的三大数学流派,而各派的工作又都促进了数学的大发展等等。

  以上简单介绍了数学史上由于数学悖论而导致的三次数学危机与度过,从中我们不难看到数学悖论在推动数学发展中的巨大作用。有人说:“提出问题就是解决问题的一半”,而数学悖论提出的正是让数学家无法回避的问题。它对数学家说:“解决我,不然我将吞掉你的体系!”正如希尔伯特在《论无限》一文中所指出的那样:“必须承认,在这些悖论面前,我们目前所处的情况是不能长期忍受下去的。人们试想:在数学这个号称可靠性和真理性的模范里,每一个人所学的、教的和应用的那些概念结构和推理方法竟会导致不合理的结果。如果甚至于数学思考也失灵的话,那么应该到哪里去寻找可靠性和真理性呢?”悖论的出现逼迫数学家投入最大的热情去解决它。而在解决悖论的过程中,各种理论应运而生了:第一次数学危机促成了公理几何与逻辑的诞生;第二次数学危机促成了分析基础理论的完善与集合论的创立;第三次数学危机促成了数理逻辑的发展与一批现代数学的产生。数学由此获得了蓬勃发展,这或许就是数学悖论重要意义之所在吧。</FONT>
发表于 2004-8-14 22:28:28 | 显示全部楼层
蛮有意思的,载回去好好看看。
发表于 2004-9-9 19:50:54 | 显示全部楼层
<><img src="http://www.shumo.com/bbs/Skins/Default/emot/em02.gif"><img src="http://www.shumo.com/bbs/Skins/Default/emot/em04.gif"><img src="http://www.shumo.com/bbs/Skins/Default/emot/em06.gif"><img src="http://www.shumo.com/bbs/Skins/Default/emot/em08.gif"><img src="http://www.shumo.com/bbs/Skins/Default/emot/em01.gif"><img src="http://www.shumo.com/bbs/Skins/Default/emot/em04.gif"></P><>有意思</P>
您需要登录后才可以回帖 登录 | 注-册-帐-号

本版积分规则

小黑屋|手机版|Archiver|数学建模网 ( 湘ICP备11011602号 )

GMT+8, 2024-11-27 04:29 , Processed in 0.054487 second(s), 19 queries .

Powered by Discuz! X3.4

Copyright © 2001-2021, Tencent Cloud.

快速回复 返回顶部 返回列表