第一百八十章 两宗分歧的末路?(2/3)
证明!”——又是这个王崎……
秦川和的眉头不自觉的皱起:“我们所学的东西是绕过多阶逻辑完备性证明的取巧之法,所以你就猜测算学不完备?你怎么不说是完备性得到了证明?”
“如果完备性得到了证明的话,那这些东西都没有任何意义!”苏君宇反驳道:“而且算学完备,和我们任何人的直观感受都不矛盾!那就不算是‘颠覆’了!”
索文虹摇了摇头:“不可理喻”
秦川和则低吼道:“证明!这个想法,你必须给出证明!”
这场谈话到最后,几乎所有人都是带着愤懑离开的。而苏君宇的眉头则再一次深深皱起。
是啊……证明,必须给出证明……
——可是,王崎,你小子如果真的做出了如此了不得的成就,那你是如何证明的?
苏君宇第一次感觉到有些力不从心。他思考出“不完备”这一重道理。还是因为受王崎笔记当中那“即使是最简单的数字,都有超越人类思维的含义”道理的启发。要让他独立想出证明方法……
由于认知的原因,苏君宇并没有意识到,王崎和冯落衣,早就将这个证明的关键暗示给他了。
“银翼刺客”,“自指”。
最终,苏君宇也是深深叹息。
——靠,我居然追不上那小子的思路了。
……………………………………………………………………………………………………………………
万仙幻境当中,冯落衣和若澈仙子全程围观了这一幕。
若澈仙子语气之中带着一份讥讽,九分苦涩:“看起来,你和王崎的苦心白费了啊。没有一个人意识到,那一出蜃戏才是解出这一道谜题的关键……自指,自指……呵呵呵。”
冯落衣语气平静:“终究是个好现象。”
若澈仙子道:“接下来怎么办?要不要使用更加露骨的提示?”
冯落衣摇摇头:“暂时不必了。我们最重要的是引导,观察这些人思维过程的转变。”他顿了一下,然后道:“再观察七日。如果这个怀疑没有被忽视、遗忘的迹象,那就让第一批元神修士加入这一场集训。”
若澈仙子苦笑:“看着他们一个个明明已经掌握了最关键的钥匙却不得门而入,我就仿佛看到了自身……几百年来就像个无头苍蝇似的,什么都不清楚,乱闯乱撞,却不知道宝山就在身边。‘炼丹师悖论’,呵呵,多么古老的理论啊。自指……自指……”
最终,所有的感慨都化作的一声叹息:“我怎么就没有想到呢?”
“一般人思考这个问题,只会陷入层层自我的迷宫当中,难以自拔。但是,有一种天才,他就偏偏能够斩破重重虚妄,看到最内核的东西。”冯落衣语气平静。
哥德尔不完备定理——王氏不全律的证明,并非是一蹴而就的。它同样需要经过曲折而艰难的思考。
“王崎就是那个天才?”
“他毫无疑问是天才。”见若澈仙子兴致不高,冯落衣换了个话题:“话说回来,希门主那边怎么样了?”
“师父那一边……”若澈仙子苦笑:“大约是知见障太过可怕了吧。他根本就没有意识到这方面的问题。而且……而且……”
冯落衣皱眉:“而且什么?还有什么问题?”
“实际上,歌庭派内部还出现了一种思想。”若澈仙子有些耻于开口:“他们说,不全律的表述、证明,都太过武断了。‘算学不全’这个概念付诸文字只有短短的四个字,但是用算符……几乎表达不出来。他们觉得,只要抵死不承认这是算学,在心中将之视作‘文字游戏’,就可以……就可以避免道心动摇。”
“呵呵。”冯落衣面露讥讽之色:“算君就是用这种方式鄙视我们的,现在我们还要用这种方式去鄙视别人?”
若澈仙子感叹:“可是……它确实不是算学的陈述……或许,这个思想,可以用作保护老师……”
冯落衣愤怒道:“你想让希门主当那种无胆鼠辈吗?”
若澈仙子叹道:“不全律,
第2页完,继续看下一页