第八十章 一阶剑,谐之道

“为什么啊!”王崎抱着脑袋苦苦思索。

为什么我的必杀技会变成马赛克斩呢?

这不科学啊!

薄筱雅凑到王崎身边,问道:“师兄,你这一剑在外面用过吗?——你知道的,有时候自己悟出的招式会存在一些问题无法成立,然后再这里,无法成立的招式就会出现那种无规律的混乱画面。”

“我这一招就是‘成立’啊,怎么可能不成立。”王崎哭丧着脸:“而且我在外面明明用过!”

薄筱雅食指抵着额角,思索道:“难道是与仙盟现有法术完全不一样,算器推演不出效果?不至于啊?除非是极少数加权十的顶尖大术,算器才不能在短时间内解析——而加权十的大术全部都在灵犀库里,也不需要解析……不会吧……师兄,这难不成是新的顶尖术法?”

王崎摇头:“没可能的,我见过加权十的术法,天灵岭妖女艾轻兰的命之炎……我这剑术只有‘一剑’,怎么看也做不到命之炎那样。”

“一剑的效果?”薄筱雅歪着脑袋看向王崎:“这是什么意思?”

“我剑法的基础的一阶逻辑演算……谓词逻辑这个你能够理解吗?”由于打定主意要和薄筱雅合作搞概率论,王崎已经将对方当自己人看待了,也不隐瞒自身杀招:“我的剑法就是取自谓词逻辑的,只有一阶、一剑。但是这一剑是绝对成立的,完备的。只不过反过来说,因为是谓词逻辑,所以只能有一剑。”

在谓词逻辑中,原子命题分解成个体词和谓词。个体词是可以独立存在的客体,它可以是具体事物或抽象的概念。谓词是用来刻划个体词的性质或事物之间关系的词。量词,是在命题中表示数量的词,量词有两类:全称量词(?),表示“所有的”或“每一个”;存在量词(?),表示“存在某个”或“至少有一个”。只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑,简称一阶逻辑,又称狭义谓词逻辑。

一阶谓词逻辑非常简陋,简陋到甚至无法准确描述一个概念,“界定自然数”这种简单的事情都超出了一阶谓词逻辑的能力范围。

但是,根据王崎证明的哥德尔完备定理,或者说,神州的王崎完备定理,只有一阶谓词逻辑是完备的,所有一阶谓词演算下的有效命题都可以证明。

因此,仅限一剑的话,那绝对成立的一剑却由着无可匹敌的威力!

王崎一本正经的说道:“你应当记住,在这个系统里,一说就错,一想就谬,能够阐述这个道理的,除了我那篇论文,就只有这‘一剑’。”

也就是说,这一剑不能配合任何精妙剑法,不能包含任何变化,只能是“一剑”。

薄筱雅被唬得连连点头。问道:“这么厉害的一剑,师兄有没有取名字?”

“就‘一阶剑’啊。”

薄筱雅一脸错愕,怒道:“这么厉害的简述怎么能有这样的名字。”

王崎轻笑:“你还真是在这种无关紧要的地方特别执着啊。”

“哪有。”薄筱雅难得脸红:“这可是师兄你第一个定理啊,而且我个人觉得,这必定是了不得的定理。这样了不起的定理自然会衍生出了不起的一剑,然后这一剑也得配一个了不起的名字……”

“好了,我还是想一想到底是什么原因吧。”王崎站起身,再次劈出两剑,依旧是大片马赛克。

尼玛,圣光、马赛克,再来个暗影就凑齐和谐之力吧?或者在仙侠世界应该叫“谐之道”?

薄筱雅也冥思苦想:“幻境本身不会有问题……师兄你的剑术也是能够使出来的……到底是哪一步除了问题呢?”

王崎又挥了两剑,叹道:“我再试几次吧……”

“你再试几次就得准备好卖身给薄家了。”突然,冯落衣出现在王崎面前。他看了薄筱雅一眼,然后说道:“或者你是准备直接倒插门过去?”

薄筱雅脸色染霞:“冯前辈您怎么能开这种玩笑?”

“冯老师。”王崎见礼:“您怎么会在这里?和我的剑术有关?您知道这是为什么吗?”

冯落衣坐下,说道:“确实有些关系。你知道算器的原理吗?这个你应该懂的。”

王崎点点头:“最底层的就是有与无、阴与阳的二值判断。无数次二值判断积累之后就可以形成一套系统……”

“图灵老弟的构想,一个非常完善的逻辑,就像是高耸入云的塔楼。”冯落衣说道:“但是我们的算学还不完备,建立这套系统的时候,我们没人看清粗它的根基打在哪里,是坚实的岩地,还是无底的沼泽。”

这又是两个世界物理规律不同而产生的技术差异。修家对魂魄的探究持续了八万年,虽然古法的认知有不少错误的地方,但是很多经验却被今法解析。神州对魂魄的认识,远远超过了地球对大脑的认识。

然后,机老图灵借鉴了人族魂魄,并用算学解析人的思维,构建了最初的算器,青铜仙娥。

这实际上是一个巨大的科技黑箱。机老本人并不是完全清楚算器还有万仙幻境的原理,但依旧把它构建了出来,并且学会使用它。

神州修士在云端之上往下投了一座塔,这座塔高耸入云,但云端之上的人们却始终看不见它的根基。

然后,王崎的一阶剑,是基于数学逻辑这一块的神技,是机老理论范围之外的东西,万仙幻境无法反映。

薄筱雅看着王崎,满脸崇拜:“居然……居然比机老走得还远!”

“若真说水平的话,我还差机老不少,只不过这次运气很好。”王崎难得谦虚。

冯落衣又问:“说起来,你这一阶剑倒是一个好招。没有看见之前我还说不好,但是这至少应该是加权四的剑术,你再好好完善的话,说不定可以有加权六——这在五绝门派也可以作为真传推荐了。”

王崎喜滋滋的说道:“其实晚辈还有一个收获。”

薄筱雅惊到:“师兄你刚才还有藏私?不厚道啊!”

冯落衣思考片刻,猜测道:“可是‘看破’一类的?”

“冯老师,您厉害。”王崎表示佩服:“完备的只有一阶逻辑,而对手的剑法越复杂,就表示其背后的逻辑系统越大,越容易出错。我可以在对手的招式之间窥出不完备之处,击而破之。这个,我私下里命名为‘有不谐者吾击之’!”

诶,等等,这还真是谐之道?

————————————————————————————————

咳咳,《昆仑》和《沧海》的梗,喜欢武侠的应该看得出来。

第八十一章 离宗连宗,理念之争

冯落衣在听了王崎的话之后,竟陷入了沉思。过了一会,他一脸认真的问道:“王崎,你老实回答我一个问题——‘逻辑系统越大越强,其中不完备就越明显’,你是这个意思吗?你有新想法了?”

王崎本能的想点头,但随即打了个激灵:“不不不,我只是在证明一阶完备的时候隐约有这么个想法——因为现在只能证明一阶完备,所以现在可以认为,一阶以外都是不完备的。”

哥德尔不完备定理在吃透之前还是不要拿出来比较好。抛出自己没有完全理解的东西,多少有点找死。

冯落衣皱眉,似乎很不喜欢这个答案:“你靠什么知道的?直觉吗?”

王崎第一反应就是嗤笑:“直觉?怎么可……不不不,不是直觉,这是我个人的,额,也不是猜想,应该可以算是下一阶段的目标之一吧,从完备性入手。”

面前这位,似乎不喜欢直觉的说法吧……

“你这个习惯很不好,还没证明的东西怎么能够,能够当成已知结论去使用?”冯落衣这才神色稍缓,他还是训斥了王崎一句,才问道:“之一吗?还有什么?”

“我准备和薄师妹一起搞一搞大数律,然后还有,晚辈最近加入了一个实证部,说不定要搞一搞算理统计和系统论了。”

“大数律是个好题目,统计和大数律应该有结合点,可是系统论这个题目太大了。”冯落衣又批评了王崎几句。

“我这不是在门派之外,没有目标吗?”王崎嬉皮笑脸的说道:“向我这种和散修没啥区别的修家,一缺资源,二缺指点,没有大方向,只能看见什么就研究什么了。”

“给两分颜色就开染坊。”冯落衣笑道:“你也少装可怜了,那昨天交上去的那篇论文很好,兑换数和引用数都不会少,一两个月之后,你在练气期弟子中就算是富豪了。”

薄筱雅欢呼:“好呀!师兄现在这个待遇,总让我有种当初白让他的感觉。”

冯落衣又看了一眼,说道:“另外,希门主决定给你一个提名——明年一月,道器之赏。”

“明年?原来就是明年啊……”王崎只不过对时间表示有些惊讶,对于道器之赏反倒不是特别吃惊。

道器之赏,地位大抵相当于地球的“菲尔茨奖”——也就是“数学领域的诺贝尔奖”。

只不过,菲尔茨奖限定获奖者的年纪,只奖励四十岁一下的年轻数学界。道器之赏也一样,专门奖励元神期以下的年轻修士。只是四十岁差不多也到了一个数学家出成绩的年纪,而金丹期的修士还远远没到一生最辉煌的时候,所以道器赏的学术地位略有些低。

哥德尔完备定理,拿下一个菲尔茨奖也是情理之中。

冯落衣看着王崎:“看起来你信心很足啊。不过说真的,你想要拿下道器赏还真是有点困难。万法门内部的反对声音会很大的。”

薄筱雅不解:“师兄明明很厉害啊,绝对是同辈第一人,哥哥都没他强。”

“这是派系之争。”

薄筱雅很是不解。薄家子弟永远不会理解“争权夺利”这种事的。当别人家为了一个家主之位勾心斗角恨不得杀全家的时候,薄家就已经把家主位置当包袱、绊脚石和狗屎随便乱扔了——薄月翰就因为早年被薄雅歌用狗屎糊了一脸而记恨兄长一辈子。

“这是大道之争、理念之争。”冯落衣又看向薄筱雅:“小丫头,我和王崎还有些事情要谈一谈,涉及万法门的门务——你还有什么事吗?”

很明显,后面的问题就不适合对她说了。薄筱雅虽然很疑惑,但还是起身行礼:“既然如此,晚辈就先告退了。”

薄筱雅的身影消失之后,冯落衣就问王崎:“你知道今法内部最大的理念之争是什么吗?”

“应当是缥缈宫和归一盟的论战吧?”王崎说道:“太一天尊、量子尊师于尔蔚庄三度论剑,然后波动天君又以‘既生且死’的难题诘难缥缈宫……”

冯落衣摇头:“不准道人因为襄助魔皇而身败名裂,缥缈宫人心已经散了。但是反过来说,太一天尊遇上了绕不开的问题,他的理论也岌岌可危。总之,这一场论战已经偃旗息鼓了,大家都知识在等最后的结果。”

“若说‘如火如荼’,万法门内部……”王崎却怎么都想不起还有什么论战能比这个一系列还大。

“你这孩子,倒像是缥缈宫或者归一盟的门下了。当初相形、飘渺论战,我襄助飘渺,希门主襄助相形,可我和希门主算理是一样的。算学才是大道,是可以超越天物流转之理的,明白么”冯落衣无奈的说道:“你可知道,古数家就是分成两宗的,一为连宗,一为离宗。”

“连宗认为,天地一体,万物连续。离宗则认为天地离散,如同自然数一般,一和二之间没有任何东西。”

“连宗和离宗的理念之争实际上贯穿了整个算学之道的历史,而今天。”冯落衣指了指自己:“我,希门主,都是当今离宗的代表,你也可以管‘我们’叫逻辑派。当然,在很很多人眼里,现在的离宗,就是歌庭。”

王崎嘴巴张得极大,如同下巴脱臼了一般。

等一下,我好像忽略了什么……

连宗离宗之争放在地球历史里来看,就是“几何与数”的论战,后面发展到牛顿、莱布尼茨“几何直观、代数抽象”的分歧,再然后就是“直觉主义、结构主义、逻辑主义”……

只不过,“直觉主义和结构主义”终究没能战起来,原因是结构主义、逻辑主义发展到和直觉主义分庭抗礼的时候,正是希尔伯特如日中天的时候,紧接着冯诺依曼也加入了逻辑主义这边,儿直觉主义却正好没有大师……

但是,地球的直觉主义流派只不过“正好没有”大师,而不是“从来没有”。亨利·庞加莱生得太早,不只是错过了自己梦寐以求的物理学大飞跃,还与希尔伯特这样的对手失之交臂。

可是,神州的修家不存在寿元问题啊……

王崎颤颤巍巍的问道:“冯老师,难不成希门主是打算带领你们和庞门主做过一场?”

冯落衣惊诧:“不是‘我们’,是‘咱们’啊。你这篇论文一发出去,任谁都会把你当成我们这一路的。”

王崎眼前一黑,险险栽倒。

——————————————————————————————————

1·庞加莱的一生是寂寞的一生,顶尖的数学家总喜欢跑到物理学领域掺一脚,显示智商过剩,但是庞加莱正好处在旧物理学发展到瓶颈的时代,没什么好的切入点。等爱因斯坦引发新一轮革新,他已经垂垂老矣,算不动了。另外,他也错过了希尔伯特这样的对手。他那个时代排第二的数学家是什么水平呢?克莱因被称为“神一样的克莱因”“站在云层之上的神”,【这些绰号够中二的】克莱因与庞加莱用信件交流数学,不久之后,克莱因就因为烧脑过度,精神崩溃了,而且一辈子都没好起来【庞加莱:我还没用力,你怎么就倒下了?】

2·评论区喷子出没注意,诚招版主、副版主【一个人加精、删帖什么的什么的,好麻烦的~】

3·求推荐票啦QAQ排名一直在退啊TAT自己

网欢迎广大书友光临阅读,最新、最快、最火的连载作品尽在原创!</a><a>手机用户请到阅读。</a>

重新连接服务器...

连接失败... 将在 秒后重新尝试连接.

连接失败.
请刷新此页面.

此会话被服务器暂停.

恢复会话失败.
请重试或者刷新此页面.