無窮、哥德爾與集合論的多重宇宙

Lex 鋪陳「有些無窮比其他無窮更大」這個發現怎麼引爆神學爭議、跟數學家克羅內克的公開衝突，還有康托爾自己的精神崩潰，問 Hamkins 怎麼看這段歷史。

亞里斯多德只承認「潛在」的無窮、否定「實際」的無窮；伽利略發現完全平方數能跟所有自然數一一對應，卻同時違背「整體大於部分」的直覺，自己也被搞糊塗了。

用一家客滿的無限房間旅館示範：加一位客人、加一輛無限座位的巴士、甚至加無限輛巴士的客人，旅館還是能全部塞下、還是「客滿」——可數無窮不會因為加東西進去而變大。

有理數雖然任兩個之間都能再插一個，看起來比自然數稠密，但一樣能用「分子分母」的技巧排成一列，所以還是可數；這個技巧對實數行不通，埋下康托爾要證明實數是不同種類無窮的伏筆。

Hamkins 示範康托爾怎麼假設實數能排成一張列表，再刻意構造一個跟列表上每個數字都在某一位不一樣的新數字 z，證明這張列表永遠不完整，實數因此是更大的無窮。

羅素悖論等一連串矛盾逼數學家把「集合」本身公理化，策梅洛在 1904 到 1908 年間整理出後來稱為 ZFC 的公理系統，把集合論拱上「所有數學共同地基」的位置。

如果每雙鞋都能靠「永遠拿左腳那隻」這種規則選，就不需要選擇公理；但面對無限雙一模一樣的襪子，沒有規則可循，選擇公理保證「總是選得出來」，即使說不出是怎麼選的。

用「委員會一定比人多」「水果沙拉一定比水果種類多」這兩個故事，重講一次「任何集合的冪集都比它本身大」，跟羅素悖論、對角論證是同一套邏輯的不同外衣。

弗雷格窮盡心血想把整個數學化約成邏輯，書都要付印了，羅素寫信指出他的公理會推出矛盾；弗雷格在書的附錄裡寫下坦然接受的回應，那本書後來成了邏輯主義破產的紀念碑。

希爾伯特不想放棄集合論帶來的好處，提出兩個目標：蓋一套「強到能回答所有數學問題」的理論，同時用純粹有限的方法證明這套理論絕對不會推出矛盾。

第一不完備定理說任何夠強的公理系統一定有它證不出來的真命題，第二不完備定理說這套系統連自己不會矛盾這件事都證明不了——希爾伯特的兩個目標同時落空。

Hamkins 借塔斯基的「去引號」理論說明：「雪是白的」這句話為真，就只是因為雪真的是白的——真涉及的是事實本身，證明涉及的是我們怎麼一步步推理到那個事實。

一套公理系統的證明能不能被電腦列舉出來，跟能不能被電腦判定，是兩件不同的事；這個落差最終等價於圖靈提出的停機問題：給一支程式，能不能判定它最後會不會停下來。

Hamkins 現場推導：假設有支程式能回答任何程式會不會停，就能造出一支程式 Q，讓 Q 對自己的行為剛好跟這個假設矛盾；這個構造直接就能拿來重新證明哥德爾定理。

聊到他寫的證明教學書，用「你指的人比指你的人多」這個看似矛盾的命題示範一種證明風格：把數學物件想像成會欠錢、會賺錢的人，靠「不可能全體同時賺錢」這個生活常識推出矛盾。

Hamkins 說自己完全活在柏拉圖的世界，還反過來質疑：我們對「物理上存在」到底有沒有一個說得清楚的定義？他認為抽象物件的存在反而比物理物件更容易講清楚。

結構主義主張數學物件本身是什麼不重要，重要的是它在系統裡怎麼運作；弗雷格曾經問「凱撒是不是一個數字」，結構主義的回答是這個問題本身沒有意義，因為它問的是本質而不是結構。

Hamkins 說數學對無窮的理解持續在進步，一百年前的人懂得比現在少很多；哲學卻常常幾千年都在問同一批問題，他認為這正是兩個學科最大的文化差異。

Hamkins 在這個數學版的 Stack Overflow 上累積超過 24 萬 6 千點聲望，全站排名第一；他說自己剛加入時邏輯類的問題很少人答，靠回答不熟的領域反而學到最多。

證明實數比自然數的無窮更大之後，自然會問「中間還有沒有別的無窮」；康托爾一路證明開集、閉集都沒有中間值，想靠這個方法一路往上推，但終究沒能完成。

連續統假設被希爾伯特列為二十世紀 23 個問題的第一號；Hamkins 認為這反映集合論當時被視為統一數學各分支（代數、分析、拓樸）證明方法的共同地基，地位有多關鍵。

哥德爾 1938 年造出「可建構全域」，證明連續統假設不能被證明是假的；寇恩 1963 年發明力迫法，反過來證明它也不能被證明是真的——兩個結果合起來，連續統假設就這樣懸在半空中。

集合論裡幾千個問題都跟連續統假設一樣獨立於 ZFC；Hamkins 說如果你相信只有一個「真正的」集合論宇宙，獨立就代表理論太弱，但他自己的立場正好相反。

Hamkins 舉微積分早年靠不嚴謹的無窮小也做出真正的數學進展為例，說明哲學立場不會改變數學對錯，卻會決定接下來想問什麼問題；他自己的多重宇宙立場，催生出反向研究力迫法的「集合論地質學」。

康威發明的超現實數只靠一條規則生成：每一階段把已有的數分成左右兩堆，左堆都小於右堆，就在中間生出一個新數字；從空集合先生出 0，再生出 1 和負 1，一路生到全部實數與無窮大的序數。

生命遊戲裡某個格子最後會不會活過來，等價於停機問題、一樣不可判定；但 Hamkins 證明隨機生成一支圖靈機程式，幾乎必然會因為讀寫頭掉出紙帶而停下來，統計上等於解掉了幾乎所有情況，順帶談到 P 對 NP 問題。

Hamkins 說如果硬要選會選阿基米德，但他更在意簡單優雅的證明本身，而不是誰先做到；他也談到自己解題全靠好奇心亂玩，把數學物件擬人化成有意志的角色來幫助思考。

懷爾斯獨自關七年解出費馬最後定理，跟 Hamkins 自己近百位合作者的社交風格完全相反；佩雷爾曼解出龐加萊猜想後拒絕費爾茲獎與百萬美元獎金，Hamkins 認為這正說明頂尖的人是為了這件事本身而做，不是為了獎。

在沒有邊界的棋盤上，可以擺出白方保證獲勝、但黑方能決定要拖多久才輸的局面；Hamkins 跟西洋棋大師 Corey Evans 合作，把這種局面能拖多久的上限一路推進到 omega 的四次方步。

Hamkins 說目前 AI 對他的數學研究幫助幾乎是零，因為語言模型的訓練目標是寫出「聽起來像證明」的文字，不是寫出「真的是證明」的論證，這正是他覺得危險的地方。

康托爾發明的超限序數讓「數過自然數之後還能繼續數」這件事成立，從 omega 一路數到 omega 平方、omega 的各種次方，構成後面幾乎所有超限遞迴證明的基礎。

Hamkins 說自己最喜歡的哲學想法就是真與證明的區分：真談的是客觀事實本身，證明談的是人怎麼一步步認識到那個事實，這個落差本身就是無窮的謎團。