第446节(1 / 2)
“而在这个领域之外,我们还有很多有意义的问题可以研究。比如希门二十三算之中的第五算——变天式与变换群;黎氏猜想——当我们放弃以变天式做为攻克它的利器之后,新的希望就在眼前;算王前辈的二次互反律……我们可以看到,算学依旧在进步。我们依旧可以迈步前行。”
“实际上,对于不求元算的道友来说,不完备和不可判定又或者没有都一样,对他们的工作没有任何影响。”
“而对于元算道的道友来说,我们的征途,才刚刚开始!我们还有很多事情要做!”
离宗有人不忿:“我们究竟还有什么能做的?”
——我们所追求的,已经被你摧毁。
“我完成了希前辈的问题,所以诸位就觉得没有问题可以解了吗?”王崎摇摇头。
学术界,解决问题基本上就等于“抢饭碗”。一个猜想被验证,就有无数指着这个猜想吃饭法的数学家失业。这里的这些逍遥修士,不仅仅是道心动摇,更是被夺去了为之奋斗的目标。
只不过,他王某人摘取这些目标的方式,和这些人理想的方式截然相反,所以他们一时之间无法接受。
但是……
“算主曾经说过,有问题,才说明这个学科正在发展。”王崎叹道:“不完备与不可判定,就是我暴露出的巨大问题。至于绕过这个问题的思路——其实我在六年前就说过了。”
“六年之前……”
有一些算家露出了复杂神色。六年之前,王崎在器成之宴上确实说过了一些“思路”。但是那个时候,没人在意。他们所有人都将之当成了这个小辈的一点个人心得——一点个人的研究思路而已。就算再完善,又有什么意义?
但是,谁也没有料到,今日,他证明算主思路的谬误之后,那个谁也没有在乎过的思路,竟会成为未来离宗的发展方向。
此时再看这个少年。
离宗叛逆?
离宗未来领袖?
诸多逍遥修士隐约看到了这一点。只不过感情上,他们一时之间还无法接受罢了。
冯落衣轻咳了两声:“相信到了这里,诸位也就都大致了解王崎这个人的思路、理念了。现在,王崎,你可以给大家讲解你的论文了。”
王崎点点头,按照标准了六成,开始讲述自己的论文《论可计算数及其在判定问题上的应用》。
算君对此兴趣依旧不大,摇摇头道:“百无一用。”
《论可计算数及其在判定问题上的应用》论文同样不是很长。和《试论<万法算藏>卷一算术篇中形式上不可判定之陈述及相关系统》一样,它的证明过程实际上非常简单。
简单,但是充满了智慧。
所有逍遥都不知不觉的沉浸在这一片论文之中,这论文本身就散发着充满诱惑性的智慧光彩。即使明知道这条逻辑之河会流向万丈深渊,那些算家也没办法忍住不听。
很快,一个修士站起来,如痴如醉,大声喝采:“好啊!”
站立者,千机阁阁主,图灵真人。
第一百七十三章成名,会议
对于图灵真人第一个站起来,王崎丝毫不感到意外。
因为,在地球上,写出《论可计算数及其在判定问题上的应用》的学者,名字叫做阿兰·图灵——图灵真人的同位体。
王崎相信,即使自己不发表这一篇论文,那么这位逍遥修士也会在三五年之后发表出相似的论文。
当然,王崎并不觉得自己这样算是剽窃——实际上也很难界定这种情况。两个世界的历史虽然存在一定的相似之处,但是图灵真人毕竟不是那个阿兰·图灵。在这个世界的历史上,图灵真人并没有迸发出灵感来解决这个判定性问题。
而且王崎上辈子作为一个物理学家,也没有无聊到将不可判定性的论文背下来。那一篇论文,是王崎自己独立推导完成的,绝大部分都是王崎自己的原创内容。
但即便是如此,王崎依旧对图灵真人恭敬一礼:“不敢当。若是没有我,真人再过三五年,亦是能够求出这一重道理。
图灵摆摆手:“这可就未必了。我确实是有一点这方面的想法,不过我这个人性子散漫,要么在万仙幻境里消磨时间,要么在扶桑闲晃,在专注上倒是不如诸多道友了。对我来说,你这是省了我数年的苦工啊!而且这不可判定一处,万仙幻境很多在逻辑上的问题就可以绕解决了。再给我一年……不至多半年,我就可以让万仙幻境再更新一代!”
算器,始终是建立在逻辑之上的。
不完备,不可判定,都是算理逻辑领域的重大突破。
这样的突破,又怎么可能会不带动算器的发展?
而算器的发展意味着什么?万仙幻境的全面升级!
万仙幻境,乃是仙盟目前最大的倚仗之一。可以说,若大仙盟之所以能够运转有度,这万仙幻境功不可没。
可以说,这绝对是最近几十年,实际意义最大的理论之一。
它甚至有可能开启一个时代!
算君表情有些悻悻。他觉得,自己刚刚才说王崎的理论百无一用,结果这边的人就大声称赞,这实在是很不给他面子。只不过,他对算器也是颇为感兴趣的。反正在这里也没人敢笑他不知羞,于是他干脆越过人群,直接找图灵真人讨论起来了。
他并非不懂集合论,只是反对将集合论作为算学的根基,讨厌将集合论做成文字游戏。对于算器,他还是很喜欢的。
而更多的人,则将目光投射到王崎身上。
“啪啪啪。”
第一道掌声响起之后,才有第二道、第三道……越来越多的逍遥修士开始鼓掌。稀稀落落的掌声逐渐连成一片。
正如冯落衣所说,不管他们承不承认,算学的历史,又翻开了新的一页。
这就像他们的意志无法决定太阳是否从东面出来一样。
算学,进入了一个新的时代。
一个类似于物理领域缥缈之道的时代。