哥德爾，構不可閉合

一、維也納

1906年。庫爾特·哥德爾出生在奧匈帝國的布爾諾。

他小時候被家人叫作“為什麼先生”——什麼都要問為什麼。一個回答給下來，後面還有一個問題。

這個孩子後來把追問帶進了數學。

他在維也納大學轉向數學和邏輯。1920年代的維也納聚集著許多重問知識基礎的人。維也納學圈想用經驗與邏輯分析澄清科學：關於世界的斷言要接受經驗檢驗，邏輯和數學則被他們理解為分析性的。那些無法落實的宏大話語，究竟有沒有說出什麼？

哥德爾參加過這些討論，卻沒有接受學圈的全部立場。我們可以先記住這個年輕的聽者：身處對澄清充滿信心的年代，仍然追問澄清所用的工具。

1931年，他發表了不完備性論文。那一年他滿二十五歲。他找到的不是邏輯的失敗，而是某一類形式理論的邊界。

二、希爾伯特的夢

要知道哥德爾做了什麼，先要知道他鑿的是什麼。

大衛·希爾伯特，當時最有影響力的數學家之一。1900年的二十三個問題，為此後數學研究指出許多方向。他相信數學不應停在“我們永遠不會知道”面前：問題擺在那裡，就要尋找解答，或者證明所求不可能。

後來所謂希爾伯特計劃，一個核心目標是把數學形式化，再用可信的有限性方法證明它不會推出矛盾。與它相連的，還有完備性與機械判定的雄心：一套規則能不能把領域裡的問題全部處理好？這些目標相互關聯，卻不是同一個要求。

讓我們把那份雄心放到一張桌上：公理擺好，規則寫清，每一步都可檢查。若所有算術真理都能沿這些規則抵達，而規則又絕不相互衝突，桌上就像有了一個沒有遺漏的世界。

這是一個極其壯闊的構造之夢。這裡的“構”，先指我們搭起的公理、規則和證明秩序。從公理走到結論，路徑透明，腳下有據。

康德在哲學裡劃出物自體的界限；在這幅數學之夢裡，人卻忍不住問：純形式是我們親手規定的，難道還會有什麼逃出掌握？這是本文擺出的對照，不是兩人的問題可以直接互換。

希爾伯特的信心影響深遠，數學基礎的道路卻一直有人爭論。不是全世界一起做同一個夢。

哥德爾的兩個定理，切中了這份雄心最堅硬的地方。基礎研究沒有結束；一種把一切一次封口的希望，必須改變。

三、第一個不完備性定理

1931年，哥德爾發表《論〈數學原理〉及相關系統的形式不可判定命題Ⅰ》。一篇年輕人的論文，改變了“證明”所能承諾的範圍。

今天通常把第一個定理連同羅瑟後來的加強一起說：

如果一個形式理論的公理能夠由程序有效列舉，包含足夠的初等算術，而且是一致的——不同時證明一個句子及其否定——那麼總有算術句子，在這個理論裡既不能被證明，也不能被反駁。這叫不完備。

把理論固定下來，這道邊界就不是“數學家還不夠聰明”。在自然數的通常解釋中，真與可證不是同一回事：可以有真的算術句子，找不到這個理論內部的證明。

不是今天沒找到、明天加班就能找到。只要公理和規則不變，那份證明就不存在。換用更強的理論，有些原先的問題可以解決；若新理論仍滿足那些條件，又會有它自己的未決句子。

哥德爾怎樣做到的？他把公式和證明編碼成自然數，讓算術能夠談論證明。然後構造出一個算術句子，大意是：“在這個理論裡，沒有我的證明。”這不是一句玩弄詞語的悖論，而是一套可以逐步檢查的數學構造。

若這個句子有理論內的證明，編碼後的證明關係就會與句子所說的不可證明性衝突。因此，一致性排除了這樣的證明。

從理論之外看，在一致性的前提下，確實沒有那份證明；這個哥德爾句子因而在通常的自然數中為真。至於它的否定也不可證明，哥德爾原來的論證用了更強的條件；羅瑟後來換了構造，把要求降到通常的一致性。

於是，在有效公理化、足夠算術能力這些條件下，一致性與完備性不能兼得。條件不可悄悄刪掉：較弱的理論可以完備；把所有真的算術句子都收作公理，也能得到一致而完備的理論，卻失去了有效列舉公理的辦法。

希爾伯特式的雄心在這裡遇到的，不是數學從此無話可說，而是任何這樣一套固定規則，都不能把算術的全部話說完。

四、第二個不完備性定理

第二個定理，把問題推回證明者腳下。

對有效公理化、具有足夠算術能力並滿足通常證明條件的理論，如果它一致，就不能在自身內部證明那個按標準方式表達“本理論一致”的算術句子。

像一個人想踩著自己的肩膀，把自己舉起來。比喻很短，定理的條件卻不能省。

希爾伯特希望給數學一個可靠的一致性證明。哥德爾的結果給這種希望劃了界：若所用的有限性推理已能在待證明的理論中表達，就不能這樣完成任務。我們仍可以在更強的框架裡尋求相對的一致性證明，只是新框架的根據又需要說明。數學沒有因此停止，也沒有被判成全無根據。

它說的是一個特定的自我保證不能由某些內部工具完成。把這句話帶向人生時，我們已經從證明走進了比喻。

人們常用“知道自己不知道”概括蘇格拉底。他在追問中拆穿自以為知道的姿態；那是一個人如何面對知識的問題。

哥德爾處理的是另一個嚴格得多、也窄得多的問題。但兩者並讀，會讓人對一種姿態遲疑：只要把自己的說法整理得足夠漂亮，就已經替自己辦好了全部擔保。

莊子的寓言寫，七竅鑿成，混沌死了。好意的塑造也可能毀掉它所面對的生命。這種代價，不能換算成一個邏輯矛盾。

在哥德爾那裡，只要還要有效規則、足夠的算術和一致性，就必須放下“這套規則可以決定一切”的要求。這是精確的邊界，不是說任何完整的東西都必然崩塌。

寓言中的混沌死了，問題卻留給了後來的人：我們的整理遺漏了什麼？本文從定理旁邊借來一道光，照向這個問題；“構不可閉合”在這裡是閱讀的線索，不是包辦一切的定理。

五、散步

1940年，哥德爾與妻子阿黛爾離開納粹統治下的歐洲，來到美國，在普林斯頓定居。他此前已經訪問過高等研究院。

在那裡，他與愛因斯坦的友誼日漸深厚。

兩個人常一起走在研究院與住處之間。一位劃出了算術形式化的界限，一位改變了物理學理解空間、時間和引力的方式。道路上走著兩種不同的追問。

1905年，愛因斯坦的狹義相對論改變了牛頓式絕對時間與空間的圖景；1915年，廣義相對論把引力描述為時空幾何的效應，而不再只是平直背景上的力。他是二十世紀最深刻的開鑿者之一。

但面對量子理論，他仍在尋找一個不把概率當作最後答案的描述。

量子力學給出測量結果的概率，並對位置和動量能夠同時具有的確定性作出限制。怎樣理解測量之前的物理實在，卻涉及不同的解釋。不能把“測量前根本沒有答案”說成所有物理學家的共同結論。

“不擲骰子”表達了愛因斯坦的不滿。他與波多爾斯基、羅森在1935年的論文中，質疑波函數是否完整描述物理實在。他追問的不只是隨機性，還有相隔遙遠的系統怎樣各自擁有實在；晚年的統一場探索也不只是尋找一個漏掉的變量。

這裡的“完整描述”與哥德爾所說的形式理論完備性，問的不是同一件事。一個數學定理不能替兩人裁決量子理論的爭論。

於是，那條路上的兩個人，不必被排成“已經接受邊界的人”和“至死不肯接受的人”。他們都還在追問。哥德爾本人也繼續做數學與哲學，而不是在發現不完備之後放下了所有問題。

這個畫面仍然溫柔：兩位思想家一起走路，沒有必要先把世界觀合併成一個答案，才能成為朋友。我們不必替那些散步編寫一場從未記錄的辯論。

有一則廣為轉述的回憶說，愛因斯坦晚年到研究院去，是為了享受與哥德爾一起走回家的時光。宏大的理論之外，還有這一段路。

六、餓死

哥德爾長期受身心疾病困擾，晚年的被害恐懼尤其嚴重。

他擔心食物被下毒。阿黛爾長期幫助他進食，甚至為他試食。她是他的妻子和重要的依靠，不是一件維持天才運轉的設備。

1977年，阿黛爾自己也因重病住院，無法繼續原有的照護。

哥德爾的進食和健康狀況進一步惡化。朋友和醫護曾嘗試幫助他；故事的殘酷，不在於世界上真的只剩一個人會做飯，而在於疾病使他難以接受送到身邊的幫助。

1978年1月14日，哥德爾在普林斯頓去世，死因為營養不良與衰竭。道森的傳記記載，他去世時體重只有六十五磅，約二十九點五公斤。

一個能把證明看得如此清楚的人，也可能無法靠思考擺脫疾病。理解一個定理，不會自動給人一副可以承受一切的身體。

若仍借“構”的語言來想，這裡最值得看見的是生活對關係和照護的依賴。疾病侵蝕了他接納幫助的能力；它沒有取消他作為目的的地位，也不是一種應當責備的哲學選擇。

所以我們停在病床前，不把他的死亡寫成“不完備性定理的肉身版本”。定理說明形式證明的限度，照護面對一個具體的人。兩者之間，沒有可以替代醫學和生平研究的因果捷徑。

蘇格拉底的毒芹、耶穌的十字架、哥德爾的飢餓，可以在這個系列裡彼此照見，卻不能排成一張“信任誰，所以怎樣死”的表。審判、處決與重病，各有不能抹掉的處境。

信任與恐懼，構造與餘項，確實會進入人的生活。到了這裡，思想應當幫助我們多看見這個人，而不是讓他只剩下一則證明。

七、餘項守恆

現在可以把哥德爾放進這個系列了。

蘇格拉底鑿到空地——鑿掉自以為知道。
孔子鑿到仁——鑿到每個人自己的地上。
老子說到語言的邊界，在傳說中離去。
莊子回望混沌——發現開鑿的代價。
康德鑿了以後構——為認識劃界，留下物自體。
尼采鑿到底——上帝死了。
王陽明換方向——向內鑿到良知。
釋迦牟尼用筏渡河——到了彼岸，不再背著筏。
耶穌在十字架上——傳下赦免的聲音。

哥德爾給這個系列帶來了一種不同的工作：他不是用數學替前面九個人蓋章，而是在一個明確的領域裡，把某種限度證明出來。

蘇格拉底不把自以為知道當作知道；哥德爾區分一個理論能夠證明什麼。這兩種追問讓我們警惕自滿，但蘇格拉底的生活沒有被化約成一個定理。

莊子的七竅與混沌，讓人看見善意塑形的代價；哥德爾的結果則要求我們承認，某些形式化目標不能同時實現。並讀的力量在於照見各自的邊界，不在於把寓言翻譯成算式。

康德追問認識的條件，哥德爾限制某些理論的內部一致性證明。腳下的根據未必能由同一套工具全部擔保——我們可以聽見這樣的呼應，同時保留物自體與形式證明之間的距離。

老子追問語言怎樣遮蔽它所指向的東西；哥德爾讓真與可證分開。那個不可證明的句子恰恰能夠寫出來：無法在一套規則中證明，不是無法言說。語言的邊界與證明的邊界，在這裡相鄰而不重合。

釋迦牟尼教人不執著於渡河的筏；哥德爾讓我們看清固定規則的限度。這能促使讀者放下對工具的迷信，卻沒有把無常變成數學結論。

在這個系列的畫面裡，他們像是在不同地方摸到牆面。牆是作者連綴他們的比喻；哥德爾真正留下的，是可以逐步核查、有明確前提的證明。

“餘項守恆”是本文對那種未被收盡之物的稱呼，不是哥德爾證明過的守恆定律。數學在這裡提供了一個嚴格的例子：固定理論內部的未決是結構性的，而不是搜索得還不夠久。它沒有說答案在任何地方都不存在，更沒有說真理不存在。

構不可閉合——若把它讀作不讓眼前的構造冒充全部世界，它是這篇文章願意承擔的提醒。

這未必是壞消息。它可以是一個重新開始的理由。

設想有人遞來一套聲稱解釋了所有人的完美系統，沒有餘項，沒有死角。孔子、蘇格拉底、耶穌、莊子，都只能被安排成注腳。這個系列抗拒的，正是那種取消別人繼續說話資格的封口。

我們願意保留每一個人的開鑿，也保留每一個真實的缺口。不是因為定理替所有思想保證了正確，而是因為沒有一個人的生命，應當只被當作另一個體系的注腳。

橋頭要站滿人。不是為了湊出人多，而是讓不同的人繼續相遇、追問、修正彼此。每一個人都是目的，不只是手段。這是本文的倫理立場，不是從算術裡演繹出來的結論。

哥德爾證明了形式理論的某些限度。後來，他在疾病與飢餓中死去。他的生命不只是定理的附註。

他的證明還活著。