出“不可判定”,也不是没有好处的。至少,它彻底摧毁了那些歌庭派逍遥大修的坚持,粉碎了他们几十年几百年依赖的心念,让他们能够正式这一次突破。
如果没有“不可判定定理”的话,那些逍遥修士,说不定还会将“判定性证明”作为最后的稻草,死死抓住不放,甚至希望能够从中找出和不完备相悖的东西,去反驳王崎。
当然,这也只是有可能罢了。冯落衣图灵真人这些最早摆脱过去知见障的天才,其实都隐隐判断出判定性证明的结果了。如果王崎没有在今天发表不可判定性定理的话,他们过一段时间也有机会做出来。
但是,这些逍遥修士的“挣扎”,只会让冯落衣觉得麻烦,认为有很多东西不好施展,还有可能让算主窥出端倪。
现在王崎脸这一点念想都不留给他们了,正好。
想到这里,冯落衣出声,止住了诸多逍遥修士的讨论,道:“诸位,停。我们还是回到我们的主题上来好了。”
除了算君之外,众多逍遥修士都自动的停止的讨论,本来,算君庞家莱并没有理会冯落衣的意思。只不过和他讨论的图灵真人已经止住了话题,他一个人也说不起来,只好作罢。
冯落衣环视四周,严肃道:“现在,还有哪一位道友对不完备之理不可判定之理有疑问的?”
就连艾克蛮这种思想上最彻底的离宗都摇了摇头,道:“惊世奇才,我服了。”
“那么,诸位对于我之前的意见,再也没有异议了吧?”
冯落衣原本的建议,就是通过他们这些歌庭派最核心的修士,去逐渐改变整个歌庭派的思想,制造一种思考
第一百七十三章 成名,会议(5/6)