第一百七十三章 成名,會議

對於圖靈真人第一個站起來,王崎絲毫不感到意外。

因為,在地球上,寫出《論可計算數及其在判定問題上的應用》的學者,名字叫做阿蘭·圖靈——圖靈真人的同位體。

王崎相信,即使自己不發表這一篇論文,那麽這位逍遙修士也會在三五年之後發表出相似的論文。

當然,王崎並不覺得自己這樣算是剽竊——實際上也很難界定這種情況。兩個世界的歷史雖然存在一定的相似之處,但是圖靈真人畢竟不是那個阿蘭·圖靈。在這個世界的歷史上,圖靈真人並沒有迸發出靈感來解決這個判定性問題。

而且王崎上輩子作為一個物理學家,也沒有無聊到將不可判定性的論文背下來。那一篇論文,是王崎自己獨立推導完成的,絕大部分都是王崎自己的原創內容。

但即便是如此,王崎依舊對圖靈真人恭敬一禮:“不敢當。若是沒有我,真人再過三五年,亦是能夠求出這一重道理。”

圖靈擺擺手:“這可就未必了。我確實是有一點這方面的想法,不過我這個人性子散漫,要麽在萬仙幻境裏消磨時間,要麽在扶桑閑晃,在專注上倒是不如諸多道友了。對我來說,你這是省了我數年的苦工啊!而且這不可判定一處,萬仙幻境很多在邏輯上的問題就可以繞解決了。再給我一年……不至多半年,我就可以讓萬仙幻境再更新一代!”

算器,始終是建立在邏輯之上的。

不完備,不可判定,都是算理邏輯領域的重大突破。

這樣的突破,又怎麽可能會不帶動算器的發展?

而算器的發展意味著什麽?萬仙幻境的全面升級!

萬仙幻境,乃是仙盟目前最大的倚仗之一。可以說,若大仙盟之所以能夠運轉有度,這萬仙幻境功不可沒。

可以說,這絕對是最近幾十年,實際意義最大的理論之一。

它甚至有可能開啟一個時代!

算君表情有些悻悻。他覺得,自己剛剛才說王崎的理論百無一用,結果這邊的人就大聲稱贊,這實在是很不給他面子。只不過,他對算器也是頗為感興趣的。反正在這裏也沒人敢笑他不知羞,於是他幹脆越過人群,直接找圖靈真人討論起來了。

他並非不懂集合論,只是反對將集合論作為算學的根基,討厭將集合論做成文字遊戲。對於算器,他還是很喜歡的。

而更多的人,則將目光投射到王崎身上。

“啪啪啪。”

第一道掌聲響起之後,才有第二道、第三道……越來越多的逍遙修士開始鼓掌。稀稀落落的掌聲逐漸連成一片。

正如馮落衣所說,不管他們承不承認,算學的歷史,又翻開了新的一頁。

這就像他們的意志無法決定太陽是否從東面出來一樣。

算學,進入了一個新的時代。

一個類似於物理領域縹緲之道的時代。

在一眾逍遙的掌聲當中,王崎走回了自己的座位。這時,他聽到了馮落衣的傳音。

“做得不錯。”

除此之外,再沒有什麽別的話語。馮落衣確實不是很會說話。

王崎點點頭,握住有些顫抖的手。

這個時候,他激動得說不出話來。

論文的結論確實不是他的。但是,過程是他王崎獨立求得的,靈感也是他自己的。怎麽說呢?這一篇論文不是他的親生兒子,至少也應該算養子吧?

盡管早就知道了不可判定性定理的歷史地位,但是他有什麽理由不激動嗎?

就算單為“見證”,也值得狂歌三日!

“我也沒有料到,你能做到這一步。第二問、第十問……現在萬法門已經不會有人懷疑你不能踏破天關了,涅槃劫十有八九也難不倒你。現在,大家就智慧猜測,你需要用多久成道逍遙了。”

“老師謬贊……”

“這可不是在誇你。”馮落衣搖頭笑了笑:“這次小會結束之後,你就會是當之無愧的算理邏輯第一人,同輩之中,不會有人比你更強。就算是‘前輩’裏面,怕是也沒幾個能在你面前稱高人了——當然,這不能成為你蔑視前輩的理由!”

“是。”王崎點點頭,還有點暈。

“以後,有什麽計劃,你就正大光明的交上計劃書就好了。只要是不違背原則性的問題,仙盟都會支持你。想要做什麽,就去做吧!”

這一句話,讓王崎回到現實。他兩眼放光——說了這麽多,終於有實質性的東西了。

“那麽……天靈嶺的禁令咱是不是……”

“唯獨這個不可能。”馮落衣一口回絕:“想都別想。”

王崎的臉立刻就垮了下來:“剛才還說支持啊……”

“這可不是什麽小事。你現在只是得到了我萬法門的肯定,但是那一塊的事情,主要還是歸天靈嶺管的。”馮落衣咳了兩聲:“不過,你也不要擔心什麽修法的問題。只要你能夠走完正常的程序,自然就會有人幫助你將修法推廣開去。仙盟也會讓開設專門的項目組進行研究。”