「看看書。」王崎從儲物袋里面取出一本數學專著,說道:「已經在那些雜碎身上浪費了不少時間了。」
《一般集合論基礎》,和地球上那本同名的理論專著一樣,被認為是集合論的基礎,也是數學開始被統一的地方。
以王崎二十一世紀的眼光來看,這本書已經有些落後了。沒有經過希爾伯特的深入,沒有哥德爾、圖靈的涅槃,這最初的集合論還沒有解釋所有數學的能力。
但是,王崎依舊看得很認真。
兩個世界的數學雖然整體上高度相似,但細微處還是有些不同——就比如王崎至今還是沒有完全弄懂神州修士是如何繞過「黃金的對角線」構建數學體系的。王崎現在做的,就是感受這個世界數學的脈絡,夯實自己的基礎。
王崎一想到自己有機會參與這個異界版的希爾伯特計劃就興奮得不能自抑。這是屬於數學家的狂熱。為了能夠更好的參與這一場數學的狂宴,他必須提升提升再提升。
「邏輯固然是不完備的,系統固然是未必相容的,命題固然是未必可判定的……但是,希爾伯特計劃不應該失敗,至少不應該這么早就宣告失敗。」
——沒有任何人能將我們從康托爾所創造的伊甸園中驅趕出來。
如果我可以在完備性定理之前將算術系統的相容性拋出來……引導大家證明,或者我自己證明的話,或許這個數學的大飛躍能夠更加持久一些?
就在王崎心神漸漸沉浸在集合論的世界里時,有人敲響了管住他的鐵門。
王崎被打斷思考時顯得有些暴躁。看見牢房門口那張陌生的連,他不耐煩的說道:「什么?有什么事?你誰?來打架還是干什么?不是要緊事別來煩我。」
錦衣華服的少年嚇了一跳,試探的問道:「王兄?」
誒?熟人?
王崎看著華服少年,問道:「請問……我們見過嗎?」
少年苦笑,像是有些畏懼王崎:「王兄果然貴人多忘事啊,我們一個仙院的……」
「仙院一屆就是千把人,我還得個個都記住?」
「我們可是不打不相識……」
「我揍過的人多了,行了別打啞謎,直接說名字。」
少年被噎住了很久,才說道:「不知道王兄還記不記得杜斌這個名字?」
王崎好不容易才從記憶中把這個名字翻了出來:「哦哦,是你啊!」
當初好像就是為了那只笨貓砍斷了這貨的飛劍是吧?我是不是還揍過他?什么時候來著?
杜斌不知道自己再對方的記憶里已經淪為某個半妖的陪襯,爽朗的笑道:「想不到還能在這里遇到王兄,真是……」
這貨當初就是這個人設?王崎疑惑的看著對方,總有種「我的人生過去幾百章然後熟人的人設就崩壞了」的感覺。