看书中文网

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

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

(小燕文学WwW.XiaoYanwenXue.CoM)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

这是王崎目前的计划。

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

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

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

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

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

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

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

玄玑图  神捕乱宋  舞吧,傀儡  美女教师的鬼医高手  与女精灵的地球生活  醉卧九天  超级特警综合系统  鼎天武帝  黑暗剑圣  重生之天生我才  权柄大明  苍天霸业  死亡神座  纸醉江山  我叫布里茨  霸隋  道梦之轮回  兽王三国  网游之零纪元  美女总裁老婆  

热门小说推荐
顶级宠婚:闷骚老公坏死了

顶级宠婚:闷骚老公坏死了

同父异母的姐姐不想嫁给传闻中又丑又不能人道的未婚夫,亲生母亲下跪求她你姐姐值得更好的,你帮帮她吧。她心寒似铁,代替姐姐出嫁。新婚之夜,英俊的男人皱眉看她太丑了。她以为两人从此会相敬如冰,却不料,他直接将她压倒再丑也是我的女人。她瞠目看他你你不是不能男人剥下她层层的伪装,看着她本来漂亮的面容,邪笑道看来我们对彼此都有误解。...

逍遥神医在都市

逍遥神医在都市

孤儿院长大的医学院毕业的实习医生李乔,睡梦中梦到一位身穿古装容貌跟他一样也叫李乔的男子,古装李乔自称是现代李乔先人,将他当十年道士所学的玄术注入现代李乔身上,又交给他三部医药典籍,分别是经脉一卷,汤方一卷,丸方一卷...

宋二姑娘择婿记

宋二姑娘择婿记

橘色书屋VIP0801完结当前被收藏数1148文章积分40239668文案当杜国公府世子爷杜禹重回京城,才发现娘子被人勾走了,这奸夫居然是以宦官之身兼任京畿督察使威武大将军,...

九州战神全文免费阅读

九州战神全文免费阅读

一代战神秦九州重归都市,为弥补遗憾,搅动风起云涌,以不败之资横行四方,诸天震颤。...

年少有为

年少有为

原生家庭的影响有多大,或是自卑懦弱,毫无自信或是暴力成性,锒铛入狱亦或撕裂婚姻,妻离子散无数次痛彻心扉的感悟后,有的人,用一生来治愈童年有的人,用童年治愈一生。...

雪中燕王朝

雪中燕王朝

乱世天下,江山美人,再忆今生,恍然如梦梦里霸王无别姬,却知归路。...

每日热搜小说推荐