手机浏览器扫描二维码访问
算主领导的歌庭和算君领导的黎派,争锋的焦就在于算理逻辑。这个领域是算理最基础的部分。而一个算家对这个领域的认知,就决定了他对数学的整体把握。
辰风算学和王崎比只能烂,但是这一他还是知道的。
王崎笑道:“冯前辈也是这么吩咐的啊,照做没坏处。”
冯落衣、希柏澈都仍未王崎在算理逻辑上非常有天分,在一阶逻辑的道路上接着走下去,迟早能够到达希柏澈理想的境界。
但是王崎却是知道的,这条路不是不能走,但下一步的结果去只会同希柏澈的预期背道而驰。
哥德尔不完备定理,摧毁数学崇高之美,将数学赶下神坛的可怕定理。
在地球的历史中,哥德尔不完备定理证明希尔伯特第二问是个无解的题目,使希尔伯特计划破产。若是在神州抛出来,怕是会彻底动摇歌庭派的威信吧。
不管自己怎么,在别人眼里自己都被打上“歌庭派”的标签了,所以做理论的时候还是考虑一下这方面比较好。
顺便,自己也得防备一下别人顺着自己的思路将不完备定理搞出来。
虽然对于哥德尔这种绝世天才来,完备定理到不完备定理只有一年的时间,但对于普通数学家来,哥德尔一年走完的路是绝对的天堑。
更别哥德尔本人得出完备定理,都是靠了灵光一闪的顿悟。
黎派修士和哥德尔理念不完全一致,对数学的理解有差别,因此思路、擅长的方法也不一样。他们在王崎论文的基础上顺着哥德尔思路推出不完备定理的可能性不大,威胁比较大的现在看来只有算君一人。
真正要警惕的,还是“自己人”。
熟悉后续历史的王崎知道。希尔伯特计划去程成果的希望不在于完备性相容性可判定性,而在于算术系统的一致性。
哥德尔不完备性定理第二条,对于任意的数学系统,如果其中包含了算术系统的话,那么我们不能在这个系统内部证明它的一致性。这就是希尔伯特第二问题答案的一部分。
使用不在算术系统之内的超限归纳法证明算术系统的一致性,就正好绕过了不完备性定理划出的,跨不过的铁壁。
“所以下一步是从集合论当中搞出超限归纳法再代入对算术系统的解释,把论战的关键导向算术系统的一致性。”
这是王崎目前的计划。
辰风皱眉:“你知不知道掺和算君和算主的论战意味着什么?不要以为你身在神京就不会沾到火星了。”
“我只会抛出几篇论文啊,一般不会直接回应对方诘难的。”王崎笑道。
只要能够把重引导到算术系统的一致性就差不多了。
而且整理算术系统同样是个大工程,自己没那没多时间去一一完成,这个只要是自己真实水平参与一部分就可以了。
辰风疑惑的看了王崎一眼,问道:“你好像对这场论战有很重的执念啊……错觉?”
王崎摇头:“这可不是错觉。”
运河之韵 巨树领主 敛财心 巫妖生存指南 舌尖天下 月薪十万,女总裁她果然不只是让我当司机 谭笑风声里,灼灼桃之夭 穿进语文书,从刺猹开始 大明:开局剧透崇祯,重振河山 盛世花都 灵异直播,女主她不想吓人 万苍天穹 道化九界 网游航海之王 什么?奥特曼是终身制的? 西游:六岁熊孩子,开局怒怼观世音 我的修真小米三 建立帝国从骑士次子开始 我,地球唯一超能力者 先婚后爱:娇妻拒婚101次
...
大厨秦夏休假旅游时出了意外,不幸穿成趁反派受伤失忆时将其强娶过门,最后见了阎王的书中炮灰。眼前这名原主从牙行买来当夫郎的哥儿,实则是日后一手遮天的东厂提督虞九阙。美人面蛇蝎心,恶名远扬。穿来时原主已经把人抱在了怀中,打算当场洞房。秦夏摸了摸发凉的脖子,硬着头皮转移话题你饿不饿,我下碗面给你吃?然后虞九阙吃光了他煮的面。足足五碗。而且认定自己就是秦夏的夫郎,一门心思要给他暖床。魔蝎小说...
关于长生仙族,从小符师开始长生一名小散修,漫漫仙途一人行。一手挥刀,一手画符。挥一刀,杀一人,杀一人,得寿一年。一朝醉醒,又入红尘一曲仙琴祭红颜,叹惜,红颜早成枯骨。一杯清酒敬故人,奈何,故人已化黄土。...
盗墓江湖恩怨护宝为了一个50年前的神秘约定,爷爷两年前决然去了京城,交代我在家苦练。两年后,我踏上了寻找爷爷的历程,成为了一名盗墓贼。在盗墓的过程中,为寻找爷爷的踪迹,卷入了与江湖神秘组织老九门日本寻宝势力公门的一系列纷争,终于发现了爷爷为什么一定要离开老家前来赴约的秘密。神秘大墓的打开,国宝重器的出...
余媚被一脚踢回人间为鬼化解怨气后,唯一的信念就是争取早点回冥界,报这一脚之仇。遇到死对头周易后,她的鬼生有了新目标,怼他,抽他,干死他!周易解开两颗扣子,露出线条优美的胸肌来吧,求干!余媚飞起来就是一脚,去你妈的求干。简而言之,这是女鬼和风水大师携手打怪虐渣的过程王八绿豆看对眼,克服人鬼殊途,最终有情人终...