手机浏览器扫描二维码访问
第727章 理性的边界（第3页）
这些精神病症也根本不是因为人类那不可见的无限心灵窥探到了无限的世界，单纯只是源于大脑的器质性病变而已。
随手将哥德尔的病例记录用报纸盖上，李恒从临时精神科医生的身份上回归：
“说回集合论的问题。”
“康托尔在建立集合论的工作中就已经发现了康托尔悖论，或者将其称为最大基数悖论。”
“任一集合的基数小于其幂集的基数，根据概括规则，可由一切集合组成集合S。”
“S的基数小于其幂集P（S）的基数。但是，P（S）又是一切集合构成的集合S的一个子集，即P（S）的基数小于或等于S的基数，由此产生逻辑矛盾。”
“第二个悖论，最大序数悖论，同样因为所有序数的集合而产生了类似的逻辑矛盾。”
“最后一个，罗愫悖论。”
“这个悖论比上面两个悖论更简单，但因此威力更强大，动摇了集合论的基础。”
把所有集合分为两类，一类是正常集合，例如所有自然数组成的集合。
这类集合的特点是，集合本身不能作为自己的一个元素。
非正常集合，例如，所有集合所组成的集合。
这类集合的特点是，集合本身可以作为自己的一个元素。
现假设由所有正常集合组成一个集合S。
如果S属于自身，则S是非正常集合，它不是由所有正常集合组成的集合，与假设矛盾。
如果S不属于自身，则它是正常集合，所以它是由所有正常集合组成的集合S的一个元素，矛盾。
写成符号形式就是：
S∈S→S?S，S?S→S∈S。
以上三个集合论中的悖论本质上都源于自我指涉问题。
因为假定以自身为元素的集合存在，所以出现了不满足排中律的自我矛盾的命题。
ZF公理系统解决这个矛盾的办法是使用正则性公理。
它禁止将一个集合作为其自身的元素，禁止了诸如“所有集合的集合”和“所有序数的集合”这样的陈述。
另一个NBG公理系统，这里的G就是哥德尔。
它将“所有集合的集合”称为“真类”，将类与集合分离，从而避免出现自指悖论。
“接下来是不是就是那个很着名的哥德尔不完备定理了？”
阿基里斯靠在壁炉旁低声问道。
房间里的温度已经被火焰加热到近似于炎炎夏日的温度，很难想象那个64岁的干瘦老人是如何在这样的环境中裹着厚厚的毛衣还会感到冷。
“比起广为流传的哥德尔不完备定理，先要提起的是哥德尔完备性定理。”
“从这个定理上，能看出自我指涉问题是如何与实无穷扯上联系的。”
“哥德尔完全性定理研究的内容是一阶谓词逻辑，或者说是有限函数演算。”
本小章还未完，请点击下一页继续阅读后面精彩内容！
“它表明命题逻辑和一阶逻辑具有可靠性和完备性。”
殡葬异事录 开局人间体 恶魔天使 重生我的老婆是天后 奥特曼之黑暗星纹 狙击战神 山村大闲人 特种兵：我成了全球特战教父 摘星手记 诡秘世界我能逢凶化吉 五浔之外 游历万界的永生者 七零之重组家庭的小女儿 我媳妇是医圣传人 我的室友不对劲 穿越之直上青云 大梦王 大乾佛主 我真不想修行啊 分开后偏执大佬缠上我了
超神妖孽
神界第一高手，有‘贱神’之称的云飞扬被镇压万载，破土重生，痛定思痛，梦想收尽天下各色美女！泡妞，我是认真的。云飞扬道。姑娘，你愿意嫁给我？清纯可爱邻家女刁蛮任性大小姐成熟妩媚女导师冷若冰山大师姐腹黑毒辣女魔头，这些，统统是我云飞扬的女人！妖孽群529642893...
我的校花未婚妻
当被清纯校花火辣女杀手御姐总裁绝美女老师争相纠缠！贺轩很烦恼帅，是一种病！我是校花的未婚夫，天下美女的未婚夫！传奇杀手龙潜花都，却不想惹上一身风流情债！...
美梦时代
为了救一个小女孩，刚刚毕业的萧奇博士，从美国穿越回了八年前的中国，回到了自己的高中时代。重生之后，萧奇紧接着要做的，就是要帮忙性格淡然又才华出众的父亲，至少从副科级小官连升七级，青云直上，坐到副省级高官的位置，才不枉费了父亲一辈子的正直和善良。对于前世辜负和错过的女孩子，萧奇也下了决心，一定要努力给予她们幸福，不要...
天才狂少
一个本来庸才的学生，在一次奇遇后，居然成为傲世天才，他发现自己的身世居然是而后面还有天大的阴谋...
田野花香(乡村猎艳)
陈炎是一个混得极度没出息的大学生，阴差阳错的在阳台上喝着闷酒的时候被一个中年人吓得掉下楼下，醒来的时候却发现是在自己的高中时代。经历了惨败的婚姻和现实的残酷，陈炎决定好好的利用自己机会推倒所有的美女，清纯的学生妹，只知道埋头读书的校花MM，风骚无比的成熟美妇，饥渴了N多年的迷人寡妇。重生了，干那么多大事有什么用！手里掐着钱去糟蹋别人的闺女和老婆才是王道！...
我不想逆天啊
我林凡成为富家子弟，必须得享受。修炼？不现实的事情。最多加加点。阅读此书可能带来不适，此书已经注满正能量。全订验证群532355835逆天书普通群534442331...