第136部分 (第3/5页)

辰风突然把话题带回来：“玩笑开过了，那么我就要问你一下——对于这件事，你到底是个什么态度？”

王崎扶额：“我再次对我人生的剧情主线产生怀疑……”

我本来以为我是一个奇幻修真流小说的主角，结果变成论文流科技文主角，现在怎么又活出一份官场文主角那种各种妥协让步、利益均沾的感觉？

尼玛科技文不是应该憋技能树然后一路碾压吗？

辰风又一次迷煳了。他又问了一遍：“你的打算……”

“哦哦，我的啊。”王崎这才会过意，说道：“若要说我的话，其实很简单。”

“大数律的话搁置个把月也不是不行，然后最近学习统计，顺便继续整理归纳算术系统。”

大数律这个之所以这么早就弄，还是有煳弄那个一根筋丫头的意思——概率论多大的题目啊，也不在乎这一天两天的了。

统计，这个是得搞，但是概率没起来，统计也起不来，所以只能说“学一学”——顺便让辰风这个东家听着，表示我还是一个好员工。

一阶逻辑、完备定理倒是可以搞下去，但是吧……再搞下去就是哥德尔不完备了，这反而是对歌庭派的打击——而自己现在就是歌庭派。

所以能作的，也就只有高算术系统了。

辰风过了好一会才会过意，皱眉：“你好像……打算掺和这次论战啊？”

第八十四章　弱者为何要战斗

算主领导的歌庭和算君领导的黎派，争锋的焦点就在于算理逻辑。这个领域是算理最基础的部分。而一个算家对这个领域的认知，就决定了他对数学的整体把握。

辰风算学和王崎比只能说烂，但是这一点他还是知道的。

王崎笑道：“冯前辈也是这么吩咐的啊，照做没坏处。”

冯落衣、希柏澈都仍未王崎在算理逻辑上非常有天分，在一阶逻辑的道路上接着走下去，迟早能够到达希柏澈理想的境界。

但是王崎却是知道的，这条路不是不能走，但下一步的结果去只会同希柏澈的预期背道而驰。

哥德尔不完备定理，摧毁数学崇高之美，将数学赶下神坛的可怕定理。

在地球的历史中，哥德尔不完备定理证明希尔伯特第二问是个无解的题目，使希尔伯特计划破产。若是在神州抛出来，怕是会彻底动摇歌庭派的威信吧。

不管自己怎么说，在别人眼里自己都被打上“歌庭派”的标签了，所以做理论的时候还是考虑一下这方面比较好。

顺便，自己也得防备一下别人顺着自己的思路将不完备定理搞出来。

虽然对于哥德尔这种绝世天才来说，完备定理到不完备定理只有一年的时间，但对于普通数学家来说，哥德尔一年走完的路是绝对的天堑。

更别说哥德尔本人得出完备定理，都是靠了灵光一闪的顿悟。

黎派修士和哥德尔理念不完全一致，对数学的理解有差别，因此思路、擅长的方法也不一样。他们在王崎论文的基础上顺着哥德尔思路推出不完备定理的可能性不大，威胁比较大的现在看来只有算君一人。

真正要警惕的，还是“自己人”。

熟悉后续历史的王崎知道。希尔伯特计划去程成果的希望不在于完备性与可判定性，这两个是被明确否定了的。它唯一有希望的部分，在于在于算术系统的一致性。

哥德尔不完备性定理第二条，对于任意的数学系统，如果其中包含了算术系统的话，那么我们不能在这个系统内部证明它的一致性。这就是希尔伯特第二问题答案的一部分。

使用不在算术系统之内的超限归纳法证明算术系统的一致性，就正好绕过了不完备性定理划出的，跨不过的