哥德爾論證的可重複性#

第 14 章已知 G 在 TNT 中不可判定，且可把 G（或其否定）加入作為新公理。但這只是個開始：

對任何擴充版的 TNT，哥德爾的把戲都可再次施加。新系統 TNT+G 同樣可被「哥德爾化」，產生屬於它自己的不可判定字串 G′。

TNT      → 不完備 → 找到 G
TNT + G  → 不完備 → 找到 G′
TNT + G + G′ → 不完備 → 找到 G″
...

G′ 的構造#

在 TNT+G 中，「證明對」概念需擴充為 TNT+G-證明對。仍是原始遞迴的：

(TNT+G)-PROOF-PAIR{a, a'}

仿照第 14 章的構造，先寫「G′ 的叔叔」：

~∃a:∃a':<(TNT+G)-PROOF-PAIR{a, a'} ∧ ARITHMOQUINE{a", a'}>

設其哥德爾數為 u′，再算術奎寧之，得：

G' = ~∃a:∃a':<(TNT+G)-PROOF-PAIR{a, a'} ∧ ARITHMOQUINE{SSS...SS0/a", a'}>
                                                       ← u' 個 S

其意：「我不能在形式系統 TNT+G 中被證明。」

無窮分歧（Multifurcation）#

每次擴充都產生新分支：每個擴充系統 X 各有自己的 G_X，可加入 G_X 或 ~G_X，於是 TNT 的「家族樹」呈現無窮分歧。

如果一直沿著「左側分支」（每次都加 G_n）走下去：

TNT → TNT+G → TNT+G+G' → TNT+G+G'+G'' → ...

每一步都加入「哥德爾句」，希望最終消除所有超自然數。但結果是：

看起來這個過程「形式上可預測」——所有 G, G’, G’’, G’’’ 都由同一個技巧造出。為何不一次以一個公理模式（schema）涵蓋所有這些字串？

本質不完備性#

引入新的「ω-公理（G_ω）」公理模式，似乎可一網打盡所有 G, G’, G’’……結果是：

TNT+G_ω 同樣不完備！

一旦這個公理模式以可形式化的方式被寫下來，便可被表徵在 TNT+Gω 之中——於是又能造出一條新的不可判定字串 G{ω+1}。

這稱為 TNT 的本質不完備性（essential incompleteness）——任何擴充、修改、替代版本都無法逃脫這個命運。

不完備性的三條件#

任何滿足以下三條件的一致系統都會不完備：

• 足夠豐富：所有關於自然數的真偽陳述都可表達於其中
• 所有一般遞迴關係都被表徵為其公式
• 公理與規則皆可由終止程序辨識——是真正的「形式系統」

任何系統一旦達到此「臨界質量」，便獲得自我指涉能力，也就被注定不完備——就像超過臨界質量的鈾塊必然連鎖反應。

Lucas 的迷因：用哥德爾反 AI#

J. R. Lucas 1961 年的文章〈Minds, Machines, and Gödel〉開宗明義：

哥德爾定理在我看來證明了機械論為假——心智不能被解釋為機器。

Lucas 的論證大致是：

- 電腦同構於形式系統
- 任何能與我們同等聰明的電腦都必須能做數論
- 因此它會受到哥德爾「鉤」的攻擊
- 我們人類能看出某些它「看不出」的真理（即它的 G 句）
- 故人類比電腦聰明

這段論證初看極具說服力，常引發兩極反應——有人視為靈魂存在的證明，有人嗤之以鼻。作者認為它「錯得迷人」，正是本書早期動機之一。

為什麼 Lucas 是錯的（一）#

Lucas 假設「哥德爾化操作（Gödelization）」是一個標準的、可機械化的程序——但若它真是如此，便可被加進程式作為第三個子程序。Lucas 的反駁是：那麼程式 + 哥德爾化操作仍是另一個形式系統，仍可再被哥德爾化 ⋯⋯ 如此無窮。

但這正是關鍵：人類自己也無法以演算法描述「如何對任意系統執行哥德爾化」。

Church-Kleene 定理：

沒有任何遞迴相關的記號系統，能命名所有「可構造序數」（constructive ordinals）。

序數中的不規則性以不規則的方式出現；不規則性中又有不規則性 ⋯⋯ 沒有單一方案能涵蓋全部。因此，任何人類的哥德爾化能力都有極限——某個複雜到無法處理的系統，將迫使他停下。

從那以後，那個（雖不完備的）形式系統便和該人類在能力上等價。

為什麼 Lucas 是錯的（二）：他自己也「不完備」#

C. H. Whitely 的反擊：考慮這條句子——

「Lucas 不能一致地宣稱這條句子。」

它是真的，但 Lucas 不能一致地宣稱它。Lucas 同樣對某些真理「不完備」。他不過是一個複雜的形式系統，沒有什麼超越的特權。

「Loocus the Thinker」寓言#

作者寫了一則諷刺寓言，用相同論證「證明」男人優於女人：

Loocus 看見女人，發現自己能看她的臉而她不能看自己的臉
→ 因此男人優於女人

女人反駁：我能看你的臉而你不能看自己的臉
Loocus：你那不算「看」，只是「womansee」，沒資格用同樣的詞⋯⋯

這種「heads-in-the-sand」式的論證，就是 Lucas 為了讓人類凌駕電腦所必須吞下的東西。

自我超越——現代神話#

程式可以修改自身，但這種「修改」本身是其原有規則的一部分——這不是「跳出系統」。

同樣，人類無法自願不遵守物理定律。

但有個較弱、可達成的目標：從一個次系統跳到更大的次系統。我們可以偶爾跳出常規思路——這仍是大腦各次系統互動的結果，但感覺上像是「跳出自己」。

區分「感知自我」與「超越自我」很重要：

• 你可以透過鏡子、影像、錄音、心理分析等多種方式看見自己
• 但你無法真正跨出自己的皮膚、從外部觀看自己

這像「上帝能否造一塊重到祂自己無法舉起的石頭？」的悖論。

艾雪〈龍〉的隱喻#

艾雪木刻〈Dragon〉中，龍咬住自己的尾巴——這是哥德爾的視覺對應物。

但艾雪自己對這幅畫的評論更深：

紙是平面的，但這條龍堅持假裝自己有三維——他把頭和尾巴穿過紙上切出的洞。然而無論他如何掙扎，仍然是徹底平面的。

無論多巧妙地在二維上模擬三維，總會缺失某種「三維的本質」。同樣地，程式無論多複雜，總無法捕捉「在系統外部觀察自己」的本質。

廣告與框架技倆#

社會學家 Erving Goffman 在《Frame Analysis》中觀察到：

• 電視廣告會用「真情流露」的演員、「街頭噪音」、「兒童聲音」、「重疊的對話」假冒真實
• 觀眾越退到細節判斷真偽，廣告就越追到那個層次

這是另一場無止盡的「TC-battle」——真實與廣告之間的對抗——同樣展現了「跳出框架」這個普遍張力。

Galileo 的三人對話#

伽利略（與 Jauch）的對話為何需要三個角色：Simplicio（呆子）、Salviati（智者）、Sagredo（中立第三方）？兩個角色不夠嗎？

Sagredo 給人「跳出系統做出公正裁判」的錯覺。但 Sagredo 總是站在 Salviati 那邊——這只是另一層形式系統。要真正客觀，得有「對 Sagredo 客觀的第四人」，再來「對第四人客觀的第五人」⋯⋯

無窮升級的「客觀化」並沒有真的更客觀。最初 Salviati 是對的、Simplicio 是錯的——這事實在第一層就已如此。

禪與「跳出」#

禪宗對「跳出系統」也有深刻體察。洞山說：「比佛更高的佛法，不是佛。」禪人嘗試逐步深化自我意識、擴大「系統」的範圍——也包括打破禪本身的所有規則。

沿著這條難以言傳的路徑，或許就會走到開悟——一種「與整個宇宙合一」的感受。

但這個方向永無盡頭，且任何「描述方法本身」都會把你重新困在另一個系統中。