博炮作文网

第417部分（第3页）

冯落衣所指的，乃是王崎获得道种赏前后，用超限归纳法证明算术系统一致性的道路。按照一般人所想，他应该根据自己证明的“一阶谓词逻辑系统完备”出发，从一阶推向高阶。

但是，王崎当时选择的，却是一条无比远的路——在系统外证明系统内无矛盾。

众人会奇怪，明明有一条通天坦途，你偏不走，非要到系统外绕一圈，这不是傻吗？

当时，只有王崎明白，这个系统是做不到“不假外求”的。他绕的那一圈，才是必须的。

不过，这一次就不大一样了。哥德尔的那个证明思路，只不过没有力迫法那样意义大，没有力迫法那样无可辩驳的力度。实际上，这依旧是一条正路。

他只能说道：“这……真的只是个人喜好的问题。那个思路，应当是没有错的。”

“哦。”冯落衣点点头，也不知听没听进去。

“对了，老师。”王崎突然有些好奇了：“那个思路的提出者，到底是谁？”

到底是哪来的奇葩，居然可以独立思考出和哥德尔大神一模一样的思路？

冯落衣笑道：“你应该也认识。万法门真传，苏君宇。”

“苏师兄？他的领域包括逻辑吗？”王崎错愕。

印象当中，苏君宇那个家伙学习的领域非常杂，好像是什么都有，主要是概率和几何……额，这么想来的话，他好像也不是没有接触逻辑这一块的可能性啊？如果他那一天脑子一抽跑去学习逻辑——非常有可能嘛！

不过，这还真是奇妙的重合之处啊。王崎想到：力迫法的创始者科恩，研究领域就不是算学逻辑。他最开始只是单纯对第一问感兴趣，所以想要跨领域去掺一脚。他本人其实不能理解力迫法的巨大意义。

苏君宇估计也是这样想的吧……想要在第一问的领域掺一脚，结果这一腿掺出了大成就。

第二百一十八章　无上心魔咒

王崎此次来见冯落衣，自然是来汇报自己的最近的工作的。

再伟大的想法，也不是无迹可寻。纯粹由一个“灵感”推动的证明，也需要酝酿。哥德尔不完备定理就是“灵感”“才思”的典型。但是，他也得先证出作为前置的哥德尔完备性定理。

最近一两年，王崎始终保持着一到两个月和冯落衣汇报一次的习惯。顺便的，他还会与这位当世最强之一的算家做交流。

在汇报完之后，王崎起身便要走。这个时候，冯落衣叫住了他：“王崎，我问你，要你估计的话，你做出这第一问的证明，需要多久？”

“需得数年吧？总而言之，苏师兄不出意外就可以拿到‘解决第一问’的荣誉了。”王崎得模棱两可。这可不同于抄论文，他前世是个物理学家不是数学家，力迫法他也只知道名字，什么时候能够抛出来也不是他能够控制的。

“看起来是赶不上了……”冯落衣脸色有些阴沉：“然后，我问你。按照现在的进度，谪仙苟大宝需要多久才能完成结丹？”

“两个月左右。”王崎估算道：“我虽然消去了他对算学的抵触，但是想要将他从古法之道拉到正道上来，非是一日之功。筑基的部分我打算结合人造法基的手段，一半外来植入，为他铸成完美身基。然后，经过一段时间的适应之后，再让他结丹。这个过程，我也会辅佐以‘一键结丹’的手段。这至少需要两个月。”

“两个月……”冯落衣摇摇头，又问道：“你还主持了什么项目吗？非你不可的那一种。”

王崎思忖片刻，道：“这个倒没有。推广万象卦文，推广数据化修法，这就是我算学之外主要做的事了。”

“那么，你就在三个月后出发吧。”冯落衣道：“西海龙王不知道是一个什么情况，梅歌牧也是生死不知，现在每拖一天都是危险。”

王崎点头应是。十万大山当中，他算是体验过了谪仙手段，深知人外有人天外有天。“仙人”这个阶级能够超然宇宙间，不是没有道理的。

“现在我问问你好了，你打算从什么门路进入古法仙门？”冯落衣询问道：“现在我手里有两个路子，一在落尘剑宫，一在天书楼。”

“天书楼、落尘剑宫……”王崎对这两个门派的名字都有印象。他和这两个门派的修士都战斗过，也熟知这两个门派的修行之法。他问道：“这落尘剑宫如何？天书楼又如何？”

“各有优劣。”冯落衣依旧是召唤出那个海外古法仙门的地图，指点道。

“天书楼本命法宝天书册，手段繁多，几乎没人知道他们能够使出什么。在斗法之中，你使出什么样的法度都不足为奇。对于有今法仙道支撑，又得了仙道焚书纲的你来说，天书楼很能发挥自己的实力。”

“但是，天书楼乃是圣帝尊的心腹，最高修为乃是合体圆满，而且位置非常接近皇极裂天道，接近大乘期的谪仙圣帝尊。你在哪儿的行事，处处受掣肘。”

“而落尘剑宫就不同了。他们是剑修门派，专精剑道。你的手段在那儿大受限制。可是，他们的优势也很明显。落尘剑宫的三位太上长老都没有到合体期，比天书阁的高手弱上不少。”

王崎想也没想，直接说道：“弟子就选落尘剑宫。”

“哦？为什么这么选？”

“规避风险，本身就是利益。”王崎回答道：“这次是要面对谪仙的，最终目标也是大乘期大圆满境界的圣帝尊。面对这种对手，再如何小心都不为过。”

看