第(3/3)頁

    想到這里，他苦笑著追加了一句：“今天的事情，千萬要保密，不可對任何人提起。直到我許可了。明白嗎？”

    王崎點點頭，一臉誠懇。

    不知為什么，讓馮落衣反倒是更不放心了。

    王崎并不知曉馮落衣現在的心思。他站起身，想著諸多前輩告了個罪，然后離開了這一處幻境。

    幻境之中的討論聲依舊激烈。就連歌庭派最核心的逍遙、算主最鐵桿的支持者，都加入了討論之中。

    沒有人愿意落后。

    注意到這一般變化后，馮落衣笑了笑。

    ——話又說回來，王崎在這個時候拋出“不可判定”，也不是沒有好處的。至少，它徹底摧毀了那些歌庭派逍遙大修的堅持，粉碎了他們幾十年、幾百年依賴的心念，讓他們能夠正式這一次突破。

    如果沒有“不可判定定理”的話，那些逍遙修士，說不定還會將“判定性證明”作為最后的稻草，死死抓住不放，甚至希望能夠從中找出和不完備相悖的東西，去反駁王崎。

    當然，這也只是有可能罷了。馮落衣、圖靈真人這些最早擺脫過去知見障的天才，其實都隱隱判斷出判定性證明的結果了。如果王崎沒有在今天發表不可判定性定理的話，他們過一段時間也有機會做出來。

    但是，這些逍遙修士的“掙扎”，只會讓馮落衣覺得麻煩，認為有很多東西不好施展，還有可能讓算主窺出端倪。

    現在王崎臉這一點念想都不留給他們了，正好。

    想到這里，馮落衣出聲，止住了諸多逍遙修士的討論，道：“諸位，停一下。我們還是回到我們的主題上來好了。”

    除了算君之外，眾多逍遙修士都自動的停止的討論，本來，算君龐家萊并沒有理會馮落衣的意思。只不過和他討論的圖靈真人已經止住了話題，他一個人也說不起來，只好作罷。

    馮落衣環視四周，嚴肅道：“現在，還有哪一位道友對不完備之理、不可判定之理有疑問的？”

    就連艾克蠻這種思想上最徹底的離宗都搖了搖頭，道：“驚世奇才，我服了。”

    “那么，諸位對于我之前的意見，再也沒有異議了吧？”

    馮落衣原本的建議，就是通過他們這些歌庭派最核心的修士，去逐漸改變整個歌庭派的思想，制造一種思考的環境，將算主往某個方向上引導。

    這個“思考的環境”，最好就是讓所有歌庭派的逍遙修士，順著王崎數年前劃下的道路前行，通過類似于超限歸納法之類的方法，證明一些公理系統的完備性，讓算主看到希望，讓他明白，即使算學具有不完備性，一直的公理體系當中，依舊存在完備的。

    這樣子，對他的沖擊更小。

    原本，馮落衣還擔心那些歌庭派修士桀驁不馴，不肯接受這個思路。不過，王崎的第二篇論文，算是打消了這個可能性。

    “在談完算主的事情之后，我們再來談一談仙盟的事情好了。”在商定了關于不完備、不可判定的事情之后，馮落衣語氣突然一轉：“諸位，第五十三個謫仙，被確認了。”(未完待續。)

    PS：　　第二更，求月票！


    第(3/3)頁