数学分析---罗素悖论

证：

设M为一个集合，P（M）表示M不以自己作为元素的集的一种性质。考查具有性质P的集合的类K={M|P（M ）}

如果K是集合，P（K）和^P(K) 必有一个为真。然而，P（K）不可能为真，由K的定义推知K包含K，即^P（K）为真；^P（K）不可能为真，因为这就表示K包含K，而与K的定义：它是不含自身的集相矛盾

数学分析---罗素悖论相关推荐

跟着陶哲轩一起学数学(二): 罗素悖论
罗素悖论的产生分类公理: y 属于 {x : P(x) 为真} <=> P(y)为真看上去好像没什么毛病, 但是它导致了一个逻辑上的一个矛盾: 当P(x) 表示下述命题时: P(x) ...
罗素悖论-图灵停机问题
百度百科罗素悖论的表达形式为S={x|x∉S} 那么问题来了,x到底是否∈S? 这玩意还引发了第三次数学危机,解决方案是著名的"图灵停机问题" 百度百科:停机问题是目前逻辑学的焦 ...
算法系列教程02 - 从罗素悖论到图灵机
艾伦·图灵为什么会出现图灵机?这得从罗素悖论讲起. 罗素悖论有位理发师放出豪言:他给且只给不为自己刮胡子的人刮胡子.问:这位理发师该为自己刮胡子吗? 如果理发师为自己刮胡子,那么按照他的豪言&qu ...
罗素悖论催生现代模型论的诞生
罗素悖论催生现代模型论的诞生 1902年,英国哲学家罗素(BertrandRussell,1872-1970)发现在传统朴素集合论存在似是而非的"悖"(Paradox),铁板钉钉, ...
罗素悖论的始末以及对现代数学走向的影响
在数学基础的研究中,罗素悖论十分有名,但是往往将其内容过于通俗化,对数学无益,反而有害. 回顾历史,在康托尔的朴素(Naive)集合论中,对于集合概念的使用过于宽泛,把一切可以定义的"汇集& ...
埃舍尔的绘画,自指,以及罗素悖论
画家埃舍尔擅长制作各种充满空间悖论的图画,令人目眩神驰.我在很久以前就欣赏过埃舍尔的绘画,但是那时候我的知识储备并不充分,只是纯粹地欣赏,并没有很多想法.但是今天我偶然地又一次看到了埃舍尔的一幅画,它 ...
康托尔的朴素集合论和罗素悖论
康托尔的朴素集合论剖析康托尔的集合论中的许多证明可知,几乎他所证明的一切定理均能从如下的三个公理得出: 外延公理:任意两个集合相等,当且仅当他们中的各个元素都是相同的抽象公理:任给的一个性质,都有 ...
【githubshare】推荐 GitHub 上一本开源自然数和计算机程序、欧几里得算法、递归的形式与结构、斐波那契数列、罗素悖论
GitHub 上一份开源的小型金融知识图谱构建流程,可帮助你更好的学习与理解知识图谱的使用. GitHub:github.com/jm199504/Financial-Knowledge-Graphs ...

数学分析---罗素悖论

数学分析---罗素悖论相关推荐

最新文章

热门文章