第二讲 若干数学问题中的数学文化.

Slides:



Advertisements
Similar presentations
简单迭代法的概念与结论 简单迭代法又称逐次迭代法,基本思想是构造不动点 方程,以求得近似根。即由方程 f(x)=0 变换为 x=  (x), 然后建立迭代格式, 返回下一页 则称迭代格式 收敛, 否则称为发散 上一页.
Advertisements

4 厦门石油交易中心介绍 交易模式介绍 93# 汽油品种介绍 ●厦门石油交易中心介绍 为贯彻落实国家海西政 策,进一步发挥厦门在海峡 西岸经济区建设中的先行先 试和龙头示范作用,厦门市 委市政府批准成立并建设厦 门石油交易中心。
广州远洋宾馆. 酒店概况介绍: 广州远洋宾馆是一家四星级豪华商务酒店,它以温馨体贴的服务,浓郁的 海洋韵采,典雅时尚的艺术环境吸引着世界各地的来宾。 宾馆地处广州繁华地段:广州市越秀区环市东路 412 号,于 1986 年 8 月 28 日 全面正式营业,开业 28 载来,在 2005 年至 2013.
新达城物业管理公司概况. 新达城集团总部设在新加坡的新达城广场,以下简称 “ 新达城 ” ,新达城位于新加坡的 CBD , 由五栋独立的商业大楼组成 “ 五指相连 ” 的建筑群,它是新加坡的标志性建筑群之一,建立这几 幢标志性建筑群发起人为:新加坡新达城开发私人有限公司。股东共有 12 个,其中包括香港知.
南 通. 南通概述 南通,位于江苏省东部, 东抵黄海,南望长江。 “ 据江 海之会、扼南北之喉 ” ,隔江 与中国经济最发达的上海及 苏南地区相依,被誉为 “ 北上 海 ” 。 南通也是中国首批对 外开放的 14 个沿海城市之一 ,被称为 “ 中国近代第一城 ” 。 南通面临海外和内陆两大经 济辐射扇面,素有.
1 天天 5 蔬果 國立彰化特殊教育學校 延杰股份有限公司營養師:陳婷貽. 2 蔬果彩虹 579 蔬果彩虹 歲以內兒童,每天 攝取五份新鮮蔬菜水 果,其中應有三份蔬 菜兩份水果 蔬菜份數水果份數總份數 兒童 325 女性 437 男性 549.
語言與文化通識報告 - 台日年菜差異 - 指導老師 : 葉蓁蓁 小組 : 日本微旅行 組員 :4a21b032 吳采玲 4a21b037 沈立揚 4a 洪雅芳 4a 陳楚貽 4a 王巧稜.
均衡推进,确保质量 08学年第一学期教学工作会议 广州市培正中学
黑木耳.
投資權證13問 交易所宣導資料(104) 1.以大盤指數為標的之權證,和大盤指數的連動性,為什麼比和期交所期指的連動性差?
如何把作文写具体.
第一章 人口与环境 第一节 人口增长模式.
第一节 人口与人种 第一课时.
解读我党发展史 思索安惠美好明天 主讲人:王辰武.
专利技术交底书的撰写方法 ——公司知识产权讲座
第5课 长江和黄河.
高中思想政治课程标准的追求 江苏省教研室 鞠文灿.
銓敘部研究規劃自願退休公務人員月退休金起支年齡延後方案座談會
瓦罐湯 “瓦缸煨汤”是流行于南方民间的一种风味菜肴。它采用一种制特的大瓦缸,其缸底可以烧火,缸内置有铁架,厨师将装有汤的小瓦罐一层层地码入缸内的铁架上,然后点燃木炭,借用木炭火产生的高温将瓦罐内的汤煨熟。
1.數學的難題 如下圖所示,你知道表格中的問號應填入什麼數字嗎?
第九章 欧氏空间 §1 定义与基本性质 §2 标准正交基 §3 同构 §4 正交变换 §5 子空间 §6 对称矩阵的标准形
第九章 欧氏空间 §1 定义与基本性质 §6 对称矩阵的标准形 §2 标准正交基 §7 向量到子空间的 距离─最小二乘法 §3 同构
合肥学院外国语言系2012年度 学生工作表彰大会.
真题模拟 主讲:凌宇 时间:6月9日.
树立信心,沉着应战,吹响中考冲锋号 ——谈语文学科的复习备考及考试技巧.
请大家欣赏龙岩, 新罗区 上杭,武平, 连城,长汀, 永定,漳平 小吃和特产.
游 泳 理 论 课 位育中学 高蓉.
二代健保補充保費 代扣項目說明 簡報.
1.某公司需购一台设备,有两个方案,假定公司要求的必要报酬率为10%,有关数据如下:
第4课 “千古一帝”秦始皇.
第一节 人口与人种 光山一中 屈应霞.
第五章 二次型.
抚宁县第五中学 教学暨新课改推进工作会.
《社会体育指导员讲座》课程整体设计介绍 席永 副教授 2015 年 6 月
专项建设检查工作总结 本科试卷 毕业论文(设计) 合格课程 专项检查工作基本情况 专项建设的工作内容 专项建设检查工作情况
班級老師:潘盈仁 班級:休閒三甲 學號:4A0B0124 學生:柯又瑄
告状 一位叫杨鲁的孩子,告他父亲杨庆的状。他极其认真地向父亲所在的工厂党委书记指控,说父亲不让儿子“游戏人间”,每天“画地为牢”,要儿子“咬文嚼字”,稍不满意,还要“入室操戈”。他声称父亲打他总是“重于泰山”,不象母亲打他“轻如鸿毛”。并且表示“庆父不死,鲁难不已”。
學校社工師服務與家訪技巧 三峽區駐區學校社工師 陳若喬.
2014年玉溪市统测质量分析 及高考语文应注意的几个问题
第三部分 区域可持续发展 第二单元 区域可持续发展 第7课 资源跨区域调配. 第三部分 区域可持续发展 第二单元 区域可持续发展 第7课 资源跨区域调配.
钢铁工业产能置换与相关政策 工业和信息化部产业政策司 辛 仁 周 二〇一五年三月二十八日.
中餐烹調丙級技術士考照 介紹 劉曉宜老師.
忆一忆 1.什么叫财政? 2.财政收入的形式有哪些? 国家的收入和支出。 税、利、债、费 3.其中,财政收入的最主要的形式是什么? 税收.
腐败的食物表面有白色小圆斑点,绿色斑点等
模块 中国古代史 主题 古代大一统(隋前).
遭遇险情有对策.
生物七下复习.
經費結報注意事項 會 計 室 報告人:黃憶藍.
2015年度汇算清缴政策培训会 宁波市江东地方税务局 税政法规科 二〇一六年三月.
教師專業發展評鑑(一) 實施計畫與規準討論
第五章-學習目標 瞭解組織人員任用與遷調的內涵 熟悉人員遷調的類型及實施方式 瞭解何謂消極面人員縮減計畫 瞭解何謂積極面人員縮減計畫.
会计学原理 模块二 会计凭证 复式记账法与会计凭证的在企业的应用
第四章 借贷记账法的应用.
第五章 主要经济业务核算 第一节 筹集资金的核算 第二节 供应过程的核算 第三节 生产过程的核算 第四节 销售过程的核算
目 录 本月动态 简要信息 政策解读 党员官兵携手共建 环境整治迎接国庆…………………02
2015年高三地理复课交流 (从试题分析看后期备考)
试卷 20 14安徽 13全国卷 大纲卷 13山东卷 13浙江卷 2013上海卷 13海 南 卷 13江苏卷 题号 30 32
公教人員退休、撫卹法制 宣導講習 教育部人事處 99年11月.
成本会计 主讲教师:钟小玲 讲师 硕士 主讲教师:钟小玲 讲师 硕士 办公电话: 手机:
四种命题 班级:C274 指导教师:钟志勤 任课教师:颜小娟.
一、情境设置 思考: 下列语句的表述形式有什么特点? 你能判断它们的真假吗? (1)若直线a//b,则直线a和直线b无公共点;(2)2+4=7; (3)垂直于同一条直线的两个平面平行; (4)若x2=1,则x=1; (5)两个全等三角形的面积相等; (6)3能被2整除.
12.1 等可能性 常州市同济中学 李晓红.
高中地理新课程实施中要注意的几个问题 冯 凭.
第五章 定积分及其应用.
2.1 城市内部空间结构 大连育明高级中学地理组 吴尚玲 一、城市形态: 城市的地域形态,与其所处的地理环境密切相关。 平原地区: 用地较为规整--集中 山  区: 用地较为破碎--分散.
物理学专业 光学实验绪论 主讲人:路莹 洛阳师范学院物理与电子信息学院 2009年3月.
台灣歷史與文化 乙未割台與台人武裝抗日.
三次數學危機.
內壢國中102學年度 2/21世界母語日 宣導活動.
函数与导数 临猗中学 陶建厂.
Presentation transcript:

第二讲 若干数学问题中的数学文化

第一节 毕达哥拉斯学派与

1. 毕达哥拉斯(Pythagoras约前 572年—前 500年) 毕达哥拉斯是公元前500多年古希腊的哲学家、数学家、天文学家。 毕达哥拉斯学派是一个宗教式的组织,但致力于哲学与数学的研究,促进了数学和理性哲学的发展,并对柏拉图和亚里士多德的思想产生很大影响。

2. 毕达哥拉斯学派在数学上的贡献 1)数学证明的起始 2)数学抽象的提出 3)毕达哥拉斯定理

3. 毕达哥拉斯学派的“万物皆数”学说 1)“万物皆数”学说 。 ①数,是世界的法则和关系 毕达哥拉斯说的“数”,是指自然数,即正整数,同时还包含它 们的比 n/m ,即正分数。 ②任意两条线段都是可公度的 “可公度的”,意即有公共的度量单位。

2)实例 ① 形数 ② 多个场合下的小整数比

二、 与第一次数学危机 1. 的发现和危机的产生 1)一个不能表成整数比的数 2)不可公度的线段 3)危机产生,封锁消息 4)无理数

2. “两个量的比相等”的新定义 ——部分地消除了危机 两个量的比相等,即a /c=b/d

3. 无理数与数系的扩张 ——危机的解决 1)有理数的稠密性 定理:有理数集在数轴上是稠密的。 2)数轴 3)数系的扩张——危机的解决

[思考]: 能说任何两个有理数之间都有无理数吗? 为什么?

三、反证法与无理数 英国的贝克莱大主教发表文章猛烈攻击牛顿的理论。 贝克莱问道:“无穷小”作为一个量,究竟是不是0?

(*) 在推出上式时,假定了 才能做除法,所以上式的成立是以 为前提的。那么,为什么又可以让 而求得瞬时速度呢? 如果是0,上式左端当 成无穷小后分母为0,就没有意义了。如果不是0,上式右端的 就不能任意去掉。 在推出上式时,假定了 才能做除法,所以上式的成立是以 为前提的。那么,为什么又可以让 而求得瞬时速度呢? 因此,牛顿的这一套运算方法,就如同从 出发,两端同除以0,得出5=3一样的荒谬。

对牛顿微积分的这一责难并不是由数学家提出的,但是, 贝克莱还讽刺挖苦说:即然 和 都变成“无穷小”了,而无穷小作为一个量,既不是0,又不是非0,那它一定是“量的鬼魂”了。 这就是著名的“贝克莱悖论”。 对牛顿微积分的这一责难并不是由数学家提出的,但是, 贝克莱的质问是击中要害的

数学家在将近200年的时间里,不能彻底反驳贝克莱的责难。 直至柯西创立极限理论,才较好地反驳了贝克莱的责难。 直至魏尔斯特拉斯创立“ ”语言,才彻底地反驳了贝克莱的责难。

3)实践是检验真理的唯一标准 应当承认,贝克莱的责难是有道理的。“无穷小”的方法在概念上和逻辑上都缺乏基础。牛顿和当时的其它数学家并不能在逻辑上严格说清“无穷小”的方法。数学家们相信它,只是由于它使用起来方便有效,并且得出的结果总是对的。特别是像海王星的发现那样鼓舞人心的例子,显示出牛顿的理论和方法的巨大威力。所以,人们不大相信贝克莱的指责。这表明,在大多数人的脑海里,“实践是检验真理的唯一标准。”

2.危机的实质 第一次数学危机的实质是 “ 不是有理数,而是无理数”。那么第二次数学危机的实质是什么?应该说,是极限的概念不清楚,极限的理论基础不牢固。也就是说,微积分理论缺乏逻辑基础。

其实,在牛顿把瞬时速度说成“物体所走的无穷小距离与所用的无穷小时间之比”的时候,这种说法本身就是不明确的,是含糊的。 当然,牛顿也曾在他的著作中说明,所谓“最终的比”,就是分子、分母要成为0还不是0时的比——例如(*)式中的gt,它不是“最终的量的比”,而是“比所趋近的极限”。 他这里虽然提出和使用了“极限”这个词,但并没有明确说清这个词的意思。

德国的莱布尼茨虽然也同时发明了微积分,但是也没有明确给出极限的定义。 正因为如此,此后近二百年间的数学家,都不能满意地解释贝克莱提出的悖论。 所以,由“无穷小”引发的第二次数学危机,实质上是缺少严密的极限概念和极限理论作为微积分学的基础。

牛顿 莱布尼茨

3.危机的解决 1)必要性 微积分虽然在发展,但微积分逻辑基础上存在的问题是那样明显,这毕竟是数学家的一块心病。

而且,随着时间的推移,研究范围的扩大,类似的悖论日益增多。数学家在研究无穷级数的时候,做出许多错误的证明,并由此得到许多错误的结论。由于没有严格的极限理论作为基础。数学家们在有限与无限之间任意通行(不考虑无穷级数收敛的问题)。

因此,进入19世纪时,一方面微积 分取得的成就超出人们的预料,另一方 面,大量的数学理论没有正确、牢固的逻辑基础,因此不能保证数学结论是正确无误的。 历史要求为微积分学说奠基。

2)严格的极限理论的建立 到19世纪,一批杰出数学家辛勤、 天才的工作,终于逐步建立了严格的极限 理论,并把它作为微积分的基础。 应该指出,严格的极限理论的建立是 逐步的、漫长的。

① 在18世纪时,人们已经建立了极限理论,但那是初步的、粗糙的。 ② 达朗贝尔在1754年指出,必须用可靠的理论去代替当时使用的粗糙的极限理论。但他本人未能提供这样的理论。 ③ 19世纪初,捷克数学家波尔查诺开始将严格的论证引入数学分析,他写的《无穷的悖论》一书中包含许多真知灼见。 ④ 而做出决定性工作、可称为分析学的奠基人的是法国数学家柯西

A.L.Cauchy,1789—1857)。他在1821—1823年间出版的《分析教程》和《无穷小计算讲义》是数学史上划时代的著作。他对极限给出比较精确的定义,然后用它定义连续、导数、微分、定积分和无穷级数的收敛性,已与我们现在教科书上的差不太多了。

柯西 波尔查诺

3)严格的实数理论的建立 ① 对以往理论的再认识 后来的一些发现,使人们认识到,极限理论的进一步严格化,需要实数理论的严格化。微积分或者说数学分析,是在实数范围内研究的。但是,下边两件事,表明极限概念、连续性、可微性和收敛性对实数系的依赖比人们想象的要深奥得多。

一件事是,1874年德国数学家魏尔斯特拉斯(K. T. W 一件事是,1874年德国数学家魏尔斯特拉斯(K.T.W.Weirstrass,1815—1897)构造了一个 “点点连续而点点不可导的函数”。 “连续函数”在直观上是“函数曲线没有间断,连在一起”,而“函数在一点可导”直观上是“函数曲线在该点有切线”。所以,在直观上“连续”与“可导”有密切的联系。 这之前甚至有人还证明过:函数在连续点上都可导(当然是错误的)。因此根本不可想象,还会有“点点连续而点点不可导的函数”。

魏尔斯特拉斯(1815~1897) 德意志帝国数学家。1815年10月31日生于威斯特法伦州的奥斯滕费尔德,1897年2月19日卒于柏林。1834年入波恩大学学习法律和财政。1838年转学数学。1842~1856年,先后在几所中学任教。1854年3月31日获得柯尼斯堡大学名誉博士学位。1856年10月受聘为柏林大学助理教授,同年成为柏林科学院成员,1864年升为教授。

魏尔斯特拉斯 关于 “点点连续而点点不可导的函数”的例子是 其中a是奇数,b∊(0,1) ,使得

另一件事是德国数学家黎曼 (B.Riemann,1826—1866)发现,柯西把定积分限制于连续函数是没有必要的。黎曼证明了,被积函数不连续,其定积分也可能存在。 黎曼还造出一个函数,当自变量取无理数时它是连续的,当自变量取有理数时它是不连续的。

黎曼 1826年9月17日,黎曼生于德国北部汉诺威的布雷塞伦茨村,父亲是一个乡村的穷苦牧师。他六岁开始上学,14岁进入大学预科学习,19岁按其父亲的意愿进入哥廷根大学攻读哲学和神学, 1847年,黎曼转到柏林大学学习,成为雅可比、狄利克莱、施泰纳、艾森斯坦的学生。1849年重回哥廷根大学攻读博士学位,成为高斯晚年的学生。

这些例子使数学家们越来越明白,(问?) 在为分析建立一个完善的基础方面,还需要再前进一步:即需要理解和阐明实数系的更深刻的性质。

一方面是建立了实数系,另一方面是创造了精确的“ ”语言。 ② 魏尔斯特拉斯的贡献 德国数学家魏尔斯特拉斯(Karl Weierstrass,1815—1897)的努力,终于使分析学从完全依靠运动学、直观理解和几何概念中解放出来。他的成功产生了深远的影响,主要表现在两方面, 一方面是建立了实数系,另一方面是创造了精确的“ ”语言。

“ε-δ ”语言的成功,表现在: 这一语言给出极限的准确描述,消除 了历史上各种模糊的用语,诸如“最终 比”、“无限地趋近于”,等等。 这样一来,分析中的所有基本概念都可以通过实数和它们的基本运算和关系精确地表述出来。

4)极限的“ε-δ ”定义及“贝克莱悖论” 的消除 ① 极限的“ε-δ ”定义

定义:设函数 f(x) 在x0 的附近都有定义(x0可能除外),如果有一个确定的实数a, 对任意ε>0, (无论多么小的正数ε),都存在δ>0(都能找到一个正数δ,依赖于ε),使当0<|x- x0 |< δ时(满足不等式 |x- x0 |< δ 的所有不等于x0的x ),有 |f(x)- a |<ε (这些 x对应的函数值f(x) 与a的差小于预先给定的任意小的ε)我们就说“函数 f(x)在 x趋近于 x0时 ,有极限 a” 。 记为

由极限的这个 “ ”定义,可以求 出一些基本的极限,并严格地建立一整套 丰富的极限理论。简单说,例如有 两个相等的函数,取极限后仍相等; 两个函数,和的极限等于极限的和。 等等。 由此再建立严格的微积分理论。

② “贝克莱悖论”的消除 回到牛顿的式上: (*) 这是在 (即 )条件下,得到的等式;它表明 时间内物体的平均速度为 。 (*)式等号两边都是的函数。然后,我们把物体在 时刻的瞬时速度定义为:上述平均速度当 趋于0时的极限,即 物体在 时刻的瞬时速度= 。

下边我们对(*)式的等号两边同时取 极限 ,根据“两个相等的函数取极 限后仍相等”,得 瞬时速度= 再根据“两个函数和的极限等于极限的 和”,得 然后再求极限得

上述过程所得结论与牛顿原先的结论 是一样的,但每一步都有了严格的逻辑基 础。“贝克莱悖论”的焦点“无穷小量 是 不是0?”,在这里给出了明确的回答: 。 这里也没有“最终比”或“无限趋近于” 那样含糊不清的说法。

总之,第二次数学危机的核心是微积分的基础不稳固。柯西的贡献在于,将微积分建立在极限论的基础。魏尔斯特拉斯的贡献在于,逻辑地构造了实数系,建立了严格的实数理论,使之成为极限理论的基础。所以,建立数学分析(或者说微积分)基础的“逻辑顺序”是: 实数理论—极限理论—微积分。 而“历史顺序”则正好相反。

知识的逻辑顺序与 历史顺序有时是不同的.

三、第三次数学危机 1.“数学基础”的曙光——集合论 到19世纪,数学从各方面走向成熟。非欧几何的出现使几何理论更加扩展和完善;实数理论(和极限理论)的出现使微积分有了牢靠的基础;群的理论、算术公理的出现使算术、代数的逻辑基础更为明晰,等等。人们水到渠成地思索:整个数学的基础在哪里?正在这时,19世纪末,集合论出现了。人们感觉到,集合论有可能成为整个数学的基础。

其理由是:算术以整数、分数等为对象,微积分以变数、函数为对象,几何以点、线、面及其组成的图形为对象。同时,用集合论的语言,算术的对象可说成是“以整数、分数等组成的集合”;微积分的对象可说成是“以函数等组成的集合”;几何的对象可说成是“以点、线、面等组成的集合”。这样一来,都是以集合为对象了。集合成了更基本的概念。

于是,集合论似乎给数学家带来了曙光:可能会一劳永逸地摆脱“数学基础”的危机。尽管集合论自身的相容性尚未证明,但许多人认为这只是时间问题。庞加莱甚至在1900年巴黎国际数学家大会上宣称:“现在 我们可以说,完全的严格性已经达到了!”

础归结为算术,即归结为非负整数,即自然数 集合加上0——现在我国中小学就把这一集合 称为自然数集合。 (算术)非负整数n→有理数 2.算术的集合论基础 1)人们按下列逻辑顺序把全部数学的基 础归结为算术,即归结为非负整数,即自然数 集合加上0——现在我国中小学就把这一集合 称为自然数集合。 (算术)非负整数n→有理数 实数 复数 图形

因此,全部数学似乎都可归结为非负整数了,或者说,全部数学都可以归结为算术了。 这样,如果能把算术建立在集合论的基础上,就相当于解决了整个“数学基础”的问题。 法国数学家、数理逻辑先驱弗雷格 (G.Frege,1848—1925)就做了这样的工作。他写了一本名叫《算术基础》的书。

弗雷格 《算术基础》

2) 弗雷格的《算术基础》 为了使算术建立在集合论的基础上,所有的非负整数,都需要用集合论的观点和语言重新定义。 首先从0说起。0是什么? 应当先回答0是什么,然后才有表示“0”的符号。

为此,先定义“空集”。空集是“不含元 素的集合”。例如,“ 方程 在实 数集中的根的集合 ”就是一个空集,再例 素的集合”。例如,“ 方程 在实 数集中的根的集合 ”就是一个空集,再例 如“由最大的正整数组成的集合”也是一个 空集。

所有的空集放在一起,作成一个集合的集合,(为说话简单我们把“集合的集合”称作类),这个类,就可以给它一个符号:0,中国人念“ling”,英国人念“Zero”。 空集是空的,但由所有空集组成的类,它本身却是一个元素了,即,0是一个元素了。由它再作成一个集合{0},则不是空集了。

弗雷格再定义两个集合间的双射:既是满射又是单射的映射叫作双射,也称可逆映射;通俗地说,就是存在逆映射的映射。它可以在两个集合间来回地映射,所以一般称为“双射”。 弗雷格再定义两个集合的“等价”: , 能够在其间建立双射的两个集合A、B称为“等价”。

下边可以定义“1”了。把与集合{0}等价的所有集合放在一起,作成一个集合的集合。这个类,就可以给它一个符号:1。 再定义“2”。把与集合{0,1}等价的所有集合放在一起,作成一个集合的集合。这个类,就叫:2。 然后,把与{0,1,2}等价的集合作成的类,叫:3。

一般地,在有了0,1,2,…,n的 定义后,就把所有与集合{0,1,2,…, n}等价的集合放在一起,作成集合的集 合,这样的类,定义为:n+1。 这种定义概念的方法,叫作“归纳定 义”的方法。

这样,弗雷格就从空集出发,而仅仅 用到集合及集合等价的概念,把全部非负 整数定义出来了。于是根据上边说的“可 以把全部数学归结为非负整数”,就可以 说,全部数学可以建立在集合论的基础上 了。

3. 罗素的“集合论悖论”引发危机 1) 悖论引起震憾和危机 正当弗雷格即将出版他的《算术基 础》一书的时候,罗素的集合论悖论出来 了。这也是庞加莱宣布“完全严格的数学 已经建立起来!”之后刚刚两年,即1902 年。

伯特兰·罗素(1872-1970)Russell, Bertrand Arthur William(Third Earl Russell) 出生年月:1872-1970 国籍:英国 学科成就:英国著名哲学家、数学家、逻辑学家,分析学的主要创始人,世界和平运动的倡导者和组织者。 所获奖项:1950年诺贝尔文学奖。 罗素

集合论中居然有逻辑上的矛盾! 倾刻之间,算术的基础动摇了,整个 数学的基础似乎也动摇了。这一动摇所带 来的震憾是空前的。许多原先为集合论兴 高采烈的数学家发出哀叹:我们的数学就 是建立在这样的基础上的吗? 罗素悖论引发的危机,就称为第三次 数学危机。

罗素把他发现的悖论写信告诉弗雷 格。弗雷格在他的《算术基础》一书的末 尾无可奈何地写道:“一个科学家遇到的 最不愉快的事莫过于,当他的工作完成 时,基础崩塌了。当本书即将印刷时,罗 素先生的一封信就使我陷入这样的尴尬境 地。”

2) 罗素悖论 在叙述罗素悖论之前,我们先注意到 下边的事实:一个集合或者是它本身的成 员(元素),或者不是它本身的成员(元素), 两者必居其一。罗素把前者称为“异常集 合”,把后者称为“正常集合”。

例如,所有抽象概念的集合,本身还是抽象概念。即,它是这一集合本身的元素,所以是“异常集合”。但是,所有人的集合,不是人,即,它不是这一集合本身的元素,所以是“正常集合”。 再例如,所有集合的集合,本身还是集合,即,它是这一集合本身的元素,所以是“异常集合”。但是,所有星星的集合不是星星,即,它不是这一集合本身的元素,所以是“正常集合”。

所有集合的集合”(所有异常集合的集合), 而以 表示“不是它本身成员的所有集合的集 合”(所有正常集合的集合),于是任一集合 罗素悖论是:以 表示“是其本身成员的 所有集合的集合”(所有异常集合的集合), 而以 表示“不是它本身成员的所有集合的集 合”(所有正常集合的集合),于是任一集合 或者属于 ,或者属于 ,两者必居其一,且 只居其一。然后问:集合 是否是它本身的 成员?(集合 是否是异常集合?)

如果 是它本身的成员,则按 及 的定 义, 是 的成员,而不是 的成员,即 不 是它本身的成员,这与假设矛盾。即 如果 是它本身的成员,则按 及 的定 义, 是 的成员,而不是 的成员,即 不 是它本身的成员,这与假设矛盾。即 如果 不是它本身的成员,则按 及 的定义, 是 的成员,而不是 的成员,即 是它本身的成员,这又与假设矛盾。即 悖论在于:无论哪一种情况,都得出矛盾。

罗素悖论的通俗化——“理发师悖论”:某村的一个理发师宣称,他给且只给村里自己不给自己刮脸的人刮脸。问:理发师是否给自己刮脸? 如果他给自己刮脸,他就属于自己给自己刮脸的人,按宣称的原则,理发师不应该给他自己刮脸,这与假设矛盾。如果他不给自己刮脸,他就属于自己不给自己刮脸的,按宣称的原则,理发师应该给他自己刮脸,这又与假设矛盾。

4. 危机的消除 危机出现以后,包括罗素本人在内的许多数学家作了巨大的努力来消除悖论。当时消除悖论的选择有两种,一种是抛弃集合论,再寻找新的理论基础,另一种是分析悖论产生的原因,改造集合论,探讨消除悖论的可能。 人们选择了后一条路,希望在消除悖论的同时,尽量把原有理论中有价值的东西保留下来。

这种选择的理由是,原有的康托集合论虽然简明,但并不是建立在明晰的公理基础之上的,这就留下了解决问题的余地。 罗素等人分析后认为,这些悖论的共同特征(悖论的实质)是“自我指谓”。即,一个待定义的概念,用了包含该概念在内的一些概念来定义,造成恶性循环。 例如,悖论中定义“不属于自身的集合”时,涉及到“自身”这个待定义的对象。

为了消除悖论,数学家们要将康托 “朴素的集合论”加以公理化;并且规定构 造集合的原则,例如,不允许出现“所有 集合的集合”、“一切属于自身的集合”这 样的集合。

这样,大体完成了由朴素集合论到公理集合论的发展过程,悖论消除了。 1908年,策梅洛(E.F.F.Zermelo,1871—1953)提出了由7条公理组成的集合论体系,称为Z-系统。 1922年,弗兰克(A.A.Fraenkel)又加进一条公理,还把公理用符号逻辑表示出来,形成了集合论的ZF-系统。再后来,还有改进的ZFC-系统。 这样,大体完成了由朴素集合论到公理集合论的发展过程,悖论消除了。

但是,新的系统的相容性尚未证明。因此,庞加莱在策梅洛的公理化集合论出来后不久,形象地评论道:“为了防狼,羊群已经用篱笆圈起来了,但却不知道圈内有没有狼”。 这就是说,第三次数学危机的解决,并不是完全令人满意的。

四、 三次数学危机与“无穷”的联系 我们过去就说过,无穷与有穷有本质 的区别。 现在我们可以总结说,三次数学危机 都与无穷有关,也与人们对无穷的认识有 关。

第一次数学危机的要害是不认识无理数,而无理数是无限不循环小数,它可以看成是无穷个有理数组成的数列的极限。 由于当时尚未真正认识无穷,所以那时对第一次数学危机的解决并不彻底;第一次数学危机的彻底解决,是在危机产生二千年后的19世纪,建立了极限理论和实数理论之后。实际上,它差不多是与第二次数学危机同时,才被彻底解决的。

第二次数学危机的要害,是极限理论的逻辑基础不完善,而极限正是“有穷过渡到无穷”的重要手段。贝克莱的责难,也集中在“无穷小量”上。 由于无穷与有穷有本质的区别,所以,极限的严格定义,极限的存在性,无穷级数的收敛性,这样一些理论问题就显得特别重要。

第三次数学危机的要害,是“所有不属于自身的集合”这样界定集合的说法有毛病。而且这里可能涉及到无穷多个集合,人们犯了“自我指谓”、恶性循环的错误。 以上事实告诉我们,由于人们习惯于有穷,习惯于有穷情况下的思维,所以一旦遇到无穷时,要格外地小心;而高等数学则是经常与无穷打交道的。

本节结束 谢谢

牛顿