书海居 m.shuhaiju.net

    第二百一十七章 掺一脚(第 4/4 页)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    ps：　　依旧卡文中qaq手机用户请访问http://m.piaotian.net