對于圖靈真人第一個站起來，王崎絲毫不感到意外。【..】
因為，在地球上，寫出《論可計算數及其在判定問題上的應用》的學者，名字叫做阿蘭·圖靈——圖靈真人的同位體。
王崎相信，即使自己不發表這一篇論文，那么這位逍遙修士也會在三五年之后發表出相似的論文。
當然，王崎并不覺得自己這樣算是剽竊——實際上也很難界定這種情況。兩個世界的歷史雖然存在一定的相似之處，但是圖靈真人畢竟不是那個阿蘭·圖靈。在這個世界的歷史上，圖靈真人并沒有迸發出靈感來解決這個判定性問題。
而且王崎上輩子作為一個物理學家，也沒有無聊到將不可判定性的論文背下來。那一篇論文，是王崎自己獨立推導完成的，絕大部分都是王崎自己的原創內容。
但即便是如此，王崎依舊對圖靈真人恭敬一禮：“不敢當。若是沒有我，真人再過三五年，亦是能夠求出這一重道理。
圖靈擺擺手：“這可就未必了。我確實是有一點這方面的想法，不過我這個人性子散漫，要么在萬仙幻境里消磨時間，要么在扶桑閑晃，在專注上倒是不如諸多道友了。對我來說，你這是省了我數年的苦工啊！而且這不可判定一處，萬仙幻境很多在邏輯上的問題就可以繞解決了。再給我一年……不至多半年。我就可以讓萬仙幻境再更新一代！”
算器，始終是建立在邏輯之上的。
不完備，不可判定，都是算理邏輯領域的重大突破。
這樣的突破，又怎么可能會不帶動算器的發展？
而算器的發展意味著什么？萬仙幻境的全面升級！
萬仙幻境。乃是仙盟目前最大的倚仗之一。可以說，若大仙盟之所以能夠運轉有度，這萬仙幻境功不可沒。
可以說，這絕對是最近幾十年，實際意義最大的理論之一。
它甚至有可能開啟一個時代！
算君表情有些悻悻。他覺得，自己剛剛才說王崎的理論百無一用，結果這邊的人就大聲稱贊。這實在是很不給他面子。只不過。他對算器也是頗為感興趣的。反正在這里也沒人敢笑他不知羞，于是他干脆越過人群，直接找圖靈真人討論起來了。
他并非不懂集合論，只是反對將集合論作為算學的根基，討厭將集合論做成文字游戲。對于算器，他還是很喜歡的。
而更多的人，則將目光投s到王崎身上。
“啪啪啪。”
第一道掌聲響起之后。才有第二道、第三道……越來越多的逍遙修士開始鼓掌。稀稀落落的掌聲逐漸連成一片。
正如馮落衣所說，不管他們承不承認，算學的歷史，又翻開了新的一頁。
這就像他們的意志無法決定太陽是否從東面出來一樣。
算學，進入了一個新的時代。
一個類似于物理領域縹緲之道的時代。
在一眾逍遙的掌聲當中，王崎走回了自己的座位。這時，他聽到了馮落衣的傳音。
“做得不錯。”
除此之外，再沒有什么別的話語。馮落衣確實不是很會說話。
王崎點點頭，握住有些顫抖的手。
這個時候，他激動得說不出話來。
論文的結論確實不是他的。但是。過程是他王崎獨立求得的，靈感也是他自己的。怎么說呢？這一篇論文不是他的親生兒子，至少也應該算養子吧？
盡管早就知道了不可判定性定理的歷史地位，但是他有什么理由不激動嗎？
就算單為“見證”，也值得狂歌三日！
“我也沒有料到，你能做到這一步。第二問、第十問……現在萬法門已經不會有人懷疑你不能踏破天關了，涅槃劫十有**也難不倒你。現在。大家就智慧猜測，你需要用多久成道逍遙了。”
“老師謬贊……”
“這可不是在夸你。”馮落衣搖頭笑了笑：“這次小會結束之后，你就會是當之無愧的算理邏輯第一人，同輩之中，不會有人比你更強。就算是‘前輩’里面，怕是也沒幾個能在你面前稱高人了——當然，這不能成為你蔑視前輩的理由！”
“是。”王崎點點頭，還有點暈。
“以后，有什么計劃，你就正大光明的交上計劃書就好了。只要是不違背原則性的問題，仙盟都會支持你。想要做什么，就去做吧！”
這一句話，讓王崎回到現實。他兩眼放光——說了這么多，終于有實質性的東西了。
“那么……天靈嶺的禁令咱是不是……”
“唯獨這個不可能。”馮落衣一口回絕：“想都別想。”
王崎的臉立刻就垮了下來：“剛才還說支持啊……”
“這可不是什么小事。你現在只是得到了我萬法門的肯定，但是那一塊的事情，主要還是歸天靈嶺管的。”馮落衣咳了兩聲：“不過，你也不要擔心什么修法的問題。只要你能夠走完正常的程序，自然就會有人幫助你將修法推廣開去。仙盟也會讓開設專門的項目組進行研究。”
王崎長舒一口氣。數據化修法關乎到他的元神之路。維度這一條，王崎不能不關心。
而有由于數據化修法是王崎自開的道路，隨著這門修法的完善，各種實驗是免不了的。
馮落衣這句話，就相當于是解除了王崎的后顧之憂。
“好了，沒有什么事的話，你就可以離開了。”馮落衣這才發現，這次的會議早已經離題萬里。
他們是來討論如何保住算主性命的，不是來聽王崎的報告會的。
可是現在……算主的生命危險，好像反而更大了一點。
如果說王崎的不完備相當于對著算主灌了一劑鶴頂紅，那不可判定就是再追加兩斤砒霜。算主早些年提出的宏圖大業、他為之奮斗半生的理想，已經被王崎兩道算理破壞得干干凈凈。
想要這里，馮落衣覺得腦袋又疼了三分。
不過，誰讓他們都是算學家呢？面對那樣的至理，他們有不聽的道理嗎？
想到這里，他苦笑著追加了一句：“今天的事情，千萬要保密，不可對任何人提起。直到我許可了。明白嗎？”
王崎點點頭，一臉誠懇。
不知為什么，讓馮落衣反倒是更不放心了。
王崎并不知曉馮落衣現在的心思。他站起身，想著諸多前輩告了個罪，然后離開了這一處幻境。
幻境之中的討論聲依舊激烈。就連歌庭派最核心的逍遙、算主最鐵桿的支持者，都加入了討論之中。
沒有人愿意落后。
注意到這一般變化后，馮落衣笑了笑。
——話又說回來，王崎在這個時候拋出“不可判定”，也不是沒有好處的。至少，它徹底摧毀了那些歌庭派逍遙大修的堅持，粉碎了他們幾十年、幾百年依賴的心念，讓他們能夠正式這一次突破。
如果沒有“不可判定定理”的話，那些逍遙修士，說不定還會將“判定性證明”作為最后的稻草，死死抓住不放，甚至希望能夠從中找出和不完備相悖的東西，去反駁王崎。
當然，這也只是有可能罷了。馮落衣、圖靈真人這些最早擺脫過去知見障的天才，其實都隱隱判斷出判定性證明的結果了。如果王崎沒有在今天發表不可判定性定理的話，他們過一段時間也有機會做出來。
但是，這些逍遙修士的“掙扎”，只會讓馮落衣覺得麻煩，認為有很多東西不好施展，還有可能讓算主窺出端倪。
現在王崎臉這一點念想都不留給他們了，正好。
想到這里，馮落衣出聲，止住了諸多逍遙修士的討論，道：“諸位，停一下。我們還是回到我們的主題上來好了。”
除了算君之外，眾多逍遙修士都自動的停止的討論，本來，算君龐家萊并沒有理會馮落衣的意思。只不過和他討論的圖靈真人已經止住了話題，他一個人也說不起來，只好作罷。
馮落衣環視四周，嚴肅道：“現在，還有哪一位道友對不完備之理、不可判定之理有疑問的？”
就連艾克蠻這種思想上最徹底的離宗都搖了搖頭，道：“驚世奇才，我服了。”
“那么，諸位對于我之前的意見，再也沒有異議了吧？”
馮落衣原本的建議，就是通過他們這些歌庭派最核心的修士，去逐漸改變整個歌庭派的思想，制造一種思考的環境，將算主往某個方向上引導。
這個“思考的環境”，最好就是讓所有歌庭派的逍遙修士，順著王崎數年前劃下的道路前行，通過類似于超限歸納法之類的方法，證明一些公理系統的完備性，讓算主看到希望，讓他明白，即使算學具有不完備性，一直的公理體系當中，依舊存在完備的。
這樣子，對他的沖擊更小。
原本，馮落衣還擔心那些歌庭派修士桀驁不馴，不肯接受這個思路。不過，王崎的第二篇論文，算是打消了這個可能性。
“在談完算主的事情之后，我們再來談一談仙盟的事情好了。”在商定了關于不完備、不可判定的事情之后，馮落衣語氣突然一轉：“諸位，第五十三個謫仙，被確認了。”(未 完待續 ~^~)
ps： 第二更，求月票！
－－－－－－－－－－－－－
－－－－－－－－－－－－－ |
