產生矛盾。”

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

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

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

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

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

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

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

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

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

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

但是……

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

“六年之前……”

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

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

此時再看這個少年。

離宗叛逆？

離宗未來領袖？

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

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

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

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

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

簡單，但是充滿了智慧。

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

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

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

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

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

因為，在地球上，寫出《論可計算數及其在判定問題上的應用》的學