走进修仙

readx; 在图灵真人的帮助之下，这一场问答，便算是有惊无险的度过去了。
王崎“穿越”之前的年代，对于现代数理逻辑的研究已经远非哥德尔的时代可以相比。光是能够和图灵机、拉姆达算法等价的数学系统都不知道多少。就王崎知道的，包括王崎之前在神州做出来的元胞自动机，以及波斯特对应问题、计数器机、马尔科夫算法、递归函数。
在这个问题上，他眼光先天就高于神州众人。
而他自身天分也不弱，又有图灵真人的鼎力相助。半年的时间，自然能够完成很多事情。
对于一般的逍遥来说，王崎和图灵真人的准备，就是天衣无缝、无懈可击的。
无懈可击到光是想一想，就能够让他们失去勇气。
最终，还是冯落衣打断了王崎和图灵真人的交流。他看四下无人，便道：“若是现在没有人继续提问，那么，提问的时间便到这里了。”
图灵真人意犹未尽：“稍等，等我们将这个问题讨论完……”
“你们自己私聊就好。”冯落衣扫了算主和算君一眼，然后才宣布道：“现在，我们便坐等子夜罢。”
这便是今法修法为数不多的讲究。这种颠覆性之道的总结，一定要在子夜进行。
新旧之交，昨日之种种昨日死，今日之种种今日生。
那些逍遥修士精神还沉浸在不完备定理带来的震撼当中，到现在才惊觉，时间居然已经过去了这么久。
午时起，子时止。这一场讲道，竟已经持续了整整半天。
和图灵真人讨论完之后，王崎再次坐回那个讲坛的边缘，闭目养神。明明还只是刚才那个金丹期的小修士。但不知为何，一众逍遥竟觉得他身上仿佛有了如岳如渊的气息。
——心理作用？
有些人产生了一丝怀疑。
就算是不认可王崎理论的算君一系，也不得不承认，王崎却是是很有天分的。
再无人能够无视他。
“方入仙途。便威压天下……”有人低声道：“我仿佛看到了又一个苍生国手。”
“说他像算君才是吧……都是摧破一代歌庭领袖的道心，来成就赫赫威名……”
“闭嘴！”
那句话似乎引起了一点骚动。大部分算家都担忧的看着算主。
在一场动荡之中，算主是受创最深的一人。王崎从他的思想、他的思路当中孕育出了否定他的武器。他毕生的追求也被打破。现在，这位巅出了自己的想法：“只有少数思想落后的人仍坚持这样的立场:算学家必须依靠他的‘直觉’来得出新的‘非逻辑的’或‘前逻辑的’推理要素。如果某些算学分支还没有公理化，也就是还原成这样的陈述方式，其中所有名词都用集合论的基本概念来定义，所有公理都用集合论的原始概念明显表示出来，那只是还没有足够的时间让我们这么干。当然，很有可能有朝一日我们的后代会要求把我们所不允许的推理方式引进集合论。甚至很有可能以后用我们现在所用的推理模式发现今天我们还没有看出的矛盾的萌芽，虽然近代逻辑学家的工作说明这种情况出现的可能性很小很小。到那时，就需要进行一次普遍的修正，不过即使现在我们也能肯定算学中最本质的要素也不会受到影响。”
只听到第一句话，包括算君在内的所有少黎派修士都勃然色变。
王崎这便是相当于指着他们的鼻子开骂！
但是，王崎一定要这么说。
这就是他后续思想的铺垫。
“他到底还是离宗弟子……”若澈仙子脸上浮现出复杂的表情，不只是欣慰还是怨恨。
“即使在二十三问的问题中，仍然有几个问题离我们很遥远，虽说它们还不是不可达到的目标，它们或许继续给不止一代人提供研究课题。其中第五个关于李群的问题就是一个例子……”
“黎曼猜想，在人们放弃用变天式的方法证明它的打算之后，现在似乎出现了新光明。它表明它与某个变天式的猜想密切相关，这样一来使得这两个问题成为同一算术-代数问题的两个方面。而对这个问题，对于给定数域同时研究其所有分圆扩张无疑起着决定性的作用……”
“……算王高嗣的算术集中在二次互反律的周围;现在我们知道，二次互反律只不过是‘类域’诸定律的头一个特例，而这些定律是决定代数数域的阿氏扩张的定理，我们也知道怎样表述这些定律使得它们看起来是一个紧凑的整体……”
一个个问题被提出。诸多算家都不傻。他们肯快意识到，这是一个成熟的思想体系。
既包括离宗的那些逻辑、形式化。也有连宗的代表的低维拓扑、代数拓扑。隐约之间，还有一些更在其之上的东西。
何外尔的眼神热切起来。
“这个王崎，求的果然是算学的涅槃！”(未完待续。)