盘龙小说网

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

第八十四章 弱者为何要战斗(第1页)

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

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

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

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

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

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

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

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

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

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

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

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

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

熟悉后续历史的王崎知道。希尔伯特计划去程成果的希望不在于完备性相容性可判定性,而在于算术系统的一致性。

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

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

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

这是王崎目前的计划。

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

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

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

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

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

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

热门小说推荐
我的云养女友

我的云养女友

云养,是一种新兴的娱乐方式。一般是指因为条件限制,没办法自己养猫,养狗,养宠物的人,通过网络等方式,远程养这些宠物,借此获得心理的愉悦感。而在养的过程,这些人也会投喂,或者打赏,参与到养的过程中。像是真的拥有这个宠物一样。而职业玩家陈言,却无意中玩了个云养女友的游戏。只要给云养女友投喂食物或者买买买,就可以...

锦乡里

锦乡里

皇孙陆瞻前世与乡野出身的妻子奉旨成婚,一辈子貌合神离,至死相敬如冰。重生回来他松了口气,并决意从根源上斩断这段孽缘。不想等到一切如愿,他却忽然发现他前妻不,他妻子,他媳妇儿,孩他娘!不但也在一直像避瘟神似的避着他,而且还在他处心积虑揭破敌人阴谋且累得像条狗的时候,却把她小日子过得滋滋润润,在村里遛着狗,赏...

快穿:反派独宠小可爱

快穿:反派独宠小可爱

快穿1v1甜宠自从神魔大战以后,天宫上的人都知道小仙女阿司养了一条小黑龙。那条小黑龙可娇气了,不仅吃饭要喂,就连睡觉也要抱着。直到,小黑龙长成了大黑龙。他把阿司推下了轮回台,自己也跟着跳了下去。阿司,你不要我了吗?阿司,你抱抱我后来的后来,阿司轮回归来。魔尊上渊马不停蹄的杀上了天宫。阿司你出来,我...

最强天赋树

最强天赋树

如果宇宙是款游戏的话浩瀚宇宙,亿万世界,地球只是游荡在域外星空的孤独星球。而域内星域魔师纵横,他们探索基因深处的奥秘,追寻生命进化的最终形态,在无尽的岁月长河中前仆后继,踏出一条通往神坛之路。游戏高手风浩意外涉足这片星域,以逆天种族天赋张狂崛起,撼动整片星空!且看一棵来自地球的小树苗如何成长为参天大树。数据流玄...

医统花都

医统花都

医圣传人回归都市!他武功卓绝,崇尚暴力,拳头是解决问题的最佳途径。他医术超群,针灸无双,小小银针足以起死回生。他算命卜卦,无所不能,成为无数绝色美女的梦中...

财阀小娇妻:谢少宠上瘾!

财阀小娇妻:谢少宠上瘾!

记者采访富豪榜首谢闵行,谢总,请问你老婆是你什么?谢闵行心尖儿宝贝。记者不满足,又问可以说的详细一点么?谢闵行心尖子命肝子,宝贝疙瘩小妮子。这够详细了吧?记者们被塞狗粮,欲哭无泪,准备去采访某小妮子,谢少夫人,请问你丈夫是你什么?...