书中文学网

手机浏览器扫描二维码访问

第165章（第3页）

紧接着，他举起长剑，奋力噼下。

没有比这更简单的一剑了，就是初学剑法的新入弟子都能斩出这样一剑。

但是，就算是逍遥，也从没有斩出这样的一剑。

完美，无暇，毫无矛盾之处。这是自洽的一剑，升华了的一剑。

它是“完备”，它是“成立”！

薄筱雅仿佛被这剑光所迷。她看着这一剑，目光迷离，手中虽然举着道元零印，但是却没有想着下一步。

她输定了。王崎的剑会在她的法印之前斩中目标。

就在这时，王崎的剑下突然出现大量不规则色块、

诶？

诶？

两个人都被这样的变故弄得一头雾水。王崎长剑带着色块集中薄筱雅，薄筱雅的虚拟角色身上突然出现无数“雪花点”，像是信号不好一般。

但是，薄筱雅的法印越打在了王崎的身上。

一股无可抵御的丰沛大力将王崎高高抛起，紧接着，王崎身上亮起一片红光，这是受到致命伤，必须出局的信号。

王崎落地之后的第一件事就是拔出剑来，对空挥剑。

依旧是从哥德尔完备定理、一阶逻辑演算推演出的完备一剑、成立一剑。但是不管他怎么试，最后长剑都会带出一片不规则色块，然后变得毫无杀伤力。

王崎悲愤道：“尼玛啊！为什么我的必杀一剑会变成这种马赛克斩啊！！”

第八十章一阶剑，谐之道

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

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

这不科学啊！

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

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

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

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

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

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

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

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

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

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

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

十二鬼月横滨结仇日常  我靠拾荒称霸三界  富婆的快乐你不懂[神豪]  穿成大佬假妹妹  开局被女土匪看中，我占山为王  怪厨  七零夜校女教师  雄虫他只想苟命[虫族]  孤手握三十万重兵，你让孤自裁？  穿越千年，只为遇见你！  风刃之芒  魂穿七零，这个世界我要做大女主  是你攻略不下的女主  再见，我亲爱的封先生  妻调令  震惊！这个男人能点化智械  夫君热衷于给我捧场  [原神]为了磕cp我连天理都能推翻  穿成流放文的极品小姑（穿书）  重回86：大哥死前托妻给我