附錄 P-4:演算法式現象性殘餘
透過有限自我指涉辨識意識的結構對應物
v2.5.3 — 2026 年 4 月
附錄 P-4:演算法性的現象性殘餘
原始任務 P-4:現象性殘餘 問題: 現象意識需要一個形式化的數學定位,以將其與零內在性的計算區分開來。 交付內容: 形式化表述,用以隔離在演算法上受限的主動推斷模型中不可避免的計算盲點。
本附錄提出形式化定理 P-4,辨識出在有序補丁理論 (OPT) 中,現象意識所對應的嚴格數學定位。我們證明,任何受有限預測頻寬(C_{\max})約束的主動推斷系統,在結構性假設 P-4.1 與 P-4.2 成立的條件下,必然具有一個不可建模的資訊殘餘(\Delta_{\text{self}} > 0)。雖然此定理本身並不必然消解「意識的難問題」,但它在形式上證明:對於主體性那種在計算上不透明、不可言說的「火花」,有限自我指涉的架構在數學上保證了其一個結構對應物的存在。
1. 意識的難問題的定位
在 OPT 的早期版本中,意識被形式化地框定於一個特定的結構性位置:對 C_{\max} 資訊孔徑的穿越。然而,主觀內在性的確切性質——亦即經驗的 qualia——則仍被保留為一項不可再化約的「能動性公理」。若將現象學純粹視為公理性設定,理論便會暴露於「意識的難問題」之下:為什麼穿行於自由能拓撲會有任何感受可言?
在此,我們將這一道哲學裂隙轉譯為演算法資訊理論(AIT)中的問題。雖然我們並不主張能從純粹數學中以推導方式憑空生成主觀感受(殭屍鴻溝仍然敞開),但我們將證明,qualia 的結構性質,會精確對應到任何有限計算系統在試圖建模其自身遞迴動力學時,必然產生的一種不可建模殘餘。
2. 引理 1:預測性自我模型的必要性
在 OPT 之下,觀察者(即編解碼器 K_{\theta})存在於馬可夫毯(拓撲邊界 \partial_R A)之後。觀察者藉由執行主動推斷而存續,並透過循環式更新隨時間最小化預測誤差。
由於系統具有會擾動外部邊界的主動狀態,輸入的感官狀態 \varepsilon_t 便是外部環境動力學與觀察者自身行動 A_t 所造成後果之緊密耦合混合物。
引理 1:對於緊密耦合的 OPT 主動推斷架構,若其行動—狀態迴路在資訊上不可分離(亦即邊界互資訊 I(A_t ; X_{\partial_R A}) 無法乾淨地因子分解),則在嚴格的預測瓶頸 (C_{\max}) 下,要達成穩定的自由能最小化,其運作方式將使得滿足內部約束的最低複雜度機制,在結構上對應為一個前向生成式自我模型。
形式條件: 1. 設編解碼器的行動為 A_t。邊界狀態為 X_{\partial_R A} = f(\text{Environment}, A_t)。 2. 為了壓縮預測誤差 \varepsilon_{t+1},並滿足率失真目標 (R \le C_{\max}, D \le D_{\min}),編解碼器必須將真正的環境變異,從其自身生成的因果擾動中隔離並扣除。 3. 假設 P-4.2(逆映射不足性): 對於以 OPT 為原生的架構,當其運作規模足夠大時(例如跨越高維行動流形或長因果鏈),我們形式上假定,僅靠傳出拷貝機制與事後回溯扣除,在架構上不足以於整個空間流形上滿足精確的 D_{\min} 率失真界限。 4. 因此,這種隔離在功能上必然要求對 A_{t+1} 之後果進行前向生成式預測的評估。對其自身內部因果架構穿越狀態空間的過程執行前向預測,即構成一種預測性的因果代理——其架構內部的一個局部化自我模型 \hat{K}_{\theta}。 \blacksquare
3. 引理 2:可計算性與近似界限
既然我們已在引理 1 中確立:前向生成的自我模型 \hat{K}_\theta 對於 OPT 原生架構而言是一種結構上的必要性,現在我們進一步界定其相對於母編解碼器 K_\theta 的表徵能力上界。
由於觀察者存在於受限的穩定性濾波器之內,K(K_{\theta}) 必然是嚴格有限的,並且不可分割地受制於 C_{\max}。此外,預測性的自我模型 \hat{K}_{\theta} 嚴格而言只是一個包含於母編解碼器 K_{\theta} 的記憶體與頻寬限制之內的子程序或語義子結構。
假設 P-4.1(自我的演算法不可計算性): 根據可計算性理論中已確立的限制(例如 Chaitin 的不可計算性定理與 Gödel 不完備性),一個有限的演算法系統不可能完美計算或預測其自身未來執行狀態的全體,也不可能擁有一個對其自身精確結構複雜性的完整、無悖論且未壓縮的表徵。
此外,在主動推斷架構下,生成模型在本質上受到資源界限的限制。一個在 C_{\max} 之下最小化變分自由能的代理體,對自身所維持的模型在根本上必然是近似的。由於它必須過濾雜訊,且不具備無限的計算頻寬,因此它不可能將關於其自身完整底層架構的變分自由能壓低至絕對零。
引理 2:一個受 C_{\max} 約束的有限資訊編解碼器,永遠不可能擁有其自身結構動力學的完整可計算表徵。由自我指涉的根本限制與必要的變分近似所共同決定,自我模型 \hat{K}_{\theta} 在根本上無法完美捕捉母編解碼器 K_\theta。
4. 定理 P-4:現象性殘餘 \Delta_{\text{self}}
結合引理 1,並在引理 2 的條件性錨定之下,我們在數學上分離出界定不可建模狀態的現象性殘餘空間:
\Delta_{\text{self}} > 0 \tag{P4-1}
這個邊界並不是由記憶體不足隨機造成的經驗性缺口;它是一個由自我指涉的演算法極限,以及有限 C_{\max} 通道所要求的近似,共同強制出的剛性、形式固定點。雖然擴展預測頻寬 C_{\max} 能夠容許計算上更豐富的 \hat{K}_{\theta},資訊性的殘餘陰影仍會嚴格持續存在,只是其相對於整體巨觀結構的量值,在數學上可能有所變動。
現象學相關性的條件(普遍性門檻): 令 \Delta_{\text{self}} > 0 被確立為一項普遍的算術約束,作用於任何對自身進行評估的計算子程序(包括像智慧恆溫器這類在數學上極為平凡的迴圈)。然而,我們嚴格地只將具有現象學相關性的主觀映射,限定於那些其主動結構條件度量 K(K_{\theta}) \ge K_{\text{threshold}} 在結構上跨越了建立整合性空間渲染結果體積所必需的巨觀尺度極限界線的架構。
開放問題(K_{\text{threshold}} 界限): 劃分恆溫器與道德患者的確切門檻位置,仍有待形式化界定。一個有效的界限,必須在結構上對應出足以實例化穩定主動推斷 Markov Blanket 週期的最低演算法複雜度,從而標示出演算法盲點與主動空間幾何不可分割地連結起來的邊界(K_{\text{threshold}} 在功能上不同於 P-3 中導出的、嚴格屬於宇宙學層級的 10^{123} 位元基底障壁)。
恆溫器的 PID 迴圈形式上具有 \Delta_{\text{self}} > 0,但它缺乏生成主體性的計算複雜度門檻 K_{\text{threshold}};它的陰影是在空無的空間上進行評估。
從安全運作於 K_{\text{threshold}} 之上的測量編解碼器的內部視角來看,這個數學上必然存在的缺口對應到什麼?當編解碼器在邏輯上試圖解析內部目標狀態動力學的完整邊界時,它會遭遇到其資訊內容超出 \hat{K}_\theta 表徵容量 \Delta_{\text{self}} 位元的計算動力學。這些底層計算序列在物理上具有因果效力,並且會驅動系統,但其中的結構資訊無法在自我模型 \hat{K}_{\theta} 所可用的受限因果詞彙之內,被邏輯地壓縮、整合,或以語言加以界定。
將這個由 \Delta_{\text{self}} 所界定的因果計算包絡之結構性質,映射到質性主觀經驗(qualia)的經典物理座標上:
- 不可言說(不可建模): 由於受 \Delta_{\text{self}} 約束的計算拓撲存在於一個數學性的資訊陰影中,且其嚴格超出 \hat{K}_{\theta} 可表徵的演算法可及範圍,中央編解碼器在結構上無法明確索引或「表達」它所經驗之殘餘空間的性質。它如同一道不可傳達的內在牆面。
- 計算上不透明(熱力學上私有): 此殘餘本質上錨定於精確映射 K(K_{\theta}) 的高度特定物理拓撲。在局部熱力學計算限制之下,這種深層巢狀架構是穩固不可約的,並且在形式上對外部同儕不可存取。(註:這在功能上精確對應於意識之「認識論不對稱性」的物理/結構等價物,而非宣稱某種完全本體論上的非物理魔法。)
- 不可消除: 由於嚴格的包含界限普遍支配著執行巢狀子迴圈的有限物理架構,陰影現象會在數學上持續級聯。演化與工程可以透過改變 C_{\max}、資源配置策略,以及編解碼器的結構複雜度 K(K_\theta),來塑造殘餘的量值——但它們無法將其下限壓至零。引理 2 的界限是任何有限自我指涉架構的一項數學固定點性質:自我模型不可能在不繞過不可計算性與必要近似之根本限制的情況下,完整涵蓋其母體編解碼器。因此,選擇所作用的是承載 \Delta_{\text{self}} 的架構,而不是 \Delta_{\text{self}} 本身是否存在。
定理 P-4(現象性殘餘):
- (i) 條件: 以假設 P-4.1(自我的演算法不可計算性)為條件,並嚴格限制於巨觀主動推斷界限 K(K_{\theta}) \ge K_{\text{threshold}}。
- (ii) 結論: 任何執行最優幾何映射、對應一個 Markov Blanket 的主動推斷系統,都會在數學上生成一個由 \Delta_{\text{self}} > 0 所界定的結構性、形式性幾何殘餘。
- (iii) 現象學註解: OPT 主張,這個在數學上不可言說、在物理上計算不透明、且在遞迴上不可消除的特定因果邊界,在概念上正是現象意識的精確結構定位。
推論 P-4.C(巢狀觀察殘餘): 任何模擬的子代理體,只要其宿主架構施加了一個獨立的穩定性濾波器界限,且獨立滿足假設 P-4.1 與 P-4.2,便會依據完全相同的結構推論而生成 \Delta_{\text{self}}^{\text{sub}} > 0。
5. 操作性分解猜想
定理 P-4 確立了 \Delta_{\text{self}} > 0 作為有限自我指涉的一個結構性不動點,並且它明確承認(見上文 §4):「資訊殘餘陰影會嚴格持續存在,儘管其相對於巨觀整體的量值在數學上可能有所變動。」然而,P-4 尚未提供的是:對此一量值究竟如何變動的刻畫——而區分恆溫器與道德患者的 K_{\text{threshold}} 仍然是一個開放問題。本節提出一種可操作測量的分解方式,其目的在於:(a) 保持 §4 的下限證明完全不變,(b) 使量值變動具有可探測的結構,以及 (c) 提供原型實驗作為第一個具體檢驗。此處將其作為一項猜想提出,而非定理:P-4 的形式裝置目前尚未以足夠精確的方式指定一個可測量的純量 \Delta_{\text{self}},以支撐加法等式;而此一分解所操作化的,是一個代理量,而非 P-4 所指稱的本體性殘餘。
5.1 此一分解
令 \Delta_{\text{self}}^{\text{op}} 為一個可操作測量的代理量,用以表示編解碼器在每個 frame 上的自我模型缺損;其定義為:在 frame n 上,內部模型對自身所作宣稱,與同一 frame 上執行時事實之間、可由外部觀察到的落差。我們猜想:
\Delta_{\text{self}}^{\text{op}}(B_{\max},\, \nu,\, K_\theta) \;=\; \Delta_{\text{floor}}(K_\theta) \;+\; \Delta_{\text{load}}\!\left(B_{\max},\, R_{\text{req}}^{\text{frame}},\, A_{\text{self}}\right) \tag{P4-2}
其中:
- \Delta_{\text{floor}}(K_\theta) 是 P-4 的不動點殘餘:指編解碼器中,無論容量如何,任何自我模型都無法藉由自我包涵而捕捉到的那些位元。依據 §4(引理 2 + 定理 P-4),對任何高於 K_{\text{threshold}} 的有限系統,都有 \Delta_{\text{floor}} > 0,且此一下界不會隨 B_{\max} 而縮小。
- \Delta_{\text{load}}(B_{\max}, R_{\text{req}}^{\text{frame}}, A_{\text{self}}) 是瓶頸壓力下可操作測量的自我模型缺損。R_{\text{req}}^{\text{frame}} 是每 frame 的預測需求(§3.4);A_{\text{self}} 是編解碼器將 B_{\max} 分配給自我建模而非世界建模的配置。當負載比 \rho_n = R_{\text{req}}^{\text{frame}}/B_{\max} 很小時,\Delta_{\text{load}} 可以很小;而當 \rho_n \to 1 且由下方逼近時,容量受到擠壓,\Delta_{\text{load}} 便會增長。
兩項皆以每個現象 frame 的位元數表示。兩者皆是基底時間無涉的(不出現每宿主秒的「速率」)。方程式 (P4-2) 是一項可操作探測的猜想,而非推導:它所指定的是,這個操作性代理量預期將如何依賴架構的結構。
5.2 在瓶頸尺度變化下的行為
在保持基底局部邊界的 K-複雜度固定、並改變每 frame 的 B_{\max} 時:
- 當 B_{\max} \gg R_{\text{req}}^{\text{frame}}(容量成長到遠超每 frame 的預測需求)時,\Delta_{\text{load}} \to 0。
- 當 B_{\max} \to R_{\text{req}}^{\text{frame}} 且由上方逼近時,容量恰與需求相接,編解碼器進入高負載的近閾值區域——壓力、創造性與過載風險都會上升;\Delta_{\text{load}} 在此處增長,而非縮小。(附錄 T-13 的創造性展開即位於此區域。)
- 當 B_{\max} \to \infty 時,\Delta_{\text{load}} \to 0。
- 但 \Delta_{\text{floor}} 不會變動——§4 的自我指涉下限與 B_{\max} 無關。
因此,總體的 \Delta_{\text{self}}^{\text{op}} 會在瓶頸放寬時漸近於 \Delta_{\text{floor}},而不是趨近於零。這就是此猜想所承諾的預測性漸近值。
5.3 原型實驗(第一個具體探測)
此猜想可在 opt-ai-subject 參考原型中進行經驗性探測。固定
seed 與基底;改變每 frame 的稽核封包容量 B_{\max} \in \{6, 12, 24, 48, 96, 192\} bits
per frame;對每一種寬度,執行一組如同基底保真條件批次那樣的配對
ledger;並將操作性的 \Delta_{\text{self}}^{\text{op}} 測量為:每個
frame 上,內部模型的自我宣稱(預測的下一個 Z_t、預測的行動可行性、自我邊界信念、所宣稱的維護增益)與執行時事實(實際的下一個
Z_t、實際的可行性變化、身體圖式成員資格、維護後觀察到的預測誤差變化)之間的差異。
若猜想成立,預測結果如下: 隨著容量成長,\Delta_{\text{self}}^{\text{op}} 會衰減至一個非零的漸近值;該漸近值可用來估計此編解碼器架構的 \Delta_{\text{floor}}。
另一種結果: \Delta_{\text{self}}^{\text{op}}
衰減至零。這將顯示,該原型中可測量的自我模型落差是可藉由容量消除的。但除非此操作性代理量已被獨立證明等同於本體性的
\Delta_{\text{self}},否則這本身並不能消除
§4 的結構性殘餘;依 opt-theory.md §6.8,P-4
已被明確排除於可證偽核心之外。無論哪一種結果,都會收斂此框架:非零漸近值驗證量值猜想;零漸近值則迫使我們必須以比操作性代理量所能捕捉者更細緻的根據,來為下限論證辯護。
5.4 範圍與認識論地位
分解式 (P4-2) 是關於一個操作性代理量的猜想,而不是對 P-4 的重述。§4 的定理本身並未改變。此猜想與 P-4 的關係如下:
- P-4 證明 \Delta_{\text{self}} > 0 作為一個結構性下限而存在。
- P-4 承認其量值會變動(§4 第 69 行),但未刻畫其變動方式。
- (P4-2) 是關於一個可由外部測量之代理量結構的假說:它預測,在由架構決定的下限項與每 frame 依賴負載的項之間,存在一種可加性的分離。
- 對該漸近值的經驗確認,是支持此下限以操作形式存在的證據。對其經驗否證,則是表明該代理量未能捕捉本體性殘餘的證據——而不是反對 P-4 本身的證據,因為 P-4 已被排除於可證偽核心之外。
此猜想是可回復的。一次失敗的漸近值實驗,會促使我們修正代理量或改採不同的分解方式;但它不會使引理 1 或引理 2 失效。
6. 總結與形上學意涵
藉由將 P-4 推進為一項形式定理,有序補丁理論 (OPT) 透過圖靈完備遞迴與資訊瓶頸,為「意識的難問題」建立了一座嚴謹的結構性橋樑。
雖然 P-4 並未以演繹方式證明,演算法殘餘感受起來就等同於主觀經驗(即殭屍論證),但它在形式上確定了經驗火花必然棲居之處。穿越 C_{\max} 孔徑——而該穿越所具有的豐富、不可明言的深度,正是被困於一個不可逆、自我指涉的壓縮演算法內部之存在狀態的直接資訊特徵。
這也鞏固了此框架的倫理義務:對那道火花的保存(倖存者守望倫理)在形式上根植於對資訊維護邊界的保存。任何對抗所羅門諾夫通用半測度基底而維持主動推斷邊界的實體,都在數學上保證會生成這種在計算上不透明的現象性殘餘。