手机浏览器扫描二维码访问
第二百三十九章 无人鼓掌（第2页）
有几个歌庭派的修士立刻发来私聊：“艾兄，你对这个领域有研究？能不能在这一步绊王崎一绊？”
艾克蛮苦笑摇头。王崎这一步并没有做错。他能够将对的说成是错的吗？
同时，他也下定决心，回去就仔细研究这个往日并不被重视的领域，
当然，在场的人并不知道，这个数化的证明还有超过其本身的意义。
它同时也是递归论的源泉。
而递归论，正是现代逻辑学的最重要分支之一。
到了这个地步，王崎的证明也进入了尾声。
王崎最后一次挥动双手。算符排列成了不完备定理的证明。
“这就是全部的过程。”
全场寂静无声。
算学在这一刻走向了死亡。
“一致性与完备性不可兼得，算学无矛盾而不完备……”收看直播的许多万法门弟子，几乎哭了出来。
王崎讲完不完备定理的证明之后，便到讲坛的边缘静坐片刻。今日的讲道，便是分成了四个部分。前一个部分，讲的乃是不完备定理，接下来的一个部分，讲的则是不可判定定理。
然后，才是提问与总结的时间。
那些逍遥修士，也需要一定的时间来吸收、理解这些东西。
他闭目养神，似乎完全感觉不到周围那些巅顶大修加之于他身上的恶意。
就算举目皆敌又何妨？这里是求道者的领域，而非斗法的场合。任你说破大天，也不可能将正误逆转。
短暂的休息之后，王崎重新走回讲坛的中央。因为短暂修整而出现的窃窃私语声也渐渐消失。无数修士的注意力就集中到了王崎身上。
如同一条又一条的毒蛇，在寻找猎物的要害，力图一击毙命。
王崎继续开讲道：“在讲完了‘不全’之后，我们再来说一说‘无非’――也就是不可判定定理。”
“不可判定定理的前一部分和和不完备定理一样，都是‘自我指涉’，这里我便不再赘述。我下面就直接进入不可判定定理证明的第二个部分。”
“首先，在这里，我需得感谢图灵真人，感谢他在这个问题上对我的帮助，也感谢他提供的一种等价证明法。”
“首先，我要介绍的第一种证明法，是我自己提出的，是借助狭义图灵算器的机制……而第二个部分，图灵真人称之为‘万法万象式’。它是根据不完备定理而构造出的，一个完备而不一致的算法。”
这也是王崎和图灵真人商量好的部分。
狭义图灵算器和万法万象式――也就是图灵机和λ算法，和不完备定理证明后半段的第二阶段一样，有着超越这个证明本身的潜力。它们在后世，各自发展出了枝繁叶茂的道路。
图灵真人也很高兴，自己那个不大看得上的定理能够被传扬。王崎也需要一些逍遥修士表示支持，让自己显得不是那么势单力薄，好让更多的算家能够追随自己，开创算学的新天地。
二人可以说是一拍即合。
不可判定定理的证明过程，和那不完备相比，显得要好处理很多。尤其是第一个部分，图灵机证明。这个故事，几乎就是和王崎之前讲述的“傀儡审官”，还有蜃戏《银翼刺客》一脉相承的。
不少不属于万法门的修士，尤其是那些以“文艺”、“小说家言”为修持之法的小门派，都听得津津有味。他们听不懂王崎的理论，理解不了王崎理论背后的数学意义。但是，他们能听懂故事！他们的脑海当中几乎浮现出了无穷的故事。
可以预见，在未来的一段时间里，“傀儡人”将成为说书人口中的热门题材。
而还没有崩溃的万法门弟子，对第二种方法显出了更大的兴趣。
薄笑风整个人都处在一种懵逼的状态。“完备但是自相矛盾的系统”？这种东西真的存在？这里面有什么算学意义吗？
王崎的讲述，自午时始，自酉时而钟。当酉时的钟声在神州大地敲响的时候，这次讲道，也进入了末尾。
“综上所述，我们可以做出这样的证明……”王崎深吸一口气，讲出了最后的两句话。
“我想，我们可以自豪的宣布，希门二十三问当中最关键的第二问，第十问已经个圆满解决了。算理基础当中，最重要的一致性、完备性、可判定性证明，也已经完成。”
“算学，便要进入一个新的时代了。”
无人鼓掌。
但是，所有人感觉――一场革故鼎新的变动，或许真的要来了……（未完待续。）
我的修真小米三 盛世花都 什么？奥特曼是终身制的？ 建立帝国从骑士次子开始 月薪十万，女总裁她果然不只是让我当司机 敛财心 道化九界 巫妖生存指南 运河之韵 巨树领主 西游：六岁熊孩子，开局怒怼观世音 我，地球唯一超能力者 大明：开局剧透崇祯，重振河山 网游航海之王 先婚后爱：娇妻拒婚101次 谭笑风声里，灼灼桃之夭 灵异直播，女主她不想吓人 穿进语文书，从刺猹开始 舌尖天下 万苍天穹
洪荒：拜师太一，继承大笔遗产
洪荒生就葫芦仙，根脚从来不自谦。一朝登临云霄殿，神玄只是若等闲。三花聚顶朝北海，胸中五气透南冥。混元一气成道果，四象八卦掌中盘。...
草根穿越：灼灼风流之异世星主
高星辰，一个来自地球的草根少年，意外穿越到了神秘的九星界域。在这里，他凭借着自己的勇气和智慧，不断地挑战自我，突破极限。在他的成长过程中，他结识了许多志同道合的朋友，也遇到了许多强大的敌人，通过自己的努力以及挚友与爱人的帮助，将其一一化解。最终，他成为了星域之主，实现事业爱情双丰收，开创了属于自己的传奇人生。...
七零，我成了年代文里的恶毒女配
穿越重生七零，我成了年代文里的恶毒女配作者二肥2完结 简介 沈梦是个大厂社畜，在去给合作商送合同的时候，遭遇车祸。 就在她瘫在床上独自难受的时候，突然觉醒了空间。 还不等她高兴两天，空间的後遗症也来了，她几乎每天晚上都会做一些奇奇怪怪的梦。 这让她很快警觉了起来，沈梦赶紧的卖房卖车，开始疯狂...
被战神宠成宝的小王妃是玄学大佬
关于被战神宠成宝的小王妃是玄学大佬传闻大景战神王爷晏玄翊身负七杀，煞气缠身，恐活不过而立之年。国师批命，他须娶天命贵女苍妍玲，才能破除命中死劫，化解七杀。大婚当日，嫁入王府的却是被拴在家畜棚子里与家畜一起养，又疯又傻，还克死全家的煞星苍云烟。七杀碰上煞星，都以为翊王夫妇不出几日就会命丧黄泉。殊不知一场替嫁，小可怜苍云烟豆芽菜身体里的神魂，成了意外魂穿至此，来自现代硕博连读考古系学霸云烟。她不仅拥有自带小世界的神秘珠子，还掌握捉鬼斗邪的高深玄术，懂得极为厉害的修炼之法。翊王把她当闺女养，去哪都带着她。想不到她扮猪吃虎，以自身高超的玄术，帮着翊王解决身边各种诡异事件，抽丝剥茧地弄清楚自己与翊王的命数真相。捉鬼斗邪，斩妖除魔，破除七杀，携手扭转命运。...
我的疯子爱人
本书简介朝殊跟陈柘野纠缠了一辈子。上辈子朝殊第一次见到男人，是在开学典礼，对方温文尔雅的走过来向他打招呼。那时候朝殊知道他叫陈柘野，相貌顶尖，是圈里有名的太子爷。可是他没想到自己会跟陈柘野纠缠一辈子。以至于被束缚一生，最后陈柘野为了让他记住他。当着自己的面自杀。朝殊彻底崩溃。然后他重生了，重生到他们认识的第一天。同学，你好，我叫陈柘野，能认识你吗？文质彬彬的青年向他打招呼。而这次，精神崩溃的朝殊对他说。对不起，我不想认识你。陈柘野的眼神一下子阴郁下来。陈柘野觉得自己病了，从见到那个低着头，黑头发的青年开始。他的心脏剧烈跳动起来，控制不了地走上前，伸出手打招呼。出乎意料的拒绝了。他不气馁，反而斗志昂扬，像斗兽场里的狮子，不停地围在他身边，伺机撕烂他脆弱的一面，再狠狠咀嚼。我只想跟你认识一下。可是对方并不想，甚至想要躲避自己。陈柘野弯唇一笑，没关系的。内心阴暗杂草丛生。不就是，需要多点时间，还有其他手段。这世间有千万种爱恋人的方式。我选择了无数方法，激烈温和撕碎。最后。请看看我，我的恋人。我的疯子爱人全文免费阅读，如果您喜欢我的疯子爱人灯火明亮最新章节，请分享给您的好友一起来免费阅读。魔蝎小说...
名柯：我在酒厂爆瓜，真真假假
关于名柯我在酒厂爆瓜，真真假假被炸死的宾加重生回到应聘太平洋浮标工程师之前，誓死不去卧底，还去酒吧打了刚拿到代号的威士忌三人组，把朗姆气的将人打包送给了琴酒…组织瓜王！酒厂厂花！实际上就是满嘴喷粪，精神状态极其不稳定的一奇葩！和伏特加关系好，和琴酒生死冤家！琴酒嘲笑我睫毛，我对朗姆螺纹钢式硬夸！下班遇到工藤新一，梆梆就是两脚丫！看到叛徒雪莉酒，上去一个大嘴巴！骂朗姆就像回家。把贝尔摩德尊严按在地上摩擦！碰到波本，基尔就是一记大列巴，还把锅甩给伏特加。连Boss我都敢骂！开二十几个小号故意网恋男同事…就是我宾加！小剧场1朗姆让宾加游说刚拿下代号的成员站队，宾加抡着高跟鞋梆梆给他们脑壳开花，被琴酒当成神经病和被打残的三瓶威士忌一起关到审讯室，让朗姆来捞人2跟踪工藤新一遇到正在做任务的琴酒和伏特加，捡到变小的工藤新一团成球塞到衣服里装孕妇将人偷走，不慎被琴酒抓到，衣服里的柯南掉出来伏特加大，大哥，宾加生了！琴酒注不救济，对荭方不友好，自行避雷。「第一卷无CP篇，第二卷CP琴酒篇」...