罗素悖论是什么?罗素悖论是被解决还是被回避
本文已影响2.86W人
本文已影响2.86W人
罗素悖论:设性质P(x)表示"x不属于x",现假设由性质P确定了一个类A--也就是说"A={x|x∉A}"。那么问题是:A属于A是否成立?首先,若A属于A,则A是A的元素,那么A具有性质P,由性质P知A不属于A;其次,若A不属于 A,也就是说A具有性质P,而A是由所有具有性质P的类组成的,所以A属于A。
罗素悖论还有一些更为通俗的描述,如理发师悖论、书目悖论。
20世纪之初,数学界甚至整个科学界笼罩在一片喜悦祥和的气氛之中,科学家们普遍认为,数学的系统性和严密性已经达到,科学大厦已经基本建成。例如,德国物理学家基尔霍夫(G.R.Kirchhoff)就曾经说过:“物理学将无所作为了,至多也只能在已知规律的公式的小数点后面加上几个数字罢了。”英国物理学家开尔文(L.Kelvin)在1900年回顾物理学的发展时也说:“在已经基本建成的科学大厦中,后辈物理学家只能做一些零碎的修补工作了。”法国大数学家彭迦莱(Poincar6)在1900年的国际数学家大会上也公开宣称,数学的严格性,现在看来可以说是实现了。然而好景不长,时隔不到两年,科学界就发生了一件大事,这件大事就是罗素(Russell)悖论的发现。
所谓罗素悖论指的是由罗素发现的一个集合论悖论。设集合S是由一切不属于自身的集合所组成,即“S={x|x ? S}”。那么问题是:S包含于S是否成立?首先,若S包含于S,则不符合x?S,则S不包含于S;其次,若S不包含于S,则符合x?S,S包含于S。
例子
理发师悖论
在某个城市中有一位理发师,他的广告词是这样写的:“本人的理发技艺十分高超,誉满全城。我将为本城所有不给自己刮脸的人刮脸,我也只给这些人刮脸。我对各位表示热诚欢迎!”来找他刮脸的人络绎不绝,自然都是那些不给自己刮脸的人。可是,有一天,这位理发师从镜子里看见自己的胡子长了,他本能地抓起了剃刀,你们看他能不能给他自己刮脸呢?如果他不给自己刮脸,他就属于“不给自己刮脸的人”,他就要给自己刮脸,而如果他给自己刮脸呢?他又属于“给自己刮脸的人”,他就不该给自己刮脸。
理发师悖论与罗素悖论是等价的:如果把每个人看成一个集合,这个集合的元素被定义成这个人刮脸的对象。那么,理发师宣称,他的元素,都是城里不属于自身的那些集合,并且城里所有不属于自身的集合都属于他。那么他是否属于他自己?这样就由理发师悖论得到了罗素悖论。反过来的变换也是成立的。
“理发师悖论”是很容易解决的,解决的办法之一就是修正理发师的规矩,将他自己排除在规矩之外;可是严格的罗素悖论就不是这么容易解决的了。
书目悖论
一个图书馆编纂了一本书名词典,它列出这个图书馆里所有不列出自己书名的书。那么它列不列出自己的书名?这个悖论与理发师悖论基本一致。
影响
十九世纪下半叶,德国数学家康托尔创立了著名的集合论,在集合论刚产生时,曾遭到许多人的猛烈攻击。但不久这一开创性成果就为广大数学家所接受了,并且获得广泛而高度的赞誉。数学家们发现,从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论成为现代数学的基石。“一切数学成果可建立在集合论基础上”这一发现使数学家们为之陶醉。
1903年,一个震惊数学界的消息传出:集合论是有漏洞的。这就是英国数学家罗素提出的著名的罗素悖论。罗素的这条悖论使集合论产生了危机。它非常浅显易懂,而且所涉及的只是集合论中最基本的东西。所以,罗素悖论一提出就在当时的数学界与逻辑学界内引起了极大震动。德国的著名逻辑学家弗雷格在他的关于集合的基础理论完稿付印时,收到了罗素关于这一悖论的信。他立刻发现,自己忙了很久得出的一系列结果却被这条悖论搅得一团糟。他只能在自己著作的末尾写道:“一个科学家所碰到的最倒霉的事,莫过于是在他的工作即将完成时却发现所干的工作的基础崩溃了。”
公理化集合论的建立,成功排除了集合论中出现的悖论,从而比较圆满地解决了第三次数学危机。但在另一方面,罗素悖论对数学而言有着更为深刻的影响。它使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前,导致了数学家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。如围绕着数学基础之争,形成了现代数学史上著名的三大数学流派,而各派的工作又都促进了数学的大发展。
于是,数学的基础被动摇了,这就是所谓的第三次数学危机。
罗素的悖论发表之后,接着又发现一系列悖论(后来归入所谓语义悖论):
理查德悖论
培里悖论
格瑞林和纳尔逊悖论
悖论的解决
罗素构造了一个集合S:S由一切不属于自身的集合所组成。然后罗素问:s是否属于S呢?根据排中律,一个元素或者属于某个集合,或者不属于某个集合。因此,对于一个给定集合,问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果s属于S,根据S的定义,s就不属于S;反之,如果s不属于S,同样根据定义,s就属于S。无论如何都是矛盾的。
罗素悖论提出后,数学家们纷纷提出自己的解决方案。人们希望能够通过对康托尔的集合论进行改造,通过对集合定义加以限制来排除悖论,这就需要建立新的原则。“这些原则必须足够狭窄,以保证排除一切矛盾;另一方面又必须充分广阔,使康托尔集合论中一切有价值的内容得以保存下来。”解决这一悖论主要有两种选择,ZF公理系统和 NBG公理系统。
1908年,策梅罗(Ernst Zermelo)在自己这一原则基础上提出第一个公理化集合论体系,后来这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。这一公理系统在通过弗兰克尔(Abraham Fraenkel)的改进后被称为ZF公理系统。在该公理系统中,由于分类公理(Axiom schema of specification):P(x)是x的一个性质,对任意已知集合A,存在一个集合B使得对所有元素x∈B当且仅当x∈A且P(x);因此{x∣x是一个集合}并不能在该系统中写成一个集合,由于它并不是任何已知集合的子集;并且通过该公理,存在集合A={x∣x是一个集合}在ZF系统中能被证明是矛盾的,因此罗素悖论在该系统中被避免了。
除ZF系统外,集合论的公理系统还有多种,如冯·诺伊曼(von Neumann)等人提出的NBG系统等。在该公理系统中,所有包含集合的"collection"都能被称为类(class),凡是集合也能被称为类,但是某些 collection太大了(比如一个collection包含所有集合)以至于不能是一个集合,因此只能是个类。这同样也避免了罗素悖论。
“费米问题”究竟是什么?费米悖论如何产生的
殷素素的丈夫是谁 殷素素和张翠山的爱情故事
十全才女薛素素的生平:薛素素竟曾是同性恋
夜华为什么要挖素素的眼睛?夜华不喜欢素素吗
最多情数学家—伯特兰·罗素 伯特兰·罗素与第四任妻子的暮年之恋
悖论是什么意思
《三生三世》素素的眼睛为什么被挖?素锦最后的结局如何
夜华怎么知道白浅就是素素?夜华喜欢素素吗
江南名妓薛素素简介 明代十能才女薛素素的故事
芝诺悖论是怎样解决的啊
黄油猫悖论 智慧合成的玩笑悖论
俞岱岩和殷素素有什么关系?殷素素为何会自杀
悖论是什么意思 悖论的含义
精忠岳飞吴素素简介 吴素素和岳飞是什么关系?
《啊摇篮》唐素素是谁?唐素素有人物原型吗?
杨素论能力不亚于隋文帝杨坚 杨素为何自愿投靠杨坚
殷素素为何要自杀 殷素素和俞岱岩的恩怨
殷素素的儿子是谁 殷素素个人资料介绍
薛素素是怎么死的?秦淮八艳之薛素素生平简介
薛素素是一个什么样的人?薛素素的故事
阿莱悖论是什么
《误杀》素察是被谁杀的 素察被埋在什么地方
素素跳下诛仙台变为白浅 为何要自抹素素的记忆?
才子元稹和才女薛涛的爱情故事是怎么样的?
慈禧怄气说了一句气话,竟预言了清朝必将亡国!
中国栽培梨的面积仅次于苹果,那么种梨树要注意什么?
世界上眼睛最多的动物叫什么名字?眼睛又有多少只?
长孙冲是个什么样的人?性格特点是什么?
欢乐颂第29集剧情介绍 赵启平与曲筱绡分手
攻占汉中后曹操并没有继续攻打益州,这是为何?
李元霸为何遭天谴被雷劈死?竟与宇文成都有关
秦国太后有男宠并不少见 嬴政为什么容不下赵姬和嫪毐
《射雕英雄传》中,他是是王重阳的偶像,武艺超绝,他就是上
明朝皇帝朱常洛的死因是怎样的 他的母亲何皇后分别是
世界十大诡异磁场 进去后重力混乱没有方向
安贵人:前半生风光无限,后半生凄惨无比
后周柴荣 后周皇帝列表
头被砍下来当夜壶,他是被人恨到什么程度?