第810章 離宗叛徒?離宗標桿?(2/2)
但是,這對宏觀的世界沒有任何影響。我們依舊勝在一個有因有果的世界里。”王崎道:“我雖然證明了算學完備性和可判定性的缺失。但是,我只是證明了它們存在,卻還不知道它們發生在何處。我們還遠遠沒有觸碰到算學的邊緣。在已知的算學領域里,不完備和不可判定的意義不大。”
“至少在現在,我們已知的算學并沒有和這個世界的客觀事實產生矛盾。”
“或許,我們遲早有一天會面對這一切。就像我們想要探尋微觀的世界,就不得不面對‘不確定’一樣。但是,那一天不是現在。”
“那種研究過去還沒有進行過,現在也還為時過早,至少現存的算學還不足以觸及那個區域。我相信,當我們觸及那個境界的時候,對于證明的需要早已達到意識的水平上,同時具有這種需求的技術已經發展起來――但不是現在。”
“而在這個領域之外,我們還有很多有意義的問題可以研究。比如希門二十三算之中的第五算――變天式與變換群;黎氏猜想――當我們放棄以變天式做為攻克它的利器之后,新的希望就在眼前;算王前輩的二次互反律……我們可以看到,算學依舊在進步。我們依舊可以邁步前行。”
“實際上,對于不求元算的道友來說,不完備和不可判定又或者沒有都一樣,對他們的工作沒有任何影響。”
“而對于元算道的道友來說,我們的征途,才剛剛開始!我們還有很多事情要做!”
離宗有人不忿:“我們究竟還有什么能做的?”
――我們所追求的,已經被你摧毀。
“我完成了希前輩的問題,所以諸位就覺得沒有問題可以解了嗎?”王崎搖搖頭。
學術界,解決問題基本上就等于“搶飯碗”。一個猜想被驗證,就有無數指著這個猜想吃飯法的數學家失業。這里的這些逍遙修士,不僅僅是道心動搖,更是被奪去了為之奮斗的目標。
只不過,他王某人摘取這些目標的方式,和這些人理想的方式截然相反,所以他們一時之間無法接受。
但是……
“算主曾經說過,有問題,才說明這個學科正在發展。”王崎嘆道:“不完備與不可判定,就是我暴露出的巨大問題。至于繞過這個問題的思路――其實我在六年前就說過了。”
“六年之前……”
有一些算家露出了復雜神色。六年之前,王崎在器成之宴上確實說過了一些“思路”。但是那個時候,沒人在意。他們所有人都將之當成了這個小輩的一點個人心得――一點個人的研究思路而已。就算再完善,又有什么意義?
但是,誰也沒有料到,今日,他證明算主思路的謬誤之后,那個誰也沒有在乎過的思路,竟會成為未來離宗的發展方向。
此時再看這個少年。
離宗叛逆?
離宗未來領袖?
諸多逍遙修士隱約看到了這一點。只不過感情上,他們一時之間還無法接受罷了。
馮落衣輕咳了兩聲:“相信到了這里,諸位也就都大致了解王崎這個人的思路、理念了。現在,王崎,你可以給大家講解你的論文了。”
王崎點點頭,按照標準了六成,開始講述自己的論文《論可計算數及其在判定問題上的應用》。
算君對此興趣依舊不大,搖搖頭道:“百無一用。”
《論可計算數及其在判定問題上的應用》論文同樣不是很長。和《試論<萬法算藏>卷一算術篇中形式上不可判定之陳述及相關系統》一樣,它的證明過程實際上非常簡單。
簡單,但是充滿了智慧。
所有逍遙都不知不覺的沉浸在這一片論文之中,這論文本身就散發著充滿誘惑性的智慧光彩。即使明知道這條邏輯之河會流向萬丈深淵,那些算家也沒辦法忍住不聽。
很快,一個修士站起來,如癡如醉,大聲喝采:“好啊!”
站立者,千機閣閣主,圖靈真人。
『加入書簽,方便閱讀』