第一百七十三章 成名，会议（第2/2页）

王崎长舒一口气。数据化修法关乎到他的元神之路。维度这一条，王崎不能不关心。

而有由于数据化修法是王崎自开的道路，随着这门修法的完善，各种实验是免不了的。

冯落衣这句话，就相当于是解除了王崎的后顾之忧。

“好了，没有什么事的话，你就可以离开了。”冯落衣这才发现，这次的会议早已经离题万里。

他们是来讨论如何保住算主性命的，不是来听王崎的报告会的。

可是现在……算主的生命危险，好像反而更大了一点。

如果说王崎的不完备相当于对着算主灌了一剂鹤顶红，那不可判定就是再追加两斤砒霜。算主早些年提出的宏图大业、他为之奋斗半生的理想，已经被王崎两道算理破坏得干干净净。

想要这里，冯落衣觉得脑袋又疼了三分。

不过，谁让他们都是算学家呢？面对那样的至理，他们有不听的道理吗？

想到这里，他苦笑着追加了一句：“今天的事情，千万要保密，不可对任何人提起。直到我许可了。明白吗？”

王崎点点头，一脸诚恳。

不知为什么，让冯落衣反倒是更不放心了。

王崎并不知晓冯落衣现在的心思。他站起身，想着诸多前辈告了个罪，然后离开了这一处幻境。

幻境之中的讨论声依旧激烈。就连歌庭派最核心的逍遥、算主最铁杆的支持者，都加入了讨论之中。

没有人愿意落后。

注意到这一般变化后，冯落衣笑了笑。

——话又说回来，王崎在这个时候抛出“不可判定”，也不是没有好处的。至少，它彻底摧毁了那些歌庭派逍遥大修的坚持，粉碎了他们几十年、几百年依赖的心念，让他们能够正式这一次突破。

如果没有“不可判定定理”的话，那些逍遥修士，说不定还会将“判定性证明”作为最后的稻草，死死抓住不放，甚至希望能够从中找出和不完备相悖的东西，去反驳王崎。

当然，这也只是有可能罢了。冯落衣、图灵真人这些最早摆脱过去知见障的天才，其实都隐隐判断出判定性证明的结果了。如果王崎没有在今天发表不可判定性定理的话，他们过一段时间也有机会做出来。

但是，这些逍遥修士的“挣扎”，只会让冯落衣觉得麻烦，认为有很多东西不好施展，还有可能让算主窥出端倪。

现在王崎脸这一点念想都不留给他们了，正好。

想到这里，冯落衣出声，止住了诸多逍遥修士的讨论，道：“诸位，停一下。我们还是回到我们的主题上来好了。”

除了算君之外，众多逍遥修士都自动的停止的讨论，本来，算君庞家莱并没有理会冯落衣的意思。只不过和他讨论的图灵真人已经止住了话题，他一个人也说不起来，只好作罢。

冯落衣环视四周，严肃道：“现在，还有哪一位道友对不完备之理、不可判定之理有疑问的？”

就连艾克蛮这种思想上最彻底的离宗都摇了摇头，道：“惊世奇才，我服了。”

“那么，诸位对于我之前的意见，再也没有异议了吧？”

冯落衣原本的建议，就是通过他们这些歌庭派最核心的修士，去逐渐改变整个歌庭派的思想，制造一种思考的环境，将算主往某个方向上引导。

这个“思考的环境”，最好就是让所有歌庭派的逍遥修士，顺着王崎数年前划下的道路前行，通过类似于超限归纳法之类的方法，证明一些公理系统的完备性，让算主看到希望，让他明白，即使算学具有不完备性，一直的公理体系当中，依旧存在完备的。

这样子，对他的冲击更小。

原本，冯落衣还担心那些歌庭派修士桀骜不驯，不肯接受这个思路。不过，王崎的第二篇论文，算是打消了这个可能性。

“在谈完算主的事情之后，我们再来谈一谈仙盟的事情好了。”在商定了关于不完备、不可判定的事情之后，冯落衣语气突然一转：“诸位，第五十三个谪仙，被确认了。”