手机浏览器扫描二维码访问
第493章（第3页）
算学在这一刻走向了死亡。
“一致性与完备性不可兼得，算学无矛盾而不完备……”收看直播的许多万法门弟子，几乎哭了出来。
王崎讲完不完备定理的证明之后，便到讲坛的边缘静坐片刻。今日的讲道，便是分成了四个部分。前一个部分，讲的乃是不完备定理，接下来的一个部分，讲的则是不可判定定理。
然后，才是提问与总结的时间。
那些逍遥修士，也需要一定的时间来吸收、理解这些东西。
他闭目养神，似乎完全感觉不到周围那些巅顶大修加之于他身上的恶意。
就算举目皆敌又何妨？这里是求道者的领域，而非斗法的场合。任你说破大天，也不可能将正误逆转。
短暂的休息之后，王崎重新走回讲坛的中央。因为短暂修整而出现的窃窃私语声也渐渐消失。无数修士的注意力就集中到了王崎身上。
如同一条又一条的毒蛇，在寻找猎物的要害，力图一击毙命。
王崎继续开讲道：“在讲完了‘不全’之后，我们再来说一说‘无非’——也就是不可判定定理。”
“不可判定定理的前一部分和和不完备定理一样，都是‘自我指涉’，这里我便不再赘述。我下面就直接进入不可判定定理证明的第二个部分。”
“首先，在这里，我需得感谢图灵真人，感谢他在这个问题上对我的帮助，也感谢他提供的一种等价证明法。”
“首先，我要介绍的第一种证明法，是我自己提出的，是借助狭义图灵算器的机制……而第二个部分，图灵真人称之为‘万法万象式’。它是根据不完备定理而构造出的，一个完备而不一致的算法。”
这也是王崎和图灵真人商量好的部分。
狭义图灵算器和万法万象式——也就是图灵机和λ算法，和不完备定理证明后半段的第二阶段一样，有着超越这个证明本身的潜力。它们在后世，各自发展出了枝繁叶茂的道路。
图灵真人也很高兴，自己那个不大看得上的定理能够被传扬。王崎也需要一些逍遥修士表示支持，让自己显得不是那么势单力薄，好让更多的算家能够追随自己，开创算学的新天地。
二人可以说是一拍即合。
不可判定定理的证明过程，和那不完备相比，显得要好处理很多。尤其是第一个部分，图灵机证明。这个故事，几乎就是和王崎之前讲述的“傀儡审官”，还有蜃戏《银翼刺客》一脉相承的。
不少不属于万法门的修士，尤其是那些以“文艺”、“小说家言”为修持之法的小门派，都听得津津有味。他们听不懂王崎的理论，理解不了王崎理论背后的数学意义。但是，他们能听懂故事！他们的脑海当中几乎浮现出了无穷的故事。
可以预见，在未来的一段时间里，“傀儡人”将成为说书人口中的热门题材。
而还没有崩溃的万法门弟子，对第二种方法显出了更大的兴趣。
薄笑风整个人都处在一种懵逼的状态。“完备但是自相矛盾的系统”？这种东西真的存在？这里面有什么算学意义吗？
王崎的讲述，自午时始，自酉时而钟。当酉时的钟声在神州大地敲响的时候，这次讲道，也进入了末尾。
“综上所述，我们可以做出这样的证明……”王崎深吸一口气，讲出了最后的两句话。
“我想，我们可以自豪的宣布，希门二十三问当中最关键的第二问，第十问已经个圆满解决了。算理基础当中，最重要的一致性、完备性、可判定性证明，也已经完成。”
“算学，便要进入一个新的时代了。”
无人鼓掌。
但是，所有人感觉——一场革故鼎新的变动，或许真的要来了……
第二百四十章绝伦的“双簧！”
王崎重新回到讲坛的边缘，盘膝而坐，闭目养神。
理论计算机领域——计算机科学的数学基础领域当中，最重要的递归论，图灵机、拉姆达算法，便在这一夜同时传扬了整个神州。
断神 天黑请开眼 一爱到底之顾少毒妻 最强除妖师 系统之娇宠孕妻 娱乐超级奶爸 天地炼成 时光请善待我的她 直播和男神同居的日子 眼镜兄撞上恶魔王子 捡到病娇太子之后（重生） 悍妻[医道] 我是狠人大帝的同乡 穿越之弃子国师 赌妃在上，王爷在下 扛着boss拼下限（末世） 废材重生：邪王独宠悍王妃 大明孤狼 神偷长公主 烈火燃情：高冷总裁滚远点
医路繁花
这是一个巫医为尊，医者为卑的世界。这是一个中医大夫穿越异界，想要救死扶伤，证明自我的故事。舒沄以为只要小心谨慎，必然是能好好地活下去的。可是，危险的漩涡其实一直都没有停过，只等着把她吞噬下去。—如果您喜欢医路繁花，别忘记分享给朋友...
影视：从让子弹飞开始
在让子弹飞中是穷鬼。在敦刻尔克的海滩上当炮灰，在枪火中是烂仔。在毒枭中是街头巡警。在银翼杀手2049是毫无存在感的复制人。系统，我什么时候才能充当主角或者大佬，哪怕是配角？哪怕只有几句台词的小角色？系统如果您喜欢影视从让子弹飞开始，别忘记分享给朋友...
常理不存在的轮回
当你发现自己在睡眠之中被室友套上了女装会怎么想？当你发现自己在女装的时候还得到了一个可以帮助你女装的系统会怎么想？当你发现自己女装的时候还能获得各种各样的技能会怎么想？总之，作为一个健康的大学生，女装什么的绝对是真香定律如果您喜欢常理不存在的轮回，别忘记分享给朋友...
莫满
六年后，她事业有成，家庭美满六年后，他终于等来了恋人回归。本来离了婚不该再有交集的两个人，却为了一桩桩隐秘的往事的真相，纠缠相杀。他曾将她带到悬崖的边缘，她随即纵身一跃。所以，他们彼此，是谁心狠呢？不过是一丘之貉罢了！如果您喜欢莫满，别忘记分享给朋友...
想活命的我只好走柴刀流了
转世后，东悠一直在好好读书。人生的目标是法政大，毕业后自己在神奈川开一家律师事务所，除暴安良，建立和谐互助社会。用正义的姿态来养活自己，可以的话，想把资本主义打趴下。1表白初吻等行为能够进行当前少女存感22对象好感降低至0，则清除当前对象已获取存感3对象好感将至负时，将等额扣除存感4存在感将至0时，角色人物将死亡忽然出现的系统提示，如果不去当柴刀男，存感就会归零，死亡接踵而来。「我想如果是雾岛同学的话，不需要任何手段，只需要给我狂风鄹雨般的热吻就好，这是最有效率的办法」「作为青梅的北条惠里在我心中地位不凡，但是对我来说，今天的和香学姐来的更加重要」「如果交往的对象是东悠的话，那我也没有办法，毕竟不管是外形条件还是温柔都是神奈第一吧？说不定是全东瀛最好的男生了吧」「就算我有男朋友了，这么看来喜欢上东悠不也是很正常的事情吗？」××××东悠不断地告诫自己和少女有一定程度上的好感，但不想推进关系，无论是积极还是消极，都需要为双方留有余地，以后不管朝着哪个方向发展都有明显的回头路但自己真的不是渣男。如果您喜欢想活命的我只好走柴刀流了，别忘记分享给朋友...
双城之我在皮城造机甲
李林穿越到了瓦罗兰大陆的皮尔特沃夫，原本以为自己这辈子就这么碌碌无为的过去了，直至他成为吉拉曼恩家族的打工仔时，却发现自己竟然拥有机械师系统。在这个战乱纷争的魔法世界，深知符文之地命运的李林并不满足于自行车机械手表发电机等已然给他带来名誉和数不清财富的小发明。为了应对符文之地未来的危机，他很清楚，自己必须做些什么！从简单的外骨骼动力装置开始，到钢铁侠般的全自动源计划装甲从量产型的蒸汽机器人造起，到可以应对世界危机的战地与霸天系列机甲通过研究星界魔法与符文魔法，他甚至发明出魔法与科技结合，足以称霸世界的王国机神！然而拥有了如此力量的李林，在联合各国组建英雄联盟的大会上，面对众多英雄时却表示我自始至终的愿望只有一个，那就是世界和平。如果您喜欢双城之我在皮城造机甲，别忘记分享给朋友...