第一百七十二章 离宗叛徒?离宗标杆?(第2/2页)

“但是,我至少知道,自己能够做什么。”

“不完备和不可判定并不是什么可怕的事情。缥缈之道证明了微观领域里,确定性丧失。但是,这对宏观的世界没有任何影响。我们依旧胜在一个有因有果的世界里。”王崎道:“我虽然证明了算学完备性和可判定性的缺失。但是,我只是证明了它们存在,却还不知道它们发生在何处。我们还远远没有触碰到算学的边缘。在已知的算学领域里,不完备和不可判定的意义不大。”

“至少在现在,我们已知的算学并没有和这个世界的客观事实产生矛盾。”

“或许,我们迟早有一天会面对这一切。就像我们想要探寻微观的世界,就不得不面对‘不确定’一样。但是,那一天不是现在。”

“那种研究过去还没有进行过,现在也还为时过早,至少现存的算学还不足以触及那个区域。我相信,当我们触及那个境界的时候,对于证明的需要早已达到意识的水平上,同时具有这种需求的技术已经发展起来——但不是现在。”

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

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

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

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

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

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

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

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

但是……

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

“六年之前……”

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

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

此时再看这个少年。

离宗叛逆?

离宗未来领袖?

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

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

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

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

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

简单,但是充满了智慧。

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

很快,一个修士站起来,如痴如醉,大声喝采:“好啊!”

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