第一百七十三章 成名，會議（第2/2頁）

王崎長舒一口氣。數據化修法關乎到他的元神之路。維度這一條，王崎不能不關心。

而有由於數據化修法是王崎自開的道路，隨著這門修法的完善，各種實驗是免不了的。

馮落衣這句話，就相當於是解除了王崎的後顧之憂。

“好了，沒有什麽事的話，你就可以離開了。”馮落衣這才發現，這次的會議早已經離題萬裏。

他們是來討論如何保住算主性命的，不是來聽王崎的報告會的。

可是現在……算主的生命危險，好像反而更大了一點。

如果說王崎的不完備相當於對著算主灌了一劑鶴頂紅，那不可判定就是再追加兩斤砒霜。算主早些年提出的宏圖大業、他為之奮鬥半生的理想，已經被王崎兩道算理破壞得幹幹凈凈。

想要這裏，馮落衣覺得腦袋又疼了三分。

不過，誰讓他們都是算學家呢？面對那樣的至理，他們有不聽的道理嗎？

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

王崎點點頭，一臉誠懇。

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

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

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

沒有人願意落後。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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