笔趣阁

手机浏览器扫描二维码访问

第446章（第1页）

“而在这个领域之外，我们还有很多有意义的问题可以研究。比如希门二十三算之中的第五算——变天式与变换群；黎氏猜想——当我们放弃以变天式做为攻克它的利器之后，新的希望就在眼前；算王前辈的二次互反律……我们可以看到，算学依旧在进步。我们依旧可以迈步前行。”

“实际上，对于不求元算的道友来说，不完备和不可判定又或者没有都一样，对他们的工作没有任何影响。”

“而对于元算道的道友来说，我们的征途，才刚刚开始！我们还有很多事情要做！”

离宗有人不忿：“我们究竟还有什么能做的？”

——我们所追求的，已经被你摧毁。

“我完成了希前辈的问题，所以诸位就觉得没有问题可以解了吗？”王崎摇摇头。

学术界，解决问题基本上就等于“抢饭碗”。一个猜想被验证，就有无数指着这个猜想吃饭法的数学家失业。这里的这些逍遥修士，不仅仅是道心动摇，更是被夺去了为之奋斗的目标。

只不过，他王某人摘取这些目标的方式，和这些人理想的方式截然相反，所以他们一时之间无法接受。

但是……

“算主曾经说过，有问题，才说明这个学科正在发展。”王崎叹道：“不完备与不可判定，就是我暴露出的巨大问题。至于绕过这个问题的思路——其实我在六年前就说过了。”

“六年之前……”

有一些算家露出了复杂神色。六年之前，王崎在器成之宴上确实说过了一些“思路”。但是那个时候，没人在意。他们所有人都将之当成了这个小辈的一点个人心得——一点个人的研究思路而已。就算再完善，又有什么意义？

但是，谁也没有料到，今日，他证明算主思路的谬误之后，那个谁也没有在乎过的思路，竟会成为未来离宗的发展方向。

此时再看这个少年。

离宗叛逆？

离宗未来领袖？

诸多逍遥修士隐约看到了这一点。只不过感情上，他们一时之间还无法接受罢了。

冯落衣轻咳了两声：“相信到了这里，诸位也就都大致了解王崎这个人的思路、理念了。现在，王崎，你可以给大家讲解你的论文了。”

王崎点点头，按照标准了六成，开始讲述自己的论文《论可计算数及其在判定问题上的应用》。

算君对此兴趣依旧不大，摇摇头道：“百无一用。”

《论可计算数及其在判定问题上的应用》论文同样不是很长。和《试论卷一算术篇中形式上不可判定之陈述及相关系统》一样，它的证明过程实际上非常简单。

简单，但是充满了智慧。

所有逍遥都不知不觉的沉浸在这一片论文之中，这论文本身就散发着充满诱惑性的智慧光彩。即使明知道这条逻辑之河会流向万丈深渊，那些算家也没办法忍住不听。

很快，一个修士站起来，如痴如醉，大声喝采：“好啊！”

站立者，千机阁阁主，图灵真人。

第一百七十三章成名，会议

对于图灵真人第一个站起来，王崎丝毫不感到意外。

因为，在地球上，写出《论可计算数及其在判定问题上的应用》的学者，名字叫做阿兰·图灵——图灵真人的同位体。

王崎相信，即使自己不发表这一篇论文，那么这位逍遥修士也会在三五年之后发表出相似的论文。

当然，王崎并不觉得自己这样算是剽窃——实际上也很难界定这种情况。两个世界的历史虽然存在一定的相似之处，但是图灵真人毕竟不是那个阿兰·图灵。在这个世界的历史上，图灵真人并没有迸发出灵感来解决这个判定性问题。

而且王崎上辈子作为一个物理学家，也没有无聊到将不可判定性的论文背下来。那一篇论文，是王崎自己独立推导完成的，绝大部分都是王崎自己的原创内容。

但即便是如此，王崎依旧对图灵真人恭敬一礼：“不敢当。若是没有我，真人再过三五年，亦是能够求出这一重道理。

图灵摆摆手：“这可就未必了。我确实是有一点这方面的想法，不过我这个人性子散漫，要么在万仙幻境里消磨时间，要么在扶桑闲晃，在专注上倒是不如诸多道友了。对我来说，你这是省了我数年的苦工啊！而且这不可判定一处，万仙幻境很多在逻辑上的问题就可以绕解决了。再给我一年……不至多半年，我就可以让万仙幻境再更新一代！”

开局被女土匪看中，我占山为王  穿越千年，只为遇见你！  富婆的快乐你不懂[神豪]  十二鬼月横滨结仇日常  风刃之芒  震惊！这个男人能点化智械  是你攻略不下的女主  夫君热衷于给我捧场  七零夜校女教师  妻调令  雄虫他只想苟命[虫族]  [原神]为了磕cp我连天理都能推翻  穿成大佬假妹妹  穿成流放文的极品小姑（穿书）  孤手握三十万重兵，你让孤自裁？  重回86：大哥死前托妻给我  魂穿七零，这个世界我要做大女主  再见，我亲爱的封先生  怪厨  我靠拾荒称霸三界