




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、第三章 若干数学典故中的数学文化,1,第一节 历史上的三次数学危机,2,历史上,数学的发展有顺利也有曲折。大的挫折也可以叫做危机。危机也意味着挑战,危机的解决就意味着进步。所以,危机往往是数学发展的先导。数学发展史上有三次数学危机。每一次数学危机,都是数学的基本部分受到质疑。实际上,也恰恰是这三次危机,引发了数学上的三次思想解放,大大推动了数学科学的发展。,3,一、第一次数学危机,第一次数学危机是由 不能写成两 个整数之比引发的。,4,这一危机发生在公元前5世纪,危机 来源于:当时认为所有的数都能表示为整 数比,但突然发现 不能表为整数比。 其实质是: 是无理数,全体整数之比 构成的是有理数系
2、,有理数系需要扩充,需 要添加无理数。,5,二、第二次数学危机,第二次数学危机发生在牛顿创立微积分的十七世纪。第一次数学危机是由毕达哥拉斯学派内部提出的,第二次数学危机则是由牛顿学派的外部、贝克莱大主教提出的,是对牛顿 “无穷小量”说法的质疑引起的。,6,例如,设自由落体在时间 下落的距离为 ,有公式 ,其中 是固定的重力加速度。我们要求物体在 的瞬时速度,先求 。 (*),7,英国的贝克莱大主教发表文章猛烈攻击牛顿的理论。 贝克莱问道:“无穷小”作为一个量,究竟是不是0?,8,如果是0,上式左端当 成无穷小后分母为0,就没有意义了。如果不是0,上式右端的 就不能任意去掉。,在推出上式时,假定
3、了 才能做除法,所以上式的成立是以 为前提的。那么,为什么又可以让 而求得瞬时速度呢?,因此,牛顿的这一套运算方法,就如同从 出发,两端同除以0,得出5=3一样的荒谬。,(*),9,贝克莱还讽刺挖苦说:即然 和 都变成“无穷小”了,而无穷小作为一个量,既不是0,又不是非0,那它一定是“量的鬼魂”了。 这就是著名的“贝克莱悖论”。 对牛顿微积分的这一责难并不是由数学家提出的,但是,,10,德国的莱布尼茨虽然也同时发明了微积分,但是也没有明确给出极限的定义。 正因为如此,此后近二百年间的数学家,都不能满意地解释贝克莱提出的悖论。 所以,由“无穷小”引发的第二次数学危机,实质上是缺少严密的极限概念和
4、极限理论作为微积分学的基础。,11,总之,第二次数学危机的核心是微积分的基础不稳固。柯西的贡献在于,将微积分建立在极限论的基础。魏尔斯特拉斯的贡献在于,逻辑地构造了实数系,建立了严格的实数理论,使之成为极限理论的基础。所以,建立数学分析(或者说微积分)基础的“逻辑顺序”是: 实数理论极限理论微积分。 而“历史顺序”则正好相反。,12,三、第三次数学危机,1“数学基础”的曙光集合论 到19世纪,数学从各方面走向成熟。非欧几何的出现使几何理论更加扩展和完善;实数理论(和极限理论)的出现使微积分有了牢靠的基础;群的理论、算术公理的出现使算术、代数的逻辑基础更为明晰,等等。人们水到渠成地思索:整个数学
5、的基础在哪里?正在这时,19世纪末,集合论出现了。人们感觉到,集合论有可能成为整个数学的基础。,13,其理由是:算术以整数、分数等为对象,微积分以变数、函数为对象,几何以点、线、面及其组成的图形为对象。同时,用集合论的语言,算术的对象可说成是“以整数、分数等组成的集合”;微积分的对象可说成是“以函数等组成的集合”;几何的对象可说成是“以点、线、面等组成的集合”。这样一来,都是以集合为对象了。集合成了更基本的概念。,14,3 罗素的“集合论悖论”引发危机 1) 悖论引起震憾和危机 正当弗雷格即将出版他的算术基 础一书的时候,罗素的集合论悖论出来 了。这也是庞加莱宣布“完全严格的数学 已经建立起来
6、!”之后刚刚两年,即1902 年。,15,伯特兰罗素(1872-1970)Russell, Bertrand Arthur William(Third Earl Russell)出生年月:1872-1970 国籍:英国学科成就:英国著名哲学家、数学家、逻辑学家,分析学的主要创始人,世界和平运动的倡导者和组织者。所获奖项:1950年诺贝尔文学奖。,罗素,16,罗素把他发现的悖论写信告诉弗雷 格。弗雷格在他的算术基础一书的末 尾无可奈何地写道:“一个科学家遇到的 最不愉快的事莫过于,当他的工作完成 时,基础崩塌了。当本书即将印刷时,罗 素先生的一封信就使我陷入这样的尴尬境 地。”,17,罗素悖论的
7、通俗化“理发师悖论”:某村的一个理发师宣称,他给且只给村里自己不给自己刮脸的人刮脸。问:理发师是否给自己刮脸? 如果他给自己刮脸,他就属于自己给自己刮脸的人,按宣称的原则,理发师不应该给他自己刮脸,这与假设矛盾。如果他不给自己刮脸,他就属于自己不给自己刮脸的,按宣称的原则,理发师应该给他自己刮脸,这又与假设矛盾。,18,小明说:我正在说谎!,小明说:这句话有八个字!,小明说:这句话没有八个字!,4 危机的消除 危机出现以后,包括罗素本人在内的许多数学家作了巨大的努力来消除悖论。当时消除悖论的选择有两种,一种是抛弃集合论,再寻找新的理论基础,另一种是分析悖论产生的原因,改造集合论,探讨消除悖论的
8、可能。 人们选择了后一条路,希望在消除悖论的同时,尽量把原有理论中有价值的东西保留下来。,20,为了消除悖论,数学家们要将康托 “朴素的集合论”加以公理化;并且规定构 造集合的原则,例如,不允许出现“所有 集合的集合”、“一切属于自身的集合”这 样的集合。,21,1908年,策梅洛(E.F.F.Zermelo,18711953)提出了由7条公理组成的集合论体系,称为Z-系统。 1922年,弗兰克(A.A.Fraenkel)又加进一条公理,还把公理用符号逻辑表示出来,形成了集合论的ZF-系统。再后来,还有改进的ZFC-系统。 这样,大体完成了由朴素集合论到公理集合论的发展过程,悖论消除了。,22,但是,新的系统的相容性尚未证明。因此,庞加莱在策梅洛的公理化集合论出来后不久,形象地评论道:“为了防狼,羊群已经用篱笆圈起来了,但却不知道圈内有没有狼”。 这就是说,第三次数学危机的解决,并不是完全令人满意的。,23,牛顿,24,我国数学家王元、潘承洞、陈景润研究哥德巴赫猜想都取得重要成果,陈景润证明了“每一个充分大的偶数都可以表为一个素数与一个不超过两个素数的乘积之和”(“1+2”),这是目前最好的成果,为中国人争了光!,费马大定理,xn +yn =zn (n2,nN)没有正整数解!
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 韵母课件介绍
- 音名唱名课件介绍
- 2025年其它核材料及相关特殊材料项目合作计划书
- 城市污水管网建设工程投标书(参考模板)
- 2025年SPI环氧乙烷银催化剂项目合作计划书
- 2025年石英玻璃纤维布项目合作计划书
- 2025年ZRO2陶瓷磨介项目合作计划书
- 《GBT3533.3-1984评价和计算标准化经济效果数据资料的收集和处理方法》深度解析
- 2025年智能输电系统项目建议书
- 2025年废旧电子产品回收利用产业链上下游市场分析报告
- 《基于Arduino UNO R3平台的具备自主循迹和自主避障功能的智能小车设计》11000字(论文)
- 四川省成都市2024-2025学年高一上学期期末考试历史试题(含答案)
- 航天工程质量管理规定
- 消防维保工作计划
- AEO贸易安全培训
- 高考必背3000高频英语单词
- 数字化管理师复习测试卷附答案
- 甘肃省安全员《B证》考试题库及答案
- 数据结构C语言版(第2版)严蔚敏人民邮电出版社课后习题答案
- 消费者需求导向的改装车品牌建设-洞察分析
- 《建设工程监理规范表式》及上海市行业协会在用表
评论
0/150
提交评论