1930年9月,德國數學家希爾伯特在柯尼斯堡發表了一場演講。
那一年,他已經68歲,是世界上最具影響力的數學家之一。
在演講的最後,他留下了一句之後廣為流傳的話:
“我們必須知道。我們終將知道。”
這句話表達了希爾伯特對人類理性的堅定信念。
他相信,至少在數學世界裡,只要找到正確的公理和推理規則,數學問題原則上就應該能夠得到解決。
然而,就在這場演講的前一天,一位只有24歲的年輕數學家,在同一座城市的一場學術會議上,宣佈了一項將深刻改變數學基礎研究的發現。
這個年輕人叫哥德爾。
他後來提出的“不完備定理”,不僅改變了數學,也引出了一個至今仍值得思考的問題:
人類知識究竟有沒有不可逾越的邊界?

一、數學能夠解釋一切嗎?
我們通常認為,數學是最接近確定性的知識。
歷史學家可能對同一個事件提出不同解釋。醫學研究可能隨著新證據出現而改變結論。經濟學家對未來更是經常意見不一。
但數學似乎不同。
只要證明過程正確,結論就不應該因為時間、地點或者個人觀點而改變。
例如,三角形的內角之和為什麼等於180度?
在歐幾里得幾何中,這不是通過反覆測量許多三角形才得到的經驗結論,而是能夠從一組基本公理出發,通過邏輯推導證明的結果。
當然,如果換到球面等非歐幾何空間,情況就不一樣了。
這個區別恰好說明:數學結論的成立,依賴於我們所採用的公理體系。
那麼,一個自然而然的問題出現了:
如果我們能夠找到足夠完善的公理,是不是就能夠把整個數學世界建立在一套嚴密、沒有矛盾的規則之上?
這正是希爾伯特希望實現的目標。
他不僅希望數學中的重要命題能夠被嚴格證明,還希望證明數學體系本身不會產生邏輯矛盾。
這個目標後來成為著名的“希爾伯特計劃”的核心。
它背後有一種令人振奮的想法:
人類的理性也許存在暫時的困難,卻不應該存在原則上無法解決的數學問題。
二、哥德爾發現了什麼?
1931年,哥德爾正式發表了不完備性定理。
它的核心結論,通俗來講就是:
對於任何滿足一定條件、能夠表達基本整數算術的形式系統,只要它是一致的,就存在無法僅靠該系統內部規則證明的算術命題。
沒錯,這句話聽起來仍然很抽象。
我們可以先把數學體系想像成一套規則明確的棋牌遊戲。
規則規定了什麼樣的步驟是允許的,什麼樣的推導能夠成立。
如果一套體系是完備的,那麼對於它所能表達的每一個命題,我們都希望能夠證明這個命題,或者證明它的否定。
但哥德爾發現,對於足夠強大且滿足特定條件的形式系統,這種願望無法實現。
他的證明利用了一種巧妙的方法:讓數學體系能夠通過數字編碼,表達關於自身證明過程的陳述。
由此可以構造出一種特殊命題。粗略地說,它聲稱自己在這個系統中無法被證明。
如果系統能夠證明它,就會陷入矛盾;而在符合定理條件的情況下,它確實不能在系統內部被證明。
這就是不完備性的一個核心思想。
換個角度想|王婆賣瓜
我們不妨用一個生活中的例子,幫助理解為什麼有時需要走出原來的判斷框架。
中國有句俗話,叫“王婆賣瓜,自賣自誇”。
假設王婆說:“我的瓜是這條街上最好吃的。”
我們當然不能僅憑她自己的評價就接受這個結論。要知道她的瓜是不是真的最好吃,也許需要貨比三家,嚐嚐其他攤位的瓜。
但如果王婆進一步宣稱:“我的瓜是市場上最有營養的食物。”
問題就變了。
這時,僅僅比較不同攤位的瓜已經不夠。我們可能還需要比較蔬菜、水果,甚至其他種類的食物,並且首先弄清楚:所謂“最有營養”,究竟應該用什麼標準衡量?
從“哪家的瓜最好吃”,到“哪種食物最有營養”,我們不僅擴大了比較範圍,也改變了提出問題的方式。
當然,這並不是哥德爾不完備定理的證明。生活中的比較依賴經驗和評價標準,而哥德爾討論的是嚴格的數學形式系統。
但這個比喻可以幫助我們理解一個更一般的道理:
有時候,原來的方法回答不了一個問題,並不意味著探索必須停止。我們可能需要擴大研究範圍,甚至重新審視自己所使用的判斷標準。
回到數學世界,數學家有時可以通過引入新的公理,建立更強的形式系統,解決原有系統中無法解決的問題。
然而,哥德爾告訴我們,只要新的形式系統仍然滿足不完備定理的條件,它也無法徹底擺脫自身的不完備性。
哥德爾隨後還證明了另一項重要結論:滿足相應條件的一致形式系統,不能僅依靠自身內部的證明方法確立自身的一致性。
希爾伯特原本希望建立的那種完整而自我保證的數學基礎,因此遭遇了根本性的限制。
但這裡必須澄清一件事。
哥德爾沒有證明人類永遠無法獲得新的數學知識,更沒有證明所有真理都無法被認識。
他的定理針對的是具有明確條件的形式系統,而不是人類思想能力的全部。
這一點非常重要。
三、如果一個體系無法證明某個命題,意味著什麼?
面對無法在現有體系中證明的命題,我們是不是隻能宣佈失敗?
未必。
數學家有時可以引入新的公理,建立一個更強的體系,從而解決原有體系中無法解決的問題。
但新的體系仍然可能遇到屬於自己的不完備性。
這使數學知識的發展呈現出一種有趣的狀態:
我們能夠不斷擴大證明的範圍,卻不能指望找到一套滿足上述條件、同時又能解決所有相關命題的最終規則。
這是否意味著數學真理本來就是獨立存在的,只是人類永遠無法完全抵達?
還是說,我們對真理的理解,也與自己不斷發展和完善的推理方式有關?
這就不再只是數學問題,而進入了哲學。
四、真理是被發現的,還是被不斷理解的?
德國哲學家康德曾提出,人類並不是毫無條件地接受外部世界,而是通過自身的認知結構來理解經驗。
後來,弗雷格、羅素、維特根斯坦等思想家,又從邏輯、語言和數學的關係出發,嘗試回答知識如何可能的問題。
對於數學真理,存在不同的哲學立場。
一種觀點認為,數學真理獨立於人的認識而存在。
例如,無論有沒有人研究質數,關於質數的數學事實都不會因此改變。
數學家的工作,就是不斷發現這些已經存在的真理。
哥德爾本人傾向於這種理解。
另一種哲學路徑則更強調,人們如何通過語言、證明與推理實踐,獲得對數學概念的理解。
英國哲學家達米特便是這一方向的重要代表。
在這一視角下,理解數學不只是承認某些結論為真,也包括理解什麼能夠構成證明,以及為什麼一種推理能夠被接受。
這兩種立場並沒有因為不完備定理的出現而得到最終裁決。
但它們提出了一個非常不同的知識圖景。
前一種圖景裡,真理彷彿是一座已經存在的高山,人類努力尋找通往山頂的道路。
後一種圖景則提醒我們,知識的發展也可能涉及概念、證明方法以及理解方式本身的持續擴展。
換個角度想|一次旅行
我們不妨把尋找真理想像成一次旅行。
如果真理是一座早已存在的高山,那麼我們的目標似乎很明確:找到通往山頂的道路,最終抵達目的地。
但另一種理解提醒我們,一次旅行的意義,也許並不只在於抵達。
我們如何規劃路線,選擇什麼交通工具,途中遇見什麼樣的人和事物,甚至經歷挫折後如何調整方向,這些都會改變我們對目的地以及整個世界的理解。
有時候,我們最終回到最初的出發點,眼前的風景似乎沒有改變,但我們看待它的方式,已經不同了。
真理與我們認識真理的過程,並不完全是同一回事。可是,知識的進步,也許不僅在於我們抵達了哪裡,還在於這段探索如何改變了我們理解世界的能力。
這不是說我們可以隨意改變規則,就讓任何主張成為真理。
新的規則是否合理,仍然需要經過嚴格的論證和檢驗。
真正值得思考的是:
我們的知識體系並不一定只能在原有框架裡增加答案,也可能通過發展新的方法,拓展能夠提出和解決的問題。
五、讀完《大流感》之後,我們想到的另一個問題
這個問題讓我想起幾年前讀過的一本醫學史著作——約翰·巴里的《大流感》。
這本書以1918年流感大流行為背景,講述了現代醫學如何在科學發現、制度改革和公共衛生危機中逐漸發展。
書中一個很有意思的部分,並不是關於流感病毒本身,而是作者花了大量篇幅回顧現代醫學研究體系的建立。
19世紀後期,醫學還遠沒有今天這樣依賴系統性的實驗研究和科學訓練。
許多醫生的知識主要來自經驗、傳統和臨床觀察。
隨著德國研究型大學的發展,以及美國約翰·霍普金斯大學醫學院等機構的改革,實驗室研究、基礎科學教育和臨床訓練逐漸被更緊密地聯繫起來。
威廉·韋爾奇、威廉·奧斯勒,以及後來推動醫學教育改革的弗萊克斯納,都在這一轉變中發揮了重要作用。
現代醫學的進步,不再只是依靠某一位天才醫生髮現新的治療方法。
它開始依賴一套能夠持續培養研究者、積累證據、驗證假設和修正錯誤的科學體系。
當時,我曾經想到一個問題:
醫學取得如此巨大的進步,究竟是因為我們發現了越來越多的知識,還是因為我們改變了發現知識的方法?
答案或許是兩者都有。
但我們也可以再追問一句:沒有後者,何來前者?
畢竟,在抵達一個尚未發現的目的地之前,我們首先需要找到探索的路徑。而科學的發展,也常常是在不斷改進方法的過程中,讓原本無法回答的問題逐漸變得可以回答。
當然,新的發現又會反過來改變我們的方法。知識與方法,就這樣相互推動,不斷向前。
但《大流感》讓我們看到,後者的重要性往往被低估了。
1918年大流行期間,許多優秀醫生和科學家投入大量精力尋找病原體和有效治療方法。
他們並不缺乏勇氣、勤奮或者求知慾。
但受限於當時的技術條件和知識框架,他們仍然無法充分認識這場疾病。
流感病毒尚未被成功分離,人們對病毒的認識也遠遠不如今天。
後來,病毒學、免疫學、分子生物學以及醫學研究方法不斷發展,我們才逐漸獲得新的理解疾病的能力。
這讓我們意識到:
科學家能夠回答什麼問題,不僅取決於他們有多聰明多努力,也取決於他們擁有怎樣的概念、工具、研究方法和體系。
這種認識與哥德爾的數學發現並不相同。
哥德爾討論的是形式系統在特定條件下的邏輯限制;醫學史呈現的,則是經驗科學如何隨著證據、技術和研究制度的發展而改變。
但把它們放在一起思考,可以幫助我們重新理解知識的進步。
有時候,我們努力尋找答案,卻發現原來的問題仍然無法得到解決。
真正的突破,可能不只是找到一項新的證據。
而是發現:我們需要一種新的方法,甚至需要重新理解自己究竟在問什麼。
六、科學進步,是接近真理,還是改變認知?
科學史上,很多重要的進步都不是簡單增加了一條知識,而是改變了人們理解問題的方式。
牛頓力學讓人類能夠以統一的數學規律描述許多天體和地面運動。
愛因斯坦的相對論並沒有讓牛頓力學在所有情況下失去作用,卻改變了我們對空間、時間和引力的理解。
醫學的發展也存在類似的現象。
過去,醫生主要根據症狀及可觀察到的身體變化描述疾病。
後來,微生物學、分子生物學和遺傳學的發展,使我們能夠從新的層面理解某些疾病的發生機制。
新的知識不只是讓原來的答案更加精確。
有時候,它還會讓我們意識到:原來提出問題的方式,本身就存在侷限。
當然,數學定理、科學理論與醫學證據有各自不同的判斷標準,不能簡單地相互等同。
但它們共同提醒我們:
知識的進步,不僅取決於我們找到了多少答案,也取決於我們是否學會提出更好的問題。
七、承認邊界,是否意味著放棄追求?
回到1930年的柯尼斯堡。
希爾伯特相信:人類終將知道。
哥德爾則證明:希爾伯特設想中的數學基礎計劃存在不可消除的限制。
乍看之下,這似乎是一場理性樂觀主義的失敗。
但我們也可以從另一個角度理解。
正因為哥德爾發現了原有體系的邊界,數學家和哲學家才得以更清楚地區分證明、真理與知識之間的關係。
一種方法存在侷限,並不意味著探索已經結束。
相反,認識這些侷限,本身就可能成為知識發展的重要起點。
也許真正成熟的理性,並不是堅信任何問題都一定能夠按照我們期待的方式解決。
而是既願意追求答案,也願意承認現有方法的不足;既相信知識能夠進步,也不把任何一種理論當作最終的解釋。
希爾伯特說:
“我們必須知道。我們終將知道。”
近一個世紀過去,這句話依然有力量。
但在哥德爾之後,我們或許可以給它增加一層新的理解:
我們未必能夠在一套固定的規則中獲得所有答案。
可是,我們仍然可以不斷發展新的概念、新的方法,擴大自己理解世界的能力。
那麼,一個值得留下的問題是:
科學的進步,究竟意味著我們越來越接近一個早已存在的完整真理,還是意味著我們不斷創造出更有能力理解世界的概念、方法與體系?
閱讀啟發
本文的寫作受到2026年10月15日發表於 Aeon 的文章 The Ladder of Knowledge(作者:Alexander V Gheorghiu)啟發,並結合約翰·巴里《大流感》中的醫學史討論,進一步思考知識的邊界與科學進步的意義。
英文原文:The Ladder of Knowledge
結論之外,還有值得繼續追問的問題。
醫學 · 科學 · 思想與閱讀
歡迎關注《結論之外》,一起保持好奇,獨立思考。
文字與圖片使用聲明
本文文字內容由《結論之外》原獨撰寫,配圖由《結論之外》策劃並藉助AI工具製作。歡迎分享本文網頁鏈接。未經另行許可,請勿以複製、搬運、截圖另發等方式轉載、摘編本文文字或單獨使用文中圖片,亦不得用於商業用途。相關權利以適用法律為準。
