他们是来讨论如何保住算主性命的,不是来听王崎的报告会的。
可是现在……算主的生命危险,好像反而更大了一点。
如果说王崎的不完备相当于对着算主灌了一剂鹤顶红,那不可判定就是再追加两斤砒霜。算主早些年提出的宏图大业、他为之奋斗半生的理想,已经被王崎两道算理破坏得干干净净。
想要这里,冯落衣觉得脑袋又疼了三分。
不过,谁让他们都是算学家呢?面对那样的至理,他们有不听的道理吗?
想到这里,他苦笑着追加了一句:“今天的事情,千万要保密,不可对任何人提起。直到我许可了。明白吗?”
王崎点点头,一脸诚恳。
不知为什么,让冯落衣反倒是更不放心了。
王崎并不知晓冯落衣现在的心思。他站起身,想着诸多前辈告了个罪,然后离开了这一处幻境。
幻境之中的讨论声依旧激烈。就连歌庭派最核心的逍遥、算主最铁杆的支持者,都加入了讨论之中。
没有人愿意落后。
注意到这一般变化后,冯落衣笑了笑。
话又说回来,王崎在这个时候抛出“不可判定”,也不是没有好处的。至少,它彻底摧毁了那些歌庭派逍遥大修的坚持,粉碎了他们几十年、几百年依赖的心念,让他们能够正式这一次突破。
如果没有“不可判定定理”的话,那些逍遥修士,说不定还会将“判定性证明”作为最后的稻草,死死抓住不放,甚至希望能够从中找出和不完备相悖的东西,去反驳王崎。
当然,这也只是有可能罢了。冯落衣、图灵真人这些最早摆脱过去知见障的天才,其实都隐隐判断出判定性证明的结果了。如果王崎没有在今天发表不可判定性定理的话,他们过一段时间也有机会做出来。
但是,这些逍遥修士的“挣扎”,只会让冯落衣觉得麻烦,认为有很多东西不好施展,还有可能让算主窥出端倪。
现在王崎脸这一点念想都不留给他们了,正好。
想到这里,冯落衣出声,止住了诸多逍遥修士的讨论,道:“诸位,停一下。我们还是回到我们的主题上来好了。”
除了算君之外,众多逍遥修士都自动的停止的讨论,本来,算君庞家莱并没有理会冯落衣的意思。只不过和他讨论的图灵真人已经止住了话题,他一个人也说不起来,只好作罢。
冯落衣环视四周,严肃道:“现在,还有哪一位道友对不完备之理、不可判定之理有疑问的?”
就连艾克蛮这种思想上最彻底的离宗都摇了摇头,道:“惊世奇才,我服了。”
“那么,诸位对于我之前的意见,再也没有异议了吧?”
冯落衣原本的建议,就是通过他们这些歌庭派最核心的修士,去逐渐改变整个歌庭派的思想,制造一种思考的环境,将算主往某个方向上引导。
这个“思考的环境”,最好就是让所有歌庭派的逍遥修士,顺着王崎数年前划下的道路前行,通过类似于超限归纳法之类的方法,证明一些公理系统的完备性,让算主看到希望,让他明白,即使算学具有不完备性,一直的公理体系当中,依旧存在完备的。
这样子,对他的冲击更小。
原本,冯落衣还担心那些歌庭派修士桀骜不驯,不肯接受这个思路。不过,王崎的第二篇论文,算是打消了这个可能性。
“在谈完算主的事情之后,我们再来谈一谈仙盟的事情好了。”在商定了关于不完备、不可判定的事情之后,冯落衣语气突然一转:“诸位,第五十三个谪仙,被确认了。”(未完待续~^~)
ps:第二更,求月票!
请收藏:https://m.aofce.com
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)