走进修仙(校对)第207部分在线阅读

　　王崎捂脸：“真是够了……”
　　……
　　阿贝尔剑挑巴黎派的由来：阿贝尔程又一封信件，写到“发散级数是魔鬼的发明……现在唯一懂得该如何对待数学的只有柯西。”
第八十三章
要战？
　　辰风觉得王崎从算器发出的光华走出来之后表情就很怪。他不禁发问：“喂，你这是怎么了？”
　　王崎嘿嘿傻笑：“我记得，你们阳神阁的祖师爷也是有过论战的吧？”
　　魂魄之元可哈儿，元神之网高而奇，阳神阁的两位开创者。这两位也是师兄弟，成通力合作拿下过仙道盛会“祥瑞之典”的生灵之道领域同名。但是，高而奇始终认为，魂魄的本质应该是网络结构，而可哈儿则觉得组成结构本身不重要，组成那个网络的单个因子才是魂魄之本。这两位后来还是因为道不同而分道扬镳。
　　辰风有些奇怪：“是有这么一段公案的，只不过然后事实证明元神之网的直连合胞天罗诀不如魂魄之元的突触虚空链魂功——你问这个干什么？”
　　“假如啊，假如，如果有一道仙法让你回到过去，加入这二位的论战，你会怎么干？”
　　辰风不假思索的回答：“我根本就是知道理论的结果啊，我只要把理论一放，实证一做，论战就可以结束了。”
　　……
　　擦，我忘了数学不是纯粹的自然科学，不能靠实验分输赢的。
　　像是非欧几何那种非常直观的东西，不然数学领域想要辩出个输赢实在太难了。尤其是在这种基础的领域。
　　希尔伯特的结构主义和布劳威尔的直觉主义始终分不出高下来，就算到了N年后的二十一世纪也没个盖棺论定，不过地球的这一段历史里，希尔伯特实在彪悍，所以布劳威尔一直没能抬起头来。
　　而这个世界，直觉主义的扛旗者可不是克劳威尔的同位体，而是庞加莱的同位体，算君庞家莱。算主希柏澈想要压过对手可没有这么简单。
　　另外，“门派”这一组织的凝聚力对历史也产生了奇怪的影响。按照王崎的猜想，《万法算藏》应该就是对应地球的《数学原理》。但是在地球，这仅仅是逻辑主义流派领军人物罗素编篡的，可没有结构主义、直觉主义阵营什么事。万法门的存在，使历史产生了巨大偏差。现在这部算经已经不再是一家一派之言，而是万法门不同流派争夺正统的大事。
　　辰风见王崎脸色越来越奇怪，问道：“到底怎么回事？”
　　王崎实话实说，然后嘿嘿傻笑：“总之，接下来我就要面对算君一系的猛攻了。”
　　辰风点点头：“这事做得，我看行！黎派数学几近玄学，批判批判也好。”
　　王崎目瞪口呆：“我勒个去……我真希望你能抽出几分钟去了解一下算君是个怎样的人……”
　　“你们歌庭派的上代首领柯神尊现在每三天就要去阳神阁一次治疗破碎的元神。”辰风说道：“逍遥啊！心力枯竭到元神崩坏啊！你还真当我不知道算君有多牛？不过，过过嘴瘾总没问题吧？”
　　“切。”王崎对辰风的态度嗤之以鼻：“没点追求。”
　　辰风想了想，认真地说道：“你要是倒插门去薄家，说不定薄家会全力帮你？这样和算君斗一斗？”
　　王崎目瞪口呆：“你怎么也……歪到这茬？”
　　“废话，你的故事都传遍天下了好么。”辰风像是在看什么不和谐物一般看着王崎：“你在武试的时候用极度不检点的方式调戏薄家小姐，最后薄家小姐太纯，被你玩得芳心大乱，自己跳下擂台认输……”
　　“我去……都传得这么难听了……”
　　好吧，不检点什么的可能无法反驳，毕竟王崎干的那事太像双修了。但是太纯？玩得芳心大乱？
　　呸！我明明是靠算学折服了算学名门子弟好不好。
　　辰风又斜瞟了王崎一眼：“话说回来，用宝器级别的算器聊聊天——说你和她没那么一腿我都不信啊。宝器级数算器，有几根毛都能模拟出来吧？”
　　“几根毛？”
　　辰风露出“你懂的”的猥琐笑容。
　　“我去！肮脏！真是太肮脏了！”王崎怒不可遏：“我们明明是纯洁得不能再纯洁的道友，只有讨论算学的份！”
　　辰风一脸无趣：“这样啊……所以说嘛，万法也想有道侣？”
　　我们万法招你惹你了……
　　辰风突然把话题带回来：“玩笑开过了，那么我就要问你一下——对于这件事，你到底是个什么态度？”
　　王崎扶额：“我再次对我人生的剧情主线产生怀疑……”
　　我本来以为我是一个奇幻修真流小说的主角，结果变成论文流科技文主角，现在怎么又活出一份官场文主角那种各种妥协让步、利益均沾的感觉？
　　尼玛科技文不是应该憋技能树然后一路碾压吗？
　　辰风又一次迷糊了。他又问了一遍：“你的打算……”
　　“哦哦，我的啊。”王崎这才会过意，说道：“若要说我的话，其实很简单。”
　　“大数律的话搁置个把月也不是不行，然后最近学习统计，顺便继续整理归纳算术系统。”
　　大数律这个之所以这么早就弄，还是有糊弄那个一根筋丫头的意思——概率论多大的题目啊，也不在乎这一天两天的了。
　　统计，这个是得搞，但是概率没起来，统计也起不来，所以只能说“学一学”——顺便让辰风这个东家听着，表示我还是一个好员工。
　　一阶逻辑、完备定理倒是可以搞下去，但是吧……再搞下去就是哥德尔不完备了，这反而是对歌庭派的打击——而自己现在就是歌庭派。
　　所以能作的，也就只有高算术系统了。
　　辰风过了好一会才会过意，皱眉：“你好像……打算掺和这次论战啊？”
第八十四章
弱者为何要战斗
　　算主领导的歌庭和算君领导的黎派，争锋的焦点就在于算理逻辑。这个领域是算理最基础的部分。而一个算家对这个领域的认知，就决定了他对数学的整体把握。
　　辰风算学和王崎比只能说烂，但是这一点他还是知道的。
　　王崎笑道：“冯前辈也是这么吩咐的啊，照做没坏处。”
　　冯落衣、希柏澈都仍未王崎在算理逻辑上非常有天分，在一阶逻辑的道路上接着走下去，迟早能够到达希柏澈理想的境界。
　　但是王崎却是知道的，这条路不是不能走，但下一步的结果去只会同希柏澈的预期背道而驰。
　　哥德尔不完备定理，摧毁数学崇高之美，将数学赶下神坛的可怕定理。
　　在地球的历史中，哥德尔不完备定理证明希尔伯特第二问是个无解的题目，使希尔伯特计划破产。若是在神州抛出来，怕是会彻底动摇歌庭派的威信吧。
　　不管自己怎么说，在别人眼里自己都被打上“歌庭派”的标签了，所以做理论的时候还是考虑一下这方面比较好。
　　顺便，自己也得防备一下别人顺着自己的思路将不完备定理搞出来。
　　虽然对于哥德尔这种绝世天才来说，完备定理到不完备定理只有一年的时间，但对于普通数学家来说，哥德尔一年走完的路是绝对的天堑。
　　更别说哥德尔本人得出完备定理，都是靠了灵光一闪的顿悟。
　　黎派修士和哥德尔理念不完全一致，对数学的理解有差别，因此思路、擅长的方法也不一样。他们在王崎论文的基础上顺着哥德尔思路推出不完备定理的可能性不大，威胁比较大的现在看来只有算君一人。
　　真正要警惕的，还是“自己人”。
　　熟悉后续历史的王崎知道。希尔伯特计划去程成果的希望不在于完备性与可判定性，这两个是被明确否定了的。它唯一有希望的部分，在于算术系统的一致性。
　　哥德尔不完备性定理第二条，对于任意的数学系统，如果其中包含了算术系统的话，那么我们不能在这个系统内部证明它的一致性。这就是希尔伯特第二问题答案的一部分。
　　使用不在算术系统之内的超限归纳法证明算术系统的一致性，就正好绕过了不完备性定理划出的，跨不过的铁壁。
　　“所以下一步是从集合论当中搞出超限归纳法再代入对算术系统的解释，把论战的关键导向算术系统的一致性。”
　　这是王崎目前的计划。
　　辰风皱眉：“你知不知道掺和算君和算主的论战意味着什么？不要以为你身在神京就不会沾到火星了。”
　　“我只会抛出几篇论文啊，一般不会直接回应对方诘难的。”王崎笑道。
　　只要能够把重点引导到算术系统的一致性就差不多了。
　　而且整理算术系统同样是个大工程，自己没那没多时间去一一完成，这个只要是自己真实水平参与一部分就可以了。
　　辰风疑惑的看了王崎一眼，问道：“你好像对这场论战有很重的执念啊……错觉？”
　　王崎摇头：“这可不是错觉。”
　　我是真的很想掺和这一场论战。
　　前世读亨利·庞加莱的传记，王崎就有一种很奇妙的感觉。
　　这个人，生不逢时。
　　数学家大多喜欢在物理学领域插一脚以显示自己智商过剩，但是他的时代，正是经典物理发展到极致的时候，没有多少东西供他玩乐了，等爱因斯坦引发新一轮革命的时候，他又已经垂垂老矣；他与戴维希尔伯特正好处于两代，他渐渐老去的时代正是希尔伯特一步步升起的时代，等希尔伯特到了鼎盛时期，他已经因为衰老退出了数学的第一线。
　　亨利·庞加莱一生都没有真正燃烧过。