手机浏览器扫描二维码访问
(小燕文学WwW.XiaoYanwenXue.CoM)
算主领导的歌庭和算君领导的黎派,争锋的焦点就在于算理逻辑。这个领域是算理最基础的部分。而一个算家对这个领域的认知,就决定了他对数学的整体把握。
辰风算学和王崎比只能说烂,但是这一点他还是知道的。
王崎笑道:“冯前辈也是这么吩咐的啊,照做没坏处。”
冯落衣、希柏澈都仍未王崎在算理逻辑上非常有天分,在一阶逻辑的道路上接着走下去,迟早能够到达希柏澈理想的境界。
但是王崎却是知道的,这条路不是不能走,但下一步的结果去只会同希柏澈的预期背道而驰。
哥德尔不完备定理,摧毁数学崇高之美,将数学赶下神坛的可怕定理。
在地球的历史中,哥德尔不完备定理证明希尔伯特第二问是个无解的题目,使希尔伯特计划破产。若是在神州抛出来,怕是会彻底动摇歌庭派的威信吧。
不管自己怎么说,在别人眼里自己都被打上“歌庭派”的标签了,所以做理论的时候还是考虑一下这方面比较好。
顺便,自己也得防备一下别人顺着自己的思路将不完备定理搞出来。
虽然对于哥德尔这种绝世天才来说,完备定理到不完备定理只有一年的时间,但对于普通数学家来说,哥德尔一年走完的路是绝对的天堑。
更别说哥德尔本人得出完备定理,都是靠了灵光一闪的顿悟。
黎派修士和哥德尔理念不完全一致,对数学的理解有差别,因此思路、擅长的方法也不一样。他们在王崎论文的基础上顺着哥德尔思路推出不完备定理的可能性不大,威胁比较大的现在看来只有算君一人。
真正要警惕的,还是“自己人”。
熟悉后续历史的王崎知道。希尔伯特计划去程成果的希望不在于完备性与可判定性,这两个是被明确否定了的。它唯一有希望的部分,在于在于算术系统的一致性。
哥德尔不完备性定理第二条,对于任意的数学系统,如果其中包含了算术系统的话,那么我们不能在这个系统内部证明它的一致性。这就是希尔伯特第二问题答案的一部分。
使用不在算术系统之内的超限归纳法证明算术系统的一致性,就正好绕过了不完备性定理划出的,跨不过的铁壁。
“所以下一步是从集合论当中搞出超限归纳法再代入对算术系统的解释,把论战的关键导向算术系统的一致性。”
这是王崎目前的计划。
辰风皱眉:“你知不知道掺和算君和算主的论战意味着什么?不要以为你身在神京就不会沾到火星了。”
“我只会抛出几篇论文啊,一般不会直接回应对方诘难的。”王崎笑道。
只要能够把重点引导到算术系统的一致性就差不多了。
而且整理算术系统同样是个大工程,自己没那没多时间去一一完成,这个只要是自己真实水平参与一部分就可以了。
辰风疑惑的看了王崎一眼,问道:“你好像对这场论战有很重的执念啊……错觉?”
王崎摇头:“这可不是错觉。”
我是真的很想掺和这一场论战。
与女精灵的地球生活 舞吧,傀儡 超级特警综合系统 玄玑图 美女教师的鬼医高手 黑暗剑圣 苍天霸业 霸隋 道梦之轮回 鼎天武帝 美女总裁老婆 纸醉江山 权柄大明 神捕乱宋 我叫布里茨 重生之天生我才 死亡神座 网游之零纪元 兽王三国 醉卧九天
强势婚宠,宁爷宠妻有点甜...
尹伊络莫名其妙多了个儿子,尹伊络一夜之间成了豪门富太太。z国的人都知道,尹伊络是简家大少的心尖甜蜜饯,打不得,骂不得,当宝贝似的宠着。某记者发布会上。记者问简少,请问尹小姐在你心目中是怎样的一个女人,值得你如此疼爱?简少我家夫人温婉贤惠不说脏话。那些被尹伊络抢尽风头的上流女配们欲哭无泪,简少莫不是年纪轻轻便瞎了!...
黑龙山帝国九皇子布罗林,意外得到万界系统,从此开启征战诸天的传说历程! 火影世界,他凭借恒星级战力,力压影级强者,抢夺轮回眼,成为十尾人柱力! 斗气大陆,他率领大群界主,围剿远古八族,对决巅峰斗圣! 遮天世界,他闯禁区,夺帝经与不死药,呼唤人族宇宙之主大战至尊,天崩地裂! 长生界,他纵横万界,以永恒真神之姿力敌无上石人王! 仙罡大陆,他睥睨九阳,俯视仙古,强势踏天! 完美世界,他横...
大叔找上门,颜值在线,可撩!想她巫诺,人美路子野,追个人不成问题!可看颜值找对象,终究是把自己也赔进去了。大叔你从来都未曾信任过我呀。多年后巫诺沐浴在阳光下,一睁眼,便看见有人逆着阳光,来到她的跟前,伸手说,我来接你回家...
1V1双洁团宠双强爽文(甜宠无虐)京都盛传,沐少的媳妇是个丑八怪,还是个从小地方来的乡下人,众吃瓜等着看好戏。直到军训时,长相貌美的少女,以一挑十,潇洒离开,众眼珠子掉了一地。而暗地里,京都第一拍卖行她说炸就炸!杀手集团的老大她想耍就耍!世界首富也叫她一声老大在遇到沐凌枭这个身份神秘,尊贵又闷骚的男人后表白她先来。求婚她先上。遇到情敌,先撒糖。她的嚣张,只为他收敛。推荐完结作品陆少的异能甜妻...
小小的蝴蝶翅膀扇动,剧情大不相同。暗天使戴文魂穿到三万年前的天使文明,成了天使王华榷的私生子,并且还有一个同父异母哥哥华烨。于是三万年前,便出现这样的一幕戴文站在天使战舰上,居...