手机浏览器扫描二维码访问
“为什么啊!”王崎抱着脑袋苦苦思索。
为什么我的必杀技会变成马赛克斩呢?
这不科学啊!
薄筱雅凑到王崎身边,问道:“师兄,你这一剑在外面用过吗?――你知道的,有时候自己悟出的招式会存在一些问题无法成立,然后再这里,无法成立的招式就会出现那种无规律的混乱画面。”
“我这一招就是‘成立’啊,怎么可能不成立。”王崎哭丧着脸:“而且我在外面明明用过!”
薄筱雅食指抵着额角,思索道:“难道是与仙盟现有法术完全不一样,算器推演不出效果?不至于啊?除非是极少数加权十的尖大术,算器才不能在短时间内解析――而加权十的大术全部都在灵犀库里,也不需要解析……不会吧……师兄,这难不成是新的尖术法?”
王崎摇头:“没可能的,我见过加权十的术法,天灵岭妖女艾轻兰的命之炎……我这剑术只有‘一剑’,怎么看也做不到命之炎那样。”
“一剑的效果?”薄筱雅歪着脑袋看向王崎:“这是什么意思?”
“我剑法的基础的一阶逻辑演算……谓词逻辑这个你能够理解吗?”由于打定主意要和薄筱雅合作搞概率论,王崎已经将对方当自己人看待了,也不隐瞒自身杀招:“我的剑法就是取自谓词逻辑的,只有一阶、一剑。但是这一剑是绝对成立的,完备的。只不过反过来,因为是谓词逻辑,所以只能有一剑。”
在谓词逻辑中,原子命题分解成个体词和谓词。个体词是可以独立存在的客体,它可以是具体事物或抽象的概念。谓词是用来刻划个体词的性质或事物之间关系的词。量词,是在命题中表示数量的词,量词有两类:全称量词(?),表示“所有的”或“每一个”;存在量词(?),表示“存在某个”或“至少有一个”。只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑,简称一阶逻辑,又称狭义谓词逻辑。
一阶谓词逻辑非常简陋,简陋到甚至无法准确描述一个概念,“界定自然数”这种简单的事情都超出了一阶谓词逻辑的能力范围。
但是,根据王崎证明的哥德尔完备定理,或者,神州的王崎完备定理,只有一阶谓词逻辑是完备的,所有一阶谓词演算下的有效命题都可以证明。
因此,仅限一剑的话,那绝对成立的一剑却由着无可匹敌的威力!
王崎一本正经的道:“你应当记住,在这个系统里,一就错,一想就谬,能够阐述这个道理的,除了我那篇论文,就只有这‘一剑’。”
也就是,这一剑不能配合任何精妙剑法,不能包含任何变化,只能是“一剑”。
薄筱雅被唬得连连头。问道:“这么厉害的一剑,师兄有没有取名字?”
“就‘一阶剑’啊。”
薄筱雅一脸错愕,怒道:“这么厉害的简述怎么能有这样的名字。”
王崎轻笑:“你还真是在这种无关紧要的地方特别执着啊。”
“哪有。”薄筱雅难得脸红:“这可是师兄你第一个定理啊,而且我个人觉得,这必定是了不得的定理。这样了不起的定理自然会衍生出了不起的一剑,然后这一剑也得配一个了不起的名字……”
“好了,我还是想一想到底是什么原因吧。”王崎站起身,再次劈出两剑,依旧是大片马赛克。
尼玛,圣光、马赛克,再来个暗影就凑齐和谐之力吧?或者在仙侠世界应该叫“谐之道”?
薄筱雅也冥思苦想:“幻境本身不会有问题……师兄你的剑术也是能够使出来的……到底是哪一步除了问题呢?”
西游:六岁熊孩子,开局怒怼观世音 巨树领主 舌尖天下 运河之韵 巫妖生存指南 先婚后爱:娇妻拒婚101次 谭笑风声里,灼灼桃之夭 我,地球唯一超能力者 月薪十万,女总裁她果然不只是让我当司机 盛世花都 建立帝国从骑士次子开始 大明:开局剧透崇祯,重振河山 网游航海之王 万苍天穹 灵异直播,女主她不想吓人 道化九界 什么?奥特曼是终身制的? 穿进语文书,从刺猹开始 敛财心 我的修真小米三
关于离谱!我撩的清冷老婆竟是顶级E直男猫系alphaX疯批蛇系enigma猝死后,沈知然绑定系统,成为一本烂尾文里的炮灰alpha。做任务途中,沈知然跟朝夕相处的反派谈起恋爱。高岭之花反派清冷绝美,在他面前粘人又听话,虽然爱强制,但沈知然只当老婆在乎他,越发觉得甜蜜。但反派的马甲一个个掉落,沈知然意识到对方很不简单。订婚前夕,他更是发现,自己捧在手心里的omega老婆竟然是enigma!沈知然跑啊!沈知然提出解除婚约。反派笑着答应,然而下一刻,视线却陷入黑暗。再醒来,沈知然发现自己双手被锁,矜贵清冷的青年环着他的腰,冰冷呼吸紧贴耳侧,病态偏执分开?除非我死。重生后,江珩想做的第一件事就是掐死沈知然,却发现沈知然躯壳里换了个灵魂。新的沈知然会给他包扎伤口会带他看星星,逗他开心明明脆弱却保护他喝醉后会软着声说喜欢。江珩改主意了。他要沈知然的爱。如果沈知然不给,那就不择手段。爱上为止。...
中元十九年,先帝骤然病逝。先帝子嗣不丰,诸子只余六皇子文乐逸尚在。遂顺承帝业即位,改年号为永昌。众臣及外姓诸侯皆俯首恭诣。新帝登基,一切礼仪从简,朝臣再有意见,在看到护送新帝从边关返回的一众武昌军也变成了没有意见。文乐逸几乎是一天之内象征性地走完了所有程序,立马走马上任给先帝收拾烂摊子。魔蝎小说...
穿越重生後妈对照组在年代文带崽逆袭作者七女王完结 简介 娇妻VS硬汉,宠妻双洁带娃日常 美食主播沈明珠穿成了年代文里的恶毒後妈,成了同村沈宝兰的对照组。 沈宝兰贤惠善良,对继子视若已出,原主尖酸刻薄,对继子非打即骂。 沈宝兰靠着大有出息的继子安享晚年,原主被阴暗扭曲的继子活活烧死。...
双男主主受切片攻无限流笨蛋美人万人迷有点智商但不多,通关全靠好哥哥林祈睁开眼睛,发现自己来到了逃生游戏,林祈从小就生的好看,精致的小漂亮一朝落入恐怖的逃生世界,每个副本都能遇见各种纠缠他的男人截取片段副本一看到宋景林祈突然想道,他不是正在追宋景吗,于是开口问系统。林祈质问道。系统坦然的说道。林祈…弹...
...
柏凝一生坏事做尽,欺男霸女,无恶不作。她挚友骂其狼心狗肺。她挚爱笑其不知廉耻。她徒儿讥她罔顾人伦。好在,柏凝突然暴毙,死得不明不白。柏凝死后,她的宿敌花栖枝销声匿迹,一别,便是数年。直到某日,已死之人,重回修真界。一剑开山海,一剑撼苍穹。剑尖指向背信弃义之人。修真界局势骤变,有人说天道轮回,报应不爽。唯有花栖枝寡淡评价曾有人一腔赤诚,就是眼睛不好,脑子也不好,落个悲惨下场。如今再念她的好,迟了。嘴贱心软行止随心攻x寡言少语深情不悔受魔蝎小说...