王崎重新回到講壇的邊緣,盤膝而坐,閉目養神。
理論計算機領域——計算機科學的數學基礎領域當中,最重要的遞歸論,圖靈機、拉姆達算法,便在這一夜同時傳揚了整個神州。
現在,他們只不過是不完備和不可判定的注腳。但是,總會有不凡之人發掘出其中的奧妙。
就算拋開理論層面的意義,光是這個收獲就不會小。
算器理論的飛躍,就等于是王崎修法的飛躍。
以后,他就可以借助神州算門的資源,來完善自己的修法。光是這一點,就已經值回票價了。
更不用說不完備、不可判定在理論上的意義。
他已經改寫了算學的框架。只要等下度過難關,他就會成為神州頂尖的算家。無論是聲威還是其他,都將遠遠超過過去的自己。
這是隱性的好處。
而他在這個時候再推廣布爾巴基學派思想,就可以將這“隱性”的好處,轉化為“顯性”的好處。
布爾巴基學派的研究,自純數學而始,最終又成就了新世紀物理學研究的堅實基礎。
但是,并被所有人都能向他一樣,看到這一步。
更多與他相熟的人,只是在擔心。
毛梓淼捂著腦袋,只覺得頭昏腦漲的:“喵…艾師姐,小崎他到底在講什么啊…”
艾輕蘭眼中也透著迷惘:“不太清楚…雖然不明白,但還是覺得好厲害…”
她勉強能夠聽懂王崎在講什么——可是,這玩意有什么意義嗎?
而這個時候,辰風放下自己的算器,怒道:“這個瘋子…”
“怎么了?理論有突破是好事嘛!”艾輕蘭不滿了:“小風你不是這種見不得朋友得好處的人吧?”
“好處…王崎這家伙很快就要倒大霉了。”辰風有些惱火:“剛才就因為聽不懂,所以我專門去問了問由嘉…這個小子,剛才的那一通講,根本就是里外不是人,將離宗連宗兩邊都得罪慘了。”
“離宗連宗…”艾輕蘭瞪大美眸,按著胸口:“那個…讓我緩一緩。想一想。如果我記得不錯,離宗和連宗的領袖,分別是算主和算君吧?就是…這位和這位吧?”
說話的同時,她伸出手點了點幻影之中的虛像。
辰風點點頭:“就是坐在王崎左右兩邊的那兩位老人家。巔頂逍遙…他們身后,分別就是他們的門人,加起來幾十個逍遙修士”
艾輕蘭一巴掌糊自己臉上:“這小子確實瘋了…不不,不如說發瘋才是他的風格…這屬于正常發揮…正常發揮…”
同時惹下兩個主流學派,相當于同時激怒萬法門一半以上的人。這能不瘋嗎?
有人不解:“那個…王師兄的理論難道不對嗎?”
辰風是老好人。但不是傻子。他深深嘆息,道:“當年歌庭派前代領袖,云端君柯蘭蔭為何道心盡喪?便是與算君論道啊…就算那些前輩不打算采取這樣的極端手段,那么多算家,想要讓他身敗名裂,其實是非常簡單的。”
毛梓淼的心微微一揪:“那…那怎么辦?”
“希望他能夠在蒼生國手和機老兩位逍遙修士的幫助下度過接下來的難關吧?”辰風不確定的說道。
他深知王崎的性子。想讓王崎放棄自己的想法,幾乎是不可能的。他必然會面對接下來無數逍遙修士的詰難。
萬法門中,薄笑風握緊了拳頭,薄筱雅則閉上眼睛,緊張得不敢去看。
而神州各地當中。更多的萬法門低階弟子在為王崎暗中祈禱、鼓勁。他們剛剛踏入算學的領域,還沒有前輩的那種堅持,也沒有受到太多的波及。他們看王崎,并沒有前輩那種厭惡,反而帶著一種“大丈夫當如是”的豪氣。
某個神秘的秘境之內,太一天尊也為這個年輕人捏了一把汗。
現在,或許也只有陳由嘉一人堅信王崎了吧。
只有她覺得,王崎就算被等下的攻訐淹沒,也不會損了他那一顆精進勇猛之心。
第二場講道完成之后,馮落衣閉上眼睛。深深太息,宣布道:“現在,諸位同道便可以開始提問了。”
歌庭派陣中,算主之摯友、“真宇相”閔可夫便站了起來。沉聲問道:“你可找到了一個關于實際存在之算學的不可證明之陳述?”
王崎搖頭:“沒有。”
不愧是這一世最巔頂的算家,這么快就找到了不完備證明的軟肋。
哥德爾終其一生,都沒有找到一個包含了實際數學內容的不可證明陳述。這也是不完備定理從者不多的原因。
地球數學界近百年也沒有遇到這種陳述。
——實際上,按照哥德爾的想法,人類在相當長的一段時間里都不會遇到這種陳述。它必然存在于算學的未知部分,隱藏在重重迷霧之中。
有很多數學家。都不會對這一個不包含實際數學內容的玩意投以關注。
閔可夫冷笑:“那么,你的證明真的如你所說,意義重大嗎?”
“我只是推斷出有這種陳述的存在,并不等于說我知道這個陳述。”王崎道:“這就好比說,有人死了,判斷是他殺還是自殺不難,可判斷誰是兇手就要難很多。”
“是,我承認,你的論證過程確實很強。但是,我看不到它實際的意義。”
王崎既然知曉這個軟肋的存在,又怎么會不做準備?他早就準備好了對于這個問題的回答,從善如流:“當中古的數家研究圓錐曲線的時候,他們不會知道自己的理論就是《大道之算理》的根基之一。我們也不會知道,這個不完備的證明過程在未來究竟會怎么樣——我們什么時候才能發現一個包含實際算理的不可判定陳述呢?我不知道,也不可能知道。這個問題,只能付之于時間。讓時間去解答。”
“我也說過,算學的不完備,并不在已知,而在未知。面對未知,我們永遠不會知道會遇到什么。”
王崎只能這么說。在力迫法出現之前。這種非議都會存在的。
這個解答顯然不能夠讓所有反對者滿意。一個又一個巔頂算家站了起來,對著王崎發出駁斥。這些駁斥當中,有些正正切中要害,有些不痛不癢。王崎都一一給予回擊。
但是,王崎并非是完全孤立無援。
突然,有一些算家發現自己的話語問不出口了——他們在這萬仙幻境當中開不了口了!這時,只見圖靈真人站起來,對著四方拱拱手。溫和笑道:“諸位,可允許我去問幾個問題?”
也只有這位浸淫算器領域數百年的強大逍遙,才能在這片幻境之中以一壓多。縱有人不滿,也只能在這個時候選擇乖乖聽好。
圖靈真人站起來,對著王崎問道:“王道友,我想同你討論一下函數的極限…”
圖靈一開口,就讓其他人愣住了。
這個…這位逍遙,究竟是站在哪邊的?
看他和馮落衣坐在一起,不應該是來幫助王崎的嗎?
為什么他問出的問題,比絕大多數人問出的問題都要尖銳?
王崎笑了笑:“最近我也有一些新的想法…”
在王崎解答了這個問題之后。圖靈真人立刻問出第二個問題來。
“你有沒有考慮過具備無限條公理的公理系統?“圖靈問道:”每一次加入一條新的公理,新的公理系統就比原有的公理系統更加強大。每一個公理系統都在解釋前一個公理系統。樣子的話,每一個系統都是一直無矛盾的。這樣,我們重復無數次,添加可數而無窮的公理。這樣的話,我們無論使用了多少條公理,總有更強大的一條公理證明前面的公理一致無矛盾,那么,這個系統便稱得上是無懈可擊吧?“
“我也這么認為。可是,很遺憾。這種擁有無限公理的公理系統毫無意義。”王崎道:“我們必須先熟知一個公理系統當中所有的公理,才能根據這個公理系統做出判斷。若是一個公理系統有無窮的公理,我們便不可能知曉它能夠陳述什么、判斷什么…”
兩個人的問答,越來越流利。也越來越暢快。漸漸的,周圍的異動小了下來。
圖靈真人,分明是用更加系統化的方式、從更加深入的角度,將他們察覺出的種種不足給問了出去。
而在這種前提之下,王崎還能夠對答如流,無數有不完備衍生出的定理、對不完備證明的補充。還有新的算器技術,都在圖靈真人和王崎的一問一答當中展現了出來。
閔可夫哼了哼,不屑的在私聊當中低于:“雙簧而已…他們兩個絕對是對好了的。圖靈就是一個托!”
何外爾苦笑:“可就算是托…那也是非同凡響的。至少,我是問不出口了。”
王崎和圖靈真人的問答,就是要在展示自己的理論是成體系的。
講道的主題,被定死在不完備、不可判定。這個是不能變的。他們現在在做的,就是在問答環節展示自己的水準,堵住悠悠之口。
縱然所有人都看得出,這二人在唱雙簧,又怎么樣?
現在問問題,十有就是撞到別人的刀刃上,自取其辱!
這便是史上獨一無二的,絕倫的雙簧!
圖靈真人堂而皇之的將這一場問答,變成了他個人與挖的勞倫。兩個人也是被激發出了靈感,討論逐漸脫離了預定的內容,開始向更深處發展。
這一下,就連能夠插嘴的人都很少了。
算君龐家萊看著問答中的兩人,搖搖頭,只是冷笑:“這聲屁放得響,不算太臭。”
另一邊,算主希柏澈至始至終一言未發。(