第一百七十二章 離宗叛徒？離宗標杆？（2/2）

但是，唯獨王崎，無人敢指責。

希門二十三問當中的第二問和第十問太有分量了。歌庭派眾多逍遙攻堅，都未曾看到一丁點解決的希望。可是這個少年就解決了。

法力上，他或許還欠缺一點積累。但是，在算理邏輯的領域，他乃是巔頂級數。

「事實上，我既不能夠也不打算給算學的未來發展指明一條道路——我甚至沒有這個資格，而且我也知道這樣做肯定是勞而無功的，實際上是一件可笑的事。我始終堅信，未來的算家正如過去的算家一樣，總不會走老路。他們會通過我們想不到的關係用新觀點看問題，去解決我們留給他們的大問題——只不過礙於見識，我們不知道。」

「但是，我至少知道，自己能夠做什麼。」

「不完備和不可判定並不是什麼可怕的事情。縹緲之道證明了微觀領域裡，確定性喪失。但是，這對宏觀的世界沒有任何影響。我們依舊勝在一個有因有果的世界裡。」王崎道：「我雖然證明了算學完備性和可判定性的缺失。但是，我只是證明了它們存在，卻還不知道它們發生在何處。我們還遠遠沒有觸碰到算學的邊緣。在已知的算學領域裡，不完備和不可判定的意義不大。」

「至少在現在，我們已知的算學並沒有和這個世界的客觀事實產生矛盾。」

「或許，我們遲早有一天會面對這一切。就像我們想要探尋微觀的世界，就不得不面對『不確定』一樣。但是，那一天不是現在。」

「那種研究過去還沒有進行過，現在也還為時過早，至少現存的算學還不足以觸及那個區域。我相信，當我們觸及那個境界的時候，對於證明的需要早已達到意識的水平上，同時具有這種需求的技術已經發展起來——但不是現在。」

「而在這個領域之外，我們還有很多有意義的問題可以研究。比如希門二十三算之中的第五算——變天式與變換群；黎氏猜想——當我們放棄以變天式做為攻克它的利器之後，新的希望就在眼前；算王前輩的二次互反律……我們可以看到，算學依舊在進步。我們依舊可以邁步前行。」

「實際上，對於不求元算的道友來說，不完備和不可判定又或者沒有都一樣，對他們的工作沒有任何影響。」

「而對於元算道的道友來說，我們的征途，才剛剛開始！我們還有很多事情要做！」

離宗有人不忿：「我們究竟還有什麼能做的？」

——我們所追求的，已經被你摧毀。

「我完成了希前輩的問題，所以諸位就覺得沒有問題可以解了嗎？」王崎搖搖頭。

學術界，解決問題基本上就等於「搶飯碗」。一個猜想被驗證，就有無數指著這個猜想吃飯法的數學家失業。這裡的這些逍遙修士，不僅僅是道心動搖，更是被奪去了為之奮鬥的目標。

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

但是……

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

「六年之前……」

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

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

此時再看這個少年。

離宗叛逆？

離宗未來領袖？

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

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

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

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

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

簡單，但是充滿了智慧。

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

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

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