手机浏览器扫描二维码访问
第二百三十九章 无人鼓掌（第2页）
有几个歌庭派的修士立刻发来私聊：“艾兄，你对这个领域有研究？能不能在这一步绊王崎一绊？”
艾克蛮苦笑摇头。王崎这一步并没有做错。他能够将对的说成是错的吗？
同时，他也下定决心，回去就仔细研究这个往日并不被重视的领域，
当然，在场的人并不知道，这个数化的证明还有超过其本身的意义。
它同时也是递归论的源泉。
而递归论，正是现代逻辑学的最重要分支之一。
到了这个地步，王崎的证明也进入了尾声。
王崎最后一次挥动双手。算符排列成了不完备定理的证明。
“这就是全部的过程。”
全场寂静无声。
算学在这一刻走向了死亡。
“一致性与完备性不可兼得，算学无矛盾而不完备……”收看直播的许多万法门弟子，几乎哭了出来。
王崎讲完不完备定理的证明之后，便到讲坛的边缘静坐片刻。今日的讲道，便是分成了四个部分。前一个部分，讲的乃是不完备定理，接下来的一个部分，讲的则是不可判定定理。
然后，才是提问与总结的时间。
那些逍遥修士，也需要一定的时间来吸收、理解这些东西。
他闭目养神，似乎完全感觉不到周围那些巅顶大修加之于他身上的恶意。
就算举目皆敌又何妨？这里是求道者的领域，而非斗法的场合。任你说破大天，也不可能将正误逆转。
短暂的休息之后，王崎重新走回讲坛的中央。因为短暂修整而出现的窃窃私语声也渐渐消失。无数修士的注意力就集中到了王崎身上。
如同一条又一条的毒蛇，在寻找猎物的要害，力图一击毙命。
王崎继续开讲道：“在讲完了‘不全’之后，我们再来说一说‘无非’――也就是不可判定定理。”
“不可判定定理的前一部分和和不完备定理一样，都是‘自我指涉’，这里我便不再赘述。我下面就直接进入不可判定定理证明的第二个部分。”
“首先，在这里，我需得感谢图灵真人，感谢他在这个问题上对我的帮助，也感谢他提供的一种等价证明法。”
“首先，我要介绍的第一种证明法，是我自己提出的，是借助狭义图灵算器的机制……而第二个部分，图灵真人称之为‘万法万象式’。它是根据不完备定理而构造出的，一个完备而不一致的算法。”
这也是王崎和图灵真人商量好的部分。
狭义图灵算器和万法万象式――也就是图灵机和λ算法，和不完备定理证明后半段的第二阶段一样，有着超越这个证明本身的潜力。它们在后世，各自发展出了枝繁叶茂的道路。
图灵真人也很高兴，自己那个不大看得上的定理能够被传扬。王崎也需要一些逍遥修士表示支持，让自己显得不是那么势单力薄，好让更多的算家能够追随自己，开创算学的新天地。
二人可以说是一拍即合。
不可判定定理的证明过程，和那不完备相比，显得要好处理很多。尤其是第一个部分，图灵机证明。这个故事，几乎就是和王崎之前讲述的“傀儡审官”，还有蜃戏《银翼刺客》一脉相承的。
不少不属于万法门的修士，尤其是那些以“文艺”、“小说家言”为修持之法的小门派，都听得津津有味。他们听不懂王崎的理论，理解不了王崎理论背后的数学意义。但是，他们能听懂故事！他们的脑海当中几乎浮现出了无穷的故事。
可以预见，在未来的一段时间里，“傀儡人”将成为说书人口中的热门题材。
而还没有崩溃的万法门弟子，对第二种方法显出了更大的兴趣。
薄笑风整个人都处在一种懵逼的状态。“完备但是自相矛盾的系统”？这种东西真的存在？这里面有什么算学意义吗？
王崎的讲述，自午时始，自酉时而钟。当酉时的钟声在神州大地敲响的时候，这次讲道，也进入了末尾。
“综上所述，我们可以做出这样的证明……”王崎深吸一口气，讲出了最后的两句话。
“我想，我们可以自豪的宣布，希门二十三问当中最关键的第二问，第十问已经个圆满解决了。算理基础当中，最重要的一致性、完备性、可判定性证明，也已经完成。”
“算学，便要进入一个新的时代了。”
无人鼓掌。
但是，所有人感觉――一场革故鼎新的变动，或许真的要来了……（未完待续。）
先婚后爱：娇妻拒婚101次 舌尖天下 敛财心 西游：六岁熊孩子，开局怒怼观世音 谭笑风声里，灼灼桃之夭 大明：开局剧透崇祯，重振河山 万苍天穹 穿进语文书，从刺猹开始 网游航海之王 盛世花都 巨树领主 道化九界 什么？奥特曼是终身制的？ 我的修真小米三 灵异直播，女主她不想吓人 运河之韵 建立帝国从骑士次子开始 月薪十万，女总裁她果然不只是让我当司机 我，地球唯一超能力者 巫妖生存指南
在古文吃瓜的日常
中元十九年，先帝骤然病逝。先帝子嗣不丰，诸子只余六皇子文乐逸尚在。遂顺承帝业即位，改年号为永昌。众臣及外姓诸侯皆俯首恭诣。新帝登基，一切礼仪从简，朝臣再有意见，在看到护送新帝从边关返回的一众武昌军也变成了没有意见。文乐逸几乎是一天之内象征性地走完了所有程序，立马走马上任给先帝收拾烂摊子。魔蝎小说...
开局天道气运，小师妹喝兽奶躺赢
胎穿成刚出生被抱错，被虐待而死的天才？谢星凰开局自救，拜强者为师，打脸重生真千金的七姐，穿越的八姐她悟性惊人，体质强悍，一岁能报仇，三岁能引气入体突破炼气极境，最重要的是，师尊强大，师兄个个护短，还有她的帅气纨绔爹，漂亮温柔娘竟然都在扮猪吃老虎谢星凰输给爹娘？靠师尊，师兄们带飞，那我岂不是很没有面子？...
恋综：我的青梅竹马竟然是天后
（1男主正常人，不会随便发疯，但是有人膈应他就开怼！）（2男女主都有脑子都有嘴，不会出现什么你不说我不说的误会！）（3男女主1v1恋爱日常，感情事业双线并行！）（4本书爽文甜文，不会出现什么忍辱负重的情节！请放心观看！）因为拒绝了神似泳装千代的婆婆潜规则，凌天被雪藏五年，解约之际，经纪人突然造访，让他去...
穿越之再嫁小狼狗
别人穿越都是姑娘十八一朵花，苏研穿越则是姑娘二十已成家，家里还聚齐了恶婆婆，绿茶表妹，刻薄小姑以及自私薄情丈夫四大天坑。这世道，这家庭，苏研一刻也待不了穿回去，必须穿回去，跳河穿回去结果河跳了，人差点嘎也没成功。好在和前夫离了婚又找了个小狼狗那就在古代好好过吧。苏研的职业规划1首先搞钱2其次搞钱3最后还是搞...
被战神宠成宝的小王妃是玄学大佬
关于被战神宠成宝的小王妃是玄学大佬传闻大景战神王爷晏玄翊身负七杀，煞气缠身，恐活不过而立之年。国师批命，他须娶天命贵女苍妍玲，才能破除命中死劫，化解七杀。大婚当日，嫁入王府的却是被拴在家畜棚子里与家畜一起养，又疯又傻，还克死全家的煞星苍云烟。七杀碰上煞星，都以为翊王夫妇不出几日就会命丧黄泉。殊不知一场替嫁，小可怜苍云烟豆芽菜身体里的神魂，成了意外魂穿至此，来自现代硕博连读考古系学霸云烟。她不仅拥有自带小世界的神秘珠子，还掌握捉鬼斗邪的高深玄术，懂得极为厉害的修炼之法。翊王把她当闺女养，去哪都带着她。想不到她扮猪吃虎，以自身高超的玄术，帮着翊王解决身边各种诡异事件，抽丝剥茧地弄清楚自己与翊王的命数真相。捉鬼斗邪，斩妖除魔，破除七杀，携手扭转命运。...
山川月
本书简介 恶人或英雄，权柄或信义，抉择皆在一念间。温明裳入京初识洛清河时，对方是同僚口中善恶莫辨的少年将军。危境中力挽狂澜救雁翎于水火者是她，胜后舍仁义之名下令屠城者亦是她。成事者必有牺牲，我问心无愧。这是洛清河最初予她的回答。年轻的小温大人闻言眉头一皱，痛骂一句虚伪！年少成名的将军回头冲她淡然一笑不及温大人天真。原以为日后必定老死不相往，却不想拨开北地风雪，温明裳看见了被藏于明堂之下的人心之斗。再回首，她看见那人打马而来。前路必定风起云涌，你可以退的。可我不愿。盛世亦有暗流涌，乱局铁血铸关隘。即便明知金雕玉砌之下枯骨成灰，我辈仍愿血为书，笔作骨，荡一卷浩瀚长歌。山川月全文免费阅读，如果您喜欢山川月苏弦最新章节，请分享给您的好友一起来免费阅读。魔蝎小说...