数学联邦政治世界观
超小超大

【集合论悖论】数学史上的三次数学危机 (2-1)

数学基础的第三次危机是由1897年的突然冲击而出现的,从整体上看到现在还没有解决到令人满意的程度。这次危机是由于在康托的一般集合理论的边缘发现悖论造成的。由于集合概念已经渗透到众多的数学分支,并且实际上集合论已经成了数学的基础,因此集合论中悖论的发现自然地引起了对数学的整个基本结构的有效性的怀疑。

1897年,福尔蒂揭示了集合论的第一个悖论;两年后,康托发现了很相似的悖论,它们涉及到集合论中的结果。1902年,罗素发现了一个悖论,它除了涉及集合概念本身外不涉及别的概念。罗素,英国人,哲学家、逻辑学家、数学家。1902年著述《数学原理》,继而与怀德海合著《数学原理》(1910年~1913年),把数学归纳为一个公理体系,是划时代的著作之一。他在很多领域都有大量著作,并于1950年获得诺贝尔文学奖。他关心社会现象,参加和平运动,开办学校。1968~1969年出版了他的自传。罗素悖论曾被以多种形式通俗化,其中最著名的是罗索于1919年给出的,它讲的是某村理发师的困境。理发师宣布了这样一条原则:他只给不自己刮胡子的人刮胡子。当人们试图答复下列疑问时,就认识到了这种情况的悖论性质:“理发师是否可以给自己刮胡子?”如果他给自己刮胡子,那么他就不符合他的原则;如果他不给自己刮胡子,那么他按原则就该为自己刮胡子。

罗素悖论使整个数学大厦动摇了,无怪乎弗雷格在收到罗素的信之后,在他刚要出版的《算术的基本法则》第2卷本末尾写道:“一位科学家不会碰到比这更难堪的事情了,即在工作完成之时,它的基础垮掉了。当本书等待付印的时候,罗素先生的一封信把我就置于这种境地”。狄德金原来打算把《连续性及无理数》第3版付印,这时也把稿件抽了回来。发现拓扑学中“不动点原理”的布劳恩也认为自己过去做的工作都是“废话”,声称要放弃不动点原理。

自从在康托的集合论和发现上述矛盾之后,还产生了许多附加的悖论。集合论的现代悖论与逻辑的几个古代悖论有关系。例如公元前四世纪的欧伯利得悖论:“我现在正在做的这个陈述是假的”。如果这个陈述是真的,则它是假的;然而,如果这个陈述是假的,则它又是真的了。于是,这个陈述既不能是真的,又不能是假的,怎么也逃避不了矛盾。更早的还有埃皮门尼德(公元前6世纪,克利特人)悖论:“克利特人总是说谎的人”。只要简单分析一下,就能看出这句话也是自相矛盾的。

解决集合论悖论的尝试

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

解密不如乱杀 连载中
解密不如乱杀
137***905_1462191185
无端失忆,并且进入惊悚游戏后还被一个未来的自己盯着咋办?明月表示嫌弃,但是很好用这是有点费脖子。一路上边找行记忆边遇到那些等着惊悚游戏里的玩......
0.1万字1年前
末世重生:又是开挂的一天! 连载中
末世重生:又是开挂的一天!
CoCo念溪
女主超开挂!屯百万物资,开启疯狂开挂!无cp
0.1万字1年前
人鬼和 连载中
人鬼和
鸣日
给自己oc写了一篇故事,本文是以观影的形式写的,希望大家喜欢,谢谢
1.7万字1年前
梨花殇殇,与子同归 连载中
梨花殇殇,与子同归
玉清舟
{已签约}原创双女主,又名《戏微澜》目前章节修改至“登闻鼓初响【下】
18.3万字1年前
斗龙:绝对服从 连载中
斗龙:绝对服从
洛梦千羽
“我可爱的小野猫,别这么抗拒我啊~”“滚啊!”“你是我的私有物…”这小野描挺好的,就是太不听话了,不过没关系,大不了调教一番…【疏愁书院】:......
0.3万字1年前
快穿之完美男配 连载中
快穿之完美男配
公子冥九
云景是《仙界魔尊》里面的深情男配,因为穿越者的关系,察觉到时空漏洞,和系统001绑定,开始了他的穿越之旅。小说在晋江连载过,现在所有章节已锁......
5.6万字1年前