《惊讶,思考到感叹.》由会员分享，可在线阅读，更多相关《惊讶,思考到感叹.（15页珍藏版）》请在金锄头文库上搜索。
1、,惊讶，思考到感叹 -集合论悖论，第三次数学危机及其它,集合论的著名悖论： 1、自然数与正偶数谁多 2、伽利略悖论 3、希尔伯特旅馆 4、香迪悖论 5、康托尔悖论 6、罗素悖论 7、巴拿赫-塔尔斯分球悖论 8、汤姆森灯悖论 9、布莱克玻璃球悖论 10、圆周率机 11、忒修斯的船 12、谷堆悖论 13、秃头悖论,无穷统帅：康托尔,罗素（英国哲学家、 数学家、社会学家 。1950 年诺贝尔文学奖获得者 ）,Part one:集合论产生前的主要悖论： 部分=整体？,自然数和正偶数谁多？ 自然数：1、2、3n 正偶数：1、4、62n 有多少个自然数，就有多少个正偶数，但正偶数又是自然数的一部分！,伽利
2、略悖论 自然数：1、2、3n 平方数：1、4、9n2 仍然是整体与部分的关系，究竟一个更大，或是-相等？,这样的悖论产生的根本原因： 无限与无限可否比较？ 无限是否可以容纳无限？,希尔伯特旅馆 状况描述： 1、希尔伯特旅馆有无限个房间 2、所有房间都住满了人 3、又有无限个人想投宿 QUESTION: How to do? One of the keys: 所有在宿的人搬到房号为原来房号 两倍的房间里，便可空出无限房间，给新来的无限的人。,香迪悖论 情景描述： 1、香迪认为：“我”用两年的时间只写了“我”生活中头两天的事情，按照这个速度，我永远也写不完自已的传记。 2、罗素认为：如果确实有“永
3、远”存在的话，那么按那个速度，香迪的传记不会遗漏任何部分。 原因：香迪的每一天，都有未来指定的一年去记录，绝无例外！,再举两个例子拖延时间：,Part two:康托尔集合论及其主要观点,面对部分=整体；无限能否比较等看似无法解决的问题或难以解释的悖论，康托尔克服重重困难千辛万苦荆棘满途终于，终于，创立了-集合论。,康托尔是德国数学家，集合论的创始者。1845年3月3日生于圣彼得堡，1918年1月6日病逝于哈雷。 康托尔11岁时移居德国，在德国读中学。1862年17岁时入瑞士苏黎世大学，翌年入柏林大学，主修数学，1866年曾去格丁根学习一学期。1867年以数论方面的论文获博士学位。1869年在哈
4、雷大学通过讲师资格考试，后在该大学任讲师，1872年任副教授，1879年任教授。 集合论是现代数学的基础，康托尔在研究函数论时产生了探索无穷集和超穷数的兴趣。康托尔肯定了无穷数的存在，并对无穷问题进行了哲学的讨论，最终建立了较完善的集合理论，为现代数学的发展打下了坚实的基础。,集合论的主要观点：,1、定义：如果能够根据某一法则，使集合M与集合N中的元素建立一一对应的关系，那么，集合M与集合N等势或具有相同的基数。 （在数学上，基数(cardinal number)也叫势(cardinality)，指集合论中刻画任意集合所含元素数量多少的一个概念。） 2、与自然数集具有相同基数的集合，叫可数集，
5、正偶数集，整数集，自然数的平方数集等，都是可数集。（所以，为什么部分=整体，简单来说表达的是“势”或“基数”相等。） 3、实数集比可数集有更高的等级，他称之为不可数集，并证明N维空间上的点集都是不可数集。 4、（1891年成功证明）康托尔定理：对任意一个集合来说，它的幂集（即一个集合所有子集组成的集合）基数总是大于原集基数。 5、还有一些原则比较深，不明，忽略掉 ALL IN ALL：20世纪初，整个数学界陶醉在“一切数学成果都可建立在集合论上。”,Part 3:两个悖论及第三次数学危机,1899年康托尔的最大基数悖论： 取S是一切集合的集合，根据康托尔定理，S的幂集基数大于S的基数。但S是一
6、切集合的集合，它的基数不可能小于其他集合的基数。,1902年罗素悖论： 把所有集合分为2类，第一类中的集合以其自身为元素，第二类中的集合不以自身为元素，假令第一类集合所组成的集合为P，第二类所组成的集合为Q，于是有： P=AAA Q=AAA（：不属于的符号，因为实在找不到） 问，QP 还是 QQ 这就是著名的“罗素悖论” ，其直接导致了第三次数学危机！,他仍然是罗素，只是换了发型,（明确说法） 罗素构造了一个集合S：S由一切不是自身元素的集合所组成。然后罗素问：S是否属于S呢？根据排中律，一个 元素或者属于某个集合，或者不属于某个集合。因此，对于一个给定的集合，问是否属于它自己是有意义的。但对
7、 这个看似合理的问题的回答却会陷入两难境地。如果S属于S，根据S的定义，S就不属于S；反之，如果S不属于S，同样根 据定义，S就属于S。无论如何都是矛盾的。 三大数学危机 其实，在罗素之前集合论中就已经发现了悖论。如1897年，布拉利和福尔蒂提出了最大序数悖论。 1899年，康托尔自己发现了最大基数悖论。但是，由于这两个悖论都涉及集合中的许多复杂理论，所以只是在数学起了 一点小涟漪，未能引起大的注意。罗素悖论则不同。它非常浅显易懂，而且所涉及的只是集合论中最基本的东西。所 以，罗素悖论一提出就在当时的数学界与逻辑学界内引起了极大震动。如G.弗雷格在收到罗素介绍这一悖论的信后伤心 地说：“一个科
8、学家所遇到的最不合心意的事莫过于是在他的工作即将结束时，其基础崩溃了。罗素先生的一封信正好把 我置于这个境地。”戴德金也因此推迟了他的什么是数的本质和作用一文的再版。可以说，这一悖论就象在平静的数 学水面上投下了一块巨石，而它所引起的巨大反响则导致了第三次数学危机。 危机产生后，数学家纷纷提出自己的解决方案。人们希望能够通过对康托尔的集合论进行改造，通过对集合定 义加以限制来排除悖论，这就需要建立新的原则。“这些原则必须足够狭窄，以保证排除一切矛盾；另一方面又必须充分 广阔，使康托尔集合论中一切有价值的内容得以保存下来。”1908年，策梅罗在自已这一原则基础上提出第一个公理化集 合论体系，后来
9、经其他数学家改进，称为ZF系统。这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。除 ZF系统外，集合论的公理系统还有多种，如诺伊曼等人提出的NBG系统等。公理化集合系统的建立，成功排除了集合论中 出现的悖论，从而比较圆满地解决了第三次数学危机。但在另一方面，罗素悖论对数学而言有着更为深刻的影响。它使 得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前，导致了数学家对数学基础的研究。而这方面的进一步发 展又极其深刻地影响了整个数学。如围绕着数学基础之争，形成了现代数学史上著名的三大数学流派，而各派的工作又 都促进了数学的大发展等等。,常识补充：三大数学危机,NO.1：无理数的发现（
10、希帕索斯悖论 ） 前人观点：一切数均可表成整数或整数之比 ！（源自毕达哥拉斯） 面临问题：边长为1的正方形其对角线长度是多少呢？ 危机结束：开始重视演译推理，并由此建立了几何公理体系,NO.2：无穷小是零吗？ （贝克莱悖论 ） 疑点：无穷小dx既等于零又不等于零，召之即来，挥之即去 ，微积分的这种处理方式是否合理？ 危机解除：在阿贝尔、柯西、戴德金和康托尔等数学家的努力下，微积分有了严格的理论及定义基础。 成果：伟大的数学分析的诞生！,NO.3：罗素悖论 通俗版：理发师悖论：理发师宣布了这样一条原则：他给所有不给自己刮脸的人刮脸，并且，只给村里这样的人刮脸。 原因：当时人们认为：“一切数学成果
11、都可建立在集合论上。”而罗素悖论简洁到只涉及集合概念本身外不涉及别的概念。 危机（较为圆满地）解除：公理化集合论体系 ，如ZF系统， NBG系统等。 成果：现代三大数学流派-逻辑主义、形式主义和直觉主义,希帕索斯悖论与第一次数学危机 希帕索斯悖论的提出与勾股定理的发现密切相关。因此，我们从勾股定理谈起。勾股定理是欧氏几何中最著名的定理之一。天文学家开普勒曾称其为欧氏几何两颗璀璨的明珠之一。它在数学与人类的实践活动中有着极其广泛的应用，同时也是人类最早认识到的平面几何定理之一。在我国，最早的一部天文数学著作周髀算经中就已有了关于这一定理的初步认识。不过，在我国对于勾股定理的证明却是较迟的事情。一
12、直到三国时期的赵爽才用面积割补给出它的第一种证明。 在国外，最早给出这一定理证明的是古希腊的毕达哥拉斯。因而国外一般称之为“毕达哥拉斯定理”。并且据说毕达哥拉斯在完成这一定理证明后欣喜若狂，而杀牛百只以示庆贺。因此这一定理还又获得了一个带神秘色彩的称号：“百牛定理”。 毕达哥拉斯 毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了一个合政治、学术、宗教三位一体的神秘主义派别：毕达哥拉斯学派。由毕达哥拉斯提出的著名命题“万物皆数”是该学派的哲学基石。而“一切数均可表成整数或整数之比”则是这一学派的数学信仰。然而，具有戏剧性的是由毕达哥拉斯建立的毕达哥拉斯定理却成了毕达哥拉斯学派数学信
13、仰的“掘墓人”。毕达哥拉斯定理提出后，其学派中的一个成员希帕索斯考虑了一个问题：边长为1的正方形其对角线长度是多少呢？他发现这一长度既不能用整数，也不能用分数表示，而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数2 的诞生。小小2的出现，却在当时的数学界掀起了一场巨大风暴。它直接动摇了毕达哥拉斯学派的数学信仰，使毕达哥拉斯学派为之大为恐慌。实际上，这一伟大发现不但是对毕达哥拉斯学派的致命打击。对于当时所有古希腊人的观念这都是一个极大的冲击。这一结论的悖论性表现在它与常识的冲突上：任何量，在任何精确度的范围内都可以表示成有理数。这不但在希腊当时是人们普遍接受的信仰，就是在今天，测
14、量技术已经高度发展时，这个断言也毫无例外是正确的！可是为我们的经验所确信的，完全符合常识的论断居然被小小的2的存在而推翻了！这应该是多么违反常识，多么荒谬的事！它简直把以前所知道的事情根本推翻了。更糟糕的是，面对这一荒谬人们竟然毫无办法。这就在当时直接导致了人们认识上的危机，从而导致了西方数学史上一场大的风波，史称“第一次数学危机”。 欧多克索斯 二百年后，大约在公元前370年，才华横溢的欧多克索斯建立起一套完整的比例论。他本人的著作已失传，他的成果被保存在欧几里德几何原本一书第五篇中。欧多克索斯的巧妙方法可以避开无理数这一“逻辑上的丑闻”，并保留住与之相关的一些结论，从而解决了由无理数出现而
15、引起的数学危机。但欧多克索斯的解决方式，是借助几何方法，通过避免直接出现无理数而实现的。这就生硬地把数和量肢解开来。在这种解决方案下，对无理数的使用只有在几何中是允许的，合法的，在代数中就是非法的，不合逻辑的。或者说无理数只被当作是附在几何量上的单纯符号，而不被当作真正的数。一直到18世纪，当数学家证明了基本常数如圆周率是无理数时，拥护无理数存在的人才多起来。到十九世纪下半叶，现在意义上的实数理论建立起来后，无理数本质被彻底搞清，无理数在数学园地中才真正扎下了根。无理数在数学中合法地位的确立，一方面使人类对数的认识从有理数拓展到实数，另一方面也真正彻底、圆满地解决了第一次数学危机。,贝克莱悖论
16、与第二次数学危机 第二次数学危机导源于微积分工具的使用。伴随着人们科学理论与实践认识的提高，十七世纪几乎在同一时期，微积分这一锐利无比的数学工具为牛顿、莱布尼兹各自独立发现。这一工具一问世，就显示出它的非凡威力。许许多多疑难问题运用这一工具后变得易如翻掌。但是不管是牛顿，还是莱布尼兹所创立的微积分理论都是不严格的。两人的理论都建立在无穷小分析之上，但他们对作为基本概念的无穷小量的理解与运用却是混乱的。因而，从微积分诞生时就遭到了一些人的反对与攻击。其中攻击最猛烈的是英国大主教贝克莱。 1734年，贝克莱以“渺小的哲学家”之名出版了一本标题很长的书分析学家；或一篇致一位不信神数学家的论文，其中审查一下近代分析学的对象、原则及论断是不是比宗教的神秘、信仰的要点有更清晰的表达，或更明显的推理。在这本书中，贝克莱对牛顿的理论进行了攻击。例如他指责牛顿，为计算比如说 x2 的导数，先将 x 取一个不为0的增
