格爱乐文

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

这是王崎目前的计划。

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

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

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

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

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

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

敛财心  我,地球唯一超能力者  道化九界  网游航海之王  大明:开局剧透崇祯,重振河山  巫妖生存指南  建立帝国从骑士次子开始  谭笑风声里,灼灼桃之夭  我的修真小米三  舌尖天下  盛世花都  月薪十万,女总裁她果然不只是让我当司机  西游:六岁熊孩子,开局怒怼观世音  先婚后爱:娇妻拒婚101次  什么?奥特曼是终身制的?  灵异直播,女主她不想吓人  穿进语文书,从刺猹开始  运河之韵  巨树领主  万苍天穹  

热门小说推荐
修仙:与女宗主双修,日久生情了

修仙:与女宗主双修,日久生情了

关于修仙与女宗主双修,日久生情了(简介无力,请移步正文)单女主纯正凡人流无系统炼气筑基结丹不后宫蓝星苏平携带一樽青铜小鼎穿越到仙侠大陆时,穿越所携带的天地之威救下了正在被追杀的女宗主。斩杀敌人后,女宗主将苏平当作了解毒工具,自此踏上修行之路。苏平忍辱负重,只求能够上位!直到有一天苏平,我父是金丹修士,你拿什么和我斗?苏平微微一笑金丹,我确实还斗不过,但是我有老婆啊!...

兽世生子:猫系美人被大佬们追宠

兽世生子:猫系美人被大佬们追宠

关于兽世生子猫系美人被大佬们追宠天煞孤星的禾芊芊魂穿到兽世。成为金猫部落的雌性。原主貌丑,身体瘦弱矮小,发育不良,孤苦无依。到手一把烂牌。不怕不怕。幸亏绑定兽世生存系统,送动物亲和力赋能,送好孕生子大礼包。禾芊芊果断选择隔壁英俊阳光的兔狲兽人,当自己夫君。日子一天天红火,她脸上的脓包好了,长高了,更美了。突然有一天,被预测无生育能力的她,怀崽了。亲和力赋能Buff的加持,她妥妥的蜕变成猫系万人迷美人。撒丫子奔向好日子搞基建,种田,织布,一样样来。泠野,傲娇的猞猁兽人,孤冷清傲,为她折了腰。戬泽杀伐霸气的翼虎兽人,秒变虎斑猫,腻歪撒娇什么,宠物想升级当夫君?你咋不上天?有一天禾芊芊嘿嘿真香,路虎有,私人飞机也有,真的能上天。夜千暮霸道的疯批太攀蛇兽人,冷漠凉薄却对为她上了心忠犬雪鸮擎羽芊芊,你快看看我,毛秃了我就不可爱了吗?会幻术的人鱼冥宫谣妖孽傲娇的九尾狐狐翎,耿直的大熊猫兄弟,趾高气昂的凤凰甚至,还有个琅树藤,成了精的上古神树禾芊芊装柔弱你们不要过来啊!...

[秦]开局穿成扶苏生母

[秦]开局穿成扶苏生母

社畜楚萸因心脏病发作猝死,灵魂穿越到了战国时代,穿成一位容色倾城的楚国公主。好消息,公主是秦王长公子扶苏的未婚妻。坏消息,一年前被悔婚了。被渣爹拒绝返货的楚萸,决定在秦国好好经营小日子,笑看六国灰飞烟灭,然后等渣爹被俘虏后,狠狠往他身上砸臭鸡蛋。哼,公子扶苏又如何,不娶就不娶吧,不然十几年后还得守寡,或者,更惨,被他那个名垂千古的扑街弟弟给大卸八块填土坑。可是,没有人告诉过她,公子扶苏长得这么这么帅啊!面如美玉,眸若朗星,丰神俊秀,芝兰玉树楚萸春心萌动,蜷缩在被窝里,两眼瞪得像僵尸新娘不行,这样温润如玉的美男子,怎么可以让他傻乎乎地挥剑自刎呢?她决定从根源上制止悲剧发生,主动接近公子扶苏,然而后世到底是谁,在谣传他温润如玉简直误人子弟!温润的,其实只有名字,本人分明就是个芝麻汤圆。不过,对她好像,还挺好的。似乎还有种别样的依赖。魔蝎小说...

穿越王储:打造最强帝国,鹰酱急哭了

穿越王储:打造最强帝国,鹰酱急哭了

王储神豪科技文化权利争斗。穿越来到蓝星太平洋的一贫瘠海岛上当王储。接手后发现,整个国家已经是达到千疮百孔的地步。为了不让自己的王国太早覆灭,景逸尘只能是努力搞经济,增加百姓的收入。凭借着自己狠辣的决策以及系统的帮助,他很快便让自己国家经济提升。旅游经济的快速发展,使得王国成为天府之国。科技的快速崛起,让王国拥有顶尖的科研水平。军功的高速发达,更是让王国在太平洋上,拥有绝对的话语权。咳咳,我加入联大,谁赞成,谁反对?五常,我看,要不变六常吧!...

试图慎重的DND冒险者

试图慎重的DND冒险者

这只是一个智商不够,试图慎重苟下来,但是又经常莽的DND冒险者,这是一个在无限的冒险世界之中,作为一个DND冒险者的故事,他可能扮演的是一个自己想的角色,也有可能他已经成为了那个角色,可能有些压抑,可能有些欢乐,但是这却是一个真实的世界。目前世界哥布林杀手(完结),魔改版犬夜叉混合滑头鬼(即将完结),魔改版剑风传...

每日热搜小说推荐