数学史上的三大数学危机课件_第1页
数学史上的三大数学危机课件_第2页
数学史上的三大数学危机课件_第3页
数学史上的三大数学危机课件_第4页
数学史上的三大数学危机课件_第5页
已阅读5页,还剩81页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1历史上的三次数学危机1历史上的三次2

历史上,数学的发展有顺利也有曲折。大的挫折也可以叫做危机。危机也意味着挑战,危机的解决就意味着进步。所以,危机往往是数学发展的先导。数学发展史上有三次数学危机。每一次数学危机,都是数学的根基受到质疑。实际上,也恰恰是这三次危机,引发了数学上的三次思想解放,大大推动了数学科学的发展。2历史上,数学的发展有顺利也有曲折。大的挫折3

1.毕达哥拉斯学派

毕达哥拉斯Pythagoras(约前570年—前500年)是公元前500多年古希腊的哲学家、数学家、天文学家。一、与第一次数学危机毕达哥拉斯(公元前570年~公元前500年)31.毕达哥拉斯学派一、与第一次数学危4

毕达哥拉斯学派是一个宗教式的组织,也致力于哲学与数学的研究,促进了数学和理性哲学的发展,并对柏拉图和亚里士多德的思想产生很大影响。

相传“哲学”(希腊原词意为“智力爱好”)和“数学”(希腊原词

意为“可学到的知识”)这两个词是毕达哥拉斯本人所创。4毕达哥拉斯学派是5

2.“万物皆数”学说

①数,是世界的法则毕达哥拉斯说的“数”,是指自然数,即正整数,同时还包含它们的比,即正分数。②任意两条线段a、d都是可公度的“可公度的”,意即有公共的度量单位

t。52.“万物皆数”学说6实例①形数(表示图形所用点的个数)6实例7

三边形数四边形数五边形数六边形数7三边形数四边形数五边形数六边形数8

②产生谐音的各个弦的长度成小整数比绷得一样紧的两根弦,若其长度成小整数比,就会发出谐音。例如,1︰2时短弦的音高

8度,2︰3时短弦音高5度,3︰4时短弦音高4

度;当三根弦的长度之比为3︰4︰6时,就得到谐音。8②产生谐音的各个弦的长度成小整数比9③同名正多边形覆盖平面只有三种情况:环绕平面上一个点可以紧密地放6个正三角形,或者4个正方形,或者3个正六边形,如图:9③同名正多边形覆盖平面10

毕达哥拉斯学派确信:“宇宙的和谐在于数”,神是以数的规律创造世界的。

“万物皆数”学说产生了很大的影响。10毕达哥拉斯学派确信:“宇宙的和谐113.的发现和危机的产生C11根据毕达哥拉斯定理,边长为1的正方形,其对角线长度若记为,则,推出1)一个不能表成整数比的数但不能表成整数比。113.的发现和危机的产生C12下边证明,当时,不能表成整数比。由此知是偶数。由于偶数的平方是偶数,奇数的平方是奇数,∴是偶数。如果不然,有两个正整数和使(不妨设是既约分数即)。两端平方得,即。12下边证明,当时,不能表成13因“既约”,不能再是偶数,于是是奇数。这样的左端,因是奇数而不能被4整除,右端却因是偶数而可以被4整除。这个矛盾说明开始的假设是错误的。从而不能表成两个整数的比。证毕。

[注]:这是“反证法”的开始。13因“既约”,不能再是偶数,于是142)不可公度的线段

设正方形的边长为,对角线长为,如图:daa由1)知,与就是不可公度线段。142)不可公度的线段d15

3)危机产生,封锁消息

希帕索斯泄露秘密,被抛进大海。一个正方形的对角线与其一边的长度是不可公度的

希帕索斯(Hippasus)153)危机产生,封锁消息一个正方形的对角线与161)无理数

像这样的数,和其它一些不能表成整数比的数,称为无理数。

4.无理数与数系的扩张——危机的解决

161)无理数4.无理数与数系的扩张——危17

2)数轴

①古代观点:数轴↔有理数②现代观点:数轴↔实数

172)数轴183)数系的扩张——危机的解决数系扩张为实数系以后,第一次数学危机就彻底解决了。因为数的范围扩充以后,“万物皆数”的命题就是正确的了;不能表成整数比的数,即无理数,也是实数系中的数了。183)数系的扩张——危机的解决19

二、第二次数学危机

第二次数学危机发生在牛顿创立微积分的十七世纪。第一次数学危机是由毕达哥拉斯学派内部提出的,第二次数学危机则是由牛顿学派的外部、贝克莱大主教提出的,是对牛顿“无穷小量”说法的质疑引起的。19二、第二次数学危机第二次数201.危机的引发

1)牛顿的“无穷小”牛顿的微积分是一项划时代的科学成就,蕴含着巨大的智慧和创新,但也有逻辑上的问题。我们来看一个例子。微积分的一个来源,是想求运动物体在某一时刻的瞬时速度。在牛顿之前,只能求一段时间内的平均速度,无法求某一时刻的瞬时速度。201.危机的引发21

例如,设自由落体在时间下落的距离为,有公式,其中是固定的重力加速度。我们要求物体在的瞬时速度,先求。

∴(*)21例如,设自由落体在时间下落的距22

当变成无穷小时,右端的也变成无穷小,因而上式右端就可以认为是,这就是物体在时的瞬时速度,它是两个无穷小之比。牛顿的这一方法很好用,解决了大量过去无法解决的科技问题。但是逻辑上不严格,遭到责难。22当变成无穷小23

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

如果是0,上式左端当成无穷小后分母为0,就没有意义了。如果不是0,上式右端的就不能任意去掉。(*)232)贝克莱的发难如果是0,24

贝克莱还讽刺挖苦说:即然和都变成“无穷小”了,而无穷小作为一个量,既不是0,又不是非0,那它一定是“量的鬼魂”了。这就是著名的“贝克莱悖论”。对牛顿微积分的这一责难并不是由数学家提出的,但是,贝克莱的质问是击中要害的。24贝克莱还讽刺挖苦说:即然253)实践是检验真理的唯一标准应当承认,贝克莱的责难是有道理的。“无穷小”的方法在概念上和逻辑上都缺乏基础。牛顿和当时的其它数学家并不能在逻辑上严格说清“无穷小”的方法。数学家们相信它,只是由于它使用起来方便有效,并且得出的结果总是对的。特别是像海王星的发现那样鼓舞人心的例子,显示出牛顿的理论和方法的巨大威力。所以,人们不大相信贝克莱的指责。这表明,在大多数人的脑海里,“实践是检验真理的唯一标准。”253)实践是检验真理的唯一标准26

2.危机的实质

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

3.危机的解决(严格的极限理论的建立)

①在18世纪时,人们已经建立了极限理论,但那是初步的、粗糙的。②19世纪初,捷克数学家波尔查诺开始将严格的论证引入数学分析,他写的《无穷的悖论》一书中包含许多真知灼见。

273.危机的解决(严格的极限理论的建立)28③做出决定性工作、可称为分析学的奠基人的是法国数学家柯西(A.L.Cauchy,1789—1857)。他在1821—1823年间出版的《分析教程》和《无穷小计算讲义》是数学史上划时代的著作。他对极限给出比较精确的定义,然后用它定义连续、导数、微分、定积分和无穷级数的收敛性,至此,才较好地反驳了贝克莱的责难。④后来,魏尔斯特拉斯创立“”语言,才彻底地反驳了贝克莱的责难。28③做出决定性工作、可称为分析学的奠基人的是法国数学家柯西29

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

而“历史顺序”则正好相反。29总之,第二次数学危机的核心是微积分的基础不稳固30

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

其理由是:算术以整数、分数等为对象,微积分以变数、函数为对象,几何以点、线、面及其组成的图形为对象。同时,用集合论的语言,算术的对象可说成是“以整数、分数等组成的集合”;微积分的对象可说成是“以函数等组成的集合”;几何的对象可说成是“以点、线、面等组成的集合”。这样一来,都是以集合为对象了。于是,集合论似乎给数学家带来了曙光:可能会一劳永逸地摆脱“数学基础”的危机。庞加莱甚至在1900年巴黎国际数学家大会上宣称:“现在我们可以说,完全的严格性已经达到了!”31其理由是:算术以整数、分数等为对象,微积分32

2.罗素的“集合论悖论”引发危机

1)悖论引起震憾和危机正当庞加莱宣布“完全严格的数学已经建立起来!”之后刚刚两年,即1902年,罗素的集合论悖论出来了。

伯特兰·罗素(1872-1970)Russell,BertrandArthurWilliam(ThirdEarlRussell)

322.罗素的“集合论悖论”引发危机伯特兰33

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

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

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

如果是它本身的成员,则按及的定义,是的成员,而不是的成员,即不是它本身的成员,这与假设矛盾。即

如果不是它本身的成员,则按及的定义,是的成员,而不是的成员,即是它本身的成员,这又与假设矛盾。即

悖论在于:无论哪一种情况,都得出矛盾。36如果是它本身的成员,则按及37

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

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

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

为了消除悖论,数学家们将“朴素的集合论”加以公理化;并且规定构造集合的原则,例如,不允许出现“所有集合的集合”、“一切属于自身的集合”这样的集合。1908年,策梅洛(E.F.F.Zermelo,1871—1953)提出了由7条公理组成的集合论体系,称为Z-系统。

1922年,弗兰克(A.A.Fraenkel)又加进一条公理,还把公理用符号逻辑表示出来,形成了集合论的ZF-系统。再后来,还有改进的ZFC-系统。这样,大体完成了由朴素集合论到公理集合论的发展过程,悖论消除了。40为了消除悖论,数学家们将“朴素的集41

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

四、三次数学危机与“无穷”的联系三次数学危机都与无穷有关,也与人们对无穷的认识有关。

第一次数学危机的要害是不认识无理数,而无理数是无限不循环小数,它可以看成是无穷个有理数组成的数列的极限。42四、三次数学危机与“无穷”的联系43

第二次数学危机的要害,是极限理论的逻辑基础不完善,而极限正是“有穷过渡到无穷”的重要手段。贝克莱的责难,也集中在“无穷小量”上。

第三次数学危机的要害,是“所有不属于自身的集合”这样界定集合的说法有毛病。而且这里可能涉及到无穷多个集合,人们犯了“自我指谓”、恶性循环的错误。43第二次数学危机的要害,是极限理论的逻辑基础不44写在最后成功的基础在于好的学习习惯Thefoundationofsuccessliesingoodhabits44写在最后成功的基础在于好的学习习惯谢谢大家荣幸这一路,与你同行It'SAnHonorToWalkWithYouAllTheWay讲师:XXXXXXXX年XX月XX日

谢谢大家讲师:XXXXXX4546历史上的三次数学危机1历史上的三次47

历史上,数学的发展有顺利也有曲折。大的挫折也可以叫做危机。危机也意味着挑战,危机的解决就意味着进步。所以,危机往往是数学发展的先导。数学发展史上有三次数学危机。每一次数学危机,都是数学的根基受到质疑。实际上,也恰恰是这三次危机,引发了数学上的三次思想解放,大大推动了数学科学的发展。2历史上,数学的发展有顺利也有曲折。大的挫折48

1.毕达哥拉斯学派

毕达哥拉斯Pythagoras(约前570年—前500年)是公元前500多年古希腊的哲学家、数学家、天文学家。一、与第一次数学危机毕达哥拉斯(公元前570年~公元前500年)31.毕达哥拉斯学派一、与第一次数学危49

毕达哥拉斯学派是一个宗教式的组织,也致力于哲学与数学的研究,促进了数学和理性哲学的发展,并对柏拉图和亚里士多德的思想产生很大影响。

相传“哲学”(希腊原词意为“智力爱好”)和“数学”(希腊原词

意为“可学到的知识”)这两个词是毕达哥拉斯本人所创。4毕达哥拉斯学派是50

2.“万物皆数”学说

①数,是世界的法则毕达哥拉斯说的“数”,是指自然数,即正整数,同时还包含它们的比,即正分数。②任意两条线段a、d都是可公度的“可公度的”,意即有公共的度量单位

t。52.“万物皆数”学说51实例①形数(表示图形所用点的个数)6实例52

三边形数四边形数五边形数六边形数7三边形数四边形数五边形数六边形数53

②产生谐音的各个弦的长度成小整数比绷得一样紧的两根弦,若其长度成小整数比,就会发出谐音。例如,1︰2时短弦的音高

8度,2︰3时短弦音高5度,3︰4时短弦音高4

度;当三根弦的长度之比为3︰4︰6时,就得到谐音。8②产生谐音的各个弦的长度成小整数比54③同名正多边形覆盖平面只有三种情况:环绕平面上一个点可以紧密地放6个正三角形,或者4个正方形,或者3个正六边形,如图:9③同名正多边形覆盖平面55

毕达哥拉斯学派确信:“宇宙的和谐在于数”,神是以数的规律创造世界的。

“万物皆数”学说产生了很大的影响。10毕达哥拉斯学派确信:“宇宙的和谐563.的发现和危机的产生C11根据毕达哥拉斯定理,边长为1的正方形,其对角线长度若记为,则,推出1)一个不能表成整数比的数但不能表成整数比。113.的发现和危机的产生C57下边证明,当时,不能表成整数比。由此知是偶数。由于偶数的平方是偶数,奇数的平方是奇数,∴是偶数。如果不然,有两个正整数和使(不妨设是既约分数即)。两端平方得,即。12下边证明,当时,不能表成58因“既约”,不能再是偶数,于是是奇数。这样的左端,因是奇数而不能被4整除,右端却因是偶数而可以被4整除。这个矛盾说明开始的假设是错误的。从而不能表成两个整数的比。证毕。

[注]:这是“反证法”的开始。13因“既约”,不能再是偶数,于是592)不可公度的线段

设正方形的边长为,对角线长为,如图:daa由1)知,与就是不可公度线段。142)不可公度的线段d60

3)危机产生,封锁消息

希帕索斯泄露秘密,被抛进大海。一个正方形的对角线与其一边的长度是不可公度的

希帕索斯(Hippasus)153)危机产生,封锁消息一个正方形的对角线与611)无理数

像这样的数,和其它一些不能表成整数比的数,称为无理数。

4.无理数与数系的扩张——危机的解决

161)无理数4.无理数与数系的扩张——危62

2)数轴

①古代观点:数轴↔有理数②现代观点:数轴↔实数

172)数轴633)数系的扩张——危机的解决数系扩张为实数系以后,第一次数学危机就彻底解决了。因为数的范围扩充以后,“万物皆数”的命题就是正确的了;不能表成整数比的数,即无理数,也是实数系中的数了。183)数系的扩张——危机的解决64

二、第二次数学危机

第二次数学危机发生在牛顿创立微积分的十七世纪。第一次数学危机是由毕达哥拉斯学派内部提出的,第二次数学危机则是由牛顿学派的外部、贝克莱大主教提出的,是对牛顿“无穷小量”说法的质疑引起的。19二、第二次数学危机第二次数651.危机的引发

1)牛顿的“无穷小”牛顿的微积分是一项划时代的科学成就,蕴含着巨大的智慧和创新,但也有逻辑上的问题。我们来看一个例子。微积分的一个来源,是想求运动物体在某一时刻的瞬时速度。在牛顿之前,只能求一段时间内的平均速度,无法求某一时刻的瞬时速度。201.危机的引发66

例如,设自由落体在时间下落的距离为,有公式,其中是固定的重力加速度。我们要求物体在的瞬时速度,先求。

∴(*)21例如,设自由落体在时间下落的距67

当变成无穷小时,右端的也变成无穷小,因而上式右端就可以认为是,这就是物体在时的瞬时速度,它是两个无穷小之比。牛顿的这一方法很好用,解决了大量过去无法解决的科技问题。但是逻辑上不严格,遭到责难。22当变成无穷小68

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

如果是0,上式左端当成无穷小后分母为0,就没有意义了。如果不是0,上式右端的就不能任意去掉。(*)232)贝克莱的发难如果是0,69

贝克莱还讽刺挖苦说:即然和都变成“无穷小”了,而无穷小作为一个量,既不是0,又不是非0,那它一定是“量的鬼魂”了。这就是著名的“贝克莱悖论”。对牛顿微积分的这一责难并不是由数学家提出的,但是,贝克莱的质问是击中要害的。24贝克莱还讽刺挖苦说:即然703)实践是检验真理的唯一标准应当承认,贝克莱的责难是有道理的。“无穷小”的方法在概念上和逻辑上都缺乏基础。牛顿和当时的其它数学家并不能在逻辑上严格说清“无穷小”的方法。数学家们相信它,只是由于它使用起来方便有效,并且得出的结果总是对的。特别是像海王星的发现那样鼓舞人心的例子,显示出牛顿的理论和方法的巨大威力。所以,人们不大相信贝克莱的指责。这表明,在大多数人的脑海里,“实践是检验真理的唯一标准。”253)实践是检验真理的唯一标准71

2.危机的实质

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

3.危机的解决(严格的极限理论的建立)

①在18世纪时,人们已经建立了极限理论,但那是初步的、粗糙的。②19世纪初,捷克数学家波尔查诺开始将严格的论证引入数学分析,他写的《无穷的悖论》一书中包含许多真知灼见。

273.危机的解决(严格的极限理论的建立)73③做出决定性工作、可称为分析学的奠基人的是法国数学家柯西(A.L.Cauchy,1789—1857)。他在1821—1823年间出版的《分析教程》和《无穷小计算讲义》是数学史上划时代的著作。他对极限给出比较精确的定义,然后用它定义连续、导数、微分、定积分和无穷级数的收敛性,至此,才较好地反驳了贝克莱的责难。④后来,魏尔斯特拉斯创立“”语言,才彻底地反驳了贝克莱的责难。28③做出决定性工作、可称为分析学的奠基人的是法国数学家柯西74

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

而“历史顺序”则正好相反。29总之,第二次数学危机的核心是微积分的基础不稳固75

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

其理由是:算术以整数、分数等为对象,微积分以变数、函数为对象,几何以点、线、面及其组成的图形为对象。同时,用集合论的语言,算术的对象可说成是“以整数、分数等组成的集合”;微积分的对象可说成是“以函数等组成的集合”;几何的对象可说成是“以点、线、面等组成的集合”。这样一来,都是以集合为对象了。于是,集合论似乎给数学家带来了曙光:可能会一劳永逸地摆脱“数学基础”的危机。庞加莱甚至在1900年巴黎国际数学家大会上宣称:“现在我们可以说,完全的严格性已经达到了!”31其理由是:算术以整数、分数等为对象,微积分77

2.罗素的“集合论悖论”引发危机

1)悖论引起震憾和危机正当庞加莱宣布“完全严格的数学已经建立起来!”之后刚刚两年,即1902年,罗素的集合论悖论出来了。

伯特兰·罗素(1872-1970)Russell,BertrandArthurWilliam(ThirdEarlRussell)

322.罗素的“集合论悖论”引发危机伯特兰78

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

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

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

如果是它本身的成员,则按及的定义,是的成员,而不是的成员,即不是它本身的成员,这与假设矛盾。即

如果不是它本身的成员,则按及的定义,是的成员,而不是的成员,即是它本身的成员,这又与假设矛盾。即

悖论在于:无论哪一种情况,都得出矛盾。36如果是它本身的成员,则按及82

罗素悖论的通俗化——“理发师悖论”:某村的一个理发师宣称,他给且只给村里自己不给自己刮脸的人刮脸。问:理发师是否给自己刮脸?如果他给自己刮脸,他就属于自己给自己刮脸

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论