手机浏览器扫描二维码访问
第二百三十章 大道圣音下（第1页）
王崎出现之后，冯落衣和图灵二人主动在桌子边上让出一个位子，示意他坐下。这表示，他们已经认可王崎作为一个算家的能力，将他视作地位平等的同道而非晚辈。图灵还对王崎笑笑：“你这显化的幻象也喝不了茶，所以就不给你斟了。”
冯落衣首先问了王崎：“事情都解决完了吗？”
“是，苟大宝那边的手尾已经做完了，那边应该也有报告。这一次，那边……”
“具体的事情不必告诉我。我只用知道没有出事就行了。”冯落衣平静的说道。在王崎和苟大宝开始实证的时候，就有许多天剑正对那个秘地。以当时的情况，就算苟大宝能够脱离那个空间站式的小型天辰法器，也只会被天剑追上，然后彻底蒸发。
冯落衣先是跟王崎简要的说了一下自己与图灵真人刚刚的对话。王崎首先是惊服于图灵真人的所做，更感叹了一下这个宇宙物理规律的神奇。
在这个宇宙，冯诺依曼机的概念，是比图灵机更早出现的。这是一个非常神奇的事情。冯落衣和图灵是先靠着模仿生灵魂魄，规范化出冯氏构架，然后又将之进一步机械化，得出一个不大严格的“图灵机”。
也只有科技黑箱特别容易形成的这个宇宙，才能够支持这种现象。
现在，神州修士对算器和算盘之间的认知是这样的――首先，算器无疑是算盘的进阶版本。但是，算器和算盘之间也没有过度的版本呢？
没人知道。
而现在，图灵真人就接着数学逻辑的突飞猛进，填上了这一块空缺。
这个研究可不是什么美其名曰“填补空白”的骗经费项目。它明确了算器的基础，让算器的发展“脚踏实地”。
很多算器方面的理论。有了更加坚实的根基。算器方向研究进行的余地也更大些。
而按照图灵说的，这还只是一个“副产品”。他是在思考如何绕过“不可判定”的时候，对着算器理论做出的改进。
而图灵真人真正思考的问题，才是更让王崎感兴趣。
“您是说，您刚才在尝试着做出一种逻辑推理的方法，用来证明……证明一些问题？”
“我希望他能够绕过你的不完备。不过貌似是失败了。”图灵真人摊开自己的书稿，指着道：“首先，我们在一个未知的变天式当中定义出天元地元人元――就像我们经常在天元式当中做的一样，用虚构的符号去处理未知的变天式。然后，我们假设我们有两个变天式‘斗’和‘牛’――别问我具体是什么，假设有这么一个……”
冯落衣有些感兴趣了。这种什么都是“假设”的思路，还是很罕见的。
而另一边，王崎却长大了嘴。
“这……这分明是……”
这是λ算法，地球历史上存在过的另外一个不可判定的证明。
也就是阿兰?图灵的导师。数学家丘奇的证明方法。
虽然阿兰?图灵最终证明了这个λ算法和图灵机是等价的，都是对不可判定性的证明。但是，这两个证明法在数学上却有着截然不同的意义。在后续的发展当中，图灵机证明和λ算法证明都走出了一条皇皇大道。
想到这里，王崎看着图灵真人那稍显清秀的脸，心中有些唏嘘。
想不到啊想不到。图灵机证明和λ算法证明互为表里，同归但又殊途。自己之前借着着“自指”的东凤，用了图灵机证明的不可判定。然后图灵真人又将丘奇的思路给完成了。
――神州的大修，虽然身上都有地球上某些人的影子。但是，他们终究是有自己的生命的。
丘奇是阿兰?图灵的导师。但是在此方天地，图灵真人乃是自学成才，这才自领了千机阁，镇压扶桑万妖。
――不过，图灵的思路应该和丘奇不大对得上才是吧？图灵真人到底是如何走出这一步的？
两位逍遥修士都是思维敏捷。交流也非常快。就在王崎走神的片刻功夫，图灵真人已经说完了自己的新点子。他笑了笑，道：“这算法也称得上不俗了。我自己试过，他能够证明几乎一切命题，表达几乎一切算学系统――它是个完备的系统。”
这是图灵真人对不可判定性的思考。也是他对不完备的思考。
冯落衣道：“可王崎之前也证明过了，完备性和相容性是不会同时存在的。这若是个万有万能的算法，那……”
“那它必然是一个自相矛盾的算法。”王崎手指在空中划动，凝聚彩光，写下道道算式：“对于有意义的逻辑系统，强大的表达能力必然伴随着坚不可摧的限制。我们现在代入一些明显是错误的算法……你看，也说得通”
敛财心 谭笑风声里，灼灼桃之夭 网游航海之王 道化九界 我，地球唯一超能力者 月薪十万，女总裁她果然不只是让我当司机 舌尖天下 运河之韵 先婚后爱：娇妻拒婚101次 巫妖生存指南 西游：六岁熊孩子，开局怒怼观世音 什么？奥特曼是终身制的？ 穿进语文书，从刺猹开始 我的修真小米三 建立帝国从骑士次子开始 巨树领主 盛世花都 大明：开局剧透崇祯，重振河山 灵异直播，女主她不想吓人 万苍天穹
兽世生子：猫系美人被大佬们追宠
关于兽世生子猫系美人被大佬们追宠天煞孤星的禾芊芊魂穿到兽世。成为金猫部落的雌性。原主貌丑，身体瘦弱矮小，发育不良，孤苦无依。到手一把烂牌。不怕不怕。幸亏绑定兽世生存系统，送动物亲和力赋能，送好孕生子大礼包。禾芊芊果断选择隔壁英俊阳光的兔狲兽人，当自己夫君。日子一天天红火，她脸上的脓包好了，长高了，更美了。突然有一天，被预测无生育能力的她，怀崽了。亲和力赋能Buff的加持，她妥妥的蜕变成猫系万人迷美人。撒丫子奔向好日子搞基建，种田，织布，一样样来。泠野，傲娇的猞猁兽人，孤冷清傲，为她折了腰。戬泽杀伐霸气的翼虎兽人，秒变虎斑猫，腻歪撒娇什么，宠物想升级当夫君？你咋不上天？有一天禾芊芊嘿嘿真香，路虎有，私人飞机也有，真的能上天。夜千暮霸道的疯批太攀蛇兽人，冷漠凉薄却对为她上了心忠犬雪鸮擎羽芊芊，你快看看我，毛秃了我就不可爱了吗？会幻术的人鱼冥宫谣妖孽傲娇的九尾狐狐翎，耿直的大熊猫兄弟，趾高气昂的凤凰甚至，还有个琅树藤，成了精的上古神树禾芊芊装柔弱你们不要过来啊！...
要疯！修真大佬爆的瓜嘎嘎香
评分低是由于评分刚出，书书很好看，入股不亏修真大佬，关月梨穿越了！！！穿到黑料缠身，同名的十八线小糊糊身上！某人气小鲜肉造谣关月梨想爬自己的床，关月梨掐指一算，不得了，小鲜肉是受。小鲜肉粉丝声讨关月梨，全网骂声一片。第二天，小鲜肉和瘾君子金主滚床单的视频，被铺天盖地地全网播。世界顶级导演重病难愈，关月梨一手...
我被妖魔圈养了
...
穿成王爷独女，一拳暴打京城权贵
关于穿成王爷独女，一拳暴打京城权贵姜安穿越了穿到了肩不能提手不能扛并且不能亲自揍人的三岁团子身上听说镇国王府有一嫡小姐，边关娇宠长大，整日招猫逗狗怼天怼地，还是听说，这位嫡小姐，打起人来邦邦响，来一个揍一个，来一双揍一双！什么？她打不过？姜安小手一挥，她一个人单挑一群打不过，那就群殴！某王爷单手拎娃，气场全开，谁欺负我闺女！姜安看见没，我爹！南商大名鼎鼎的并肩王，战场上的鬼见愁！倒地不起的众人好好个王爷，偏偏没长眼睛，这到底是谁欺负谁！边关团宠转战阵地，前往京城，以为她在诡谲的京都能收敛些，却不成想如同没了枷锁的疯子，只见身在京城的姜安，脚踩丞相，手指太后，我爹，镇国王！我爹，镇国王！我爹，镇国王！重要的事情说三遍！朝堂上，姜安剑指群臣，放话百官诸位和我爹比起来，都是渣渣！此天下分久必合，她姜安，姜寂臣之女，敢统三军，骑马跨边关，所过之处皆为南商国土，插满王军旗帜！后来，还是姜安。她曾见过末世的荒芜，便要守护此处的人间！她见过百姓尘埃里挣扎，便要将所见之人拎出沼泽！她见过将军铮铮铁骨，便要提剑护一方太平！她见过京城美人绝色，便不能忘怀其精才绝绝！...
东北金渐层把我家当月子中心了
轻松日常动物互动赶山沈星从大城市辞职回村，自从救下一头被捕兽夹子夹住的金渐层幼崽后，他在村里就过上了顿顿吃肉，家门口捡山珍的美滋滋小日子不是，到底是谁在传村里有个两脚兽会帮忙带娃啊？我家真不是月子中心！虎妈，你看你还客气上了，这麂子肉我真不能收。随着沈星开启直播，网友们看到他家里堆积如山的野山参灵芝松茸网友主播，这些都是你赶山捡到的？沈星啊，赶山？我真没赶山啊，我对灵芝人参啥的一点儿都不感兴趣这时，直播间正好录到一头五百斤重的金渐层叼着人参来找沈星啊，虎妈你别往我家里塞娃了，真带不了什么，你带了1o根野山参？还是一百年份的！欢迎欢迎，请进请进。网友们全都看傻眼了东北虎送礼？那长白山不成了主播家菜园吗这主播真6，躺平让他玩明白了！央妈采访沈星请问你一个失业人士，怎么做到在魔都买下一套房的？...
太太对不起，我真不是幕后大佬
关于太太对不起，我真不是幕后大佬影帝王洛的灵魂，穿越进了一个年轻人的身体中。这个叫陈亦鹏的年轻人，不仅拥有一位身份神秘的美艳太太，还有一堆数不清的麻烦。最可怕的是，一位妄图长生的大佬也将自己的意识，转入了这具身体中，并给予了更复杂的身份背景。面对大佬那群可怕的属下们，他必须小心谨慎，被发现的后果只有死路一条。从此，他这只羔羊必须披上狼皮，伪装成狼王，混迹在狼群之中。可怕的秘术，恐怖的秘武，超脱身体极限之后的见神不坏。他所能做的就是在异界闯出属于自己的道路，探索这个诡异的世界。陈先生！一位位掌控着帝国权力的人跪在面前，额头不断撞击着地面。他们仰头看着高坐在台上的年轻人，眼神中充满了敬畏，就犹如看到伟大的神只。...