第十五章数学基础.pptVIP

第三篇　现代数学史简论 现代数学在孕育、产生和发展过程中，形成了自身的一系列特点。 现代数学的特点 第一、以集合论、数理逻辑为基础； 第二、数学理论更加抽象，有日益代数化、拓扑化的趋势； 第三、电子计算机进入数学计算并开始机器证明； 第四、数学向生物学、经济学、社会学、语言学等几乎所有领域进军。 　　上述这些特点在数学的发展过程中逐渐显现，至第二次世界大战，数学的这些特点得到了充分的显现，说明了现代数学已有相当的发展水平。 现代数学发展的背景 20世纪30年代末期到40年代中期，德、意、日法西斯挑起的第二次世界大战，是人类的大浩劫。成千上万的人死于战祸，其中包括许多数学家；更多的人流离失所，远离家乡甚至移居他国，其中包括德国一大批犹太人数学家，也包括我国的数学家华罗庚等，这无疑是数学发展的重大损失。 战争也刺激科学和生产，使战争中用于军事项目的应用数学空前活跃，特别是战后，适应经济恢复与发展的需要，数学更以前所未有的速度勇往直前。 现代数学正在变成一张结构精密细致、交织得错综复杂而又彼此紧密联系的网，这张网正在为分析和理解世界上各种现象提供有力的手段。 第十五章 数学基础(foundation of mathmatics) 序 数学基础(foundation of mathmatics),从事数学奠基的研究（胡世华院士语）。是研究数学的对象、性质和方法的科学。关于数学基础的探讨，从19世纪后期开始，到20世纪已经成为数学界讨论最为深入的课题，到现在为止，这场规模宏大的讨论仍没结束，数学大厦基础上的裂缝仍然存在，还等待人们去思考、探讨、弥补。 §1 实数系的逻辑基础和集合论 数学史上最使人惊奇的事实之一，是实数系的逻辑基础竟迟至19世纪末叶才建立起来。 在建立实数的逻辑体系中，戴德金、康托、海涅（E.Heine,1821---1881,德）、维尔斯特拉斯有异曲同工之妙。 最杰出的成就是康托的集合论与戴德金的“分化论”（即“戴德金分割”）。 戴德金（1831.10.6---1916.2.12） 德国数学家。生于德国中部的不伦瑞克。就学于哥廷根大学，是高斯和狄利赫里的学生。1852年由于关于欧拉积分的论文在哥廷根大学得到博士学位。他曾在苏黎世工学院、不伦瑞克工学院任数学教授，并是法国科学院、柏林科学院和罗马科学院的院士。学术成就甚丰。 §2、集合悖论与“第三次数学危机” 1、罗素悖论 　　所谓“罗素悖论”就是：如果设Ｚ为一切不含自身为元素的集合所组成的新集合，记为Ｚ＝｛x ︴x x｝，那么Ｚ是包含自身为元素的集合（称为“非正常集”）呢？还是不包含自身为元素的集合（称为“正常集”）呢？若Ｚ是前者，则　Ｚ　Ｚ，但由Ｚ的定义它又应该不含自身为元素，即Ｚ 　Ｚ，两者互相矛盾。若Ｚ是后者，则Ｚ　Ｚ，但由定义Ｚ又是由一切不含自身为元素的集合组成，所以又应当包含Ｚ，即Ｚ　　Ｚ，两者又发生矛盾。于是得到Ｚ　　Ｚ　　　Ｚ 　　　Ｚ这一矛盾结论。从而不能断定Ｚ究竟是哪一种集合。 罗素（1872.5.18-1970.2.2） 罗素曾用通俗的“理发师悖论”来比喻他的悖论。 罗素悖论就是集合论中的悖论。 生于英格兰。享年98岁。出身于贵族之家。2岁丧母，3岁丧父，6岁祖父（英首相）去世。祖母的箴言：“你不要追随众人去做坏事。” 2、第三次数学危机 罗素悖论震撼了数学王国，号称天衣无缝、绝对正确的数学居然出现自相矛盾。一时数学王国一片混乱，数学基础的矛盾——悖论四起。戴德金声言推迟发表自己的名著，布劳威尔认为自己以前的全部著作都是“废话”，弗雷格对这种状况也十分伤心，罗素悖论指出了数学基础的矛盾，这就是所谓的“第三次数学危机”。 3、集合的公理化 罗素悖论引起的“第三次数学危机”使数学家们极为震惊。震惊之余，人们意识到，应该建立某种公理系统来对集合论作出必要的规定，以排除“罗素悖论”和其它有关悖论，不久便出现了好几种公理系统。 ZF公理系统（1） 由康托的集合论产生悖论的原因之一，是康托集合论中有“一切集合的集合”的概念。为了不产生悖论，策梅罗（E.Zermelo, 1871---1953,意大利 ）1908年提出一种公理系统，只准那些看来不大会产生矛盾的类进入集合论，这种公理系统由弗兰克尔（ A.A.Fraenkel,1891---1965）在1921年加以改进，形成了目前世所公认的彼此无矛盾的公理系统，简称ZF公理系统。 ZF公理系统（2） ZF公理系统排除了“罗素悖论”和别的有关悖论，使集合论站稳了脚跟，任何数学都把把它看作是数学的基础。数学王国的大地慢慢地平静下来。 但是数学家们并不能高枕无忧。他们明白，虽然ZF系统排除了目前已知的悖论，可是它还不能保证将来不会出现新的悖论。说不定这