走进修仙-第390部分

快捷操作: 按键盘上方向键 ← 或 → 可快速上下翻页 按键盘上的 Enter 键可回到本书目录页 按键盘上方向键 ↑ 可回到本页顶部! 如果本书没有阅读完，想下次继续接着阅读，可使用上方 "收藏到我的浏览器" 功能 和 "加入书签" 功能！


　　除此之外，再没有任何人开口了。
　　包括冯落衣在内，所有的算家，都陷入了深深的思考。有人甚至开始冷汗涔涔，越想越不是滋味。
　　审官乙，究竟能不能分辨出审官甲呢？
　　王崎设定已经说明——“绝对可以判断出一个个体是人或是机关人”，“逻辑上无懈可击”。
　　可是，如果审官乙识破了审官甲的意图，想要修改提问策略让甲猝不及防，那么反过来，甲也可以预先猜测到乙的问题去做准备。因为那套逻辑设定上就是“无懈可击！”
　　傀儡审官可以依靠那套逻辑甄别任何一台机器，所以它无法甄别同样拥有那套逻辑的另一个审官。
　　也就是说，傀儡审官，无法甄别自己。
　　和哥德尔不完备定理一样，不可判定性定理同样涉及“自指”的判断。
　　“所有命题都可以判定”这个命题究竟能不能判定？
　　王崎故事末尾的疑问，就意味着不可能找到一套完美的机械法则，来一步一步严丝合缝地解决这世界上所有的问题。
　　在场的所有逍遥，都怅然若失。
　　算乃摹道之法。所以，有不少算家都想要找出一个至高无上的准则，可以去解释时间一切事情。
　　他们觉得，那种境界，即使不是道，也是距离大道一步之遥的至高境界。
　　可是，现在王崎居然否定了这个追求。
　　——这样的境界，在理论上是不可能存在的，放弃吧！
　　若澈仙子鼻子一酸，只觉得心中有什么东西轰然崩塌。
　　她感觉到了，那是信念的崩溃。
　　就在这时，王崎再次开口：“听完这个故事之后，诸位前辈相比也应该知道了我论文的内容。关于这一点，我倒是觉得，很难说这是幸事，还是不幸。”


第一百七十二章　离宗叛徒？离宗标杆？
　　“听完这个故事之后，诸位前辈想必也应该知道了我论文的内容。关于这一点，我倒是觉得，很难说这是幸事，还是不幸。”
　　王崎的语气很平静，也很平和，好像刚才那惊人的理论，不是出自于他的的口，而是另外一个什么人说的一样。
　　“幸事？”艾克蛮抬头看了王崎一眼，微微苦笑，然后又摇了摇头：“我可看不出，这里面有什么让人觉得幸运的。”
　　王崎微微一笑：“若是有朝一日，我们真的可以理出一套逻辑，像我故事中傀儡审官判断机关人本身一样，判断一个算学命题的真假，那我们这些算家，是否还有存在的意义？恐怕到时候，神州再也不需要什么万法门了。一台终极算器，就胜过我们全部。”
　　所有的万法门修士，都低下头，眼神之中神光闪动。
　　若是真的到了那个地步，那么，万法门确实没有什么存在的必要了。一台终极算器——无论在算学上有什么问题，都能在短时间内给出解释的终极法器。那简直就是近道之物。
　　到了那一步，算学也就走到了尽头。
　　那么，现在算学走到了尽头吗？
　　恐怕远远没有。
　　地球上，曾经有无数学者叫嚣“物理学依旧走到了尽头”，“人类将要掌握终极的真理”。那个时代，是经典物理最鼎盛的时代——没错，只是经典物理。
　　那个时代的人甚至宣称，“物理学的天空上阳光灿烂，只是有两朵小乌云”。
　　这只是因为，他们看不到下一步。
　　看不到下一步，就以为自己走到了极限。实际上，他们还没有甚至还只停留在最初的境界。
　　如今的神州算学，和当时何其相像？
　　现在看来，神州的天物流转之道距离真正天道有多远，算学之道就距离真正天道有多远。
　　听了王崎的话之后，所有的算家总算是找回了一点热情。可是，依旧有人感叹：“说得是不假……可是以后，还有谁敢求算道？”
　　王崎的不完备、不可判定，几乎就是在整个算学之道上打上“虚无”的标签。
　　这种情况下，还有谁敢去探求算学之道呢？你甚至都不敢相信，自己所求的道是有意义的。
　　这不是什么“向道之心”不坚定的问题。因为，王崎的不完备，不可判定，都是根据算学本身推导出来的，证明过程无懈可击。
　　这就好比说，佛祖在法会上突然大开杀戒、生啖人肉，化青面獠牙之形，佛教徒的向道之心再坚定，估计也经不起这等刺激。
　　王崎，这就是剥去了算学那温和的假面，让它恐怖的本质暴露出来。
　　见众逍遥的表情飘忽，王崎心底苦笑。
　　地球的数学界，在经历了这一出波折之后，消沉了二三十年。这二三十年当中，的确还是有数学成果出现，但是却不复之前的那种盛况。
　　要求这些逍遥修士立刻接受不完备、不可判定这两重道理，也确实是强人所难。
　　不过，关于“如何研究”的问题，王崎还是有一点思路的。
　　“实际上，对于从今往后，算学要如何走下去，晚辈其实是有那么一点想法的。”
　　王崎此言，让倾听的众人又出现了些微的波动。
　　展望未来，不是谁都有资格去做的。这里在做的，都是神州最巅顶的算家。除了算君和算主，这世上还有人能够对着他们指指点点，说“你们接下来应该这么做”吗？
　　这不是面向大众，面向低阶修士，而是对着他们这些最巅顶的算学家。
　　他所做的，更不是什么不负责任的预言，而是类似于“五年计划”的纲领性的东西。能够做到这一点的，无不是能引领时代、独占鳌头之人。这种人，即使不是学派领袖、算门魁首，也相差不远了。
　　歌庭派前代领袖，曾经的神尊、云端公子柯兰荫，也是以一道纲领，统合了近古几何学以及变换群，开创了万法门“一法通则万法通”的时代。也正是因为这样，他才被认为是能够与算君一较长短的人。【这里指埃尔朗根纲领】
　　而他所概括的，也只有几何、群论两个领域而已。
　　王崎一开口，说的却是整个算学界。
　　如果是一般人这么说，哪怕是以为逍遥修士，恐怕这些巅顶修士都会开口斥责。
　　但是，唯独王崎，无人敢指责。
　　希门二十三问当中的第二问和第十问太有分量了。歌庭派众多逍遥攻坚，都未曾看到一丁点解决的希望。可是这个少年就解决了。
　　法力上，他或许还欠缺一点积累。但是，在算理逻辑的领域，他乃是巅顶级数。
　　“事实上，我既不能够也不打算给算学的未来发展指明一条道路——我甚至没有这个资格，而且我也知道这样做肯定是劳而无功的，实际上是一件可笑的事。我始终坚信，未来的算家正如过去的算家一样，总不会走老路。他们会通过我们想不到的关系用新观点看问题，去解决我们留给他们的大问题——只不过碍于见识，我们不知道。”
　　“但是，我至少知道，自己能够做什么。”
　　“不完备和不可判定并不是什么可怕的事情。缥缈之道证明了微观领域里，确定性丧失。但是，这对宏观的世界没有任何影响。我们依旧胜在一个有因有果的世界里。”王崎道：“我虽然证明了算学完备性和可判定性的缺失。但是，我只是证明了它们存在，却还不知道它们发生在何处。我们还远远没有触碰到算学的边缘。在已知的算学领域里，不完备和不可判定的意义不大。”
　　“至少在现在，我们已知的算学并没有和这个世界的客观事实产生矛盾。”
　　“或许，我们迟早有一天会面对这一切。就像我们想要探寻微观的世界，就不得不面对‘不确定’一样。但是，那一天不是现在。”
　　“那种研究过去还没有进行过，现在也还为时过早，至少现存的算学还不足以触及那个区域。我相信，当我们触及那个境界的时候，对于证明的需要早已达到意识的水平上，同时具有这种需求的技术已经发展起来——但不是现在。”
　　“而在这个领域之外，我们还有很多有意义的问题可以研究。比如希门二十三算之中的第五算——变天式与变换群；黎氏猜想——当我们放弃以变天式做为攻克它的利器之后，新的希望就在眼前；算王前辈的二次互反律……我们可以看到，算学依旧在进步。我们依旧可以迈步前行。”
　　“实际上，对于不求元算的道友来说，不完备和不可判定又或者没有都一样，对他们的工作没有任何影响。”
　　“而对于元算道的道友来说，我们的征途，才刚刚开始！我们还有很多事情要做！”
　　离宗有人不忿：“我们究竟还有什么能做的？”
　　——我们所追求的，已经被你摧毁。
　　“我完成了希前辈的问题，所以诸位就觉得没有问题可以解了吗？”王崎摇摇头。
　　学术界，解决问题基本上就等于“抢饭碗”。一个猜想被验证，就有无数指着这个猜想吃饭法的数学家失业。这里的这些逍遥修士，不仅仅是道心动摇，更是被夺去了为之奋斗的目标。
　　只不过，他王某人摘取这些目标的方式，和这些人理想的方式截然相反，所以他们一时之间无法接受。
　　但是……
　　“算主曾经说过，有问题，才说明这个学科正在发展。”王崎叹道：“不完备与不可判定，就是我暴露出的巨大问题。至于绕过这个问题的思路——其实我在六年前就说过了。”
　　“六年之前……”
　　有一些算家露出了复杂神色。六年之前，王崎在器成之宴上确实说过了一些“思路”。但是那个时候，没人在意。他们所有人都将之当成了这个小辈的一点个人心得——一点个人的研究思路而已。就算再完善，又有什么意义？
　　但是，谁也没有料到，今日，他证明算主思路的谬误之后，那个谁也没有在乎过的思路，竟会成为未来离宗的发展方向。
　　此时再看这个少年。
　　离宗叛逆？
　　离宗未来领袖？
　　诸多逍遥修士隐约看到了这一点。只不过感情上，他们一时之间还无法接受罢了。
　　冯落衣轻咳了两声：“相信到了这里，诸位也就都大致了解王崎这个人的思路、理念了。现在，王崎，你可以给大家讲解你的论文了。”
　　王崎点点头，按照标准了六成，开始讲述自己的论文《论可计算数及其在判定问题上的应用》。
　　算君对此兴趣依旧不大，摇摇头道：“百无一用。”
　　《论可计算数及其在判定问题上的应用》论文同样不是很长。和《试论卷一算术篇中形式上不可判定之陈述及相关系统》一样，它的证明过程实际上非常简单。
　　简单，但是充满了智慧。
　　所有逍遥都不知不觉的沉浸在这一片论文之中，这论文本身就散发着充满诱惑性的智慧光彩。即使明知道这条逻辑之河会流向万丈深渊，那些算家也没办法忍住不听。
　　很快，一个修士站起来，如痴如醉，大声喝采：“好啊！”
　　站立者，千机阁阁主，图灵真人。


第一百七十三章　成名，会议
　　对于图灵真人第一个站起来，王崎丝毫不感到意外。
　　因为，在地球上，写出《论可计算数及其在判定问题上的应用》的学者，名字叫做阿兰·图灵——图灵真人的同位体。
　　王崎相信，即使自己不发表这一篇论文，那么这位逍遥修士也会在三五年之后发表出相似的论文。
　　当然，王崎并不觉得自己这样算是剽窃——实际上也很难界定这种情况。两个世界的历史虽然存在一定的相似之处，但是图灵真人毕竟不是那个阿兰·图灵。在这个世界的历史上，图灵真人并没有迸发出灵感来解决这个判定性问题。
　　而且王崎上辈子作为一个物理学家，也没有无聊到将不可判定性的论文背下来。那一篇论文，是王崎自己独立推导完成的，绝大部分都是王崎自己的原创内容。
　　但即便是如此，王崎依旧对图灵真人恭敬一礼：“不敢当。若是没有我，真人再过三五年，亦是能够求出这一重道理。
　　图灵摆摆手：“这可就未必了。我确实是有一点这方面的想法，不过我这个人性子散漫，要么在万仙幻境里消磨时间，要么在扶桑闲晃，在专注上倒是不如诸多道友了。对我来说，你这是省了我数年的苦工啊！而且这不可判定一处，万仙幻境很多在逻辑上的问题就可以绕解决了。再给我一年……不至多半年，我就可以让万仙幻境再更新一代！”
　　算器，始终是建立在逻辑之上的。
　　不完备，不可判定，都是算理逻辑领域的重大突破。
　　这样的突破，又怎么可能会不带动算器的发展？
　　而算器的发展意味着什么？万仙幻境的全面升级！
　　万仙幻境，乃是仙盟目前最大的倚仗之一。可以说，若大仙盟之所以能够运转有度，这万仙幻境功不可没。
　　可以说，这绝对是最近几十年，实际意义最大的理论之一。
　　它甚至有可能开启一个时代！
　　算君表情有些悻悻。他觉得，自己刚刚才说王崎的理论百无一用，结果这边的人就大声称赞，这实在是很不给他面子。只不过，他对算器也是颇为感兴趣的。反正在这里也没人敢笑他不知羞，于是他干脆越过人群，直接找图灵真人讨论起来了。
　　他并非不懂集合论，只是反对将集合论作为算学的根基，讨厌将集合论做成文字游戏。对于算器，他还是很喜欢的。
　　而更多的人，则将目光投射到王崎身上。
　　“啪啪啪。”
　　第一道掌声响起之后，才有第二道、第三道……越来越多的逍遥修士开始鼓掌。稀稀落落的掌声逐渐连成一片。
　　正如冯落衣所说，不管他们承不承认，算学的历史，又翻开了新的一页。
　　这就像他们的意志无法决定太阳是否从东面出来一样。
　　算学，进入了一个新的时代。
　　一个类似于物理领域缥缈之道的时代。
　　在一众逍遥的掌声当中，王崎走回了自己的座位。这时，他听到了冯落衣的传音。
　　“做得不错。”
　　除此之外，再没有什么别的话语。冯落衣确实不是很会说话。
　　王崎点点头，握住有些颤抖的手。
　　这个时候，他激动得说不出话来。
　　论文的结论确实不是他的。但是，过程是他王崎独立求得的，灵感也是他自己的。怎么说呢？这一篇论文不是他的亲生儿子，至少也应该算养子吧？
　　尽管早就知道了不可判定性定理的历史地位，但是他有什么理由不激动吗？
　　就算单为“见证”，也值得狂歌三日！
　　“我也没有料到，你能做到这一步。第二问、第十问……现在万法门已经不会有人怀疑你不能踏破天关了，涅槃劫十有八九也难不倒你。现在，大家就智慧猜测，你需要用多久成道逍遥了。”
　　“老师谬赞……”
　　“这可不是在夸你。”冯落衣摇头笑了笑：“这次小会结束之后，你就会是当之无愧的算理逻辑第一人，同辈之中，不会有人比你更强。就算是‘前辈’里面，怕是也没几个能在你面前称高人了——当然，这不能成为你蔑视前辈的理由！”
　　“是。”王崎点点头，还有点晕。
　　“以后，有什么计划，你就正大光明的交上计划书就好了。只要是不违背原则性的问题，仙盟都会支持你。想要做什么，就去做吧！”
　　这一句话，让王崎回到现实。他两眼放光——说了这么多，终于有实质性的东西了。
　　“那么……天灵岭的禁令咱是不是……”
　　“唯独这个不可能。”冯落衣一口回绝：“想都别想。”
　　王崎的脸立刻就垮了下来：“刚才还说支持啊