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