“算证明‘王崎’，办法证明‘梅歌牧’——‘梅歌牧’‘王崎’啊！”王崎竖三根指，摊：“喏，吗？”
破理真王崎，摇头：“特奶奶，愧弈算专。错，。法证明，谁敢将放。”
“，何必呢？”王崎语气像：“果梅歌牧，必将杀掉，顶王崎身份吗？真，走海阔凭鱼跃吗？往仙路钻。”
“谁知呢？或许梅歌牧选择今法路，寄族，或者……单纯抱龙族腿？毕竟条腿眷遗族老火腿算极粗。”破理真盯王崎。
王崎点点头：“。假设况话……算梅歌牧，与仙盟利益绑定，再坑害仙盟吧？”
破理真置否：“谁知呢？”
王崎点点头：“确实。梅歌牧比疯。”
破理真豁站：“喂，鬼！知知！应该反驳啊！逻辑或什……啊！此精英吗？，算老师未必比更长此吗？”
王崎摆摆：“正因懂逻辑，才知，几乎。”
“喂！”破理真吼：“怎态度？”
王崎床，站窗户，眼神飘向广阔垠宇宙星空：“辈，知？传统路秩，哪怕严格义志，法掉谐处【球属，“Debug”】。”
破理真脸耐烦：“研究算器。”
“很思话题，辈。”王崎挥，摞草稿纸便飞张，落：“思考类问题。掉身谐处，路秩实太难。或许足够数据支撑，专业校谐路秩做其简单路秩进校正，办法掉身算符间‘谐’。”
破理真皱眉：“……像办法证？”
“首先，涉及两层问题。首先，，正确与错误定义。”王崎眼稿纸，将放：“庞符阵，环环相扣，彼此间必须绝‘谐’才使符阵整体良运转。候，将‘符阵良运转’况定义‘正确’，？”
破理真点点头：“确实。”
“，‘符阵运转’况，‘错误’，吧？”
破理点点头。
王崎笑：“，很简单。故，‘正确’‘’，与相‘错误’，却存数。每符篆状况，每状况原因导致。甚至主持阵法操，或者放置压阵灵物——‘正确’限集合，错误却限、至少构元素巨限集合。”
“算器，志限数据库，。它够知什‘正确’，办法认识‘错误’。”
破理真皱眉：“其实，存‘虽正确，勉强够维持基本运转’间状态吧？”
王崎拍：“头！间状态实际存。像‘德准则’。符合德准则，实际限。呢，虽算德，罪，及完全挑战公序良俗径，实数胜数。”，哂，：“谓‘世错’，本庸安慰法。实际，‘’概念、符合德‘’，直很明确，且限。界限模糊，数胜数‘非德非罪’及‘德’。”
笑庸德，非污蔑德，甚至德本身存。
容拍拍桌：“跑题——且德，让别扭。”
“话。赞伪君，因伪君至少话。”王崎，：“原因。”
容思考片刻：“换句话，若路秩知‘正确’标准，身谐？”
“。”王崎摇摇头：“实际，二原因。指涉。”
“‘指涉’……”容抬头：“……《银翼刺客》？”
《银翼刺客》故诞，伴随“完备”、“判定”两铁律，伴随歌庭派算主系由盛转衰路，伴随万法门内部洗牌。破理忘记伴随历史诞故。
与模机关混进群，套号称“够甄别切机关逻辑问题”够将甄别。机关傀儡审官知套逻辑。，傀儡审官叛逃。，另傀儡审官，够靠问题，将叛逃傀儡审官群揪吗？
答案“知”。
必引穷循环矛盾。
王崎摊：“将套传‘逻辑问题’换。假设，志数据库，数据库号称够探查任何志否存‘谐处’，数据库志部分。，候，志够鉴定吗？”
“……”破理迟疑：“？”
“觉般猜？”
“，等等！”破理真按住脑袋：“停，果候，志因数据库主除或者掩盖谐处，工‘谐’，什呢？至少结果……，。若按照法，若判断……唔”
瞬间，位逍遥修士陷入某逻辑错乱。
“图灵停机问题。”王崎顿：“‘谐处’导致路秩法运转。停机判断任路秩否限间内结束运问题。果问题限间内解决，则路秩判断其本身否停机并做相反，候显管停机问题结果什符合求。”
“莫名其妙……”破理真：“莫名其妙。万法门弟每琢磨？”
“算……感？”王崎，：“另版本打，算算……唔，两代码高度类似志相互击其谐处？”
“莫名其妙。”破理真止几次话。深呼吸，：“……办法？”
“嗯。首先，算定义‘王崎’，办法将‘王崎’义列举，并证明王崎非王崎什东西——更难，很难证明；其二，果让，涉及指涉。”王崎：“本，解。懒进步消耗脑力。且话回，真——屁点。”
破理真感觉火：“师弟混账呆几吧……觉往候脑塞点什臭闻东西。”
“怎，辈？”王崎奇：“海辈判断。”
“呸。”
王崎：“嘛！论何杀。法证明王崎况，杀万法门巨损失。况，坏况，……办法接触仙盟杀器，办法官僚？”
【话，目朗读听书app，野果阅读， 安装新版。】
破理真眼：“嗯，……限制……由？”
“太。”王崎拍：“找方静修！”
“像点失落啊。”破理真外：“，……”
“啧，您，再老师，晚脸苦逼，安安静静书解题求做。谁官僚——尤其仙盟官僚，蠢傻吗！”王崎拍：“至龙族庇护区域安安静静潜修，很难遇危险吧，仙盟凶器带啊。”
“身价值，申请研究经费肯定少，定安做问，申请什批什待遇……”
破理真头青筋暴：“呵呵，，太。通知，准备材料吧，申请，征司正讨论。”