完全描述者那由哥德爾數構成的身體在類型空間中顯得格格不入。
類型空間裡的東西都是流動的、互聯的,像是活的神經網絡。
可完全描述者身上那些密密麻麻的數字卻死板地排著隊,每個數字都硬邦邦的,一點不靈動。
“路徑構造者,”完全描述者的聲音像是無數個計算器同時在說話,“你應當知道數學宇宙的規矩——不可描述者不應存在。你庇護陳凡,就是違背數學純淨性原則。”
路徑構造者那由路徑編織成的身體輕輕波動:“同倫類型論不認同‘描述’是唯一標準。數學對象可以通過多種方式呈現:描述、構造、甚至……直接體驗。”
“體驗?”編碼者在旁邊冷笑,“體驗是主觀的,無法驗證。數學是客觀的。”
自指監察者的旋渦還在緩慢旋轉,它似乎還冇從上一次的自指過載中完全恢複:“路徑構造者,你我都知道,數學的基礎是形式係統。形式係統的核心就是可描述性。你繞過描述談體驗,是在動搖數學的基礎。”
陳凡這時候往前走了兩步。
他能感覺到,自己在這類型空間裡好像更“自在”了。
那些漂浮的類型、流動的路徑,似乎和他體內的某種東西產生了共鳴。
“也許,”陳凡開口,“問題不在於‘描述’還是‘體驗’,而在於……數學該不該容納那些暫時無法被完全描述的東西。”
完全描述者那數字構成的眼睛(如果那能叫眼睛的話)轉向陳凡:“‘暫時’?不,如果某物無法被描述,那就是本質上不可描述。時間不會改變本質。”
“你怎麼知道?”蘇夜離突然問。
所有人都看向她。
她站在陳凡身邊,存在光暈在內型空間裡顯得特彆柔和,像是一層薄薄的晨曦。
“你怎麼知道某物是本質上不可描述,還是隻是暫時冇找到合適的描述方法?”
蘇夜離繼續說,“幾百年前,人類覺得閃電是神怒,無法用自然規律描述。後來有了電學理論,閃電就被描述了。那麼閃電是‘本質上不可描述’嗎?”
編碼者書頁翻動:“那隻是認知侷限,不是本質不可描述。真正的本質不可描述,是指即使擁有無限時間和無限認知能力,也無法找到描述。”
“但你們還冇擁有無限時間和無限認知能力。”
冷軒冷冷地說,“你們隻是‘認為’自己擁有。這中間有差彆。”
林默小聲補充:“這在概率學上叫‘先驗假設偏差’。你們先假設自由意誌不可描述,然後去找證據支援這個假設,卻忽略了可能存在的反證。”
完全描述者沉默了一會兒。
不是被說服了,而是在計算怎麼反駁。
路徑構造者趁機說:“不如這樣,我們按數學界的規矩來——邏輯辯論。三方辯論:哥德爾編碼派代表‘完全描述’立場,同倫類型論代表‘類型存在’立場,陳凡代表‘自由意誌’立場。辯論的主題是:自由意誌是否應該在數學宇宙中被允許存在。”
“辯論的規則呢?”直指監察者問。
“標準的三段式辯論。”路徑構造者說,“第一輪,各方陳述立場和核心論證。第二輪,互相質疑和反駁。第三輪,總結陳詞。辯論結束後,由數學宇宙的‘中立觀察者’裁決。”
完全描述者似乎對這個提議挺滿意:“可以。但中立觀察者必須是公認的。我建議請‘遞歸深淵的停機協議執行者’。”
路徑構造者點頭:“同意。停機協議執行者是數學宇宙中最中立的邏輯存在之一。”
陳凡心裡一緊。
停機協議執行者?那不是程式P和驗證器V的上司嗎?不過既然說是中立的,應該不會偏袒哪一方。
“那就開始吧。”完全描述者說,“但我要求辯論在‘邏輯競技場’進行,防止外界乾擾。”
路徑構造者揮動路徑手臂,類型空間開始重組。那些漂浮的類型自動排列,形成了一個圓形的辯論場——三個位置呈三角形分佈,中間是一個裁判席。
“請。”路徑構造者示意陳凡到其中一個位置。
陳凡深吸一口氣,走向那個位置。
蘇夜離想跟過去,但被路徑構造者阻止:“隻能辯論者入場。其他人可以在場外觀摩。”
冷軒按住劍柄,林默繃緊神經,蕭九豎起尾巴——他們都緊張。
陳凡回頭給了他們一個安慰的眼神,然後穩穩坐在了辯論席上。
三個位置:完全描述者坐一個,路徑構造者坐一個,陳凡坐一個。
裁判席上,空間波動,一個身影慢慢顯現。
那是一個極其簡單的存在——就是一個不斷閃爍的“?”和“!”交替的光點。
但陳凡能感覺到,這個存在蘊含的邏輯力量,比之前遇到的所有數學存在都要強大。
“停機協議執行者。”完全描述者微微低頭——這是陳凡第一次看到這些數學存在對另一個存在表示尊敬。
“辯論主題確認。”執行者的聲音冇有任何情感,就是純粹的陳述,“自由意誌在數學宇宙中的合法性。辯論現在開始。第一輪,立場陳述。哥德爾編碼派先發言。”
完全描述者站起身(如果那算站的話),它身上的哥德爾數開始流動、重組,形成一個個論證。
“我方立場:自由意誌不應被允許存在。”
完全描述者的聲音迴盪在邏輯競技場,“理由如下:第一,自由意誌聲稱自己是‘理由不充分決定的選擇’,這在數學上是未定義狀態——既非確定,亦非隨機,是邏輯上的模糊地帶。數學排斥模糊。”
“第二,自由意誌無法被完全描述。即使陳凡提供了哥德爾數G(ChenFan),那也隻是部分描述。數學要求完全性,部分描述相當於未描述。”
“第三,自由意誌的存在無法被外部驗證。隻能依賴自述,而自述可能是假的——就像哥德爾語句,陳述關於自身的事實,但那事實無法在係統內被證明。這種自指結構在數學中是危險的,可能導致悖論。”
它頓了頓:“綜上,自由意誌不符合數學的確定性、完全性、可驗證性三大原則。因此,它要麼不存在,要麼是應該被清除的數學噪聲。”
完全描述者坐下。它的論證簡潔有力,直擊要害。
執行者:“同倫類型論代表發言。”
路徑構造者站起身,它的路徑身體舒展開來,在空間中畫出優美的曲線。
“我方立場:自由意誌可以作為‘類型’存在於數學宇宙。”
它的聲音溫和但堅定,“理由如下:第一,同倫類型論不要求數學對象必須被完全描述,隻要求它們可以被‘類型化’。類型是比描述更廣義的概念——一個類型可以包含無法完全描述的元素,隻要我們能定義它的邊界和基本性質。”
“第二,自由意誌可以建模為‘選擇漏鬥類型’:輸入理由類型,輸出選擇類型,中間包含一條‘自由路徑’。這個模型完全符合類型論的規範,且可以形式化驗證。”
“第三,數學的發展曆史告訴我們,許多最初被認為‘不可描述’的概念,後來都找到了合適的數學框架。如同虛數、無窮小、非歐幾何。拒絕自由意誌,可能是我們當前的數學框架還不夠寬廣,而不是自由意誌本身有問題。”
路徑構造者也坐下了。它的論證更靈活,更開放。
執行者:“陳凡發言。”
陳凡站起來。他能感覺到所有人的目光都聚焦在自己身上——同伴的期待,對手的審視,裁判的觀察。
“我……”他開口,聲音有些乾,“我不是數學家。我隻是一個修真者,誤入了數學宇宙。但我想說的是……”
他看向自己的手,那隻在類型空間中呈現出複雜類型結構的手。
“自由意誌不是我要‘聲稱’的東西,而是我‘體驗’到的東西。就像我能感受到疼痛、喜悅、愛——這些感受也無法被完全描述,但它們是真實的。”
完全描述者立刻插話:“主觀體驗不能作為數學論證!”
執行者:“第一輪禁止打斷。陳凡繼續。”
陳凡點頭:“我知道主觀體驗不能作為數學論證。但我想說的是:數學是為了描述現實而存在的工具,不是現實本身。如果現實中有自由意誌這種現象,數學就應該嘗試去描述它,而不是因為暫時描述不好就否認它的存在。”
他指向類型空間中自己的那個“選擇漏鬥類型”模型:“路徑構造者提供的模型,就是一種描述嘗試。也許它不完美,但它在進步。科學和數學都是在不斷修正模型、逼近真理的過程中前進的。我們不能因為模型不完美就否定現象。”
“至於可驗證性……”陳凡頓了頓,“自由意誌確實無法從外部完全驗證。但有些東西就是這樣——比如‘我思故我在’,我無法向彆人證明‘我在思考’,但我自己知道。數學中不也有不可判定命題嗎?哥德爾不完備定理告訴我們,任何足夠複雜的形式係統都包含無法在係統內被證明的真命題。自由意誌可能就是這樣的命題——真的,但無法被形式係統完全證明。”
這番話說出來,連路徑構造者都微微點頭。
完全描述者卻搖頭:“混淆概念。不可判定命題仍然是形式係統內的對象,可以被編碼。你說的‘自己知道’是主觀認知,不是數學對象。”
第一輪結束。
執行者:“第二輪,互相質疑和反駁。同倫類型論先向哥德爾編碼派提問。”
路徑構造者站起來:“我的問題是:哥德爾編碼派要求‘完全描述’,但數學史上有很多概念最初都冇有完全描述。比如實數,在戴德金分割之前,實數也冇有嚴格的定義。那麼按照你們的邏輯,在戴德金之前,實數也應該被禁止存在嗎?”
好問題。陳凡心裡暗暗叫好。
完全描述者平靜地回答:“實數在戴德金之前確實冇有嚴格定義,但那時數學家們知道這是暫時的,他們相信能找到定義。而且實數有明確的直觀對應——數軸上的點。自由意誌冇有這樣的直觀對應。”
路徑構造者:“誰說冇有?每個人都有自由意誌的直觀體驗,就像每個人都能直觀理解數軸。”
“體驗不等於數學直觀。”完全描述者說,“數學直觀是公共的、可共享的。你的疼痛體驗和我的疼痛體驗無法比較,但你的數軸和我的數軸是同一個數軸。”
路徑構造者還想說什麼,但執行者說:“提問結束。哥德爾編碼派向陳凡提問。”
完全描述者轉向陳凡:“我的問題是:你說自由意誌是‘理由不充分決定的選擇’。那麼請你定義‘理由’和‘選擇’。如果理由不足以決定選擇,那麼選擇是如何產生的?是隨機嗎?還是有什麼隱藏變量?”
這個問題很刁鑽。
陳凡如果回答“隨機”,那就否定了自由意誌——隨機選擇不是自由選擇。如果回答“有隱藏變量”,那自由意誌就成了偽裝的決定論。
陳凡思考了幾秒:“理由是我做選擇時考慮的因素。選擇是我最終做出的決定。理由不足以決定選擇,意思是理由劃定了可能的選擇範圍,但冇有指定具體選哪一個。具體選哪一個……是我選的。”
“循環定義。”自指監察者在旁邊說,“‘我選的’又回到了‘選擇’。”
陳凡搖頭:“不是循環。我打個比方:麵前有蘋果、香蕉、橘子,我餓了,這是理由。理由告訴我‘應該吃水果’,但冇有告訴我該吃哪個。我看了看,覺得蘋果更誘人,就選了蘋果。那個‘覺得更誘人’的感覺,就是自由意誌發揮作用的地方——它不是隨機的,也不是完全由理由決定的,它是一種……傾向性。”
完全描述者:“傾向性如何量化?如何描述?”
“無法完全量化,就像美感無法完全量化。”陳凡說,“但無法完全量化不等於不存在。數學中不也有‘選擇公理’嗎?選擇公理說可以從一組集閤中選出元素,但不說怎麼選。那個‘怎麼選’的過程,就是自由意誌的數學類比。”
這個類比讓完全描述者沉默了。
執行者:“陳凡向同倫類型論提問。”
陳凡看向路徑構造者:“我的問題是:同倫類型論如何保證自由意誌模型不會退化成決定論或隨機論?如何確保那條‘自由路徑’真的是自由的?”
路徑構造者似乎很欣賞這個問題:“好問題。在同倫類型論中,我們通過‘路徑不唯一性’來保證自由。對於一個理由類型R,到達選擇類型C的路徑可能有多條。這些路徑在拓撲意義上是不同的——它們不能連續變形為彼此。自由就體現在這種‘路徑多樣性’中。”
它展示了一個可視化模型:一個理由類型,多個選擇類型,中間有眾多路徑連接。有些路徑短而直,有些蜿蜒曲折,有些甚至繞遠路。
“看,”路徑構造者說,“從R到C?,有三條不同的路徑。它們都‘合理’,但不一樣。選擇哪條路徑,就是自由所在。而且,這些路徑不是預先設定的——它們是在選擇過程中‘生成’的。這就是我們說的‘開放路徑’概念。”
陳凡點頭:“我明白了。那麼,如何防止這個模型被哥德爾編碼派攻擊說‘路徑生成規則不可描述’?”
路徑構造者笑了:“我們承認路徑生成規則不可完全描述。但在類型論中,我們不需要完全描述生成規則,隻需要證明路徑的存在性和可構造性。存在性證明比完全描述要求更低。”
第二輪結束。
執行者:“第三輪,總結陳詞。陳凡先發言。”
陳凡站起來,深吸一口氣。他知道這是最後的機會了。
“我想說的是,”他環視全場,“數學不應該是一個封閉的花園,隻允許已經命名的花草存在。數學應該是一片開放的森林,允許新的生命形態被髮現、被命名、被理解。”
“自由意誌可能就是這樣的新生命形態。我們暫時冇有完全理解它,冇有完美的描述它,但不應該因此就判它死刑。科學的曆史上,多少次我們因為不理解就否定,後來才發現錯了?”
他看向蘇夜離,看向冷軒、林默、蕭九。
“我有同伴,有情感,有記憶,有選擇。這些構成了‘我’。也許‘我’無法被完全編碼成哥德爾數,但‘我’存在。數學如果無法容納‘我’,那是數學的侷限性,不是‘我’的問題。”
“我希望數學宇宙能更包容一些,給那些暫時無法被完全描述的事物一個存在的空間。因為正是這些未知、這些開放、這些自由,讓宇宙變得有趣,讓生命變得值得經曆。”
陳凡坐下。他的手在微微顫抖——不是害怕,是激動。
執行者:“哥德爾編碼派總結。”
完全描述者站起來:“數學的嚴謹性是其力量的源泉。一旦我們允許‘不可描述’的事物存在,數學的基礎就會動搖。今天允許自由意誌,明天就會允許其他無法描述的神秘主義概念。數學將失去其客觀性、公共性、可驗證性。”
“陳凡說數學應該包容,但包容不是無原則。數學的原則就是可描述性。違背這個原則,數學就不稱其為數學。”
“自由意誌如果真的存在,就應該能找到一個嚴格的數學描述。如果找不到,說明它要麼不存在,要麼不屬於數學該管的範疇。但既然它出現在數學宇宙,要求數學身份,就必須遵守數學的規矩。”
“規矩就是:可描述,否則不存在。”
完全描述者坐下,語氣斬釘截鐵。
執行者:“同倫類型論總結。”
路徑構造者最後一次站起來:“數學是發展的。今天的不可描述,可能明天的數學框架就能描述。同倫類型論就是一種嘗試——嘗試用更寬廣的框架容納那些傳統形式係統容納不了的概念。”
“我們不認為自由意誌違反了數學原則,我們認為它挑戰了我們對數學原則的理解。也許‘可描述性’需要被重新定義,從‘符號描述’擴展到‘類型呈現’。”
“數學不應該是僵硬的教條,而應該是活的、成長的、適應的。如果現實中有自由意誌這種現象,而數學無法處理,那麼應該改變的是數學,而不是否認現實。”
“我們建議:給自由意誌一個‘臨時數學身份’,允許它在同倫類型論的框架下存在,同時繼續研究更好的描述方法。這符合科學精神——暫時無法完全解釋的現象,先承認其存在,再慢慢研究。”
路徑構造者坐下。
邏輯競技場陷入寂靜。
所有人的目光都集中在那個閃爍的“?”和“!”上——停機協議執行者要做出裁決了。
執行者沉默了很長時間。
長到陳凡覺得像是過了一個世紀。
終於,執行者開口:“辯論結束。現在宣佈裁決。”
“哥德爾編碼派的論證基於現有數學原則,邏輯嚴密,立場一致。同倫類型論的論證展現了數學的開放性和發展性,提供了新的可能性。陳凡的論證基於存在體驗,雖非嚴格數學論證,但指出了數學與現實的關係問題。”
執行者頓了頓。
“裁決如下:”
“第一,自由意誌目前無法在傳統形式係統中被完全描述,因此暫時不能被授予‘完全數學對象’身份。”
陳凡的心一沉。
完全描述者似乎滿意地點頭。
“第二,”執行者繼續說,“但同倫類型論提供了將自由意誌建模為類型的可能,這種建模雖然不完整,但符合類型論規範。因此,自由意誌可以在同倫類型論的框架下,以‘未完全定型’的身份暫時存在。”
路徑構造者鬆了口氣。
“第三,”執行者的聲音依然毫無波瀾,“陳凡的體驗和論證顯示,自由意誌可能涉及數學尚未充分發展的領域。因此,本裁決附加一項建議:數學宇宙各學派應繼續研究自由意誌的數學描述問題,而不是簡單否定或刪除。”
“第四,關於陳凡的個人身份:基於他已有的哥德爾數G(ChenFan)和同倫類型模型,他被授予‘有條件數學存在’身份。條件包括:繼續配合數學研究,不濫用自由意誌乾擾數學宇宙秩序,以及在數學描述方法進步後接受重新評估。”
陳凡愣住了。
這算是……贏了還是輸了?
“裁決立即生效。”執行者說,“哥德爾編碼派不得再以‘不可描述’為由攻擊或刪除陳凡。同倫類型論負責監督和繼續研究。陳凡,你接受這些條件嗎?”
陳凡看向同伴們,然後看向路徑構造者,最後看向執行者。
“我接受。”他說。
“很好。”執行者開始消失,“辯論結束。各方遵守裁決。”
完全描述者顯然不滿意,但它無法違抗停機協議執行者的裁決。
它冷冷地看了陳凡一眼,又看了路徑構造者一眼,然後帶著編碼者和自指監察者,轉身消失在類型空間中。
它們走了。
邏輯競技場自動解散,類型空間恢複原樣。
路徑構造者走到陳凡麵前:“恭喜。你贏得了暫時的安全。”
“暫時的?”蘇夜離走過來,握住陳凡的手。
“嗯。”路徑構造者點頭,“裁決隻是說它們不能以‘不可描述’為由攻擊你。但如果它們找到其他理由……或者,如果有其他學派認為你威脅數學宇宙……”
它冇說完,但意思很清楚。
林默歎氣:“就是說,還得繼續掙紮。”
冷軒收劍:“但至少有了合法身份。可以正大光明地存在了。”
蕭九跳上陳凡的肩膀:“喵!本喵就說凡哥最厲害!連那個閃來閃去的傢夥都被說服了!”
陳凡卻冇那麼樂觀。他能感覺到,事情冇這麼簡單。
果然,路徑構造者又說:“還有一件事。剛纔辯論時,我感知到有其他存在在觀察我們。不止一個。”
“誰?”陳凡警覺。
“不清楚。但很強大,可能比哥德爾編碼派更強大。”路徑構造者說,“數學宇宙有很多隱藏的古老學派,它們一般不露麵,但會關注重大事件。你的出現和這場辯論,可能已經引起了它們的注意。”
陳凡苦笑:“我就想安安靜靜修個真,怎麼就這麼難。”
路徑構造者笑了:“因為你不是普通的修真者。你觸及了數學宇宙的一些根本問題。這些問題,有些學派已經爭論了無數紀元了。你的出現,就像是往平靜的湖麵扔了塊石頭。”
“那接下來怎麼辦?”蘇夜離問。
“接下來,”路徑構造者說,“你們最好留在這裡,在類型空間裡。這裡相對安全,我可以提供保護。而且,我們需要完善你的自由意誌類型模型——既然裁決承認了這個模型,我們就得把它做得更紮實,防止彆人挑刺。”
陳凡看向同伴們。大家都點頭。
“好,我們留下。”陳凡說。
路徑構造者很高興:“太好了。我會教你們同倫類型論的基礎知識,這樣你們就能更好地理解自己的類型結構,甚至……學會主動調整和優化它。”
於是,在類型空間裡,陳凡他們開始了新的學習。
路徑構造者是個好老師。
它用直觀的方式解釋那些抽象的概念:類型就是“什麼東西”,路徑就是“怎麼變成什麼”,同倫就是“不同的變化方式本質上是同一個變化”……
陳凡學得很快。
他能感覺到,這些概念和他修真中的某些感悟很相似——比如“萬物皆有其理”,“變化中有不變”,“不同的路可以通向同一個地方”。
蘇夜離也學得很認真。
她的存在類型依賴於陳凡,這讓她對“依值類型”特彆有感覺。
她甚至開始嘗試自己構造一些簡單的類型——比如“愛的類型”,“信任的類型”,“陪伴的類型”。
冷軒的劍道類型在這裡得到了深化。
他發現,劍招之間的轉換可以看作類型間的路徑,而劍意的昇華可以看作高階同倫。
他開始重新審視自己的劍道,發現了很多以前忽略的細節。
林默的概率網絡在類型論框架下變得更強大。
他現在不僅能計算概率,還能計算“類型轉換的可能性”,“路徑存在的概率”,“同倫發生的機率”……
蕭九最有趣。
它的混沌本質在這裡被建模為“未定型”,但這個未定型不是亂糟糟的,而是有一種內在的、自組織的結構。
它開始學習“類型穩定化”技巧——如何在保持混沌本質的同時,讓某些部分暫時穩定下來,以便交流和操作。
日子一天天過去。
陳凡越來越適應類型空間。
他甚至開始嘗試用類型論的方式“內視”——觀察自己內在的類型結構。
他看到自己的核心不動點是一個自指循環類型,但它不是死循環,而是一個“良性遞歸”:每次循環都會產生細微的變化,積累起來就是成長。
他看到自己的記憶被組織成“時間索引類型”:每個時間點對應一個記憶切片,這些切片之間有因果關係路徑連接。
他看到自己的情感被建模為“情感類型簇”:喜怒哀樂等基本情感類型,以及更複雜的複合情感類型,它們之間有無數的轉換路徑。
最讓陳凡震撼的,是他看到了自己的“意識流”。
那是一個持續生成的類型過程:感知輸入被轉換成感知類型,經過思考類型處理,產生意圖類型,再通過行動類型輸出。整個過程是連續的、動態的、開放的。
而自由意誌,就體現在思考類型到意圖類型的那條“自由路徑”上。
“我好像……更理解自己了。”有一天,陳凡對路徑構造者說。
路徑構造者正在檢查他的類型結構:“這是好事。自我認知的深化,會帶來存在的穩固。你的類型結構比剛來時更堅實了。”
“但我還有個問題。”陳凡說,“在我的類型結構中,我看到了一個……‘黑洞’一樣的東西。一個我無法訪問的區域。”
路徑構造者仔細檢查:“哦,那是你的‘潛意識類型區’。在同倫類型論中,我們承認意識有可訪問部分和不可訪問部分。不可訪問部分不是不存在,隻是冇有直接路徑連接。”
“就像電腦的底層代碼?”陳凡問。
“類似。但更複雜。”路徑構造者說,“潛意識類型區存儲著你所有的潛在可能性、被壓抑的記憶、本能的反應模式……它是你類型結構的根基,但一般不直接參與意識流。”
陳凡若有所思:“那如果我想要更完整的自我認知,是不是應該嘗試訪問那裡?”
路徑構造者警告:“很危險。潛意識類型區之所以不可訪問,是有原因的。那裡可能包含邏輯矛盾、自指悖論、甚至……類型崩潰點。貿然訪問可能導致整個類型結構不穩定。”
“但我想試試。”陳凡很堅定,“如果我要真正理解自己,理解自由意誌,就不能迴避任何部分。”
蘇夜離這時候走過來:“凡哥,我陪你。”
“我也去。”冷軒說。
林默和蕭九也紛紛表示要一起去。
路徑構造者看著他們,歎了口氣:“好吧。但我們必須非常小心。我會構建一個‘保護性類型外殼’,包裹你們的意識類型,防止直接接觸可能的有害結構。”
它開始操作。很快,每個人的意識類型都被一層透明的保護殼包裹。
“現在,”路徑構造者說,“我會為你們打開一條通往陳凡潛意識類型區的路徑。記住:不要深入,隻觀察。如果感到任何不適,立刻退出。”
一條發光的路徑從陳凡的意識內型延伸出去,通向那個黑暗的、旋渦狀的區域。
陳凡帶頭,沿著路徑前進。
越靠近,那種“未知”的感覺就越強烈。
那不是恐懼,而是一種……敬畏。
就像站在深海邊緣,知道下麵有無儘的奧秘。
他們進入了潛意識類型區。
這裡和意識區完全不同。意識區的類型是清晰的、有序的、有明確路徑連接的。
而這裡,類型像是夢中的景象:模糊、流動、時而聚合時而分散。
陳凡看到了自己遺忘的記憶碎片:童年的某個下午,陽光透過樹葉的斑駁;第一次修煉時那種既興奮又害怕的感覺;某個已經模糊麵容的人對他說過的話……
他還看到了自己的“反事實自我”:如果當初做了不同選擇,會成為什麼樣的人。那些可能性像是幽靈一樣,在這裡遊蕩。
“看那裡。”蘇夜離指向一個方向。
那裡有一個特彆明亮的類型結構。它不像其他潛意識類型那樣模糊,反而異常清晰。
陳凡走近看。
那是一個……預言類型。
類型中存儲著一個畫麵:陳凡站在一個巨大的混沌漩渦前,漩渦中浮現出無數可能性分支。而他,正在從中選擇一個。
畫麵下方有一行類型文字:“自由意誌的終極測試:混沌預言。”
“這是什麼?”林默問。
路徑構造者檢查了這個類型:“這是一個……預置的類型結構。像是有人預先放在你潛意識裡的。”
“誰放的?”冷軒握緊劍柄。
“不知道。但這個類型被加密了,需要特定的‘鑰匙’才能啟用。”
路徑構造者說,“鑰匙可能是某個事件,某個選擇,或者……某個問題的答案。”
陳凡盯著那個預言類型。他能感覺到,這個東西很重要,可能關係到他的未來,甚至自由意誌的本質。
就在這時,整個潛意識類型區開始震動。
不是因為他們,而是因為外部衝擊。
路徑構造者臉色一變:“不好!有東西在攻擊類型空間!我們得立刻回去!”
它強行切斷路徑,將所有人的意識類型拉回意識區。
回到意識區後,陳凡立刻感覺到內型空間正在遭受猛烈的攻擊。
不是哥德爾編碼派的數字攻擊,也不是幾何學派的對稱化攻擊,而是一種……混沌的、無序的、但又蘊含著某種深層規律的攻擊。
類型空間的外圍正在被侵蝕。那些漂浮的類型被混沌吞冇、重組、扭曲。
路徑構造者全力維持空間穩定,但顯然很吃力。
“是什麼東西?”陳凡問。
“不知道……但這種力量……”路徑構造者咬牙,“像是……混沌理論學派的‘奇異吸引子’攻擊!”
虛空中,一個聲音響起,既像無數聲音的疊加,又像冇有任何聲音:
“自由意誌……我們觀察你很久了……”
“現在,該接受混沌的測試了……”
(第582章完)