第 11 / 12 部 待錄

自我複製與真理的極限

《哥德爾、艾雪、巴赫》Podcast 準備稿:自我複製與真理的極限

書名: 哥德爾、艾雪、巴赫:集異璧之大成(Gödel, Escher, Bach) 作者: Douglas R. Hofstadter(侯世達) 系列: 啃一本大書(恩普拉氏) 公開標題建議: 啃一本大書|GEB:DNA 複製自己、句子談論自己——原來是同一個魔法 (11/12) 涵蓋範圍: 第 16 章〈自指與自複製〉+ 第 17 章〈邱奇、圖靈、塔斯基〉

背景速覽

這集把全書兩條看似不相干的線——「自我指涉」(哥德爾的句子談論自己)和「自我複製」(DNA、生命複製自己)——並在一起,揭露它們其實是同一個結構的兩種面貌。然後再加一記更狠的限制性結果:塔斯基定理——不只「真理超出可證明」(哥德爾),連「真理本身」都無法在系統內被定義。這集的情緒是「萬物歸一」:哥德爾的 G 句、DNA 的自我複製、一個會印出自己的電腦程式,背後是同一個「糾纏層級」的魔法。

一句話重點

讓一句話談論自己(哥德爾)、讓一段程式印出自己、讓 DNA 複製自己——這三件事用的是同一個祕訣:同一個東西同時扮演「程式」和「資料」兩種角色,在某個臨界點回頭作用於自身;而塔斯基更進一步證明,「什麼是真的」這件事,系統永遠無法在自己內部完整定義。

值得討論的重點

1. 🪞 自我複製的祕訣:同時當程式又當資料

怎麼寫一個會印出自己完整原始碼的程式?(這在程式界叫 quine。)祕訣很美:同一段文字用兩次——上半當「指令」執行(沒引號),下半當「資料」被讀(有引號)。侯世達指出,「自我複製分子」(DNA)的奧祕也在這裡。對照哥德爾的 G 句:G 不能直接把自己整句抄進去(會無限變長),它是用「描述」的方式間接指向自己——透過哥德爾編號這個翻譯機制,間接地談論自己。自指與自複製,同一個招式。

2. 🧬 印刷遺傳學:用排版遊戲模擬生命

侯世達造了個玩具系統 Typogenetics,用 A/C/G/T 四個字母的字串(鏈)和一套「排版酶」來模擬分子生物學的核心法則(DNA→蛋白質)。最關鍵的糾纏:一條鏈同時是「程式」(編碼出酶)又是「資料」(被酶操作)——這跟前面 MIU 系統「規則和字串嚴格分層」完全相反,這裡兩者纏在一起。終極謎題:能不能設計一條鏈,經過酶作用後生出兩份自己?這就是「自我複製生命」的最小玩具版。把抽象的「糾纏層級」變成可以動手玩的東西。

3. 🎯 塔斯基定理:「真」這個字,系統定義不了自己

加碼的限制性結果。哥德爾說「真理超出可證明性」(有真的東西證不出來);塔斯基更狠——一個夠強的系統,連「真」這個謂詞本身都無法在系統內部被定義。一個系統沒辦法在自己裡面,圈出「我所有為真的句子」這個集合。對照書裡的〈Magnificrab〉:螃蟹聲稱能聽音樂分辨數學陳述的真偽——但邱奇定理證明,不存在不會出錯的機械方法能判定數論的真偽。直覺、品味、美感,在這裡不是裝飾,是判定真理時無法被演算法取代的東西。

注意事項(哪裡容易卡)

⚠️ quine(自我複製程式)的「上半當程式、下半當資料」很妙但容易講糊。建議用「一張紙條,上面寫:『把下面這句話抄兩遍,第二遍加引號』,下面那句正好就是這整張紙條的內容」這類口語化的自我複製感,不要真的念程式碼。

⚠️ Typogenetics 的細節(15 種氨基酸、雙聯體對照表、三級結構折疊)極其繁複,絕對不要全講。只取「一條鏈同時是程式又是資料」這一個核心糾纏,外加「DNA 真實世界用三個鹼基一組(密碼子)對應 20 種氨基酸」當收尾彩蛋。其餘全砍。

⚠️ 塔斯基「真理不可定義」跟哥德爾「真理超出可證明」很容易被聽眾混為一談。要明確分階:哥德爾=「真但證不出」(證明的網有漏);塔斯基=「連『真』是什麼,系統都說不清楚」(連這張網的範圍都圈不出來)。塔斯基比哥德爾更進一步、更釜底抽薪。

專家補充

💡 這集最重要的一句總結,要當高潮講:分子生物學裡「DNA 編碼蛋白質,而某些蛋白質回頭複製 DNA」,和 TNT 裡「字串透過編碼談論字串,而 G 句回頭談論自己」——是兩個世界的同一個糾纏層級。一邊是符號/字串/公式,一邊是規則/酶/蛋白質,兩者由「翻譯機制」連接,並在某個臨界點回頭作用於自身。這是「哥德爾=生命=心智」這個全書大論點的關鍵接榫。

💡 關於「真理是一門藝術」:第十七集點出,現實世界的思考不像兩數相乘那麼乾淨——它有龐大的「地下根系」(觸發符號的模式),無法簡單剝出最上層來程式化。侯世達甚至推測:意象、類比、創造力,本質上需要「多層次的不透明基底」——這正是 AI 至今最難複製的部分,也是下一集(最終集)的伏筆。

💡 拉馬努金的故事是這集絕佳的人味素材:印度數學天才,幾乎只靠一本舊教科書自學,公式據說來自夢中女神的啟示。Hardy 說「這些公式必須是真的,因為若非真,沒人有足夠想像力編造出來」。他能瞬間說出「1729 是最小能用兩種方式寫成兩立方和的數」。這個「與整數的友誼」,是「數學直覺從何而來」這個謎最動人的案例。

討論問題

🎙️ 開場鉤子:「一句話可以談論它自己(哥德爾),一段程式可以印出它自己,一條 DNA 可以複製它自己。這三件事看起來八竿子打不著——但它們用的,是同一個魔法。今天我們就來拆穿這個橫跨數學、電腦、生命的共同祕訣。」

🎙️ 自問自答:「哥德爾說『有些真理證不出來』已經夠嚇人了——還能更狠嗎?」——能。塔斯基說,連『真』這個概念本身,系統都沒辦法在自己內部定義清楚。

🎙️ 留給聽眾帶走的一題:「拉馬努金說他的公式是夢中女神給的;數學家算大數會『越算越慢』,可見他們是在『計算』而不是『直通真理』。那麼——你的『直覺』,到底是某種超越計算的天賦,還是只是跑得超快、你自己看不見過程的計算?」

更大範圍關聯

  • 數理邏輯脈絡:哥德爾、邱奇、圖靈、塔斯基——四個限制性結果在這集合流,它們的共同根源是「系統碰到自己」(主客體融合)。最後一集會點出:所有依賴主客融合的結果,都是限制性結果,這不是巧合。
  • 認知科學脈絡:「自指=自複製=糾纏層級」是侯世達對「自我」起源的核心假說——自我,誕生於系統獲得「反映自身」能力的那一刻。生命的自我複製,是這個能力在分子層次的第一次出現。
  • AI 與意識脈絡:「真理判定需要品味、美感,無法完全演算法化」「創造力需要多層次不透明基底」——這兩點直接挑戰「智能=純符號計算」的樂觀派。在 LLM 時代,這對應「模型有沒有真正的理解與品味,還是只是超快的模式比對」這個尚未解決的根本爭論。

錄製建議

  • 建議時長:約 20 分鐘。自指=自複製的揭祕(含 quine、Typogenetics)約 11 分鐘,塔斯基+真理是藝術+拉馬努金約 9 分鐘。
  • 講述策略:這集的爽點是「萬物歸一」的揭祕感,單人主講時要把「原來這三件事是同一件事」的恍然大悟營造出來。Typogenetics 一律抽象化,只保留「鏈同時是程式又是資料」的核心畫面。拉馬努金的故事放在後段當情感與懸念的雙重支點,順勢把「直覺/創造力從何而來」這個問題吊到最終集。
  • 結尾接第十二集:「下一集是最終回——我們要把這十一集所有的線,編成一條金辮。人工智慧到底可不可能?意識是什麼?自由意志存在嗎?侯世達會給出他的終極答案:『自我』,誕生在系統第一次能夠反映自身的那一刻。」