返回文章目錄
思想與閱讀公眾號已發佈 · 長閱讀

人類終將知道一切嗎?從希爾伯特到哥德爾

當數學發現自身的邊界,我們應該重新理解什麼是真理?

原刊於微信公眾號《結論之外》 · 2026.10.24公眾號原文 ↗

1930年9月,德國數學家希爾伯特在柯尼斯堡發表了一場演講。

那一年,他已經68歲,是世界上最具影響力的數學家之一。

在演講的最後,他留下了一句之後廣為流傳的話:

“我們必須知道。我們終將知道。”

這句話表達了希爾伯特對人類理性的堅定信念。

他相信,至少在數學世界裡,只要找到正確的公理和推理規則,數學問題原則上就應該能夠得到解決。

然而,就在這場演講的前一天,一位只有24歲的年輕數學家,在同一座城市的一場學術會議上,宣佈了一項將深刻改變數學基礎研究的發現。

這個年輕人叫哥德爾。

他後來提出的“不完備定理”,不僅改變了數學,也引出了一個至今仍值得思考的問題:

人類知識究竟有沒有不可逾越的邊界?

圖1|希爾伯特與哥德爾:從數學的確定性,到知識的邊界。
放大查看原圖 ↗圖1|希爾伯特與哥德爾:從數學的確定性,到知識的邊界。© 結論之外|AI輔助原創視覺設計。未經許可,請勿轉載、複製或用於商業用途。

一、數學能夠解釋一切嗎?

我們通常認為,數學是最接近確定性的知識。

歷史學家可能對同一個事件提出不同解釋。醫學研究可能隨著新證據出現而改變結論。經濟學家對未來更是經常意見不一。

但數學似乎不同。

只要證明過程正確,結論就不應該因為時間、地點或者個人觀點而改變。

例如,三角形的內角之和為什麼等於180度?

在歐幾里得幾何中,這不是通過反覆測量許多三角形才得到的經驗結論,而是能夠從一組基本公理出發,通過邏輯推導證明的結果。

當然,如果換到球面等非歐幾何空間,情況就不一樣了。

這個區別恰好說明:數學結論的成立,依賴於我們所採用的公理體系。

那麼,一個自然而然的問題出現了:

如果我們能夠找到足夠完善的公理,是不是就能夠把整個數學世界建立在一套嚴密、沒有矛盾的規則之上?

這正是希爾伯特希望實現的目標。

他不僅希望數學中的重要命題能夠被嚴格證明,還希望證明數學體系本身不會產生邏輯矛盾。

這個目標後來成為著名的“希爾伯特計劃”的核心。

它背後有一種令人振奮的想法:

人類的理性也許存在暫時的困難,卻不應該存在原則上無法解決的數學問題。

二、哥德爾發現了什麼?

1931年,哥德爾正式發表了不完備性定理。

它的核心結論,通俗來講就是:

對於任何滿足一定條件、能夠表達基本整數算術的形式系統,只要它是一致的,就存在無法僅靠該系統內部規則證明的算術命題。

沒錯,這句話聽起來仍然很抽象。

我們可以先把數學體系想像成一套規則明確的棋牌遊戲。

規則規定了什麼樣的步驟是允許的,什麼樣的推導能夠成立。

如果一套體系是完備的,那麼對於它所能表達的每一個命題,我們都希望能夠證明這個命題,或者證明它的否定。

但哥德爾發現,對於足夠強大且滿足特定條件的形式系統,這種願望無法實現。

他的證明利用了一種巧妙的方法:讓數學體系能夠通過數字編碼,表達關於自身證明過程的陳述。

由此可以構造出一種特殊命題。粗略地說,它聲稱自己在這個系統中無法被證明。

如果系統能夠證明它,就會陷入矛盾;而在符合定理條件的情況下,它確實不能在系統內部被證明。

這就是不完備性的一個核心思想。

換個角度想|王婆賣瓜

我們不妨用一個生活中的例子,幫助理解為什麼有時需要走出原來的判斷框架。

中國有句俗話,叫“王婆賣瓜,自賣自誇”。

假設王婆說:“我的瓜是這條街上最好吃的。”

我們當然不能僅憑她自己的評價就接受這個結論。要知道她的瓜是不是真的最好吃,也許需要貨比三家,嚐嚐其他攤位的瓜。

但如果王婆進一步宣稱:“我的瓜是市場上最有營養的食物。”

問題就變了。

這時,僅僅比較不同攤位的瓜已經不夠。我們可能還需要比較蔬菜、水果,甚至其他種類的食物,並且首先弄清楚:所謂“最有營養”,究竟應該用什麼標準衡量?

從“哪家的瓜最好吃”,到“哪種食物最有營養”,我們不僅擴大了比較範圍,也改變了提出問題的方式。

當然,這並不是哥德爾不完備定理的證明。生活中的比較依賴經驗和評價標準,而哥德爾討論的是嚴格的數學形式系統。

但這個比喻可以幫助我們理解一個更一般的道理:

有時候,原來的方法回答不了一個問題,並不意味著探索必須停止。我們可能需要擴大研究範圍,甚至重新審視自己所使用的判斷標準。

回到數學世界,數學家有時可以通過引入新的公理,建立更強的形式系統,解決原有系統中無法解決的問題。

然而,哥德爾告訴我們,只要新的形式系統仍然滿足不完備定理的條件,它也無法徹底擺脫自身的不完備性。

哥德爾隨後還證明了另一項重要結論:滿足相應條件的一致形式系統,不能僅依靠自身內部的證明方法確立自身的一致性。

希爾伯特原本希望建立的那種完整而自我保證的數學基礎,因此遭遇了根本性的限制。

但這裡必須澄清一件事。

哥德爾沒有證明人類永遠無法獲得新的數學知識,更沒有證明所有真理都無法被認識。

他的定理針對的是具有明確條件的形式系統,而不是人類思想能力的全部。

這一點非常重要。

放大查看原圖 ↗圖2|不完備性意味著什麼?© 結論之外|AI輔助原創視覺設計。未經許可,請勿轉載、複製或用於商業用途。

三、如果一個體系無法證明某個命題,意味著什麼?

面對無法在現有體系中證明的命題,我們是不是隻能宣佈失敗?

未必。

數學家有時可以引入新的公理,建立一個更強的體系,從而解決原有體系中無法解決的問題。

但新的體系仍然可能遇到屬於自己的不完備性。

這使數學知識的發展呈現出一種有趣的狀態:

我們能夠不斷擴大證明的範圍,卻不能指望找到一套滿足上述條件、同時又能解決所有相關命題的最終規則。

這是否意味著數學真理本來就是獨立存在的,只是人類永遠無法完全抵達?

還是說,我們對真理的理解,也與自己不斷發展和完善的推理方式有關?

這就不再只是數學問題,而進入了哲學。

四、真理是被發現的,還是被不斷理解的?

德國哲學家康德曾提出,人類並不是毫無條件地接受外部世界,而是通過自身的認知結構來理解經驗。

後來,弗雷格、羅素、維特根斯坦等思想家,又從邏輯、語言和數學的關係出發,嘗試回答知識如何可能的問題。

對於數學真理,存在不同的哲學立場。

一種觀點認為,數學真理獨立於人的認識而存在。

例如,無論有沒有人研究質數,關於質數的數學事實都不會因此改變。

數學家的工作,就是不斷發現這些已經存在的真理。

哥德爾本人傾向於這種理解。

另一種哲學路徑則更強調,人們如何通過語言、證明與推理實踐,獲得對數學概念的理解。

英國哲學家達米特便是這一方向的重要代表。

在這一視角下,理解數學不只是承認某些結論為真,也包括理解什麼能夠構成證明,以及為什麼一種推理能夠被接受。

這兩種立場並沒有因為不完備定理的出現而得到最終裁決。

但它們提出了一個非常不同的知識圖景。

前一種圖景裡,真理彷彿是一座已經存在的高山,人類努力尋找通往山頂的道路。

後一種圖景則提醒我們,知識的發展也可能涉及概念、證明方法以及理解方式本身的持續擴展。

換個角度想|一次旅行

我們不妨把尋找真理想像成一次旅行。

如果真理是一座早已存在的高山,那麼我們的目標似乎很明確:找到通往山頂的道路,最終抵達目的地。

但另一種理解提醒我們,一次旅行的意義,也許並不只在於抵達。

我們如何規劃路線,選擇什麼交通工具,途中遇見什麼樣的人和事物,甚至經歷挫折後如何調整方向,這些都會改變我們對目的地以及整個世界的理解。

有時候,我們最終回到最初的出發點,眼前的風景似乎沒有改變,但我們看待它的方式,已經不同了。

真理與我們認識真理的過程,並不完全是同一回事。可是,知識的進步,也許不僅在於我們抵達了哪裡,還在於這段探索如何改變了我們理解世界的能力。

這不是說我們可以隨意改變規則,就讓任何主張成為真理。

新的規則是否合理,仍然需要經過嚴格的論證和檢驗。

真正值得思考的是:

我們的知識體系並不一定只能在原有框架裡增加答案,也可能通過發展新的方法,拓展能夠提出和解決的問題。

放大查看原圖 ↗圖3|知識的兩種圖景© 結論之外|AI輔助原創視覺設計。未經許可,請勿轉載、複製或用於商業用途。

五、讀完《大流感》之後,我們想到的另一個問題

這個問題讓我想起幾年前讀過的一本醫學史著作——約翰·巴里的《大流感》。

這本書以1918年流感大流行為背景,講述了現代醫學如何在科學發現、制度改革和公共衛生危機中逐漸發展。

書中一個很有意思的部分,並不是關於流感病毒本身,而是作者花了大量篇幅回顧現代醫學研究體系的建立。

19世紀後期,醫學還遠沒有今天這樣依賴系統性的實驗研究和科學訓練。

許多醫生的知識主要來自經驗、傳統和臨床觀察。

隨著德國研究型大學的發展,以及美國約翰·霍普金斯大學醫學院等機構的改革,實驗室研究、基礎科學教育和臨床訓練逐漸被更緊密地聯繫起來。

威廉·韋爾奇、威廉·奧斯勒,以及後來推動醫學教育改革的弗萊克斯納,都在這一轉變中發揮了重要作用。

現代醫學的進步,不再只是依靠某一位天才醫生髮現新的治療方法。

它開始依賴一套能夠持續培養研究者、積累證據、驗證假設和修正錯誤的科學體系。

當時,我曾經想到一個問題:

醫學取得如此巨大的進步,究竟是因為我們發現了越來越多的知識,還是因為我們改變了發現知識的方法?

答案或許是兩者都有。

但我們也可以再追問一句:沒有後者,何來前者?

畢竟,在抵達一個尚未發現的目的地之前,我們首先需要找到探索的路徑。而科學的發展,也常常是在不斷改進方法的過程中,讓原本無法回答的問題逐漸變得可以回答。

當然,新的發現又會反過來改變我們的方法。知識與方法,就這樣相互推動,不斷向前。

但《大流感》讓我們看到,後者的重要性往往被低估了。

1918年大流行期間,許多優秀醫生和科學家投入大量精力尋找病原體和有效治療方法。

他們並不缺乏勇氣、勤奮或者求知慾。

但受限於當時的技術條件和知識框架,他們仍然無法充分認識這場疾病。

流感病毒尚未被成功分離,人們對病毒的認識也遠遠不如今天。

後來,病毒學、免疫學、分子生物學以及醫學研究方法不斷發展,我們才逐漸獲得新的理解疾病的能力。

這讓我們意識到:

科學家能夠回答什麼問題,不僅取決於他們有多聰明多努力,也取決於他們擁有怎樣的概念、工具、研究方法和體系。

這種認識與哥德爾的數學發現並不相同。

哥德爾討論的是形式系統在特定條件下的邏輯限制;醫學史呈現的,則是經驗科學如何隨著證據、技術和研究制度的發展而改變。

但把它們放在一起思考,可以幫助我們重新理解知識的進步。

有時候,我們努力尋找答案,卻發現原來的問題仍然無法得到解決。

真正的突破,可能不只是找到一項新的證據。

而是發現:我們需要一種新的方法,甚至需要重新理解自己究竟在問什麼。

放大查看原圖 ↗圖4|從《大流感》到現代醫學研究體系© 結論之外|AI輔助原創視覺設計。未經許可,請勿轉載、複製或用於商業用途。

六、科學進步,是接近真理,還是改變認知?

科學史上,很多重要的進步都不是簡單增加了一條知識,而是改變了人們理解問題的方式。

牛頓力學讓人類能夠以統一的數學規律描述許多天體和地面運動。

愛因斯坦的相對論並沒有讓牛頓力學在所有情況下失去作用,卻改變了我們對空間、時間和引力的理解。

醫學的發展也存在類似的現象。

過去,醫生主要根據症狀及可觀察到的身體變化描述疾病。

後來,微生物學、分子生物學和遺傳學的發展,使我們能夠從新的層面理解某些疾病的發生機制。

新的知識不只是讓原來的答案更加精確。

有時候,它還會讓我們意識到:原來提出問題的方式,本身就存在侷限。

當然,數學定理、科學理論與醫學證據有各自不同的判斷標準,不能簡單地相互等同。

但它們共同提醒我們:

知識的進步,不僅取決於我們找到了多少答案,也取決於我們是否學會提出更好的問題。

七、承認邊界,是否意味著放棄追求?

回到1930年的柯尼斯堡。

希爾伯特相信:人類終將知道。

哥德爾則證明:希爾伯特設想中的數學基礎計劃存在不可消除的限制。

乍看之下,這似乎是一場理性樂觀主義的失敗。

但我們也可以從另一個角度理解。

正因為哥德爾發現了原有體系的邊界,數學家和哲學家才得以更清楚地區分證明、真理與知識之間的關係。

一種方法存在侷限,並不意味著探索已經結束。

相反,認識這些侷限,本身就可能成為知識發展的重要起點。

也許真正成熟的理性,並不是堅信任何問題都一定能夠按照我們期待的方式解決。

而是既願意追求答案,也願意承認現有方法的不足;既相信知識能夠進步,也不把任何一種理論當作最終的解釋。

希爾伯特說:

“我們必須知道。我們終將知道。”

近一個世紀過去,這句話依然有力量。

但在哥德爾之後,我們或許可以給它增加一層新的理解:

我們未必能夠在一套固定的規則中獲得所有答案。

可是,我們仍然可以不斷發展新的概念、新的方法,擴大自己理解世界的能力。

那麼,一個值得留下的問題是:

科學的進步,究竟意味著我們越來越接近一個早已存在的完整真理,還是意味著我們不斷創造出更有能力理解世界的概念、方法與體系?


閱讀啟發

本文的寫作受到2026年10月15日發表於 Aeon 的文章 The Ladder of Knowledge(作者:Alexander V Gheorghiu)啟發,並結合約翰·巴里《大流感》中的醫學史討論,進一步思考知識的邊界與科學進步的意義。

英文原文:The Ladder of Knowledge


結論之外,還有值得繼續追問的問題。

醫學 · 科學 · 思想與閱讀

歡迎關注《結論之外》,一起保持好奇,獨立思考。


文字與圖片使用聲明

本文文字內容由《結論之外》原獨撰寫,配圖由《結論之外》策劃並藉助AI工具製作。歡迎分享本文網頁鏈接。未經另行許可,請勿以複製、搬運、截圖另發等方式轉載、摘編本文文字或單獨使用文中圖片,亦不得用於商業用途。相關權利以適用法律為準。

繼續追問為什麼研究越來越多,我們反而越來越困惑?把人救回來之後,醫學還要走多遠?培養皿裡的“迷你大腦”,會有意識嗎?