標。

只不過，他王某人摘取這些目標的方式，和這些人理想的方式截然相反，所以他們一時之間無法接受。

但是……

“算主曾經說過，有問題，才說明這個學科正在發展。”王崎嘆道：“不完備與不可判定，就是我暴露出的巨大問題。至於繞過這個問題的思路——其實我在六年前就說過了。”

“六年之前……”

有一些算家露出了複雜神色。六年之前，王崎在器成之宴上確實說過了一些“思路”。但是那個時候，沒人在意。他們所有人都將之當成了這個小輩的一點個人心得——一點個人的研究思路而已。就算再完善，又有什麼意義？

但是，誰也沒有料到，今日，他證明算主思路的謬誤之後，那個誰也沒有在乎過的思路，竟會成為未來離宗的發展方向。

此時再看這個少年。

離宗叛逆？

離宗未來領袖？

諸多逍遙修士隱約看到了這一點。只不過感情上，他們一時之間還無法接受罷了。

馮落衣輕咳了兩聲：“相信到了這裡，諸位也就都大致瞭解王崎這個人的思路、理念了。現在，王崎，你可以給大家講解你的論文了。”

王崎點點頭，按照標準了六成，開始講述自己的論文《論可計算數及其在判定問題上的應用》。

算君對此興趣依舊不大，搖搖頭道：“百無一用。”

《論可計算數及其在判定問題上的應用》論文同樣不是很長。和《試論卷一算術篇中形式上不可判定之陳述及相關係統》一樣，它的證明過程實際上非常簡單。

簡單，但是充滿了智慧。

所有逍遙都不知不覺的沉浸在這一片論文之中，這論文字身就散發著充滿誘惑性的智慧光彩。即使明知道這條邏輯之河會流向萬丈深淵，那些算家也沒辦法忍住不聽。

很快，一個修士站起來，如痴如醉，大聲喝采：“好啊！”

站立者，千機閣閣主，圖靈真人。

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

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

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

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

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

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

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

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

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

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

這樣的突破，又怎麼可能會不帶動算器的發展？

而算器的發展意味著什麼？萬仙幻境的全面升級！

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

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

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

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

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

而更多的人，則將目光投射到王