桂林电子科技大学计算机科学与工程学院计算机科学导论课件 数学危 机.ppt

第一次数学危机 先哲的智慧可否拨亮我们昏暗的烛光？??? ??? 毕达哥拉斯学派 “万物皆数”（指整数） 公元前500年左右，毕达哥拉斯学派认为 毕达哥拉斯和米利都学派 开创了应用演绎推理解决数学问题的先河。数学的知识是可靠的、准确的； 数学的知识由于纯粹的思维而获得，不需要观察、直觉和日常经验。 从某种意义上来讲，现代意义下的数学，也就是作为演绎系统的纯粹数学，来源于古希腊。 毕达哥拉斯学派 古希腊最古老的哲学学派之一。两条格言： “什么最智慧？只有数目”， “什么最美好？只有和谐”。 “一切数均可表成整数或整数之比” 毕达哥拉斯学派在数学上的一项重大贡献是证明了勾股定理（杀牛百只以示庆贺， “百牛定理”） 发现了一些直角三角形的斜边不能表示成整数或整数之比(不可通约)的情形，如直角边长均为1的直角三角形。 整数 整数 在对于对象的有限集合进行计算的过程中产生的抽象概念。 分数 度量各种很难分离为单独个体的量，例如长度、重量、体积和时间等等。 有理数 两个整数p、q的商p/q，q≠0, 有理数系统包括了所有的整数和分数，所以仅使用有理数对于进行实际量度已经足够了。 对有理数的几何解释 整数的表示 有一条水平线，标出一段线段作为单位长，令其左端点为0，右端点分别为1， 水平线上的间隔为单位长的点的集合来表示整数，正整数在0的右边，负整数在0的左边。 分数的表示 用每一单位间隔分为q等分的点表示。 每一个有理数都对应着直线上的一个点。 古代数学家们认为 不言而喻，这样能把直线上所有的点用完。从这个角度来看，“整数是完美的”。 无理数的发现：数学史上一个重要的里程碑 第一次数学危机——无理数的发现 对于全部依靠整数的毕达哥拉斯哲学 这是一次致命的打击。 存在不可通约的线段 由于毕达哥拉斯学派关于比例的定义假定了任何两个同类量是可通约的，所以毕达哥拉斯学派比例理论中的所有命题都局限在了可通约的量上 比例理论及其推论将不得不被全部抛弃。 “逻辑上的矛盾”——他们将此事保密，不准外传。 据说，毕达哥拉斯的一个学生希帕苏斯，由于泄露秘密被扔进了大海。 不可通约 昔拉图的狄奥多鲁斯 在大约公元前425年，指出面积等于3、5、6……17的正方形的边与单位正方形的边也不可通约 并对每一种情况都单独予以证明 芝诺悖论 诱发这次危机的另一个间接因素是“芝诺悖论” 的出现。 更增加了数学家们的担忧：数学是否还有可能维持作为一门精确的科学？宇宙的和谐性是否还存在？ 动摇数学基础的第一次危机并没有很轻易地被解决。最后的成功在大约公元前370年，那是卓越的欧多克斯（Eudoxus）的功绩。欧多克斯是柏拉图的同辈，是毕达哥拉斯学派阿契塔的学生。欧多克斯通过给比例下新定义的方法解决了这个棘手的“矛盾”。欧多克斯处关于处理不可通约量的杰出论述，出现在欧几里得《原本》第5卷中，并且和狄德金于1872年给出的无理数的现代解释基本一致。 　第一次数学危机表明，几何学的某些真理与算术无关，几何量不能完全由整数及其比来表示，反之数却可以由几何量表示出来。整数的尊崇地位受到了挑战，古希腊的数学观点受到极大的冲击。从此，几何学开始在希腊数学中占有特殊地位。第一次数学危机同时反映出，直觉和经验不一定靠得住，而推理证明才是可靠的。从此希腊人开始从“自明的”公理出发，经过演绎推理，并由此建立几何学体系。这是数学思想上的一次革命，也是第一次数学危机的自然产物。 什么是悖论？ 指这样的推理过程：它看上去是合理的，但结果却得出了矛盾。悖论在很多情况下表现为能得出不符合排中律的矛盾命题：由它的真，可以推出它为假；由它的假，则可以推出它为真。 严格性是数学的一个主要特点，如果这一悖论涉及面十分广泛的话，由此导致的怀疑还会引发人们认识上的普遍危机感。 悖论往往会直接导致“数学危机”的产生。 ??? ??? “第一次数学危机” 刺激了数学和逻辑学的发展。 两本经典著作： 一是关于数学的第一本经典著作———欧几里德的《几何原本》； 二是关于逻辑学问题的第一本经典著作———亚里士多德的《工具论》。 标志着公理几何学和逻辑学的诞生，成为数学发展史上具有重大意义的事件。 贝克莱悖论与第二次数学危机 先哲的智慧可否拨亮我们昏暗的烛光？ 无穷级数x＝1－1＋1－1＋1………？ X=1 ｘ＝（１－１）＋（１－１）+．．．．．． ＝０； X=0　　 ｘ＝１－（１－１）－（１－）．．．．．．＝１； X=1/2 ｘ＝１－（１－１＋１－１＋．．．．．．）　　 ＝１－ｘ　　 ２ｘ＝１　　 ｘ＝１／２ 　　 Euler是纯粹形式地研究函数 Euler《微积分原理》（1755） y=logx的微分的推导作为Euler形式化推理的的例子。用x+d