第二百三十八章 天下誰人不識君(第2/2頁)
艾輕蘭臉上現出幾絲憂色:“不會出了什麽問題吧?”
“好人不長命,禍害萬萬年。他會因為這種事出問題?”辰風完全不相信自己的好友會因為這一場風波倒下。
“話說回來,那講道是在什麽時候?”
“午時。”
艾輕蘭此時也有幾分好奇了:“那得快點了。”
辰風道:“我已經安排助理準時收看了。這一次是面向全神州的,咱們得去實證部用那個大型算器。”
算器的功能與其品階直接掛鉤。實證部用的大型算器在接駁萬仙幻境的能力上總比小型的低階算器要強很多。
辰風和艾輕蘭兩個人身形一閃,幾個急掠,就到了實證部門口。當他們推開實證部大門的時候,發現自己實證部所有的研究員都圍在大型算器哪裏,嘰嘰喳喳的,圍了個水泄不通。
“怎麽了?”艾輕蘭問了幾聲,沒人回答。她用法力將毛梓淼攝過來。毛梓淼一個激靈,驚到:“艾師姐?那個……那個在算器裏面講道的家夥,是小崎吧?”
“王崎?”艾輕蘭和辰風對視一眼,不明所以:“我讓你們去看了是今天萬法門的那一場講道吧?”
“就是那一場啊!大姐!”另外一個修士指著算器大叫:“那個正在講道的人,好像就是經常來幫忙的那位……師兄啊……”
幻影之中,王崎娓娓道來:“在康門主的諸多論證當中,對角線證法稱得上天才一般的構思,他向我們表明了,可數無限都是相等的。而在可數無限之外,還有不可數無限……”
這些朗德的修士已經呆若木雞了。
王崎經常幫辰風他們處理一些實驗數據,所以這些人也都見過王崎。他們知道王崎是萬法門真傳,算學水平高得每邊——可這也太高了吧?
我們都是同輩啊?他都已經能夠和逍遙修士講道了嗎?
辰風和艾輕蘭兩個人也愣住了。
那篇險些顛覆萬法門的論文,就是……就是王崎的作品?
……
“而當康門主在道心淪喪之前,問出的最重要的問題,便是與這‘無限’有關。”
王崎說到這一局的時候,魏二先生神色一暗,似乎又想起了自己那個如有天妒之才的弟子。
“那就是所謂的連續統假設,也就是希門主提出希門二十三問的第一問——連續統之問。”
“而在歌庭派的無數嘗試之中,我們逐漸意識到了,二十三問之中,第一問與第二問都這非常緊密的聯系——算學的一致性。”
“這也是誕生自康門主集合論之中的巨大矛盾。它用一句話就可以概括——‘此言非真’真耶?假耶?這個自中古就有的真假之辨,引發了算學體系的災劫。”
當介紹到這裏的時候,王崎停頓了一下,道:“我的思考,便是自這裏起始的。”
……
“……不完備最核心的概念有兩個。我首先要介紹的第一個,喚作自我指涉……”
路小茜看著王崎的講演,一向清雅的臉上,也露出錯愕的表情:“這……我有一種初聞縹緲之道的感覺……”
這不完備定理和不可測定理,同樣都很洗人三觀啊!
“哼,萬法門的……”破理真人搖搖頭。他也想起自己師弟不準道人當年震驚天下的情形了。
破理真人並不如何喜愛算學,尤其不喜歡這種純粹算理,所以沒有顯身去聽。
“我們越是往微觀的層面走,算學就越顯得重要。”路小茜已經開始沉思:“這個發現對我們有什麽意義呢?”
“沒有任何意義,也不會有任何意義的。”破理真人強調道:“或許他們會升華出更多的算法作為你我的求道之器,但是。這個發現本身沒有任何意義。”
……
萬仙幻境深處,王崎的講演,也進入了一個新的階段。
“傀儡審官”這一個故事,乃是不完備和不可判定都會涉及到的重要概念——“自我指涉”。但是,不完備定理也不是純粹由這一個概念支撐起來的。
“接下來,我要講的,便是我從希門主、從歌庭派的工作當中學習道的最重要的概念!形式化。”
“在這裏,這一個形式化便有一些特殊。”