罗素悖论,它与理发师理论是等价的

罗素悖论次要是装出P(x)的习性弄清x是不。,呈现它是由属性p A类A决议的,即t。。这么成绩是A能否属于A。,假使A属于A,A是A的元素,这么A将有效资产P,东窗事发,A不属于A习性P。。其次,假使A根生的不属于它 A,换句话说,A同时具有P的习性。,还,A是由具有属性P的一切类结合的。,因而A一定属于A。罗素悖论在船中部还会宁愿更为浅显的一种周转,做发店悖论、书目悖论。

      罗素悖论和做发店悖论次要是指在某个城市在船中部就会有一位做发店,他的要旨是左右写的。。我的做发虚伪行为很高。,因而它会在完全的城市都很知名。同时,我要剃掉不修剪的城市里一切的人。,我全然刮这些人。。由于我对你们每人表现暖和的的迎将。!因而来修剪的人常常是接连地地来。,由于自然是那不修剪的人。不管到什么程度,终于,做发店在镜子里通知本身时,胡须一天到晚比一天到晚长。,他天性地诱惹剃须刀。,好吧,让we的所有格形式看一眼他能否能修剪,假使他用不着修剪的话。,和他属于那不修剪的人。,因而他要学修剪,还,假使他本身修剪,这么他属于相同的人称代名词。,因而他不得修剪。。

      罗素悖论与做发店悖论是均势的。假使每人称代名词都被尊敬一个人要紧的集中。,和,集中中间的有些人次要元素将被明确为Obje。。这么,做发店会取消赎回抵押品的权利是,他的分开,次要是那不属于本身的城市。,一切不属于本身的城市都将属于他。。这么他能否会属于他本身?左右也就由做发店悖论在那附近得到了罗素悖论。反向使交替对立设置。

      罗素悖论在船中部的合拢挤入次要是在十九世纪的下半叶,康托是德国的=mathematics家,他创建了一套著名的集中论。,因而当集中论将才结构的时辰,这是大多数人的冒渎殴打。。但很快,这先驱的的大调的履行早已被MaRoRIT所承受。,得到了普遍而海拔的赞叹。。由于=mathematics家查明,从自然数和康托尔集大众化的观念,we的所有格形式可以使译成完全的=mathematicsB。这样,集中论已译成古代=mathematics的一个人要紧基石。。一切的=mathematics履行都可能性使译成在设定的按照。。这一查明也会使有些人=mathematics家入迷。。

      罗素悖论在1903年,由于=mathematics球体的的宏大振动。集中论也有洞。!这执意英国的=mathematics家罗素所目前的来的著名的罗素悖论。罗素悖论在集中论中也导致了有些人大调的的危险。。由于它极端地简略易懂。,所关涉的全然集中论中间的有些人根本事物。。因而,罗素悖论一目前的就在事先的=mathematics界与压力界内地区通向了极大的振动。为了这个目的德国的有些人著名压力家卡尔·弗雷格在他的上集中间的有些人根底大众化的观念交稿付印时,他还收到了罗素上这悖论的有些人信。。他马上找到了它。,我牧师衰败的朝反方向导致早已被不著名的了。。因而他唯一的在任务完毕时文字:科宇宙机械论者相遇过的最三灾八难的事实经过。,当他的任务立即应验时,他查明了这根底。。”

      罗素悖论宣布后头的,和查明了朝反方向悖论,后头它们直的被CLA查明。。由罗素建造的一组S:S是由N的一切集中结合的。。和罗素问S能否属于S,因而依据有些人法度,元素或集中,或许根生的不属于一套。这样,当作事先安排的集中,问它能否属于本身是使负担或压迫的。。但这很可能出现有理的成绩的次要答案将落入D。假使S直的定语S,这样,依据S的明确,S根生的不属于S。不同的,假使S根生的不属于S,这么它也可以由明确来明确。,S属于S。在若干状态下,这些都是极端地反驳的。。

      罗素悖论目前的后头的,有些人=mathematics家目前的了有些人次要的清算条件。。民众希望的事更衣康托尔的集中论。,经过限度局限集中明确的使掉转船头,we的所有格形式可以脱掉悖论。,这就请求允许使译成新的基本的。。由于这些基本的葡萄汁十足窄。,它也将被用来确保一切的反驳都可以开除。。在另一方面,它葡萄汁是片面的和普遍的。,左右才能甚至更好地禁猎地康托尔集中论中一切论点的目录。。这样,处理这悖论有两种选择。,ZF先决条件零碎 NBG先决条件零碎。

发表评论

Close Menu