手机浏览器扫描二维码访问
(小燕文学WwW.XiaoYanwenXue.CoM)
算主领导的歌庭和算君领导的黎派,争锋的焦点就在于算理逻辑。这个领域是算理最基础的部分。而一个算家对这个领域的认知,就决定了他对数学的整体把握。
辰风算学和王崎比只能说烂,但是这一点他还是知道的。
王崎笑道:“冯前辈也是这么吩咐的啊,照做没坏处。”
冯落衣、希柏澈都仍未王崎在算理逻辑上非常有天分,在一阶逻辑的道路上接着走下去,迟早能够到达希柏澈理想的境界。
但是王崎却是知道的,这条路不是不能走,但下一步的结果去只会同希柏澈的预期背道而驰。
哥德尔不完备定理,摧毁数学崇高之美,将数学赶下神坛的可怕定理。
在地球的历史中,哥德尔不完备定理证明希尔伯特第二问是个无解的题目,使希尔伯特计划破产。若是在神州抛出来,怕是会彻底动摇歌庭派的威信吧。
不管自己怎么说,在别人眼里自己都被打上“歌庭派”的标签了,所以做理论的时候还是考虑一下这方面比较好。
顺便,自己也得防备一下别人顺着自己的思路将不完备定理搞出来。
虽然对于哥德尔这种绝世天才来说,完备定理到不完备定理只有一年的时间,但对于普通数学家来说,哥德尔一年走完的路是绝对的天堑。
更别说哥德尔本人得出完备定理,都是靠了灵光一闪的顿悟。
黎派修士和哥德尔理念不完全一致,对数学的理解有差别,因此思路、擅长的方法也不一样。他们在王崎论文的基础上顺着哥德尔思路推出不完备定理的可能性不大,威胁比较大的现在看来只有算君一人。
真正要警惕的,还是“自己人”。
熟悉后续历史的王崎知道。希尔伯特计划去程成果的希望不在于完备性与可判定性,这两个是被明确否定了的。它唯一有希望的部分,在于在于算术系统的一致性。
哥德尔不完备性定理第二条,对于任意的数学系统,如果其中包含了算术系统的话,那么我们不能在这个系统内部证明它的一致性。这就是希尔伯特第二问题答案的一部分。
使用不在算术系统之内的超限归纳法证明算术系统的一致性,就正好绕过了不完备性定理划出的,跨不过的铁壁。
“所以下一步是从集合论当中搞出超限归纳法再代入对算术系统的解释,把论战的关键导向算术系统的一致性。”
这是王崎目前的计划。
辰风皱眉:“你知不知道掺和算君和算主的论战意味着什么?不要以为你身在神京就不会沾到火星了。”
“我只会抛出几篇论文啊,一般不会直接回应对方诘难的。”王崎笑道。
只要能够把重点引导到算术系统的一致性就差不多了。
而且整理算术系统同样是个大工程,自己没那没多时间去一一完成,这个只要是自己真实水平参与一部分就可以了。
辰风疑惑的看了王崎一眼,问道:“你好像对这场论战有很重的执念啊……错觉?”
王崎摇头:“这可不是错觉。”
我是真的很想掺和这一场论战。
苍天霸业 神捕乱宋 兽王三国 霸隋 美女总裁老婆 黑暗剑圣 道梦之轮回 权柄大明 纸醉江山 超级特警综合系统 重生之天生我才 与女精灵的地球生活 醉卧九天 鼎天武帝 网游之零纪元 死亡神座 我叫布里茨 玄玑图 美女教师的鬼医高手 舞吧,傀儡
作者微小的沙的经典小说我以为我还是龙傲天最新章节全文阅读服务本站更新及时无弹窗广告小说元朗是位中二龙傲天,原本世界的科技巨擘,穿书后金手指大开,他以为自己还是龙傲天,然鹅,他穿的竟是一本大总裁言情文,要为了女主神魂颠倒,与家族决裂,还要斗小三战小四他明明是个龙傲天,谈什么恋爱,美女小弟不请自来,明明财富世界更可爱,所以他决定甩掉女主,重新在这个世界创建他的商业王国,可一不小心竟与那个小四越走越近了。这个节奏行吧,喜欢男人也成,还能躲开那该死的女主定律呢。这是慢热文,因为攻君...
她是神技局的特工鬼医离月,绝代风华,一双素手,可起死回生。她是相府弃女,无才无德又‘貌丑’,替嫁不成,反身陷花楼。一朝醒来,当她变成她调戏美男撕白莲,治病救人名天下。当她赚的盆满钵满,准备逃之夭夭之际,债主上门了。某女哭,为何她随手调戏的美男,竟会是权倾朝野的摄政王!女人,调戏完了本王不用负责的吗?男人一脸阴鸷的靠近。王爷,有话好商量!去床上商量如何?安临月扶腰泪奔,说好的商量呢?...
书海阁小说网免费提供作者阿酥的经典小说女主她以武服人最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说灵气复苏,商都危急,宗师贺山海被请出山,贺苒随父出征,刚露面就被各家族列为联姻对象。贺苒在商都七阶可称宗师,我今年18,武四阶,你呢?贺苒在中岳我斩杀的灵兽排名第一,你呢?贺苒在历练场地我积分排名第一,你呢?众家族对不起,犬子不配!告辞,打搅了!...
史上第一女婿曾经我是陈家二少,被大哥赶出家门,沦为上门女婿,活的不如狗。但如今,大哥出事陈家求我回去,这一次,我会让他们看到,属于我的辉煌...
...
涂山兰兰打了个盹一觉醒来,回到洪荒大陆刚穿越,就被一头夜鹰给掳回了家。面对身高三米,形如小山的大佬,涂山兰兰每天都在担心小命玩完。唯一的办法,就是讨好大佬!抱紧大佬的腿!意外发现,大佬居然是吃货!涂山兰兰每天拿着各种各样的好吃的,去勾引大佬。涂山兰兰递出各种美食大佬,好吃吗?某男直勾勾盯着她,甜。涂山兰兰可开心了,每天投喂大佬,并且带着大家全面建设小康社会。只是某个大佬,你能不能别用盯食物的目光盯着我?涂山兰兰瑟瑟发抖。某大佬好甜,想吃。...