第二百一十七章 掺一脚(5/5)
众人会奇怪,明明有一条通天坦途,你偏不走,非要到系统外绕一圈,这不是傻吗?
当时,只有王崎明白,这个系统是做不到“不假外求”的。他绕的那一圈,才是必须的。
不过,这一次就不大一样了。哥德尔的那个证明思路,只不过没有力迫法那样意义大,没有力迫法那样无可辩驳的力度。实际上,这依旧是一条正路。
他只能说道:“这……真的只是个人喜好的问题。那个思路,应当是没有错的。”
“哦。”冯落衣点点头,也不知听没听进去。
“对了,老师。”王崎突然有些好奇了:“那个思路的提出者,到底是谁?”
到底是哪来的奇葩,居然可以**思考出和哥德尔大神一模一样的思路?
冯落衣笑道:“你应该也认识。万法门真传,苏君宇。”
“苏师兄?他的领域包括逻辑吗?”王崎错愕。
印象当中,苏君宇那个家伙学习的领域非常杂,好像是什么都有,主要是概率和几何……额,这么想来的话,他好像也不是没有接触逻辑这一块的可能性啊?如果他那一天脑子一抽跑去学习逻辑——非常有可能嘛!
不过,这还真是奇妙的重合之处啊。王崎想到:力迫法的创始者科恩,研究领域就不是算学逻辑。他最开始只是单纯对第一问感兴趣,所以想要跨领域去掺一脚。他本人其实不能理解力迫法的巨大意义。
苏君宇估计也是这样想的吧……想要在第一问的领域掺一脚,结果这一腿掺出了大成就。(未完待续。)
ps:依旧卡文中qaq
...