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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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