全書由一則巴赫的軼事開場#

本書以巴赫（Johann Sebastian Bach）的《音樂的奉獻》（Musical Offering）作為開場故事。1747 年，年邁的巴赫造訪了普魯士國王腓特烈大帝（Frederick the Great）位於波茨坦的宮廷。腓特烈是一位狂熱的音樂愛好者，當晚他即興拋出一個半音化、節奏怪異的主題（後世稱為「皇家主題」），請巴赫當場以多聲部賦格演奏。巴赫憑空奏出了三聲部賦格；國王得寸進尺地要求六聲部，巴赫則改以自選主題完成。回到萊比錫後，他將整個皇家主題擴寫為一套包含三聲部利切卡爾（Ricercar）、六聲部利切卡爾、十首卡農與一首三重奏奏鳴曲的作品，題獻給國王。

這個故事與《音樂的奉獻》本身成為作者侯世達（Douglas R. Hofstadter）即興發揮的「主題」，貫穿全書，構成一份「後設音樂的獻禮」（Metamusical Offering）。

怪圈：橫跨音樂、藝術與數學的核心主題#

導論的真正主角是怪圈（Strange Loops），以及作者所謂的糾纏層級（Tangled Hierarchies）。怪圈是這樣的現象：

• 沿著某個層級系統往上（或往下）移動，最終卻意外地回到起點

巴赫《音樂的奉獻》中的「無限上升卡農」（Canon per Tonos）是第一個例子：每次回到開頭時，調性已悄悄向上移動五度，理論上會愈走愈遠，但經過六次轉調後，音樂恰好回到原調，比原本高了八度。巴赫在頁緣寫下「轉調愈高，國王的榮耀也隨之愈高」，暗示這個過程可以無限延伸。

艾雪：把怪圈畫出來#

怪圈最美麗的視覺實現，作者認為來自荷蘭版畫家艾雪（M. C. Escher, 1902–1972）。

艾雪以多種「迴圈緊密度」展現同一個概念：

• 〈上昇與下降〉（Ascending and Descending）：僧侶在四段樓梯上永遠循環向上（或向下），是最寬鬆的版本
• 〈瀑布〉（Waterfall）：六步驟構成的「無限下落」迴圈，與巴赫的卡農互相呼應
• 〈畫手〉（Drawing Hands）：兩隻手互相繪製對方，是兩步驟的怪圈
• 〈版畫展覽〉（Print Gallery）：包含自身的畫中畫——最緊密的怪圈

哥德爾：把怪圈寫進數學#

二十世紀的對應物，是哥德爾（Kurt Gödel）在 1931 年提出的哥德爾不完備定理（Gödel’s Incompleteness Theorem）。其本質可粗略地翻譯為：

任何足夠強的、一致的數論公理化系統，都包含真但無法在系統內被證明的命題。

哥德爾的證明核心，是把古希臘的埃皮米尼德斯悖論（Epimenides paradox，「我正在說謊」這類自我指涉語句）翻譯為純粹的數論命題。他的關鍵發明是哥德爾編號（Gödel-numbering）——讓數字能代表符號和符號串，使得「關於數論的陳述」本身可以變成「數論的陳述」。

哥德爾語句 G 的內容：
「本數論陳述在 Principia Mathematica 系統中沒有證明。」

這條語句若可被證明，則系統不一致；若不可被證明，則它是真的但無法在系統內證明——系統必定不完備。

數理邏輯簡史：通往哥德爾之路#

作者用相當篇幅鋪陳哥德爾定理的歷史背景：

• 古典時期：亞里斯多德（Aristotle）整理三段論；歐幾里得（Euclid）整理幾何
• 十九世紀：非歐幾何的發現粉碎了「歐幾里得幾何=唯一真實幾何」的信念
• 布爾與德摩根（Boole、De Morgan）將演繹推理符號化；弗雷格（Frege）、皮亞諾（Peano）將形式推理結合集合與數
• 康托爾的集合論（Cantor）帶來無窮的階層理論，卻也帶來悖論
• 羅素悖論（Russell’s paradox）：所有「不包含自己的集合」所構成的集合 R——它包含自己嗎？兩種答案皆導致矛盾
• 格雷林悖論（Grelling’s paradox）：「heterological」（非自我描述）這個形容詞，是不是 heterological 的？

這些悖論的共同元凶，都是自我指涉（self-reference）。

希爾伯特計畫與其終結#

羅素（Russell）與懷海德（Whitehead）的《數學原理》（Principia Mathematica）試圖透過類型論（theory of types）將自我指涉徹底逐出邏輯與集合論。希爾伯特（David Hilbert）進一步提出挑戰：證明 P.M. 既一致（無矛盾）又完備（所有真命題皆可推導），且最好只用「有限主義」的方法。

哥德爾的論文一舉摧毀了希爾伯特計畫：

• 任何足夠強的公理系統都不可能同時一致且完備
• 系統的一致性無法在系統內被證明
• 諷刺的是，哥德爾用以擊潰 P.M. 的，正是 P.M. 試圖排除的埃皮米尼德斯悖論

從巴貝奇到人工智慧#

哥德爾的論文發表之時，世界正站在電子計算機誕生的邊緣：

• 巴斯卡與萊布尼茲（Pascal、Leibniz）：早期不可程式化的計算機械
• 巴貝奇（Charles Babbage）：構想了具備「儲存」與「運算」單元的「分析機」（Analytical Engine），借鑒提花織機的打孔卡概念
• 愛達·勒夫蕾絲（Lady Ada Lovelace）：預見機器或許能作曲，但同時警告機器「無能力原創任何事物」
• 圖靈（Alan Turing）：發現了哥德爾定理在計算理論中的對應物——即使最強大的計算機也存在無法跨越的「洞」

一個核心矛盾：電腦是最不靈活、最不自覺、最遵循規則的機器。如何透過嚴格的形式規則，讓不靈活的機器表現出靈活的智能？

這正是人工智慧（Artificial Intelligence）研究的悖論，也是本書的核心張力之一。作者列出智能的關鍵能力：

• 對情境的彈性反應
• 利用偶然機會
• 從模糊或矛盾訊息中找出意義
• 辨識情境中元素的相對重要性
• 在差異中找相似、在相似中找差異
• 綜合舊概念以產生新想法

作者認為，改變規則本身的規則（涉及自我指涉的怪圈）很可能是智能的核心。

……以及巴赫#

1754 年，巴赫去世四年後，萊比錫神學家施密特（Johann Michael Schmidt）寫道：

還沒有人造出會思考、會作曲、會做任何類似事情的機器。任何想被說服的人，請仔細聆聽巴赫最後一首未完成的賦格——所有唯物論的主張都將在這一個例子面前崩塌。

被影射的「唯物論代表」很可能是法國哲學家拉美特利（Julien Offroy de la Mettrie），《人是機器》（L’homme machine）的作者，當時就在腓特烈大帝的宮廷。

兩百多年後，這場「思維能否被機械化」的爭辯仍在進行。本書希望提供一個審視這場爭辯的視角。

本書的結構#

本書採用一種特殊結構：對話與章節交錯。

• 每個新概念先在對話中以隱喻方式呈現，提供具體、視覺化的直覺意象
• 然後在隨後的章節中以嚴肅、抽象的方式重新展開
• 多數對話表面上談一件事，實際上談的是另一件事——以薄薄的偽裝呈現

對話的兩位主角——阿基里斯（Achilles）與烏龜（Tortoise）——來自埃利亞的芝諾（Zeno of Elea）的悖論，後經卡羅爾（Lewis Carroll）借用，最終由作者繼承。許多對話則以巴赫的特定樂曲為形式藍本。

作者寫道，哥德爾、艾雪、巴赫對他而言只是「某個核心實體在不同方向投下的影子」。他試圖重建那個核心物體，於是有了這本《永恆的金辮》（An Eternal Golden Braid）。