手机浏览器扫描二维码访问
第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岁的干瘦老人是如何在这样的环境中裹着厚厚的毛衣还会感到冷。
“比起广为流传的哥德尔不完备定理，先要提起的是哥德尔完备性定理。”
“从这个定理上，能看出自我指涉问题是如何与实无穷扯上联系的。”
“哥德尔完全性定理研究的内容是一阶谓词逻辑，或者说是有限函数演算。”
一个人的道门
穿越无系统权谋道家荒天域，妖族横行，为求生存人族以武成道，以武为尊，在于妖族的杀戮中寻求生机。张砚作为龙虎山道门的最后一位传人，携带着镇派仙器万象珠穿越到了这个世界。金光神咒北斗大神咒诸天降神大法无穷道法，镇压妖族，传道于此！我有道藏三万卷，可焚江煮海，摘星拿月，有万般神通，一个人的道门...
神话原生种
科学的尽头是否就是神话？当人族已然如同神族，那是否代表已经探索到了宇宙的尽头？人已如神，然神话永无止境。我们需要的不仅仅是资源，更是文明本身。封林晩什么...
穿越后，我和崇祯称兄道弟
作品简介魂穿大明，误把崇祯当做表弟。从此带着表弟一边赚钱，一边强国。有个叫晋商晋党的跟我们抢生意？我们就假冒晋商，卖巴豆喂马，卖空包弹打炮，离间建奴，杀了他们，兵不血刃。有个叫李自成起兵造反，把我们货物抢了？呵呵，看老哥两个大逼斗抽得他找不到北。老弟别怕，有老哥在，保证你吃香喝辣，回头和我一起逃往海外，找个世外桃源当土皇帝。...
共享女配怪奇事件簿
...
穿越五零，被卖深山后我多子多福
简介关于穿越五零，被卖深山后我多子多福云小小一朝魂穿在五十年代的云小小身上，正值她被拐卖。对在武馆里长大的她来说，逃跑那是分分钟的事情。结果有个声音告诉她，必须要完成原主的遗愿，要不她将会重复经历这样的劫。直到完成为止。云小小见到大熊一样的男主，顿感鸭梨山大。弱弱的说到我还小，三年后再圆房。袁石头看着面前的小姑娘我等你长大。云小小我弱，你要让着我。糙汉大叔好云小小见大叔这么好说话，乘机扮猪吃老虎，提出一堆条件。糙汉大叔都咬牙答应了。于是云小小在深山老林忙着打猎种田，各种致富。若干年后，云小小孩子一大堆，到了含饴弄孙的年纪，终于在孩子们的帮助下走出深山，找到唯一的大哥，完成原主的遗愿。...
女县令开过光，荒年领民致富忙
石门县新来的女县令，吃拿卡要厚脸皮，就这样的人，朝廷也不说管一管，任她胡作非为，就连山匪，苗疆细作，商贾巨富都看不下去了，纷纷来找茬。对付他们，姜篱眼睛都不带眨的，为实现早日带领县民致富奔小康，任何坏她大事者，定要其留下最在意的代价。看不惯她又干不掉她，关于女县令的流言蜚语传到大奸臣靖王耳中，嗯，听说那女县令是他罩...