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