第8讲 科学哲学之三.ppt

  1. 1、本文档共15页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
自然辩证法与科技革命 邱慧 100039 中国科学院研究生院人文学院 社学哲学与科学社会学系 Email: qiuhui@gucas.ac.cn 科学哲学之三:数学中的哲学问题  ——三次数学危机 根号2的发现和第一次数学危机 第二次数学危机:什么是无穷 第三次数学危机:集合论悖论的责难 参考文献 思考题 一、根号2的发现和第一次数学危机 毕达哥拉斯学派:万物源于数。整数是上帝创造的,而分数可以看作是两个整数的比,整数是完美无缺的,世界上除此而外,不可能再有其它什么数了。 毕达哥拉斯的学生希帕索斯(Hippasus),发现了等腰直角三角形的直角边与斜边不可公度。 √2为无理数的证明 假设√2为有理数,则可用等式表示为:p/q=√2,且p、q互质; 等式两边平方,得p2=2q2; (1) 由于任何数与2的乘积都为偶数,因此,p2必定是偶数; 因为偶数的平方必为偶数,奇数的平方必为奇数,所以,若p2必定是偶数,则可推出p为偶数;又由于前提中已经假定了p、q互质,因此,若p为偶数,则q必定为奇数; 由于p为偶数,则令p=2n; 等式两边平方,得p2=4n2; (2) 根据(1)、(2),得2q2=4n2,即q2=2n2; 由此式可得出,q也为偶数;这与刚才q为奇数的结论矛盾; 因此,假设p/q=√2不成立,√2不是有理数。 证毕。 第一次数学危机的产物 直觉和经验不一定靠得住,推理证明才是最可靠的。 希腊人开始由重视计算转向重视推理,由重视算术转向重视几何学,他们开始由“自明的”公理出发,经过演绎推理,并由此建立了几何公理体系:欧几里德的《几何原本》 关于逻辑学问题的第一本经典著作——亚里士多德的《工具论》。 这两本经典著作标志着公理几何学和逻辑学的诞生,成为数学发展史上具有重大意义的事件。 第一次数学危机的解决 欧多克斯(Eudoxus)在大约公元前370年提出了一套完整的比例论,即通过给比例下新定义的方法,来解决由无理数出现而引起的数学危机。 无理数在数学中合法地位的确立,一方面使人类对数的认识从有理数拓展到实数,另一方面也真正圆满地解决了第一次数学危机。 二、第二次数学危机:什么是无穷 希腊人重视量的研究,不重视数的运算。芝诺悖论的提出说明希腊人已经看到了无穷小与“很小很小”的矛盾。 十七世纪晚期,形成了无穷小演算——微积分这门学科,这也就是数学分析的开端。牛顿和莱布尼兹被公认为微积分的奠基者。 “无穷小量究竟是否为0”的问题:引起了数学界甚至哲学界长达一个半世纪的争论,造成第二次数学危机。 贝克莱悖论 1734年,英国大主教贝克莱在他的《分析学家》的小册子中指责牛顿:为计算x2的导数,先将x取一个不为0的增量Δx,由(x+Δx)2-x2,得到2xΔx+(Δx2),后再被Δx除,得到2x+Δx,最后突然令Δx=0,求得导数为2x。这是“依靠双重错误得到了不科学却正确的结果”。 18世纪的数学思想是直观的、不严密。它强调形式的计算而不管基础的可靠。 第二次数学危机的产物 柯西之后,魏尔斯特拉斯、戴德金、康托尔各自经过独立研究,都将分析基础归结为实数理论,于70年代各自建立了完整的实数体系。并在此基础上建立了严谨的极限理论。从而完成了分析学的逻辑奠基工作,给微积分学建立了牢固可靠的基础。 更深入地探讨数学分析的基础——实数论的问题,而极限理论又是建立在实数理论的基础上,从而使数学分析奠定在严格的实数理论的基础上,进而导致了集合论的诞生。 三、第三次数学危机:集合论悖论的责难 19世纪70年代,奥尔格·康托尔创立了集合论。集合论成为现代数学的基石。 1903年,英国逻辑学家、哲学家罗素宣布了一条令人震惊的消息:集合论是自相矛盾的,没有相容性!数学史家称为“罗素悖论”,或“集合论悖论”。 罗素悖论简单明了,涉及的是集合论中最常用的基本原则。因而造成了第三次数学危机。 集合论与有限无穷的问题 罗素悖论 第三次数学危机的产物 1908年,由德国数学家E·策梅罗提出第一个公理化集合论体系,即ZF系统。规定凡是超出公理所允许的限度而构造出来的集合,例如由一切集合而组成的集合等等,在公理系统中一概不予承认。 哥德尔获得的不完备性定理。是数理逻辑发展史上的重大研究成果。 围绕数学基础之争,形成了现代数学史上著名的三大数学流派:以罗素为代表的逻辑主义、以布劳威尔为代表的直觉主义、以希尔伯特为代表的形式主义。 四、参考文献 胡作玄:《第三次数学危机》,四川人民出版社,1985年出版。 莫利斯·克莱因:《数学:确定性的丧失》,李宏魁译,湖南科学技术出版社,2002年版。 W. C. 萨尔蒙:“哲学与几何:一对孪生姐妹”,《国外自然科学哲学问题》,中国社会科学出版社,1991年

文档评论(0)

wxc6688 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档