手机浏览器扫描二维码访问
,
“为什么啊!”王崎抱着脑袋苦苦思索。
为什么我的必杀技会变成马赛克斩呢?
这不科学啊!
薄筱雅凑到王崎身边,问道:“师兄,你这一剑在外面用过吗?——你知道的,有时候自己悟出的招式会存在一些问题无法成立,然后再这里,无法成立的招式就会出现那种无规律的混乱画面。”
“我这一招就是成立啊,怎么可能不成立。”王崎哭丧着脸:“而且我在外面明明用过!”
薄筱雅食指抵着额角,思索道:“难道是与仙盟现有法术完全不一样,算器推演不出效果?不至于啊?除非是极少数加权十的顶尖大术,算器才不能在短时间内解析——而加权十的大术全部都在灵犀库里,也不需要解析……不会吧……师兄,这难不成是新的顶尖术法?”
王崎摇头:“没可能的,我见过加权十的术法,天灵岭妖女艾轻兰的命之炎……我这剑术只有一剑,怎么看也做不到命之炎那样。”
“一剑的效果?”薄筱雅歪着脑袋看向王崎:“这是什么意思?”
“我剑法的基础的一阶逻辑演算……谓词逻辑这个你能够理解吗?”由于打定主意要和薄筱雅合作搞概率论,王崎已经将对方当自己人看待了,也不隐瞒自身杀招:“我的剑法就是取自谓词逻辑的,只有一阶、一剑。但是这一剑是绝对成立的,完备的。只不过反过来说,因为是谓词逻辑,所以只能有一剑。”
在谓词逻辑中,原子命题分解成个体词和谓词。个体词是可以独立存在的客体,它可以是具体事物或抽象的概念。谓词是用来刻划个体词的性质或事物之间关系的词。量词,是在命题中表示数量的词,量词有两类:全称量词,表示“所有的”或“每一个”;存在量词,表示“存在某个”或“至少有一个”。只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑,简称一阶逻辑,又称狭义谓词逻辑。
一阶谓词逻辑非常简陋,简陋到甚至无法准确描述一个概念,“界定自然数”这种简单的事情都超出了一阶谓词逻辑的能力范围。
但是,根据王崎证明的哥德尔完备定理,或者说,神州的王崎完备定理,只有一阶谓词逻辑是完备的,所有一阶谓词演算下的有效命题都可以证明。
因此,仅限一剑的话,那绝对成立的一剑却由着无可匹敌的威力!
王崎一本正经的说道:“你应当记住,在这个系统里,一说就错,一想就谬,能够阐述这个道理的,除了我那篇论文,就只有这一剑。”
也就是说,这一剑不能配合任何精妙剑法,不能包含任何变化,只能是“一剑”。
薄筱雅被唬得连连点头。问道:“这么厉害的一剑,师兄有没有取名字?”
“就一阶剑啊。”
薄筱雅一脸错愕,怒道:“这么厉害的简述怎么能有这样的名字。”
王崎轻笑:“你还真是在这种无关紧要的地方特别执着啊。”
“哪有。”薄筱雅难得脸红:“这可是师兄你第一个定理啊,而且我个人觉得,这必定是了不得的定理。这样了不起的定理自然会衍生出了不起的一剑,然后这一剑也得配一个了不起的名字……”
“好了,我还是想一想到底是什么原因吧。”王崎站起身,再次劈出两剑,依旧是大片马赛克。
尼玛,圣光、马赛克,再来个暗影就凑齐和谐之力吧?或者在仙侠世界应该叫“谐之道”?
薄筱雅也冥思苦想:“幻境本身不会有问题……师兄你的剑术也是能够使出来的……到底是哪一步除了问题呢?”
别跟我讲道理,你敢动我的人,我就叫你知道这世界有多可怕!(超萌狐狸精化身护短狂魔!)推荐我的快穿文→头号炮灰综时空历练记综我的专栏里有许多完结文哦→兰桂专栏入文将于1月18日入V,届时三更,希望大家能多多支持,爱你们哟!么么哒づ ̄3 ̄づ正版读者群企鹅号59722091头号炮灰综(快穿苏...
新文这丞相夫人我不当了已发,求关爱。一朝穿越,她从古武世家传人变成了女扮男装的草包太子,没想到还是在敌军当人质的状态。作为一个擅长各种变装的古武世家传人,怎么能做草包呢?要做也得做最嚣张的草包而不是最懦弱的草包,所以改,必须改。至于打仗什么的,她就是来凑数的,不是有将军么!不过这将军的手好看得过分了啊!好想摸一...
许容容的母亲去世不过三个月,继母就被迎进家门,甚至还带来了一个心机婊妹妹。父亲骗她,继母欺她,妹妹各种算计她。为了摆脱困境,她孤注一掷,用一纸契约将自己卖了出去。却没料到,买主竟然是最负盛名的商界传奇人物裴墨衍。原以为这只是一场公正平等的交易而已,可后来才发现,他早有预谋,一步一步将她宠坏,让她再也离不开他。*遇到了裴墨衍,许容容觉得很憋屈,明明结婚的时候说好只是走个形式而已,可为什么婚后,他总是能用各种冠冕堂皇的理由,一次又一次的压倒她,然后在床上各种花样的折腾她。说好的S市最冷酷的商界精英呢,说好的只是契约婚姻呢,这个总裁,貌似和外面那些妖艳贱货很不一样不知不觉,她已沉沦,再无翻身的可能。...
...
...
PS新书阴曹地府活人只有我自己求支持。黑暗与诡秘,阴影与不祥。是谁在背后低语呢喃?恐怖复苏,绝望的故事之种于此生根发芽!我从诡秘中醒来,驾驭故事,化身灾劫。我是苏无,字无法。无法即无天,是为劫,亦为天灾,源自万物成空。无法无天,天灾苏无空!我要让唐僧,至此而回!吴承恩执笔沉思苏无空,孙悟空??这个西游有点...