手机浏览器扫描二维码访问
第二百三十章 大道圣音下（第1页）
王崎出现之后，冯落衣和图灵二人主动在桌子边上让出一个位子，示意他坐下。这表示，他们已经认可王崎作为一个算家的能力，将他视作地位平等的同道而非晚辈。图灵还对王崎笑笑：“你这显化的幻象也喝不了茶，所以就不给你斟了。”
冯落衣首先问了王崎：“事情都解决完了吗？”
“是，苟大宝那边的手尾已经做完了，那边应该也有报告。这一次，那边……”
“具体的事情不必告诉我。我只用知道没有出事就行了。”冯落衣平静的说道。在王崎和苟大宝开始实证的时候，就有许多天剑正对那个秘地。以当时的情况，就算苟大宝能够脱离那个空间站式的小型天辰法器，也只会被天剑追上，然后彻底蒸发。
冯落衣先是跟王崎简要的说了一下自己与图灵真人刚刚的对话。王崎首先是惊服于图灵真人的所做，更感叹了一下这个宇宙物理规律的神奇。
在这个宇宙，冯诺依曼机的概念，是比图灵机更早出现的。这是一个非常神奇的事情。冯落衣和图灵是先靠着模仿生灵魂魄，规范化出冯氏构架，然后又将之进一步机械化，得出一个不大严格的“图灵机”。
也只有科技黑箱特别容易形成的这个宇宙，才能够支持这种现象。
现在，神州修士对算器和算盘之间的认知是这样的――首先，算器无疑是算盘的进阶版本。但是，算器和算盘之间也没有过度的版本呢？
没人知道。
而现在，图灵真人就接着数学逻辑的突飞猛进，填上了这一块空缺。
这个研究可不是什么美其名曰“填补空白”的骗经费项目。它明确了算器的基础，让算器的发展“脚踏实地”。
很多算器方面的理论。有了更加坚实的根基。算器方向研究进行的余地也更大些。
而按照图灵说的，这还只是一个“副产品”。他是在思考如何绕过“不可判定”的时候，对着算器理论做出的改进。
而图灵真人真正思考的问题，才是更让王崎感兴趣。
“您是说，您刚才在尝试着做出一种逻辑推理的方法，用来证明……证明一些问题？”
“我希望他能够绕过你的不完备。不过貌似是失败了。”图灵真人摊开自己的书稿，指着道：“首先，我们在一个未知的变天式当中定义出天元地元人元――就像我们经常在天元式当中做的一样，用虚构的符号去处理未知的变天式。然后，我们假设我们有两个变天式‘斗’和‘牛’――别问我具体是什么，假设有这么一个……”
冯落衣有些感兴趣了。这种什么都是“假设”的思路，还是很罕见的。
而另一边，王崎却长大了嘴。
“这……这分明是……”
这是λ算法，地球历史上存在过的另外一个不可判定的证明。
也就是阿兰?图灵的导师。数学家丘奇的证明方法。
虽然阿兰?图灵最终证明了这个λ算法和图灵机是等价的，都是对不可判定性的证明。但是，这两个证明法在数学上却有着截然不同的意义。在后续的发展当中，图灵机证明和λ算法证明都走出了一条皇皇大道。
想到这里，王崎看着图灵真人那稍显清秀的脸，心中有些唏嘘。
想不到啊想不到。图灵机证明和λ算法证明互为表里，同归但又殊途。自己之前借着着“自指”的东凤，用了图灵机证明的不可判定。然后图灵真人又将丘奇的思路给完成了。
――神州的大修，虽然身上都有地球上某些人的影子。但是，他们终究是有自己的生命的。
丘奇是阿兰?图灵的导师。但是在此方天地，图灵真人乃是自学成才，这才自领了千机阁，镇压扶桑万妖。
――不过，图灵的思路应该和丘奇不大对得上才是吧？图灵真人到底是如何走出这一步的？
两位逍遥修士都是思维敏捷。交流也非常快。就在王崎走神的片刻功夫，图灵真人已经说完了自己的新点子。他笑了笑，道：“这算法也称得上不俗了。我自己试过，他能够证明几乎一切命题，表达几乎一切算学系统――它是个完备的系统。”
这是图灵真人对不可判定性的思考。也是他对不完备的思考。
冯落衣道：“可王崎之前也证明过了，完备性和相容性是不会同时存在的。这若是个万有万能的算法，那……”
“那它必然是一个自相矛盾的算法。”王崎手指在空中划动，凝聚彩光，写下道道算式：“对于有意义的逻辑系统，强大的表达能力必然伴随着坚不可摧的限制。我们现在代入一些明显是错误的算法……你看，也说得通”
灵异直播，女主她不想吓人 敛财心 网游航海之王 我，地球唯一超能力者 巫妖生存指南 先婚后爱：娇妻拒婚101次 大明：开局剧透崇祯，重振河山 运河之韵 万苍天穹 月薪十万，女总裁她果然不只是让我当司机 什么？奥特曼是终身制的？ 建立帝国从骑士次子开始 盛世花都 穿进语文书，从刺猹开始 西游：六岁熊孩子，开局怒怼观世音 巨树领主 谭笑风声里，灼灼桃之夭 舌尖天下 道化九界 我的修真小米三
你惹她干嘛？她黑白两道皆马甲
关于你惹她干嘛？她黑白两道皆马甲玉墨绾活了二十岁，才知道自己是玉家假千金，真千金找回家便被赶出家门。一朝被亲生父母被找回家，才发现自家是京圈顶级豪门。失踪多年，家里早有个白莲花养女，她以为又要上演全家护白莲的戏，谁曾想却是另外的画面。父母出于疼爱愧疚，对她进行了买买买，把她当成小公主来宠着。霸总大哥放话妹妹喜欢创业吗？卡里有五亿，尽管拿去造，造完了大哥再给。巨星二哥放话妹妹喜欢演戏吗？二哥这有十几个好剧本，里面女主随便挑，都不喜欢可以叫编剧为你量身打造。车神三哥放话妹妹喜欢赛车吗？这些车都是全球限量款，三哥送你。时尚四哥放话妹妹喜欢当模特吗？四哥为你量身设计最好看的小裙裙。黑客五哥放话妹妹喜欢看烟花吗？五哥为你设计最好看的烟花。当晚，全城电脑被莫名打开，屏幕上放了一夜烟花，璀璨绚烂。享受家人宠爱的同时，她顺手把京圈的坏风气给整顿了，耳根子清净很多。眼看救过自己的女孩被家人娇宠无度，他把她抵墙，声音低沉蛊惑宝贝，救命之恩以身相许，愿意当司太太，让我也宠你吗？...
军阀：从县长开始征伐天下
关于军阀从县长开始征伐天下从一堆尸体中醒来，方继安发现，自己的啤酒肚不见了，人也年轻了十几岁。而尸体中，还有一人与他年轻时很像。正在恐慌时，觉醒强国争霸系统，改名方济安，利用死去青年方济安的证件委任状，他开启了异界民国初期的争霸之路。ps小说改不了标题，内容改成了奖励步兵连，不是德械连。想看系统爽文的请不要进来，想看强大系统的不要进来。欢迎大家指责错误，但那种看小说无脑喷的请不要进来，那种看免费小说还斤斤计较的也不要进来，这本书不合您胃口的可以放弃，礼貌看书，谢谢！！！...
千金小姐种田忙
关于千金小姐种田忙新作品出炉，欢迎大家前往番茄小说阅读我的作品，希望大家能够喜欢，你们的关注是我写作的动力，我会努力讲好每个故事！满京城的人都知道，郑家大小姐是个只知道埋头种地的泥腿子，郑采薇也愿意这样安安稳稳过一辈子，不想，父亲被罢官流放，亲眷被遣返回乡，只知道种地的她凭着一身种地的本事护着家人安居一隅。意外救下一个小孩，竟是当朝六皇子，小孩拍着胸脯信誓当当的说要攒十里红妆给自己送嫁，可是，又有谁愿意娶一个泥腿子呢？没想到，满身甲胄的他在十万大军面前捧着兰花当众求娶...
别来无恙，傲娇的总裁大人
关于别来无恙，傲娇的总裁大人和豪门贵子联姻，她居然拒绝？他虽然年纪比她小，可他眼里全是她啊！弟弟怎么了？弟弟爱她爱到死。既然已经结婚了，那外表冷漠，却唯独对她软软糯糯的老公，自然是拿下！只有他知道，她才是他唯一的救赎。他是暗夜里霸道腹黑的修罗，可他敢扬言余晚晴才是我的心头爱心头宝！...
我在无限游戏收集怪物书
平平无奇的社畜打工人江邈，捡到一副发光扑克牌。提示音说joker随机选中了你，跟你开了一个大玩笑。请努力闯关生存下去，不要被割喉变麻辣兔头。当然，活不下去也没关系，随便你。下一秒，恐怖游戏地图加载完成。一段时间之后，江邈已然熟悉游戏套路。其他玩家好可怕！游戏第一喷子第一尖酸刻薄第一高端黑玩家江邈拍拍怪物的皮毛，拎起她的战利品，皮糙肉厚，适合做东北铁锅炖。江邈看着瑟瑟发抖的玩家，笑得比怪物还要恐怖废物们，你爹有没有教导过你们，在游戏里见到一个长相平平无奇的女人，要绕路走？那一天，枯坐在高山之上的神像，略有些委屈问江邈我是神，天地之主。为了消磨漫长的岁月，我创造了一个人类。我给了她世间难得的外表，独一无二的智慧，还有永不枯竭的财富，给她无穷无尽的爱。我问她愿意爱我吗？她拒绝了。江邈好聒噪的神。神明轻笑所以，我放逐了她，冷眼看她失去一切。没有失去过的人，不会懂得珍惜。江邈神明降临，你已经轮回百世了，玩得开心吗？学会如何爱人了吗？现在，我再问你一遍，你愿意爱我吗？江邈脆生生说出三个字不愿意。男主卒，全文终。fao长相普普通通性格日天日地日空气大女主，擅长口吐芬芳，一句话噎死人，扛怪主力，略拽心黑。／／ps主角团三人行。男主脸好看，其他不重要，男主也不重要。魔蝎小说...
今天乱步人设塌了没
星野泉，在役审神者，为爱旷工到横滨原因是他在网上找了个男朋友，高智商冷静沉稳温柔贴心，还是个合法美少年试问哪个基佬不动心？面基之后，发现男朋友没骗他，和网络上一模一样的清纯不做作星野泉我最喜欢乱步君了男朋友乱步是的哦，乱步大人就是这样的人呀知情人楼上的乱步一定不是我们认识的乱步先生！魔蝎小说...