优质中文网

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

第167章（第3页）

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

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

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

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

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

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

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

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

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

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

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

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

“所以下一步是从集合论当中搞出超限归纳法再代入对算术系统的解释，把论战的关键导向算术系统的一致性。”

这是王崎目前的计划。

辰风皱眉：“你知不知道掺和算君和算主的论战意味着什么？不要以为你身在神京就不会沾到火星了。”

“我只会抛出几篇论文啊，一般不会直接回应对方诘难的。”王崎笑道。

只要能够把重点引导到算术系统的一致性就差不多了。

而且整理算术系统同样是个大工程，自己没那没多时间去一一完成，这个只要是自己真实水平参与一部分就可以了。

辰风疑惑的看了王崎一眼，问道：“你好像对这场论战有很重的执念啊……错觉？”

王崎摇头：“这可不是错觉。”

我是真的很想掺和这一场论战。

前世读亨利·庞加莱的传记，王崎就有一种很奇妙的感觉。

这个人，生不逢时。

数学家大多喜欢在物理学领域插一脚以显示自己智商过剩，但是他的时代，正是经典物理发展到极致的时候，没有多少东西供他玩乐了，等爱因斯坦引发新一轮革命的时候，他又已经垂垂老矣；他与戴维希尔伯特正好处于两代，他渐渐老去的时代正是希尔伯特一步步升起的时代，等希尔伯特到了鼎盛时期，他已经因为衰老退出了数学的第一线。

亨利·庞加莱一生都没有真正燃烧过。

但是在这个世界，他要面对的却是一个绽放出全部光彩的绝世天才，算君庞家莱！

而与他同一阵营的，是算主希柏澈和苍生国手冯落衣！是同一等级的数学大家！

任何一个有水平的数学家都会为这样的论战而激动。

而且，王崎自己也存了一点小小的心思。

“我或许还是不如五十岁左右、正处于人生顶峰的哥德尔……但是，我应该有哥德尔二十岁左右的水平吧？”

他并非是自己参与其中，而是代表哥德尔，参与这场地球上不可能发生的盛会。

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