按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
空集？那一路集合论的散手？
薄筱雅错愕之间，小腹已经挨了一拳。然后，她右手成印，印向王崎左肩。
无限，有数，道元零印！
道元零……阿列夫零……
王崎被这绵绵不绝的劲力压得身子一歪。他退开几步，然后竖起大拇指：“厉害！”
薄筱雅跟了上去，双掌齐出：“师兄可是服了？”
王崎将倒持的长剑握正，抵住薄筱雅的追击：“我还有个大招没有用呢，这是我写论文破境时自然领悟的剑招，绝对够劲。”
“来！”薄筱雅不见一丝退意，反而更加兴奋。
王崎珍惜一口气，然后身法飘忽，竟一瞬间绕到薄筱雅的身后。
紧接着，他举起长剑，奋力劈下。
没有比这更简单的一剑了，就是初学剑法的新入弟子都能斩出这样一剑。
但是，就算是逍遥，也从没有斩出这样的一剑。
完美，无暇，毫无矛盾之处。这是自洽的一剑，升华了的一剑。
它是“完备”，它是“成立”！
薄筱雅仿佛被这剑光所迷。她看着这一剑，目光迷离，手中虽然举着道元零印，但是却没有想着下一步。
她输定了。王崎的剑会在她的法印之前斩中目标。
就在这时，王崎的剑下突然出现大量不规则色块、
诶？
诶？
两个人都被这样的变故弄得一头雾水。王崎长剑带着色块集中薄筱雅，薄筱雅的虚拟角色身上突然出现无数“雪花diǎn”，像是信号不好一般。
但是，薄筱雅的法印越打在了王崎的身上。
一股无可抵御的丰沛大力将王崎高高抛起，紧接着，王崎身上亮起一片红光，这是受到致命伤，必须出局的信号。
王崎落地之后的第一件事就是拔出剑来，对空挥剑。
依旧是从哥德尔完备定理、一阶逻辑演算推演出的完备一剑、成立一剑。但是不管他怎么试，最后长剑都会带出一片不规则色块，然后变得毫无杀伤力。
王崎悲愤道：“尼玛啊！为什么我的必杀一剑会变成这**赛克斩啊！！”
第八十章 一阶剑，谐之道（）
“为什么啊！”王崎抱着脑袋苦苦思索。
为什么我的必杀技会变成马赛克斩呢？
这不科学啊！
薄筱雅凑到王崎身边，问道：“师兄，你这一剑在外面用过吗？——你知道的，有时候自己悟出的招式会存在一些问题无法成立，然后再这里，无法成立的招式就会出现那种无规律的混乱画面。”
“我这一招就是‘成立’啊，怎么可能不成立。”王崎哭丧着脸：“而且我在外面明明用过！”
薄筱雅食指抵着额角，思索道：“难道是与仙盟现有法术完全不一样，算器推演不出效果？不至于啊？除非是极少数加权十的ding尖大术，算器才不能在短时间内解析——而加权十的大术全部都在灵犀库里，也不需要解析……不会吧……师兄，这难不成是新的ding尖术法？”
王崎摇头：“没可能的，我见过加权十的术法，天灵岭妖女艾轻兰的命之炎……我这剑术只有‘一剑’，怎么看也做不到命之炎那样
。”
“一剑的效果？”薄筱雅歪着脑袋看向王崎：“这是什么意思？”
“我剑法的基础的一阶逻辑演算……谓词逻辑这个你能够理解吗？”由于打定主意要和薄筱雅合作搞概率论，王崎已经将对方当自己人看待了，也不隐瞒自身杀招：“我的剑法就是取自谓词逻辑的，只有一阶、一剑。但是这一剑是绝对成立的，完备的。只不过反过来说，因为是谓词逻辑，所以只能有一剑。”
在谓词逻辑中，原子命题分解成个体词和谓词。个体词是可以独立存在的客体，它可以是具体事物或抽象的概念。谓词是用来刻划个体词的性质或事物之间关系的词。(；本；章；由；7；7；n；t；.；C；o；m；更；新；)；量词，是在命题中表示数量的词，量词有两类：全称量词（？），表示“所有的”或“每一个”；存在量词（？），表示“存在某个”或“至少有一个”。只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑，简称一阶逻辑，又称狭义谓词逻辑。
一阶谓词逻辑非常简陋，简陋到甚至无法准确描述一个概念，“界定自然数”这种简单的事情都超出了一阶谓词逻辑的能力范围。
但是，根据王崎证明的哥德尔完备定理，或者说，神州的王崎完备定理，只有一阶谓词逻辑是完备的，所有一阶谓词演算下的有效命题都可以证明。
因此，仅限一剑的话，那绝对成立的一剑却由着无可匹敌的威力！
王崎一本正经的说道：“你应当记住，在这个系统里，一说就错，一想就谬，能够阐述这个道理的，除了我那篇论文，就只有这‘一剑’。”
也就是说，这一剑不能配合任何精妙剑法，不能包含任何变化，只能是“一剑”。
薄筱雅被唬得连连diǎn头。问道：“这么厉害的一剑，师兄有没有取名字？”
“就‘一阶剑’啊。”
薄筱雅一脸错愕，怒道：“这么厉害的简述怎么能有这样的名字。”
王崎轻笑：“你还真是在这种无关紧要的地方特别执着啊。”
“哪有。”薄筱雅难得脸红：“这可是师兄你第一个定理啊，而且我个人觉得，这必定是了不得的定理。这样了不起的定理自然会衍生出了不起的一剑，然后这一剑也得配一个了不起的名字……”
“好了，我还是想一想到底是什么原因吧。”王崎站起身，再次劈出两剑，依旧是大片马赛克。
尼玛，圣光、马赛克，再来个暗影就凑齐和谐之力吧？或者在仙侠世界应该叫“谐之道”？
薄筱雅也冥思苦想：“幻境本身不会有问题……师兄你的剑术也是能够使出来的……到底是哪一步除了问题呢？”
王崎又挥了两剑，叹道：“我再试几次吧……”
“你再试几次就得准备好卖身给薄家了
。”突然，冯落衣出现在王崎面前。他看了薄筱雅一眼，然后说道：“或者你是准备直接倒插门过去？”
薄筱雅脸色染霞：“冯前辈您怎么能开这种玩笑？”
“冯老师。”王崎见礼：“您怎么会在这里？和我的剑术有关？您知道这是为什么吗？”
冯落衣坐下，说道：“确实有些关系。你知道算器的原理吗？这个你应该懂的。”
王崎diǎndiǎn头：“最底层的就是有与无、阴与阳的二值判断。无数次二值判断积累之后就可以形成一套系统……”
“图灵老弟的构想，一个非常完善的逻辑，就像是高耸入云的塔楼。”冯落衣说道：“但是我们的算学还不完备，建立这套系统的时候，我们没人看清粗它的根基打在哪里，是坚实的岩地，还是无底的沼泽。”
这又是两个世界物理规律不同而产生的技术差异。修家对魂魄的探究持续了八万年，虽然古法的认知有不少错误的地方，但是很多经验却被今法解析。神州对魂魄的认识，远远超过了地球对大脑的认识。
然后，机老图灵借鉴了人族魂魄，并用算学解析人的思维，构建了最初的算器，青铜仙娥。
这实际上是一个巨大的科技黑箱。机老本人并不是完全清楚算器还有万仙幻境的原理，但依旧把它构建了出来，并且学会使用它。
神州修士在云端之上往下投了一座塔，这座塔高耸入云，但云端之上的人们却始终看不见它的根基。
然后，王崎的一阶剑，是基于数学逻辑这一块的神技，是机老理论范围之外的东西，万仙幻境无法反映。
薄筱雅看着王崎，满脸崇拜：“居然……居然比机老走得还远！”
“若真说水平的话，我还差机老不少，只不过这次运气很好。”王崎难得谦虚。
冯落衣又问：“说起来，你这一阶剑倒是一个好招。没有看见之前我还说不好，但是这至少应该是加权四的剑术，你再好好完善的话，说不定可以有加权六——这在五绝门派也可以作为真传推荐了。”
王崎喜滋滋的说道：“其实晚辈还有一个收获。”
薄筱雅惊到：“师兄你刚才还有藏私？不厚道啊！”
冯落衣思考片刻，猜测道：“可是‘看破’一类的？”
“冯老师，您厉害。”王崎表示佩服：“完备的只有一阶逻辑，而对手的剑法越复杂，就表示其背后的逻辑系统越大，越容易出错。我可以在对手的招式之间窥出不完备之处，击而破之。这个，我私下里命名为‘有不谐者吾击之’！”
诶，等等，这还真是谐之道？
————————————————————————————————
咳咳，《昆仑》和《沧海》的梗，喜欢武侠的应该看得出来。
第八十一章 离宗连宗，理念之争（）
冯落衣在听了王崎的话之后，竟陷入了沉思。(；本；章；由；7；7；n；t；.；C；o；m；更；新；)；↑小，。。o过了一会，他一脸认真的问道：“王崎，你老实回答我一个问题——‘逻辑系统越大越强，其中不完备就越明显’，你是这个意思吗？你有新想法了？”
王崎本能的向diǎn头，但随即打了个激灵：“不不不，我只是在证明一阶完备的时候隐约有这么个想法——因为现在只能证明一阶完备，所以现在可以认为，一阶以外都是不完备的。”
哥德尔不完备定理在吃透之前还是不要拿出来比较好。抛出自己没有完全理解的东西，多少有diǎn找死。
冯落衣皱眉，似乎很不喜欢这个答案：“你靠什么知道的？直觉吗？”
王崎第一反应就是嗤笑：“直觉？怎么可……不不不，不是直觉，这是我个人的，额，也不是猜想，应该可以算是下一阶段的目标之一吧，从完备性入手。”
面前这位，似乎不喜欢直觉的说法吧……
“你这个习惯很不好，还没证明的东西怎么能够，能够当成已知结论去使用？”冯落衣这才神色稍缓，他还是训斥了王崎一句，才问道：“之一吗？还有什么？”
“我准备和薄师妹一起搞一搞大数律，然后还有，晚辈最近加入了一个实证部，说不定要搞一搞算理统计和系统论了
。”
“大数律是个好题目，统计和大数律应该有结合diǎn，可是系统论这个题目太大了。”冯落衣又批评了王崎几句。
“我这不是在门派之外，没有目标吗？”王崎嬉皮笑脸的说道：“向我这种和散修没啥区别的修家，一缺资源，二缺指diǎn，没有大方向，只能看见什么就研究什么了。”
“给两分颜色就开染坊。”冯落衣笑道：“你也少装可怜了，那昨天交上去的那篇论文很好，兑换数和引用数都不会少，一两个月之后，你在练气期弟子中就算是富豪了。”
薄筱雅欢呼：“好呀！师兄现在这个待遇，总让我有种当初白让他的感觉。”
冯落衣又看了一眼，说道：“另外，希门主决定给你一个提名——明年一月，道器之赏。”
“明年？原来就是明年啊……”王崎只不过对时间表示有些惊讶，对于道器之赏反倒不是特别吃惊。
道器之赏，地位大抵相当于地球的“菲尔茨奖”——也就是“数学领域的诺贝尔奖”。
只不过，菲尔茨奖限定获奖者的年纪，只奖励四十岁一下的年轻数学界。道器之赏也一样，专门奖励元神期以下的年轻修士。只是四十岁差不多也到了一个数学家出成绩的年纪，而金丹期的修士还远远没到一生最辉煌的时候，所以道器赏的学术地位略有些低。
哥德尔完备定理，拿下一个菲尔茨奖也是情理之中。
冯落衣看着王崎：“看起来你信心很足啊。不过说真的，你想要拿下道器赏还真是有diǎn困难。万法门内部的反对声音会很大的。”
薄筱雅不解：“师兄明明很厉害啊，绝对是同辈第一人，哥哥都没他强。”
“这是派系之争。”
薄筱雅很是不解。薄家子弟永远不会理解“争权夺利”这种事的。当别人家为了一个家主之位勾心斗角恨不得杀全家的时候，薄家就已经把家主位置当包袱、绊脚石和狗屎随便乱扔了——薄月翰就因为早年被薄雅歌用狗屎糊了一脸而记恨兄长一辈子。
“这是大道之争、理念之争。”冯落衣又看向薄筱雅：“小丫头，我和王崎还有些事情要谈一谈，涉及万法门的门务——你还有什么事吗？”
很明显，后面的问题就不适合对她说了。薄筱雅虽然很疑惑，但还是起身行礼：“既然如此，晚辈就先告退了。”
薄筱雅的身影消失之后，冯落衣就问王崎：“你知道今法内部最大的理念之争是什么吗？”
“应当是缥缈宫和归一盟的论战吧？”王崎说道：“太一天尊、量子尊师于尔蔚庄三度论剑，然后波动天君又以‘既生且死’的难题诘难缥缈宫……”
冯落衣摇头：“不准道人因为襄助魔皇而身败名裂，缥缈宫人心已经散了
。但是反过来说，太一天尊遇上了绕不开的问题，他的理论也岌岌可危。总之，这一场论战已经偃旗息鼓了，大家都知识在等最后的结果。”
“若说‘如火如荼’，万法门内部……”王崎却怎么都想不起还有什么论战能比这个一系列还大。
“你这孩子，倒像是缥缈宫或者归一盟的门下了。当初相形、飘渺论战，我襄助飘渺，希门主襄助相形，可我和希门主算理是一样的。算学才是大道，是可以超越天物流转之理的，明白么”冯落衣无奈的说道：“你可知道，古数家就是分成两宗的，一为连宗，一为离宗。”
“连宗认为，天地一体，万物连续。离宗则认为天地离散，如同自然数一般，一和二之间没有任何东西。”
“连宗和离宗的理念之争实际上贯穿了整个算学之道的历史，而今天。”冯落衣指了指自己：“我，希门主，都是当今离宗的代表，你也可以管‘我们’叫逻辑派。当然，在很很多人眼里，现在的离宗，就是歌庭。”
王崎嘴巴张得极大，如同下巴脱臼了一般。
等一下，我好像忽略了什么……
连宗离宗之争放在地球历史里来看，就是“几何与数”的论战，后面发展到牛顿、莱布尼茨“几何直观、代数抽象”的分歧，再然后就是“直觉主义和逻辑主义”……
只不过，“直觉主义和逻辑主义”终究没能战起来，原因是逻辑主义发展到和直觉主义分庭抗礼的时候，正是希尔伯特如日中天的时候，紧接着冯诺依曼也加入了逻辑主义这边，儿直觉主义却正好没有大师……
但是，地球的直觉主义流派只不过“正好没有”大师，而不是“从来没有”。亨利·庞加莱生得太早，不只是错过了自己梦寐以求的物理学大飞跃，还与希尔伯特这样的对手失之交臂。
可是，神州的修家不存在寿元问题啊……
王崎颤颤巍巍的问道：“冯老师，难不成希门主是打算带领你们和庞门主做过一场？”
冯落衣惊诧：“不是‘我们’，是‘咱们’啊。你这篇论文一发出去，任谁都会把你当成我们这一路的。”
王崎眼前一黑，险险栽倒。
——————————————————————————————————
1·庞加莱的一生是寂寞的一生，ding尖的数学家总喜欢跑到物理学领域掺一脚，显示智商过剩，但是庞加莱正好处在旧物理学发展到瓶颈的时代，没什么好的切入diǎn。等爱因斯坦引发新一轮革新，他已经垂垂老矣，算不动了。另外，他也错过了希尔伯特这样的对手。他那个时代排第二的数学家是什么水平呢？克莱因被称为“神一样的克莱因”“站在云层之上的神”，【这些绰号够中二的】克莱因与庞加莱用信件交流数学，不久之后，克莱因就因为烧脑过度，精神崩溃了，而且一辈子都没好起来【庞加莱：我还没用力，你怎么就倒下了？】
2·评论区喷子出没注意，诚招版主、副版主【一个人加精、删帖什么的什么的，好麻烦的~】
3·求推荐票啦qaq排名一直在退啊a自己
第八十二章 听冯老师讲过去的事情（）
算君庞家莱，算主希柏澈，前后两代掌门。和陈景云这种逍遥归隐、矮子里面拔高子的掌门不同，他们是压服了同代所有修士才成为万法门主的。
两代掌门，两代传奇。
只不过与桃李满天下、道友遍神州的算主希柏澈不同，算君庞家莱的威名是建立在对同辈修士的绝对碾压上的。
过去，万法门副门主柯兰荫曾与算君做大道之争，用最凶险的方法论算学之道。最初棋逢对手，将遇良才，千个回合过后，二人依旧依旧高下难分。就在这时，柯兰荫为了求胜，祭出中心定理这一大招，孰料心力将尽，一招递出就无以为继，反而走火入魔，元神崩溃，自此于算学一途，几成废人。
而在此之前，柯兰荫都被称为“神一般的男子”
绝世天才，天下无双。
冯落衣笑道：“算君一系的算家最近正好有事在身，没法看万仙幻境论文库的更新，所以会晚些才注意到你。不过啊，这个‘晚diǎn’最多也就半个月。我估摸着大概十月吧，庞算君就会杀出来的。”
“‘杀’……”王崎表情僵硬：“没这么夸张吧？”
冯落衣说道：“真有这么夸张。算君是算家之中最疯魔的一批，算学之道对他而言就是命。”
“还真是……挺严重的啊哈哈哈哈……”王崎干笑：“不过我才练气期，算君好歹也是逍遥。”
“可算君不会这么认为。”冯落衣摊摊手：“算君一向觉得，什么修为术法，都是小道，只有算学才能说明问题。在他眼中，人只有两种，一种就是有diǎn水平的算家，另一种就是不同算学的残障。而你那篇论文让你脱离了算君眼中的残障一类。，成了有di�