者,名字叫做阿蘭·圖靈——圖靈真人的同位體。
王崎相信,即使自己不發表這一篇論文,那麼這位逍遙修士也會在三五年之後發表出相似的論文。
當然,王崎並不覺得自己這樣算是剽竊——實際上也很難界定這種情況。兩個世界的歷史雖然存在一定的相似之處,但是圖靈真人畢竟不是那個阿蘭·圖靈。在這個世界的歷史上,圖靈真人並沒有迸發出靈感來解決這個判定性問題。
而且王崎上輩子作為一個物理學家,也沒有無聊到將不可判定性的論文背下來。那一篇論文,是王崎自己獨立推導完成的,絕大部分都是王崎自己的原創內容。
但即便是如此,王崎依舊對圖靈真人恭敬一禮:“不敢當。若是沒有我,真人再過三五年,亦是能夠求出這一重道理。
圖靈擺擺手:“這可就未必了。我確實是有一點這方面的想法,不過我這個人性子散漫,要麼在萬仙幻境裡消磨時間,要麼在扶桑閒晃,在專注上倒是不如諸多道友了。對我來說,你這是省了我數年的苦工啊!而且這不可判定一處,萬仙幻境很多在邏輯上的問題就可以繞解決了。再給我一年……不至多半年,我就可以讓萬仙幻境再更新一代!”
算器,始終是建立在邏輯之上的。
不完備,不可判定,都是算理邏輯領域的重大突破。
這樣的突破,又怎麼可能會不帶動算器的發展?
而算器的發展意味著什麼?萬仙幻境的全面升級!
萬仙幻境,乃是仙盟目前最大的倚仗之一。可以說,若大仙盟之所以能夠運轉有度,這萬仙幻境功不可沒。
可以說,這絕對是最近幾十年,實際意義最大的理論之一。
它甚至有可能開啟一個時代!
算君表情有些悻悻。他覺得,自己剛剛才說王崎的理論百無一用,結果這邊的人就大聲稱讚,這實在是很不給他面子。只不過,他對算器也是頗為感興趣的。反正在這裡也沒人敢笑他不知羞,於是他乾脆越過人群,直接找圖靈真人討論起來了。
他並非不懂集合論,只是反對將集合論作為算學的根基,討厭將集合論做成文字遊戲。對於算器,他還是很喜歡的。
而更多的人,則將目光投射到王崎身上。
“啪啪啪。”
第一道掌聲響起之後,才有第二道、第三道……越來越多的逍遙修士開始鼓掌。稀稀落落的掌聲逐漸連成一片。
正如馮落衣所說,不管他們承不承認,算學的歷史,又翻開了新的一頁。
這就像他們的意志無法決定太陽是否從東面出來一樣。
算學,進入了一個新的時代。
一個類似於物理領域縹緲之道的時代。
在一眾逍遙的掌聲當中,王崎走回了自己的座位。這時,他聽到了馮落衣的傳音。
“做得不錯。”
除此之外,再沒有什麼別的話語。馮落衣確實不是很會說話。
王崎點點頭,握住有些顫抖的手。
這個時候,他激動得說不出話來。
論文的結論確實不是他的。但是,過程是他王崎獨立求得的,靈感也是他自己的。怎麼說呢?這一篇論文不是他的親生兒子,至少也應該算養子吧?
儘管早就知道了不可判定性定理的歷史地位,但是他有什麼理由不激動嗎?
就算單為“見證”,也值得狂歌三日!
“我也沒有料到,你能做到這一步。第二問、第十問……現在萬法門已經不會有人懷疑你不能踏破天關了,涅槃劫十有八九也難不倒你。現在,大家就智慧猜測,你需要用多久成道逍遙了。”
“老師謬讚……”
“這可不是在誇你。”馮落