★置頂zzllrr小樂公眾號，追蹤《小樂數學科普》系列報道！

25歲時，庫爾特?哥德爾證明了數學中永遠不可能存在 “萬有理論”。量子雜志專欄作家娜塔莉?沃爾喬弗探討其深層含義。

庫爾特?哥德爾論文

圖源：謝爾比?懷特與萊昂?利維（Shelby White and Leon Levy）檔案中心，普林斯頓高等研究院；Samuel Velasco and Michael Kanyongolo /《量子雜志》

作者：Natalie Wolchover（娜塔莉?沃爾喬弗，量子雜志專欄作家）2026-5-18

譯者：zzllrr小樂（數學科普公眾號）2026-5-19

求喜歡

本文收錄于量子雜志專欄《感受質》Qualia——“追隨好奇心，探索未知邊界的隨筆”。該專欄作者Natalie Wolchover（ 娜塔莉?沃爾喬弗）的首部著作《用宇宙回答的問題》The Question to Which the Universe Is the Answer計劃于2027年出版——譯者注。

1931年，庫爾特?哥德爾以邏輯自指的方式證明了一組定理，徹底改變了知識與真理的版圖。這些 “不完備性定理” 確立了一個結論：任何數學形式系統 —— 任何可推導出一切結論的有限規則或公理集合 —— 都不可能是完備的。數學中永遠存在無法從這些公理邏輯推導出來的真命題。

新冠疫情初期的幾周里，我學習了這位 25 歲的奧地利邏輯學家與數學家是如何做到這一點的，隨后用不到 2000 字寫下了他的證明概要。（我跟妻子提起這段時光時，她說：“哦對，就是你那段差點瘋掉的日子？” 稍微有點夸張。）

在哲學中，“感受質”（qualia） 指我們體驗的主觀特質：愛麗絲看到藍色、鮑勃感到愉悅的內在感受。正如已故哲學家丹尼爾?丹尼特所說，感受質是 “事物在我們眼中的樣子”。在本專欄隨筆中，作者追隨好奇心，探索重要卻未必有答案的科學問題。

但即便理解了哥德爾證明的步驟，我仍不確定該如何解讀他的定理。人們普遍認為，這些定理排除了數學 “萬有理論” 存在的可能。不只是我有此困惑。在我撰寫本文重度參考的 1958 年經典著作《哥德爾證明》中，哲學家歐內斯特?內格爾與數學家詹姆斯?R?紐曼寫道，哥德爾定理的意義 “尚未被完全洞悉”。

或許如此，但六十年已經過去。如今我們對這些思想的理解到了哪一步？最近，我與邏輯學家、數學家、哲學家以及一位物理學家討論了不完備性的意義。他們就哥德爾這一奇特學術成果的影響，以及它如何改變人類永無止境的真理探索之路，發表了諸多見解。

帕努?拉蒂凱寧（Panu Raatikainen）

坦佩雷大學哲學家，《斯坦福哲學百科全書》哥德爾不完備性定理條目 https://plato.stanford.edu/entries/goedel-incompleteness/ 作者

自古希臘以來，公理方法一直被視為組織科學知識的理想方式。其目標是確立少量 “自明” 的基本命題 —— 公理、原理或定律 —— 使該領域的所有真理都能從中邏輯推導出來。

哥德爾不完備性定理以數學精度表明，這一理想在數學的大部分領域必然無法實現。即便僅涉及正整數（1、2、3……）的全部數學真理，其復雜程度也令人費解，無法從任何有限公理集合推導出來。

這意味著，某些數學問題即便在原則上也無法用現有數學方法解決。學術進步需要創造性的概念革新。因此，數學真理并非由同等確鑿的真理構成的統一整體；相反，它們的知識地位從毋庸置疑的事實，逐漸過渡到越來越不確定的假說。

拉蒂凱寧指出，哥德爾定理模糊了客觀真理的終點與人為構造數學的起點，這一觀點很有道理。歷史上，人們試圖突破哥德爾定理限制的一種方式，是在公認公理之外提出額外公理。假設你想用傳統公理證明一個命題，卻發現無法證明 —— 即該命題是不可判定的。如果在初始集合中添加一條新公理，你或許就能證明該命題為真。然而，添加另一條不同的公理，你可能又能證明它為假。因此，命題的真假取決于你的選擇。突然間，“真理” 變得更依賴個人偏好或預設前提。

麗貝卡?戈德斯坦（Rebecca Newberger Goldstein）

哲學家，《不完備性：庫爾特?哥德爾的證明與悖論》https://rebeccagoldstein.com/incompleteness-the-proof-and-paradox-of-kurt-godel/ 作者

直覺在數學中一直扮演重要角色。畢竟，我們無法證明一切；為了開啟證明，我們需要接受一些無需證明的真理（即公理）。但幾個世紀以來我們發現，直覺有時并不可靠 —— 甚至不可靠到引發真實悖論 —— 迫使我們承認徹頭徹尾的矛盾。

20世紀初，伯特蘭?羅素與阿爾弗雷德?諾斯?懷特海致力于《數學原理》https://fair-use.org/bertrand-russell/the-principles-of-mathematics/ ，試圖將算術歸約為邏輯。（認為數學只是邏輯的觀點被稱為 “邏輯主義”。）這項工作促使羅素發現了后來被稱為 “羅素悖論” 的問題。它涉及所有不包含自身的集合所構成的集合。當你追問：這個集合是否包含自身？矛盾便顯現：如果包含，它就不包含；如果不包含，它就包含。（集合論創始人格奧爾格?康托爾早在1890年代就已發現這一矛盾。）

數學家們 —— 以當時頂尖數學家大衛?希爾伯特最為堅決 —— 的回應是：通過將數學形式公理化，構建一致且完備的算法遞歸規則集合，消除不可靠的直覺，本質上把數學還原為一場機械的符號操作游戲。這一形式化目標被命名為 “希爾伯特綱領”。（詳情參閱）

哥德爾證明了希爾伯特綱領無法實現。他的第一不完備性定理指出：在任何足以表達算術的數學形式系統中，都存在既為真又不可證明的命題。因此，盡管由機械符號規則構成的形式系統成功消除了所有直覺，卻也無法囊括我們所知的全部數學真理 —— 這種真理因我們對名為 “數” 的無窮結構的直覺而得以豐富。

我們對數字的直覺竟能超越可證明的范圍，這一點十分奇妙。

就我個人而言，對于哥德爾證明之后讓不完備性成為現實的那個數學命題，我的直覺毫無頭緒。它被稱為連續統假設（continuum hypothesis，CH），斷言所有實數的集合（連續統）是僅次于自然數集合（1、2、3……）的第二小無窮集合。人們發現，用標準數學公理無法判定該假設。可以構造額外公理使其為真或為假，但邏輯學家們對此意見不一。

我交談過的一位物理學家警告說，連續統假設的不可判定性對他的領域有影響：物理學家或許需要完全避開連續統。

克勞斯?凱費爾（Claus Kiefer）

科隆大學物理學家，2024年一篇關于哥德爾不完備性對基礎物理學意義論文 https://link.springer.com/article/10.1007/s10773-024-05574-2 的作者

庫爾特?哥德爾的證明對數學產生了深遠且出乎意料的影響。鑒于物理定律用數學語言表述，它對物理學是否也有意義？我認為有。

最重要的不可判定命題之一是連續統假設（CH），1963年保羅?科恩證明它在哥德爾意義下不可判定。“連續統” 這一名稱源于用直線上的點對應實數的公設。但實數究竟有多少？它們是不可數無窮多（詳情參閱：），但這種不可數性能被明確界定嗎？連續統假設指出，實數集合是僅次于可數的自然數無窮集合的下一個最小無窮集合。

如今已知物理學中的基本相互作用都定義在時空連續統上。與這一連續統相關的不可數點，導致了物理學中的諸多問題。例如，在現代引力理論 —— 愛因斯坦廣義相對論中，它引發了奇點，使我們無法用數學描述宇宙起源與黑洞內部。在用量子場論描述的粒子物理標準模型中，直接計算會得到能量等物理量的無窮大結果，必須通過復雜且反直覺的數學程序消除。

在追求所有相互作用的最終統一理論時，情況變得更為嚴峻。統一理論應當用一致且完備的數學語言描述。但如果統一理論將時空描述為連續統，連續統假設可能導致理論不完備。物理學家已證明，連續統假設在量子場論中引發不可判定問題，例如某些原子系統是否存在 “能隙”，使其能穩定處于基態。這種不可判定性源于計算假設原子存在于時空連續統中。有人認為更基礎的理論（擁有更完備公理）可以判定該問題，但最終理論不應包含不可判定命題。因此，它不應涉及連續統。

在我看來，只有時空結構是離散的 —— 即僅由可數無窮多點構成 —— 才能避免這種不可判定局面。量子引力的一些研究方向（如弦論或圈量子引力loop quantum gravity）已出現離散性的線索，但情況遠未明朗。

值得注意的是，除了連續統假設帶來的這些問題，高能物理學家還有許多其他理由認為，連續時空并非現實的基礎，而只是從其他結構中涌現出的長距離假象。

約科?韋納寧（Jouko V??n?nen）

赫爾辛基大學與阿姆斯特丹大學數學家、邏輯學家

不完備性是數學中不受歡迎卻無法避免的事實，如同數論中的無理數與超越數（詳情參閱），或物理學中的海森堡不確定性原理。

存在一種形式語言無法繞過的 “哥德爾壁壘”：邏輯的表達能力越強（即可描述的事物越多），其有效性就越弱（即證明命題真假的能力越弱）；有效性越強，表達能力就越弱。

例如，最簡單的邏輯系統之一是命題邏輯，它允許用 “與”、“或”、“非” 等運算組合命題。它非常有效，但表達能力很弱。另一極端是二階邏輯，它允許描述對象、性質、集合與關系。它擁有極強的表達能力，有效性卻極弱。

這就好像有效性與表達能力的 “乘積” 是恒定的，如同海森堡不確定性原理所述：某些 “互補” 物理量（如位置與動量）的同時測量精度存在極限；換言之，一個量測量越精確，另一個量的測量精度就越低。在邏輯中，有效性與表達性正是這樣的 “互補” 屬性，這是哥德爾不完備性定理的真正內涵。

我們在數學中摸索前行，無法確保一致性或完備性。事情就是這樣。

令人震驚的是，作為精確科學基礎的數學，竟缺乏可被證明一致且完備的根基。希爾伯特認為這不可能，情有可原。然而事實就是如此，就像根號2是無理數一樣確鑿無疑。數學中存在一塊令人困惑的不完備性硬塊，它可以被四處轉移，卻永遠不會消失。

出人意料的是，哥德爾本人相對樂觀。約科?韋納寧解釋說，哥德爾始終懷揣一個夢想：存在一套形式邏輯系統，能夠解決連續統假設以及關于集合（現代數學基石）的所有其他問題。他的不完備性定理告訴我們，任何這樣的系統，只要由有限條公理構成，都會產生系統內不可判定的新命題。但他思考過一種可能：存在無限遞增的更強公理系統，能夠解決所有問題。

蕾切爾?阿爾維爾（Rachael Alvir）

滑鐵盧大學邏輯學家、講師

我們都普遍認為，哥德爾終結了希爾伯特徹底形式化數學的綱領。這是常見解讀，因此我第一次讀到哥德爾原著時十分震驚。在他1931年首次證明不完備性定理的論文中 https://homepages.uc.edu/~martinj/History_of_Logic/Godel/Godel%20%E2%80%93%20On%20Formally%20Undecidable%20Propositions%20of%20Principia%20Mathematica%201931.pdf ，哥德爾明確表述了相反觀點：“必須明確指出，命題11（以及關于 M 與 A 的相應結果）并不與希爾伯特的形式主義立場相矛盾。” 在腳注中，他重申1931年論文中的不可判定定理，僅相對于單個系統不可判定。任何給定邏輯框架中的不可判定命題，都可以在更大的邏輯框架中被數學證明為真或假。

哥德爾并不反對數學能夠證明或反駁所有恰當表述命題的觀點。相反，他質疑的是希爾伯特的限制性方法。我們為何要相信存在單一、有限的公理集合，所有真理都能通過有限步邏輯推導從中得出？哥德爾認為，我們可以重新定義形式數學框架的含義，或允許使用替代框架。他經常討論無限序列的可接受邏輯系統，每個都比前一個更強大。每一個恰當表述的數學問題，或許都能在其中某個系統中得到解答。

人們常說，連續統假設就是證明數學問題有時沒有答案的鐵證。但在我看來，這種情況幾乎無法證明存在相對于任何可允許框架都 “絕對不可判定” 的數學問題。它只是一個目前尚未被判定的命題，本身并不能說明未來無法用新技術判定。數學與哲學領域對此正進行廣泛而深入的持續辯論。

我想強調的核心觀點是：數學結果本身無法解決這個問題。是否存在無解的數學問題，遠非顯而易見。對我而言，哥德爾定理并未表明數學存在局限，反而說明數學比希爾伯特的有限主義觀點更廣闊、更強大。

阿爾維爾進一步解釋說，實現數學真理古老夢想的路徑有多種。一種方法是在公認公理上添加一條新公理，解決連續統假設且不引發其他矛盾。另一種方法是找到一套無限公理方案，解決連續統假設與其他問題。或者我們可以切換到不同于標準系統的邏輯系統，在該替代邏輯中解決連續統假設。（“我個人最喜歡的 [邏輯系統] 稱為 L-ω?,ω”，阿爾維爾對想深入探索的讀者說。）又或者答案是 “某種全新的東西”，她說 ——“真正的創造性天才之舉…… 我們不斷提出全新的數學技巧來解決問題。為何不相信我們也能這樣解決連續統假設？”

當然，證明連續統假設為真或為假，并不能消除所有不可判定性。

最后，我想引用韋納寧的同事（也是妻子）的話作結：

朱麗葉?肯尼迪（Juliette Kennedy）

芬蘭赫爾辛基大學數學哲學家、數理邏輯學家，《解讀哥德爾：批判性論文集》Interpreting G?del: Critical Essays https://www.cambridge.org/core/books/abs/interpreting-godel/interpreting-godel-critical-essays/590234F73ABC40E07473D01E355142D4 主編。

皮亞諾算術公理（關于自然數 0、1、2、3…… 的規則集合，與哥德爾證明中使用的系統密切相關，例如 “每個數都有后繼數”）這套看似顯而易見的公理系統，本質上竟是不完備且不可判定的，即所有可公理化的一致擴張都是不完備且不可判定的。人們很容易對此失去驚嘆之情。請保持這份驚嘆！不完備性定理告訴我們，無論在數學還是其他任何領域，當我們試圖掌控概念秩序時，總會以失敗告終 —— 而在這件事上，我們確實應該為失敗感到慶幸，因為失敗顯然是更有趣、更深刻的結果。

參考資料

https://www.quantamagazine.org/what-do-godels-incompleteness-theorems-truly-mean-20260518/

https://www.quantamagazine.org/how-godels-proof-works-20200714/

https://plato.stanford.edu/entries/goedel-incompleteness/

https://rebeccagoldstein.com/incompleteness-the-proof-and-paradox-of-kurt-godel/

https://fair-use.org/bertrand-russell/the-principles-of-mathematics/

https://link.springer.com/article/10.1007/s10773-024-05574-2

https://www.quantamagazine.org/a-new-map-of-the-standard-model-of-particle-physics-20201022/

https://www.quantamagazine.org/are-strings-still-our-best-hope-for-a-theory-of-everything-20260323/

https://www.quantamagazine.org/the-unraveling-of-space-time-20240925/

https://homepages.uc.edu/~martinj/History_of_Logic/Godel/Godel%20%E2%80%93%20On%20Formally%20Undecidable%20Propositions%20of%20Principia%20Mathematica%201931.pdf

小樂數學科普本月文章

版權聲明：本文首發于微信公眾號“zzllrr小樂”的專欄《小樂數學科普》。歡迎個人轉發。如需轉載，請在“zzllrr小樂”公眾號后臺回復“轉載”，還可通過公眾號菜單、發送郵件到zzllrr@gmail.com與我們取得聯系。相關圖文音視頻內容默認遵守CC BY-NC 4.0知識共享協議，未獲作者和譯者授權，禁止用于營銷宣傳和商業目的。

·開放 · 友好 · 多元 · 普適 · 守拙·

讓數學

更加

易學易練

易教易研

易賞易玩

易見易得

易傳易及

歡迎評論、點贊、在看、在聽

收藏、分享、轉載、投稿

查看原始文章出處

點擊底部一起捐

助力騰訊公益

點擊zzllrr小樂

公眾號主頁

右上角

置頂★加星

數學科普不迷路！