跟着陶哲轩一起学数学(二): 罗素悖论
罗素悖论的产生
分类公理:
y 属于 {x : P(x) 为 真} <=> P(y)为真
看上去好像没什么毛病, 但是它导致了一个逻辑上的一个矛盾:
当P(x) 表示下述命题时:
P(x) <=> "x 是一个集合, 并且 x 不属于 x"
简单来说, 当x
是一个不包含自身的集合
,使得P(x)为真
于是我们可以构造这样一个集合U
:
U := { x : P(x) 为真 } = { x : x 是一个集合, 且 x 不属于 x }
我们对U
进行讨论: 它是否包含自身?
看到这里的时候我已经懵逼了, 还有集合是包含自身的? 那不会违反集合的同一性
了吗?
是否存在包含自身的集合?
根据陶哲轩的说法, 实际上是存在的,这就是其中一个例子:
如果 定义一个 S
表示由所有集合构成的集合,因为S
自身是一个集合, 因此 S 属于 S
.
所以包含自身的集合是存在的!
于是我们入正题:
如果U
不包含自身,由分类公理得P(U)
为真: U是一个集合且 U 不属于 U
如果 U
包含自身, 由分类公理会认为P(U)
为真: U是一个集合且 U 不属于 U
, 而实际上P(U)
为假。
于是,由分类公理得,当P(U)
为真时,可以得出 U 属于 U
和 U 不属于 U
的结论, 产生了矛盾.
如何使得罗素悖论不会出现
很简单, 我认为罗素悖论的存在是因为它考虑了集合可以包含于自身
,于是我们可以规定集合不能包含于自身
,而这个公理就叫做正则性
.
启示
虽然书上写着这是选学的内容,但是兴趣还是吸引了我。学完了集合的基础知识后,让我更加"底层"地学习了集合,实际上那些集合的运算都是根据选择公理
和分类公理
定义的。
跟着陶哲轩一起学数学(二): 罗素悖论相关推荐
- 跟着陶哲轩一起学数学(一): 习题3.1.6: 证明德摩根定律
证明德摩根定律 X / (A U B) = (X \ A) 交 (X \ B) 和 X \ (A 交 B) = (X \ A) U (X \ B) 不妨先设几个数据一下看看定律是否正确: A = {1 ...
- 科学松鼠会压缩感知科普文章两篇:“压缩感知与单像素相机(陶哲轩)”“填补空白:用数学方法将低分辨率图像变成高分辨率图像(Jordan Ellenberg)
题目:科学松鼠会压缩感知科普文章两篇:"压缩感知与单像素相机(陶哲轩)""填补空白:用数学方法将低分辨率图像变成高分辨率图像(Jordan Ellenberg)" ...
- 陶哲轩自述考砸经历:智商高达230的数学天才,却因没复习险些挂科
机器之心报道 编辑:蛋酱.小舟 很难相信,智商高达 230 的陶哲轩(Terence Tao),也会在一场考试中险些挂科.从这篇自述文章中,我们可以近距离感受到,数学天才的荣耀背后,是多少个不懈探索的 ...
- 陶哲轩挑战失败的百年数学问题,被两名在家隔离的数学家破解了
鱼羊 白交 发自 凹非寺 量子位 报道 | 公众号 QbitAI 疫情期间,有人困在家里把每块地砖都数了个遍,有人闲得把地板抠出了三室一厅. 来自英国杜伦大学的Andrew Lobb,和波士顿学院的J ...
- 一代数学大家--John Conway逝世,丘成桐、陶哲轩纷纷发文缅怀!
关注上方"深度学习技术前沿",选择"星标公众号", 资源干货,第一时间送达! 天才之间,总是惺惺相惜.当代最有趣的数学家 John Horton Conway, ...
- 提携数学天才陶哲轩的伯乐是谁?
2015年9月17日,美国加州大学洛杉矶分校的数学家陶哲轩(Terence Tao)宣布破解埃尔德什猜想(the Erdős Discrepancy Problem),整个数学界为之兴奋. 同样的兴奋 ...
- 特征值_陶哲轩数学发现的故事 | 特征值特征向量等式
12月3日,陶哲轩在其个人博客上更新了一篇文章, https://terrytao.wordpress.com/2019/12/03/eigenvectors-from-eigenvalues-a-s ...
- 陶哲轩对数学学习的一些建议
图片来自 mozzchi.org 一些老生常谈的话 正如我以前说的,我没有取得数学研究和学术成功的"秘笈"(secret formula)或者"万金油"(one ...
- 关于被3个搞物理的“颠覆”了且数学天才陶哲轩“开始压根不相信”的数学常识的算法实现与理解
近日,网上公布了一篇关于根据子矩阵的特征值求得平方赋范特征向量的一篇文章"Eigenvectors from Eigenvalues"[1].据网上推文描述,该文章是三位物理学家P ...
最新文章
- Atitit.软件兼容性原理与实践 v3 q326.docx
- hibernate开启二级缓存
- POJ 3259 Wormholes(负权环路)
- secureCRt中文乱码问题
- 基于概率学的SLAM 学习
- [译]震惊!RxJava 5 个不为人知的小秘密
- php中id如何与删除关联,ThinkPHP查询语句与关联查询用法实例
- uu云验证码识别平台,验证码,验证码识别,全自动验证码识别技术,优优云全自动打码,代答题系统,优优云远程打码平台,uu云打码...
- RFID酒店布草洗涤管理系统应用
- python爬虫代码-23个Python爬虫开源项目代码
- Zemax OpticStudio
- 虚拟机如何使用计算机中文件,如何从电脑往虚拟机复制文件
- linux版高德导航软件下载,高德导航2017
- [每日短篇] 5 - Sublime Text 的正则表达式 Capturing Group
- 【无标题】SONET基本术语
- Windows 7 彻底退出历史舞台
- spring-定时任务
- Laya魅族手动关闭banner广告之后打不开
- 在广州找前端开发实习经验分享2
- [分享] 新书推荐 -《黑莓(BlackBerry)开发从入门到精通》 | 黑莓时光