# 無窮、擊潰數學的悖論、哥德爾不完備性與多重宇宙——喬爾·戴維·漢姆金斯 > 數學邏輯學家漢姆金斯談無窮的層級、擊潰數學的悖論、哥德爾不完備性與多重宇宙。 - 原標題：#488 – Infinity, Paradoxes that Broke Mathematics, Gödel Incompleteness & the Multiverse – Joel David Hamkins - 期數：第 488 期 - 釋出日期：2025-12-31 - 嘉賓 / 主題：無窮與數學悖論 - 網頁版：https://lex.qiaomu.ai/tw/ep/joel-david-hamkins/ - 官方頁面：https://lexfridman.com/joel-david-hamkins/ - 精讀字數：約 18536 字（閱讀約 41 分鐘） > 本文為 lex.qiaomu.ai 基於原始訪談的 AI 改寫中文精讀，非官方翻譯；引用請註明出處並連結網頁版。 1888年前後，柏林。利奧波德·克羅內克（Leopold Kronecker），當時德國數學界最有話語權的人物之一，公開把格奧爾格·康托爾（Georg Cantor）稱為"青年人的腐蝕者"，還動用關係阻撓他的學術前途。 康托爾晚年反覆進出療養院，精神狀態崩潰，直到去世前都在死磕一個叫連續統假設的問題。 一個19世紀末的德國數學教授，因為研究"無窮"這件事，被同行攻擊，被神學界懷疑，最後被自己鑽研的問題拖垮。他到底幹了什麼？ 他證明了：**無窮有大小之分。** 在此之前，從亞里士多德到高斯，幾乎所有數學家都認為"實無窮"是個不合法的說法。你只能說無窮是一個過程，一個永遠在逼近卻達不到的極限，也就是所謂"潛無窮"。說"存在一個完成了的無窮集合"，在當時的語境裡差不多等於說"存在一個最大的整數"。 康托爾把這個禁區撬開了。 ## 一間永遠住滿了的旅館 要理解康托爾到底做了什麼，得先從一個更好玩的例子開始。大衛·希爾伯特（David Hilbert）後來提出了一個思想實驗，現在被叫做希爾伯特旅館（Hilbert's Hotel）。 這間旅館有可數無窮多個房間，編號0、1、2、3，一直排下去。此刻所有房間都住滿了，第N號房住著第N位客人。 然後來了一位新客人，問前臺還有沒有空房。 經理說，稍等。他給所有已入住的客人發了一條通知：請所有人搬到比自己房間號大一號的房間去。5號房的人搬到6號，6號房搬到7號，以此類推。所有人同時行動，不會有兩個人搶同一間房。搬完之後，0號房空了出來，新客人住進去。 旅館本來是滿的，現在還是滿的，但中間多塞了一個人進去。 > 希爾伯特旅館精確地說明了這一點：給一個集合增加一個元素，它並沒有變大，因為新舊客人之間仍然可以建立一一對應。（喬爾·戴維·漢姆金斯） 這個場景會讓大多數人第一反應覺得是腦筋急轉彎。它像腦筋急轉彎，實質上是康托爾那套無窮理論裡最基本的操作演示。 第二天，來了20個人。同樣的操作，所有人往上搬20個房間，底部空出20間，20位新客人入住。再往後，來了一輛希爾伯特大巴，車上有可數無窮多個座位，0號座、1號座、2號座，一直排下去。整車人都要住店。 這時候經理的招數是：讓現在所有住客把房間號乘以2，全部搬進偶數號房。奇數號房就全空出來了。然後大巴上的乘客按座位號住進對應的奇數號房。 一個無窮，塞進了另一個無窮。 ## 無窮列車上的一車無窮的人 事情還沒完。希爾伯特列車來了。 這趟列車有可數無窮多節車廂，每節車廂裡又有可數無窮多個座位。每一位乘客都對應一對座標（車廂號C，座位號S），規模是"無窮乘以無窮"。 經理照樣先把現有住客全部搬進偶數號房，然後用一個辦法把每個乘客塞進一個奇數號房：給（C，S）這位乘客分配房間號 3的C次方 乘以 5的S次方。 這個數一定是奇數，因為它的質因數分解裡只有3和5，沒有2。不同的（C，S）一定對應不同的房間號，因為算術基本定理保證了質因數分解的唯一性。你拿到一個房間號，把它分解質因數，數一數3的指數是幾，就知道乘客來自第幾節車廂；數一數5的指數是幾，就知道他坐第幾號座。 結論是：**可數無窮多個可數無窮集合，並在一起，還是可數無窮。** 漢姆金斯說他第一次學到這個結論時"完全被震住了"。道理其實很直白：一個無窮，無論你往裡塞多少個無窮，它都不變大。這違反了歐幾里得在《幾何原本》裡反覆用到的一條基本原則：整體大於部分。 除了素數那一招，還有一個更直觀的做法。把所有（車廂號，座位號）看成平面上的整數格點，從原點出發，沿對角線來回折返地走一條蛇形路徑，穿過整個網格。這條路會依次經過每一個格點，於是按照經過的順序給它們編號，就把二維的無窮格點排成了一維的無窮列表。 漢姆金斯把這一招叫做"給每個無窮集合一次往名單上添一個人的機會"。只要你有條理地輪流照顧到每一個集合，最後所有人都能被排進去。 ## 伽利略的兩難 這個"整體等於部分"的現象，伽利略在1638年的《關於兩門新科學的對話》裡就注意到了，而且被它弄得束手無策。 他的觀察是這樣的：把所有自然數排一排，1、2、3、4……再把所有完全平方數排一排，1、4、9、16……你給每個自然數配一個它的平方，兩邊一一對上，沒有遺漏。按"數量相等就是能一一對應"的標準，平方數和自然數一樣多。 可是平方數之間明明漏掉了大量的空隙，自然數里有平方數，還有很多不是平方數的數。按照"整體大於部分"的標準，平方數應該比自然數少。 兩條都看起來天經地義的原則，在無窮面前打架了。伽利略的結論是：關於無窮的大小比較，本身就說不通，別比了。 漢姆金斯把這兩條原則分別叫"康託-休謨原則"（兩個集合等數，當且僅當能建立一一對應）和"歐幾里得原則"（整體大於部分）。他說，伽利略碰到的，就是這兩條原則之間的張力。 這個張力在有限世界裡根本不會出現。你有5個蘋果和7個蘋果，一一對應配到第5個就配不下去了，剩下的就是多的。整體大於部分，天經地義。一旦把視角推到無窮，這兩條原則必須放棄一條。 康托爾做的選擇是：放棄歐幾里得原則，把一一對應當成"數量相等"的定義。這個選擇一旦定下來，無窮就變成了一門可以計算的數學。 再補一個例子。有理數，也就是所有分數。分數稠密到什麼程度？任意兩個分數之間都還有另一個分數，取平均就行。這種"稠密有序"的性質，讓很多人以為有理數肯定比自然數多得多。 其實不然。每個分數就是一個分子配一個分母，一對自然數。用上面那趟希爾伯特列車的法子，配一個3的P次方乘5的Q次方，有理數也是可數的。 到這裡，一個自然的猜想冒出來了：既然自然數、整數、有理數、二維格點、有理數對、可數無窮個可數無窮集合，全都是可數的，那麼是不是所有無窮集合都可數？是不是隻有一種無窮？ 不是。康托爾證明了實數不可數。 ## 對角線：一個用了130多年還在用的證明模板 康托爾的證明如今被叫做對角線論證。它的結構極其簡潔，而它的變形，構成了整個20世紀數理邏輯的骨架。 先假設實數是可數的。那就意味著所有實數能排成一個列表：R₁、R₂、R₃，一直排下去，每一個實數都在表上的某個位置。 現在構造一個特殊的實數Z。它的整數部分是0，小數點後第N位，取一個和R_N小數點後第N位不同的數字。為了避開0.999…和1.000…這類一個數有兩種小數表示的麻煩，構造Z的時候乾脆只用1到8這八個數字，不碰0和9。 於是Z和R₁在第1位不同，和R₂在第2位不同，和R_N在第N位不同。Z不等於列表上的任何一個實數。 但我們假設過列表包含了所有實數。矛盾。 所以實數不可數。實數構成的無窮，嚴格大於自然數構成的無窮。無窮不止一種。 這個論證最要緊的地方是它的**形狀**，超過它證明了什麼。它的核心是"拿第N個物件去對付第N個物件，然後構造一個在所有位置上都跟它不一樣的東西"。這種自指的反身結構，後來被反覆借用： - 羅素悖論：所有不包含自身的集合所構成的集合，它包含自身當且僅當它不包含自身。 - 哥德爾不完備定理：構造一個句子，它說"我在這個系統裡不可證"。 - 圖靈停機問題：構造一個程式，它在輸入自己時的行為，和輸入程式的行為相反。 - 康託定理的一般形式：任何集合的冪集，嚴格大於該集合本身。 它們本質上是同一個論證換了不同的外套。 漢姆金斯有個習慣，講羅素悖論的時候不叫它悖論，叫它"羅素定理"，內容就是：不存在萬有集合。他說，這在今天已經不怎麼讓人困惑了，我們已經把"集合不能無所不包"這件事吸收進了對集合的基本理解。當年讓人困惑，是因為還沒有這套理解。 ## 鞋子和襪子：選擇公理到底在爭什麼 這場無窮革命引發的連鎖反應，最終逼出了現代數學的地基：ZFC集合論。 這中間有個插曲值得單獨講。1904年，恩斯特·策梅洛（Ernst Zermelo）給出一個證明：選擇公理蘊含良序定理，也就是任何集合都能被良序排列。這個結論在當時看來近乎荒謬，因為沒有人能想象出實數集的一個良序是什麼樣。 策梅洛遭到了猛烈的攻擊。攻擊到什麼程度？歷史學家說，在此之前，數學史上沒有任何一個定理被如此公開、如此激烈地爭論過。他被逼著把自己論證所依賴的公理系統明確寫出來，這才有了1908年的策梅洛集合論。後來加上替換公理和基礎公理，才有了今天的ZFC。 選擇公理說的是：給定任意一堆非空集合，存在一個函式，能從每個集合裡各挑出一個元素。哪怕這個"挑"沒有任何規則可循。 伯特蘭·羅素給了一個絕妙的類比。一個富翁有個無限大的衣櫃，裡面有無限多雙鞋。他讓管家從每雙鞋裡挑一只出來。管家很輕鬆就做到了，因為每雙鞋總能挑左腳那隻，規則明確。 如果衣櫃裡裝的是無限多雙襪子呢？同一雙襪子左右不分，長得一模一樣。管家就沒有任何規則可以依據了。這時候還談得上"存在一種挑法"嗎？ > 兩邊爭的是：你能不能給出一個規則，讓選擇函式遵守它，還是說選擇裡本就含有某種任意性。這就是你需要選擇公理的地方。（喬爾·戴維·漢姆金斯） 更有意思的是，策梅洛的反對者們後來被翻出了舊賬。策梅洛和其他人去查那些叫得最兇的同行以前發表的論文，發現很多人在自己的論證裡早就偷偷用了選擇公理，只是沒意識到。因為它太自然了，自然到你會不假思索地用上它。 漢姆金斯的立場很明確，他屬於數學實在論這一邊：數學世界裡本來就充滿了各種各樣的函式和選擇方式，憑什麼要求每一個存在的東西都必須能被一條規則描述出來？"存在一種挑法，但我未必能告訴你具體是哪一種"，在數學論證裡完全站得住腳。 ## 真理不是證明 訪談裡漢姆金斯反覆回到一個區分，他說這是他心中最深刻的哲學思想。他自己給這個區分起了個名字：真理與證明之別。 他說，20世紀初的數學家，包括一些相當重要的人物，在這個區分上極其含糊。甚至到了布林巴基（Bourbaki）那套影響深遠的法國研究生教材裡，"真"和"可證"還是被混著用的。在他們的用法裡，一個命題為真，意思就是它能被證明。 這個混淆在哥德爾和塔斯基之前，幾乎沒人認真對待過。 塔斯基（Alfred Tarski）給出了真理的數學定義，核心是"去引號"（disquotation）。他說，"雪是白的"這句話為真，當且僅當雪是白的。 這個句子看著像同義反復，實際做了一件很重要的事：它把"真"這個謂詞，從語言內部的物件（那句話）轉移到了語言外部的世界（雪的狀態）。左邊是一個關於句子的斷言，右邊是一個關於世界的斷言。引號被去掉了。 用同樣的思路，塔斯基遞迴地定義了"一個形式語言中的句子在一個數學結構中為真"是什麼意思。要判斷"φ且ψ"在這個結構中是否為真，就看這個結構是否滿足φ，並且是否滿足ψ。注意，第一個"且"是句子內部的邏輯聯結詞，第二個"且"是我們用來談論這兩個條件的元語言連詞。同一符號在兩個層級上出現，這就是去引號的作用。 證明則是另一回事。證明屬於語法，是一串符號按照規則排列出來的東西。它得滿足三個條件： - **可靠性**：如果前提為真，證明推出的結論也為真。證明保真。 - **完備性**（這裡指哥德爾 completeness theorem，別和 incompleteness 搞混）：如果一個命題是邏輯後承，那就存在一個證明。 - **可判定性**：給定一串符號，我們能機械地判斷它是不是一個合法的證明。漢姆金斯強調這第三條常被忽略，但沒有它，證明這個概念就沒法用。 他引了一句老梗：有個數學家宣稱自己證出來了，但頁邊空白太小寫不下。這不算證明，因為別人沒法檢驗。 真理屬於語義，證明屬於語法。真理是關於數學實在本身是什麼樣子，證明是關於我們如何抵達對它的認識。這兩件事在有限的世界裡高度重合，在無窮的世界裡徹底分家。 ## 希爾伯特的天堂計劃，和它怎麼塌的 希爾伯特面對羅素悖論帶來的地基危機，說過一句名言："沒有人能把我們趕出康托爾為我們創造的天堂。" 他不想放棄集合論，因為集合論把原本分裂的數學統一了。在集合論之前，代數、分析、拓撲、幾何各有各的公理系統。可你證代數基本定理的時候，用的卻是拓撲方法。如果每個分支是獨立的公理系統，這種跨領域借用就說不通。必須有一個共同的地基。集合論當時就在扮演這個角色。 所以希爾伯特提出了一個兩步走的方案，也就是希爾伯特計劃： 第一，建立一個足夠強的理論，強到能回答所有數學問題。他1920年代末的退休演講裡那句"我們必須知道，我們將會知道"，就是這個樂觀情緒的寫照。 第二，用一個極弱的有窮主義理論，證明那個強理論永遠不會推出矛盾。這裡的"有窮主義"，通俗講就是：證明本身是一串有限的符號，我們只看符號怎麼排，不看它指什麼。 第二步的關鍵是形式主義的態度：把數學命題的**意義**和數學命題的**符號操作**剝離開。那些符號可能指稱著巨大無比的無窮集合，讓人不放心。可寫下這些符號、按照規則推演它們的過程，本身只是一堆有限長的字串在紙上的排列。這一層是完全可靠的。 如果希爾伯特成功了，數學會變成什麼樣？漢姆金斯描述了一個畫面：你有一臺定理列舉機，它按部就班地把強理論的所有定理一條條吐出來。你手上任何數學問題，把它的正面和反面都丟進去等，總有一天會有一條定理冒出來給答案。 數學研究就變成了搖機器的把手。 > 希爾伯特實際上是在告訴我們，數學的根本性質就是機械計算。失去創造性思考，失去想象力，只是透過一套死板的程式拿到答案。（喬爾·戴維·漢姆金斯） 哥德爾1931年的兩篇不完備定理，把這兩步全部打掉。 第一不完備定理：任何可計算地公理化的、包含足夠算術的理論，都是不完備的。總存在一些命題，既證不出來，也證不出它的否定。 第二不完備定理：這樣的理論也證明不了自己的一致性。不只是那個弱的有窮理論證不了強理論的一致性，強理論連自己的一致性都證不了。 漢姆金斯提到第二定理有個特別接地氣的解讀：一個理論如果證明自己是一致的，你該信嗎？那就像一個二手車銷售員跟你說"我值得信任"。他說自己可信，這本身不能作為信任的理由。事實上，一個不一致的理論同樣能"證明"自己是一致的。 那希爾伯特失敗之後，數學實在是什麼樣子？ 兩個方面。第一，你永遠寫不出一套能回答所有問題的理論，永遠會有獨立命題，永遠會有我們最好的理論搞不定的問題。第二，你永遠沒法徹底安心地確認自己用的理論是自洽的。 漢姆金斯對這事的反應跟很多人不一樣。他說這根本談不上創傷，這是對數學實在的一次深刻揭示，知道了就好，知道了就能往前走。 ## 一個程式停不停，能不能先猜一個 停機問題，圖靈1936年的成果，是這場邏輯革命最出名的一件副產品，也是電腦科學的地基之一。 問題本身：給定一個程式，它會不會停機？注意，具體到某一個程式，答案當然非此即彼。真正的問題是，存不存在一個統一的可計算程式，能對所有程式給出正確答案。 答案是：不存在。 證明用的還是對角線。假設有個子程式H能判斷任意程式P在輸入P上會不會停機。現在構造一個新程式Q，輸入是P，Q做的第一件事是問H："P在P上會停嗎？"如果H回答"會停"，Q就跳進死迴圈，永不停機。如果H回答"不會停"，Q立刻停機。 於是Q在P上的行為和P在P上的行為完全相反。現在問：Q在Q上會怎樣？Q在Q上停，當且僅當Q在Q上不停。矛盾。 同樣的結構，從康託、羅素、哥德爾一路沿用下來。 這個證明還有一個更短的用法：可以直接推出哥德爾第一不完備定理。假設存在一套能列舉所有算術真理的可計算公理系統。那樣就能造一臺定理列舉機，把"程式P在輸入X上停機"這個命題丟進去，等它吐結論。因為理論是完備的，最終一定會吐出肯定或者否定。這就等於用一臺機器解掉了停機問題，而停機問題不可解。所以這樣的完備理論不存在。 漢姆金斯說這是他認為哥德爾定理最簡單的證法，不需要構造哥德爾句。 其實停機問題還有一個特別有趣的角落。漢姆金斯和他的合作者 Alexey Myasnikov 研究過一個問題：**幾乎所有程式，是不是都能判定它停不停？** 答案是能。他們在標準的圖靈機模型裡證明：存在一個容易識別的程式集合，集合裡的程式，停不停很好判斷；程式狀態數越多，這個集合在全體程式中的比例越趨近於100%。 也就是說，停機問題雖然不可判定，但它的不可判定性集中在極小的一個"黑洞"裡，外面的世界幾乎全部可解。 證明過程特別有喜劇效果。漢姆金斯說，他一開始的想法是"找一堆傻瓜理由證明程式不停機，湊夠50%就行了"。結果他們找到了一個巨大的傻瓜理由，佔比趨近100%。 這個理由是：一臺隨機生成的圖靈機，讀頭從紙帶最左端出發，第一步有一半機率向左移，然後掉出紙帶。掉出去就算崩潰，不算停機。剩下的一半向右走，進入新狀態，下一步又有一半向左。當狀態數很多的時候，這臺機器基本上就是在紙帶上做一維隨機遊走。波蘭數學家波利亞（Pólya）有個定理：一維隨機遊走幾乎必然回到起點。回到起點之後再走一步，一半機率掉出紙帶。 所以幾乎所有的圖靈機，讀頭都會在重複某個狀態之前掉出紙帶。這種情況可以機械判定。 漢姆金斯說，這個定理一開始聽著很驚人，說出證明之後，大家都覺得"哦就這麼回事"。但這恰恰說明了一件事：不可判定性在問題空間裡分佈得很不均勻，它是高度區域性的現象。這個觀察在複雜度理論裡有實用版本，很多NP完全問題都已經被證明存在多項式時間的近似演算法，能解決幾乎所有的例項。SAT求解器在工業界的表現就是活生生的例子。 ## 連續統：康托爾死磕一生的那道題 回到那個讓康托爾崩潰的問題。 他證明了實數的無窮嚴格大於自然數的無窮。證明完，一個極其自然的問題會立刻冒出來：中間還有沒有別的無窮？ 這就是連續統假設（Continuum Hypothesis，CH）。它斷言：自然數和實數之間沒有中間的無窮基數。 康托爾花了後半輩子想證明它。他有一套策略：從簡單的集合型別往上爬。開集的情況是容易的，任何一個非平凡開區間都和整條實數軸等勢，用反正切函式就能建立一一對應。閉集的情況他靠康託-本迪克松定理（Cantor-Bendixson theorem）也證出來了，非常不平凡，而且為了做這個證明，他發明了序數。 再往上，是 Borel 集，是投影集，一層一層複雜度往上升。康托爾的思路是：每往上爬一層，就多證明一批集合滿足連續統假設，最終覆蓋所有實數集合。這個綱領在接下來一百多年裡被極大地推進，Borel 集搞定了，投影集在假設足夠強的大基數公理下也搞定了。 它永遠不會徹底成功。因為集合複雜度的層級本身就覆蓋不了所有實數集合，更根本的原因是那個獨立性結果。 1938年，哥德爾證了前半部分。他構造了一個"可構造宇宙"L，一個特殊的集合論模型，在裡面選擇公理和連續統假設同時為真。這證明：如果ZF（不含選擇公理的集合論）是一致的，那麼ZFC加上CH也是一致的。也就是說，你沒法在ZFC裡證偽CH。 1963年，保羅·科恩（Paul Cohen）發明了力迫法（forcing），證了後半部分：如果存在一個集合論模型，那就存在一個CH為假的模型。也就是說，你也沒法在ZFC裡證明CH。 兩邊一合，CH獨立於ZFC。希爾伯特23問裡的第一問，答案是"這道題在標準公理系統裡沒有答案"。 ## 從可構造宇宙到力迫法 力迫法值得單獨說，因為它是20世紀數學最強大的工具之一，也是漢姆金斯多重宇宙哲學的技術基石。 漢姆金斯管它叫"在數學宇宙之間旅行的方法"。 哥德爾的做法是往內收縮：從一個已有的集合論宇宙出發，只保留那些"可構造"的集合，得到一個更小、更整齊、性質更好的子宇宙。科恩的做法相反：從一個已有的宇宙出發，往裡面加進新的集合，得到一個更大的宇宙。加什麼、怎麼加，可以被精確控制，控制到能決定CH的真假。 於是CH變成了一個開關。給定任意一個集合論宇宙，都存在與它關係極近的兩個宇宙，一個裡CH為真，一個裡CH為假。你在哪個宇宙裡生活，CH就在那裡取相應的值。 漢姆金斯說，這才是CH的真正答案。真正要說的是，它可以被開啟，也可以被關閉，取決於你身處哪個宇宙。 有個細節很有意思。力迫法不僅能往上擴張，還能反過來用。假設你想證明某個命題在原始宇宙裡成立，你可以先力迫到一個更大的宇宙，在那裡用更方便的工具論證，然後證明這個結論其實不依賴於新加進來的東西，可以"收回來"落在原宇宙裡。 漢姆金斯拿早期複數的歷史作類比。16世紀的數學家解三次方程，中間步驟會冒出負數的平方根，他們不知道怎麼理解這個東西，還是硬著頭皮算下去。算到最後，虛部全部抵消，結果是一個實實在在的實數，代回去驗證還是對的。他們穿過了一片"無意義之地"，最後帶著正確答案回來了。 > 你從集合論出發，走到力迫擴張那片無意義之地，在那裡論證，然後回來，在原來的模型裡得出結論。這是一種非常漂亮的論證方式。（喬爾·戴維·漢姆金斯） ## 多重宇宙：數學實在不是一個，是很多個 漢姆金斯有一篇很有爭議的論文，叫《集合論多重宇宙》（The Set-Theoretic Multiverse）。核心主張：不存在唯一的集合論實在。 先解釋他對立的那一派。"宇宙觀"或者叫"一元論"：所有集合論問題都有確定答案，存在唯一正確的集合論真理，ZFC之所以回答不了CH，只是因為ZFC太弱，我們該去找更強的理論，比如大基數公理，最終逼近那個唯一真實的集合論宇宙。 漢姆金斯的反駁基於一個事實：CH 的獨立性不是孤例。幾千個獨立性結果堆在那裡，無窮組合學裡幾乎每一個非平凡命題都獨立於ZFC。如果你接受宇宙觀，那你就得承認我們手上這套理論幾乎回答不了任何我們真正關心的問題。漢姆金斯不認為這是理論太弱的問題，他懷疑"唯一真理"這個假設本身。他在伯克利讀博的時候，隔壁有個做C*-代數的同學，跟一位非邏輯方向的教授做問題，做出來發現結論獨立於ZFC。那位教授的反應是："哦，看來我問錯問題了。" 漢姆金斯和一眾集合論學者的反應完全相反。**一個問題被證明獨立，說明你問對了問題。**你摸到了數學實在的一條斷層線。斷層線的一邊命題為真，另一邊為假，這個發現本身就值得慶祝。他把這個動作叫做"切中自然的關節"。 他還強調一點：多重宇宙觀和宇宙觀的人，在數學上沒有任何分歧。定理就是那些定理，證明就是那些證明。分歧在哲學層面，而哲學立場的作用在於**指引研究方向**，裁決數學事實不是它的活兒。 宇宙觀會推著你去尋找那個唯一的真宇宙。他的博士導師休·伍丁（Hugh Woodin）就是這條路上最傑出的代表，搞出了"終極L"（ultimate L）綱領，幾十年如一日地想讓"唯一真宇宙"這個想法長出牙齒。多重宇宙觀會推著你研究不同宇宙之間的關係，研究一個宇宙怎麼力迫擴張到另一個，研究這些宇宙構成的整體是什麼形狀。 ## 倒著走一遍力迫法 他和學生 Jonas Reitz 一起搞出來的"集合論地質學"（set-theoretic geology），起點是個特別小的對話。漢姆金斯跟 Reitz 說，力迫法的方向是從地面模型往外擴張，你沒法反過來走。Reitz 堅持說，我就想倒著走。漢姆金斯說，行，那就認真試試。 於是問題變成：給定一個集合論宇宙，能不能找出它是從哪個更小的宇宙力迫擴張來的？像地質學家看岩層，反推這塊地是怎麼沉積出來的。他們定義了"基模型"（ground model）和"基岩"（bedrock）的概念，還引入了"地幔"（mantle）這個概念，開創了一個新方向。 最有意思的是後續。這套東西完全是從多重宇宙的哲學視角長出來的，結果宇宙觀陣營的人後來也把它接了過去，因為反推基模型恰好能幫他們研究"那個唯一真宇宙"的結構。漢姆金斯自己也覺得這個反轉很好笑。 這裡藏著他對哲學功用的一個判斷。他花了不少篇幅講牛頓和萊布尼茨的微積分。那套無窮小量的基礎，被貝克萊主教嘲諷為"已死量的鬼魂"，在當時看確實站不住，要到1960年代魯濱遜（Abraham Robinson）搞出非標準分析，微積分的基礎才算嚴謹。 可牛頓和萊布尼茨在那套爛地基上，把微積分的主要定理和核心洞見全做出來了。 > 你需要一個堅實嚴謹的基礎，才能做出持久的數學洞見嗎？很遺憾，答案似乎是不需要。（喬爾·戴維·漢姆金斯） 所以哲學立場不決定數學能不能往前走。它決定你往哪走，決定你覺得什麼問題值得問。漢姆金斯把這個叫"集合論潛力論"（set-theoretic potentialism）：宇宙不是固定的，它可以更寬、更高，可以被擴張。這個視角帶來的不是某個定理，是一整片問題域。 多重宇宙觀有個容易被誤解的地方，得說清楚。它不否認任何一個具體的數學定理，也不宣稱"什麼都是相對的"。它說的是：集合論的基本詞彙，比如"所有集合"，在不同的宇宙裡有不同的外延，而這些宇宙彼此之間關係緊密，透過力迫可以互相抵達。你在哪個宇宙裡，決定了CH取什麼值。這是一種關於數學實在結構的判斷，談不上對真理的放棄。 ## P vs NP 被過度包裝了 萊克斯問 P 是否等於 NP，以及這個命題有沒有可能獨立於公理系統。 漢姆金斯先糾正了一個表述上的問題：說一個命題"獨立"，必須說明獨立於**哪個**理論。任何命題在足夠弱的理論裡都獨立，所以這句話單獨說出來沒有意義。 然後他講了一個他覺得被過度包裝的點。P 和 NP 是關於**漸近行為**的：當輸入規模趨於無窮時，所需時間是不是被某個多項式界住。這個多項式的次數可能極高，係數可能巨大。 所以那些"如果 P=NP，人類文明將獲得巨大財富，所有難解問題都變得可行"的說法，需要打個折。P=NP 說的不是我們這輩子會遇到的輸入規模，它說的是極限。 他還補了一刀：那個演算法我們其實已經有了，只是常數項大到沒法用。再加上第三層，實用的近似演算法在很多情況下已經把真實工程問題解決了。SAT 求解器在工業界的表現好得驚人，雖然如果 P≠NP，理論上就不存在多項式時間的 SAT 求解器。 一個理論問題，一層一層被剝掉它的實踐光環。 ## 阿基米德，和被同時想到的定理 萊克斯問了那個所有人都想問但不太敢問的問題：史上最偉大的數學家是誰。 漢姆金斯說這個問題很難回答，他本人不按"偉大程度"給數學家排名。被逼到角落的話，他會選阿基米德，理由是成就太高而時代太早，完全超出了同時代所有人。他補了一個更有意思的觀點： > 我想從任何能提供數學洞見的人那裡學數學，不管他是誰。而這並不總是來自最偉大的人。有時候那些偉人只是恰好第一個做出來，換了別人也可能很快做出來。（喬爾·戴維·漢姆金斯） 他提到數學史上一種常見現象：不同的人幾乎同時證出相似的結論。他的解釋很樸素：某些想法已經在空氣裡飄著了，只是還沒被完整表述出來。這就是知識增長的形態。 萊克斯問他，你覺得想法是從哪來的？ 他說，不太清楚。接著講了自己的風格，這段值得原樣記下來： > 我不太喜歡難的數學。我喜歡的是簡單、清晰、容易理解的論證，去證明一個出人意料的結果。這是我最喜歡的情形。至於這個結果是不是新的，對我來說反而沒那麼重要。（喬爾·戴維·漢姆金斯） 他解釋了這個偏好背後的東西：他對複雜論證天然懷疑。如果不能在腦子裡一次性把每一步都過一遍，他就會擔心這論證是錯的。所以他傾向於做那些偏離主流路線、但能被徹底想清楚的問題。 他的具體方法論，他自己叫"玩鬧式的好奇心"。有了一個想法，就撥弄它，改一點小地方，先看最簡單的情形，然後一點點搞複雜，往這邊推一推，拿自己最喜歡的例子套上去試試。玩著玩著，就有洞見了，就有方法了，然後就有進展了。他說這套辦法對他非常有效，他很滿意。 ## 給每個人發一美元 玩鬧的核心工具之一是擬人化。他把集合論模型想象成一個你居住的地方，力迫法就是去遠方旅行。他承認真實論證裡沒有土地也沒有旅行，但這種視覺化能幫他理解。尤其是當論證的不同部分互相沖突的時候，他就想象成幾個人在打架，或者兩個玩家在對局，一方想贏，那"敵人"會挑哪個選項？順著這個往下想，策略往往就出來了。 他講了個具體的例子。他書裡有個題：一群人圍成圈，可以隨便指別人，也可以指多個人，問能不能安排出一種指法，讓每個人都"被指的次數"多於"指別人的次數"。這跟推特上"能不能讓每個人都粉絲數大於關注數"是同一個數學問題。 他最喜歡的證法是給每個人都發一美元，指向誰就給誰一美元。如果所有人都被指次數多於指人次數，那每個人收到的錢都比付出的多，每個人都賺錢了。可我們只是在自己人之間倒錢，沒有任何新錢進來，一群人不可能靠互相倒錢全體變富。所以這種指法不存在。 這個證明之所以讓人信服，是因為它借用了我們對"賺錢很難"這件事的生活經驗。而如果把它換成抽象的函式語言，"一組人之間轉移錢不可能全體變富"這件事本身其實也需要證明。擬人化在這裡做的，是把一個需要證明的抽象命題，替換成了一個我們已經有直覺的具體命題。 他還補了個彩蛋：如果這群人是無窮多個，定理就失效了。不但能讓每個人都被指得比指別人多，還能讓每個人手裡的一美元最後變成無窮多美元。做法是讓第N節車廂的人把錢全給最後住進第N號房間的那個人，每人只付出一美元，那個人就拿到了無窮多美元。基數上，前後都是可數無窮，一樣大。 ## 兩種數學家：懷爾斯和陶哲軒 萊克斯丟擲了一個對比：安德魯·懷爾斯（Andrew Wiles）把自己關了七年死磕費馬大定理，而陶哲軒（Terence Tao）的策略是撞牆就換題，回頭再來。他問漢姆金斯怎麼看這兩種風格。 漢姆金斯的回答很坦誠。他說懷爾斯證明的定理很了不起，但那種孤立工作的方式跟他的實踐完全相反。他的合作者數量接近一百個，數學對他而言很大程度上是一種社會活動。有人有想法想跟他聊，只要他感興趣，那就一起做，可能就解決了，可能就有一篇共同署名的論文。 > 我個人永遠做不到懷爾斯做的事。也許我錯過了什麼。也許如果我把自己鎖在臥室裡死磕，我也能解決它。但我傾向於認為不會。（喬爾·戴維·漢姆金斯） 他強調自己大量泡在 MathOverflow 上，很多論文就是從那裡的對話裡長出來的。有人發問，他答一部分，另一個人有想法，拼成完整解法，最後三個人合寫一篇。 萊克斯說他作為外行看，一個人單幹數學是可怕的孤獨，尤其是死磕一個已經弄垮過多位天才的問題。漢姆金斯承認有道理，但他說自己享受這個社會性的部分，而且這不只是"社交"，這就是他理解的數學研究的本質：把想法拋給別人，別人回應，雙方都在學。 聊到佩雷爾曼（Grigori Perelman）拒領菲爾茲獎和千禧年大獎，漢姆金斯說他不是完全理解這個選擇，但他不覺得這有什麼問題。數學界什麼人都有，只要有好想法，他就想聊。 萊克斯接了一句很好的總結：奧運會運動員很多也不掙錢，還是把一輩子投進去，為的是金牌。這些最偉大的數學家做這些事，根本上是因為熱愛這門藝術本身。 然後漢姆金斯拿這個開了個玩笑。他說如果要真正客觀地評判誰是最偉大的數學家，那就需要一個客觀標準，比如用 MathOverflow 的分數。萊克斯立刻接上。漢姆金斯說他一直主張終身教職和晉升評定就該按這個來。他還講了自己女兒帶男朋友回家，他第一個想問的兩件事是：國際象棋等級分多少，MathOverflow 分數多少。 這段玩笑背後有個真實的觀察。他在 MathOverflow 上的賬號是全網最高分，二十多萬聲望，寫了上百萬字。他沒有從這個東西里拿到一分錢。一個能在公開論壇上花十幾年回答陌生人的問題的人，回答的動機和他做數學的動機是同一個。 ## 思考題是怎麼長出來的 萊克斯問他怎麼在 MathOverflow 上挑問題。漢姆金斯說，任何他覺得有意思的問題都會碰，但不所有問題都吸引他，有些型別的題目他就是沒感覺。 他剛加入的時候，邏輯方向答題的人很少。他的策略是：看到一個問題，邏輯只是其中一個角度，主體可能在群論、在分析、在別的領域，他得先學懂那個領域的背景，才能給出答案。他說自己在這個過程中成長極快，因為被迫學了一堆原本不會去碰的東西。 他列了幾個自己答過的問題，這些問題本身能說明他關心的東西長什麼樣：哪些看起來很合理的命題其實獨立於ZFC？數學教學中哪些替代定義最容易誤導人？大學教的分析學其實是不是可定義數的分析？連續統假設有哪些解法？選擇公理最反直覺的應用是什麼？有什麼定理結論驚人但證明平凡？反證法和逆否命題該怎麼用？象棋在數學上是什麼？ 最後一個問題直接引出了無限象棋。 ## 無限棋盤上的 ω 次方 無限象棋（infinite chess）的起點就是 MathOverflow 上那個問題，提問的人是諾姆·埃爾基斯（Noam Elkies），哈佛的頂級數論學家。問題是：象棋的數學定義是什麼？ 漢姆金斯的興趣就被這個問題勾出來了。無限象棋的規則很簡單：普通棋子，普通走法，只是棋盤變成向四個方向無限延伸的整數格，沒有邊界。一個差別是不玩標準開局，研究的物件是那些已經擺好大量棋子的特定局面。 他造出了一種局面，白方必勝，但不存在任何一個 N，使得白方能在 N 步內保證將死。換句話說，白方一定會贏，但黑方能決定要拖多久。你想讓它拖一千步？可以。一百萬步？也可以。這個局面的博弈值（game value）是 ω。 從 ω 數下來的意思就是：黑方必須先報一個有限數，然後從這個有限數開始每次減一。減完了，棋也就結束了。黑方第一次報的數越大，能撐的步數就越多，可他終究要報一個有限的數。 規則上還有幾處必須調整。沒有邊界，所以沒有兵的升變。三次重複局面判和的規則也要去掉，那只是在有限棋盤上逼近"無限對局算和"的一種技術手段，無限棋盤上直接用真正的規則就行。唯一的取勝方式是在有限的某一手走出將死。 後續的研究做得更猛。第一篇論文做到了 ω 的平方和 ω 的立方，跟 Corey Evans 和博士生 Norman Perlmutter 合作的那篇做到了 ω 的四次方。現在已知的結論是：**每一個可數序數，都能作為無限象棋某個局面的博弈值出現。** 這個構造過程沒有演算法，是純數學創造。漢姆金斯說，棋子擺位幾乎都是他做的，但論證裡的細節全部靠 Corey Evans 把關。Corey 是美國國家大師級棋手，也是法學與哲學教授，還當過漢姆金斯兒子的兒童象棋教練。漢姆金斯按序數的要求去設計局面，Corey 過來一看："這個兵是懸的，你的論證破了。"或者"這個象能從籠子裡漏出來。"來回幾輪，才能收斂到正確的結果。 萊克斯在這裡注意到一個很酷的細節：一篇 arXiv 論文的參考文獻裡，赫然列著一條 MathOverflow 的連結，而那正是埃爾基斯的原始提問。 ## AI 生成的證明，像極了本科時排版漂亮的作業 聊到 AI 和 LLM 做數學，漢姆金斯的回答很直白。他自己試過各種系統，包括付費的，結論是"基本上零有用"。典型體驗是拿到數學上不正確的垃圾答案。更讓他煩躁的是，你指出它對某一步的錯誤，它回你一句"沒問題啊"。他說，如果是人這麼幹，他不會再跟這個人說話。 但他也承認，他非常尊敬的幾位數學家說 AI 對他們有用。這讓他意外，因為自己的體驗完全相反。他猜測可能是自己的用法不對，也可能是那些例子裡，真正的數學想法其實來自人，而不是機器。 他還有一層更根本的懷疑，來自對 LLM 方法本身的理解： > 我意識到，AI 在努力給我一個**看起來像**證明的論證，而不是一個**是**證明的論證。動機本身就偏了。（喬爾·戴維·漢姆金斯） 他講了個本科時的故事，這個類比是整場訪談裡最鋒利的一處。他在加州理工讀本科，那時候 LaTeX 剛出來，他學著用，把作業排版得極其漂亮。然後他交上去，成績很差。他後來想明白了原因：那種精美的數學排版，他此前只在正式出版的書裡見過，而書裡的數學幾乎總是對的。排版太漂亮，讓他喪失了批判性，在證明裡犯了一堆低階錯誤。 現在的 LLM 就是同一個效應的放大版。它被設計成生成看起來正確的東西，生成正確的東西不在它的目標函式里。如果你不夠警惕，太容易被騙過去。 他區分了兩種情況。把 LLM 接上 Lean 這類形式化證明檢驗器，是完全不同的操作模式，因為檢驗器會機械地判定證明對不對，那裡沒有"看起來像"的餘地。但他擔心的是普通人坐下來直接問聊天機器人要一個數學論證，那是危險的錯誤來源。 萊克斯提供了一個不同視角。他說跟 LLM 協作是一項真本事：你得把能提供的所有資訊，從自己的工作到自己的思考方式，全部喂進去。它的價值不在於給答案，在於給啟發，在於它知道的東西比你多，能在不同領域之間搭橋。代價是必須極度耐心，因為它經常蠢得讓人抓狂。忍過去，可能有一兩個漂亮的洞見。 漢姆金斯接受了這個說法，還補了一句自嘲：數學的訓練資料裡，MathOverflow 的答案肯定在裡面。所以某種意義上他是在跟自己說話。 這場對話到這裡出現了一個有意思的分歧，兩邊都沒說服對方，但都沒有把話說死。漢姆金斯的懷疑落在一個很具體的地方：語言模型學的是"關於數學的文字分佈"，而數學理解是另一回事。這兩者之間的距離，可能比現在很多人以為的要遠得多。萊克斯的經驗落在另一個地方：程式設計領域有海量高質量資料，那裡他已經看到了希望。 兩種經驗可能都對，因為他們看的是不同區域。數學證明的容錯率極低，一個符號錯了整個論證就廢了，而程式碼可以跑起來驗證。這個區別決定了 AI 在兩邊能走多遠。 ## 最漂亮的數學想法，是把計數這件事推過無窮 訪談最後，萊克斯問了兩個"最漂亮的想法"。 數學這邊，漢姆金斯的答案是**超限序數**。康托爾發明的"數過無窮之後接著數"的那套數系。 你數自然數，0、1、2、3，一直數下去，數不完。數完了之後還有一個數，叫 ω，然後是 ω+1、ω+2，永遠可以加一。加完了所有這些，得到 ω+ω，也就是第一個排在它們後面的數。然後是 ω·3、ω·4，這些的極限是 ω 的平方。ω 的平方是個複合極限序數，它自身是極限序數，同時又是極限序數的極限。 然後是 ω 的平方加一，加二，一直往後。它不會停。 漢姆金斯說，這個想法簡單、優雅，而且是後來所有超限遞迴構造的基礎。康託-本迪克松定理用了它，馮·諾依曼的累積層級用了它，哥德爾的可構造宇宙用了它，策梅洛用選擇公理證明良序定理也是超限遞迴。一個"數過無窮之後繼續數"的樸素念頭，撐起了整個現代集合論。 說到這裡得插一句，超現實數那套構造也是這個路子。康威從一個空集出發，讓"0"在第零天誕生，之後每一天把所有已有的數切成左右兩堆，在裂縫裡生出新的數。第 ω 天，所有實數同時落地，還順帶誕生了 ω 和 ε。這套東西的性質好得驚人，是個實閉域，能加能乘能開方，每個奇次多項式都有根。它缺的是最小上界性質，裡面也沒有收斂序列，所以基於極限的常規微積分方法在它上面走不通。漢姆金斯說它"本質上不連續"。 他還講了一件挺動人的事。他在紐約組織過一次會議，請了康威來演講。問答環節有人問了個相當冒犯的問題："你這輩子最大的失望是什麼？"漢姆金斯說他絕不可能在公開場合問這種問題。 康威很優雅地回答了。他說的失望不在超現實數這套東西本身，而在它**被接受的程度**。他本來期望它會成為整個數學和科學的基礎工具，因為它能統一序數，能支撐非標準分析，結構漂亮，證明優雅。它沒有獲得那個地位。 漢姆金斯補了一句解釋。超現實數研究的人其實不少，有幾千人。專家 Philip Ehrlich 跟他講過一個觀察：康威在這個問題上最大的敵人是他自己，因為康威的風格是把一切都當成遊戲。他把超現實數當一個玩具來玩，這大概讓很多人沒把它當回事。漢姆金斯的看法正相反，這東西極其嚴肅、極其有用、極其深刻。 ## 哲學這邊，還是那道縫 哲學這邊，他選的還是那個區分：真理與證明。 真理是關於世界的，關於事物本來的樣子，關於某種客觀實在。證明是關於我們對世界的理解，關於我們怎麼抵達我們所知道的東西。 專注證明，就是專注我們與客觀實在的互動。專注真理，就是專注撇開我們的認識之後，事情本身是什麼樣。他說這是他自己理解世界、理解邏輯與推理本質的一個核心方式。 這個區分的適用範圍遠遠超出數學。萊克斯在結尾補了一句：真理與證明之間的那道縫隙，裡面裝滿了迷人的謎團，在柏拉圖領域裡如此，在物理世界裡如此，在人的心理、社會、政治、地緣政治裡也是如此。每一門學問的旅程，都是發現過程與真理本身之間的那段距離。 訪談裡還有一段關於"物理實在和數學實在哪個更清楚"的討論，值得單獨記一下。漢姆金斯說，很多人覺得抽象物件的存在很可疑，想把數學存在還原成某種能物理觸控的東西，他覺得這個方向搞反了。他說我們對"物理存在"根本沒有一個像樣的說明。 他舉了個例子。假設我跟你詳細描述一臺蒸汽機車，工程結構、重量、齒輪連桿、每一處設計細節，全說完了。然後我問你：這臺機車"在物理世界中存在"是什麼意思，和"它只是一個想象中的蒸汽機車"有什麼區別？ 你能說什麼呢？你只能說"它存在於物理世界中"，可這句話只是把問題重複了一遍。它沒有回答問題。 物理學的進展讓這件事變得更神秘，而不是更清楚。牛頓時代的物體像檯球，後來發現由原子組成，原子又能拆成電子質子中子，這些又由夸克輕子組成，再往下是什麼不知道。而且這些東西的存在形式是機率雲裡的波函式。越往下挖，越說不清"存在"是什麼。 數學那邊是另一番景象。你問他空集是什麼，他能說清楚。你問他空集的單元素集是什麼，他也能說清楚。往深處走，理解只會越來越清晰，不會越來越模糊。 所以他給出的判斷是：數學實在我們是能理解的，物理實在我們只是**經歷過**。這兩件事不一樣。他說他整個人活在柏拉圖領域裡，對物理宇宙基本不理解，所以也沒什麼強觀點。 這段有個容易被忽略的補充。他並不是說物理世界不真實，他說的是我們對它的理解程度遠不如對數學的理解程度。你能騎腳踏車、能喝馬提尼、能過生日，你對物理世界有極其豐富的經驗，但經驗和對本質的理解是兩回事。 ## 結構主義：四是什麼不重要 這段討論引出了結構主義（structuralism），一個值得在這收一下的立場。 結構主義說的是：數學物件重要的是它在結構裡怎麼運作，它由什麼構成、它的本質是什麼，這些不重要。漢姆金斯管自己採取的態度叫"結構主義態度"：數學結構只看到同構為止（up to isomorphism）。 如果有一個數學結構，你用另一批個體做一個完全同構的複製品，這個複製品在數學上一樣好，任何數學問題都不會因為換成了複製品而有不同答案。 按這個立場，"數字四到底是什麼"這個問法本身就有問題。自然數結構裡有0、1、2、3、4，我完全可以讓桌上這瓶水來扮演四這個角色，得到的東西同構，數學上毫無損失。 所以四的本質是什麼，跟數學無關。有關的只有四在某個結構裡有什麼性質。 這套立場直接對上了一個著名的問題，弗雷格（Gottlob Frege）提出的"尤利烏斯·愷撒問題"。弗雷格想用康託-休謨原則作為數的理論的基礎，那個原則說兩個集合等數當且僅當能一一對應。可他發現這個原則只給出"兩個數相等的標準"，沒給出"什麼東西算一個數"的標準。按這個原則，你沒法判斷尤利烏斯·愷撒是不是一個數。 弗雷格大概覺得這個例子荒謬到不用回答，誰都看得出愷撒不是數。結構主義者的回答是：給我一個數系，如果愷撒不在裡面，我把17這個角色換成愷撒，現在愷撒就是17了。數學上沒有任何問題。 這個回答聽著像耍賴，其實很硬。它說的是：數學不關心物件的本體身份，只關心它在結構中的位置。這也解釋了為什麼現代集合論一般不帶"原子"（ur-elements）玩。帶原子的版本和純集合的版本，在結構上完全同構，按結構主義的眼光，原子是多餘的一層裝飾，去掉之後理論更乾淨。 ## 一百年後還會有動亂嗎 萊克斯問了個很大的問題：一千年後，數學還會不會有像20世紀初那樣的動亂。 漢姆金斯的回答分成兩邊。他說自己一隻腳在數學，一隻腳在哲學，這兩門學科對"進步"的態度差別巨大。 數學有巨大的進步。我們對數學思想的理解一直在變好，知識在增長。我們現在對無窮的理解，肯定比一百年前好；一百年前的理解，又比之前幾千年好。好到什麼程度？好到原來的問題已經不是問題了，整個領域往前推移到了更難、更有意思的地方。 哲學那邊，進步也有一些，但同時還有一批幾千年都沒解決的問題。以至於很多哲學家認為，哲學的主要貢獻在於**提出問題**，而不在於回答，因為這些問題的答案看起來是沒指望的。 他說他沒理由認為數學的進步會停下來。一千年後的人做的數學，他大概完全看不懂。他甚至不用等一千年，把古代的人拉到今天，可能都聽不懂我們現在聊的某些問題。但他覺得如果阿基米德能跟他溝通，他有辦法把現在數學裡的一部分東西講給阿基米德聽。 這個判斷挺樂觀的，而且不是空話。它背後是那個"簡單清晰的論證"的偏好：如果數學最終能沉澱成一串能被徹底想明白的簡單論證，那麼它就具備某種跨時代的可傳達性。複雜到無法傳達的數學，可能也複雜到無法驗證。 ## 給想認真讀點數學的人 這場對話資訊密度極高，如果只帶走一堆定理名字，價值不大。有幾個東西可以遷移到別的領域去用。 - **碰到"整體等於部分"覺得荒謬時，先問是哪個定義在起作用。**歐幾里得原則和康託-休謨原則在有限世界裡重合，在無窮世界裡分裂。很多爭論僵住，是因為雙方用的定義不同，而沒人把這個說出來。 - **學一個證明，先看它的形狀，再看它的內容。**對角線論證的具體物件是實數，它的形狀能用來說冪集、說停機、說不可證。看懂形狀，一個證明就變成一類方法。 - **把抽象命題翻譯成有身體經驗的具體場景。**漢姆金斯讓所有人互相發一美元來證那道題。翻譯的目的在於呼叫你已經付過學費的那部分直覺，簡化不是重點。 - **遇到結論獨立於公理系統，先別急著說問錯了。**獨立意味著你摸到了一條真實的斷層線。下一步該弄清斷層兩側各是什麼世界。 - **對"看起來對"的東西要額外警惕。**排版精美的作業、行文流暢的模型輸出、結構工整的論證，形式上的完備感會麻痺判斷力。漢姆金斯本科時栽的那個跟頭，現在每天都在更大規模上重演。 - **挑那些你能在腦子裡一次走完的問題。**這是一種質量控制策略，並非能力不足的妥協。走不完的論證，你看不出它錯在哪。 - **數學不必是孤獨的。**漢姆金斯有近一百個合作者，大量論文長自公開論壇的對話。懷爾斯那種七年閉門是一種路，把想法不斷丟擲去聽迴響是另一條，沒有哪條更高階。 - **讀原典時留意"真"和"可證"這兩個詞是不是被混用了。**這個區分看著瑣碎，20世紀初一批一流數學家在這裡含糊了幾十年。你在任何一篇論證裡看到"證明了就說明它是真的"，那裡就有一個坑。 - **AI 能給你的數學論證，預設當草稿看。**它最佳化的是"讀起來像證明"，驗證得靠你自己或者 Lean 那類形式化工具。省下來的時間不要花在相信它上。 最後留一個畫面。康托爾在19世紀末證明實數不可數的那一天，大概不會預見到一百多年後，這個證明的形狀會出現在圖靈機的論證裡、在哥德爾句的構造裡、在一個叫無限象棋的怪東西的博弈值裡。 一個想不通的問題，可以弄垮一個人的後半生。同一個問題，也能撐起一整座學科的地基。