康托爾：比無窮更大

一、無窮有多大

數到一百萬，還能再加一。再數下去，還是能再加一。

我們通常這樣理解無窮：前面永遠有路。因此，“兩個無窮哪個更大”聽起來像一句說錯了的話。既然都走不到頭，還能怎樣比較？

康托爾把問題換了一種問法。先別管走不走得到頭。如果兩邊的東西能夠一個不漏地配成對，它們是不是就一樣多？

這個問法沒有聲勢，甚至有點像分椅子。可是，十九世紀的數學會從這裡走進一片新地方。無窮不再只是手指向遠方的動作，它開始有可以辨認的形狀。

1874年，康托爾發表了實數不可數的結果。1891年，他又給出了著名的對角線論證。兩個年份之間，還有許多嘗試、通信與修改，不是一聲驚雷以後，世界才開始思考無窮。

先跟他算一小段。不要急著把這一生讀成“天才因看見太多而發瘋”的寓言。數學需要證明，一個生病的人則需要照顧。這兩件事不該互相冒充。

二、一把椅子配一個人

假設屋裡的人和椅子都很多。你不必先數出總數：讓每個人坐下一把椅子，沒有人站著，也沒有空椅子，兩邊就一樣多。這是一一對應的直覺。

把自然數1、2、3、4依次配給偶數2、4、6、8。每一個自然數都有夥伴，每一個正偶數也會被配到。規則可以一直用下去，不會在哪一步突然失效。

偶數確實只是自然數的一部分。可是，在“能否一一配對”這個意義上，它們一樣多。有限集合裡管用的直覺——拿走一些就必定變少——到了這裡需要重新檢查。

分數更像一片擠滿人的廣場。任意兩個不同的有理數之間，還能放進別的有理數。這樣密，怎麼排得成一條隊？

把正分數按分子、分母排進格子，沿斜線一層層走，遇到1/2與2/4這樣的重複就跳過。再加入零和負數，每個有理數最終都能輪到。這裡的斜線是編排辦法，別和後面用來證明無法列全的對角線混在一起。

這種大小叫ℵ₀，讀作阿列夫零。自然數、正偶數、有理數，都能進入這支可數無窮的隊伍。你開始有理由懷疑：也許無窮只有一種大小。接下來的一步，才真正出人意料。

三、隊伍外面那一個

設想有人遞給你一份名單，說0與1之間的實數已經全在上面。第一行一個小數，第二行一個小數，一直往下，每行都有自己的自然數編號。

你不必讀完整份名單。沿對角線看：第一行第一位，第二行第二位，第三行第三位。每一行只取出一個位置，作為你要改變的地方。

我們只用1和2來寫新數。如果看到的那一位是1，就寫2；不是1，就寫1。這樣寫出的新小數，第一位與第一行不同，第二位與第二行不同，第n位與第n行不同。

只用1和2，還避開了小數表示的小陷阱：0.4999…與0.5000…其實相等。不能僅僅讓紙上的數字看起來不同，卻不小心寫出同一個數。

現在問：新數在哪一行？放在第一行不行，第一位不對；放在第二行也不行，第二位不對。不管你指哪一行，總有一個已經安排好的差別等在那裡。

它仍是0與1之間的實數，卻沒有出現在名單中。“已經列全”這句話破了。不是名單還不夠長：任何按自然數編號的名單，都可以這樣找出漏掉的數。

這是1891年論證的一種現代小數說明，不是原論文逐字照搬。1874年的證明走的是另一條路。真正重要的不是哪一種寫法最漂亮，而是從“我們暫時沒列出來”走到了“這種列法不可能列全”。

圖靈後來使用的反向構造，與這裡有家族相似性。但停機問題不只是再寫出一個遺漏的小數；那裡要構造程式，讓一個假定萬能的判定程式與自己的結果衝突。工具會遷移，問題仍各有邊界。

四、樓梯怎麼長出來

自然數的大小是ℵ₀，實數的大小通常記作c。c更大。那它會不會就是最後一個無窮？

康托爾給出了一個可以反覆使用的辦法：從一個集合出發，考慮它所有子集組成的集合，叫作冪集。比如兩個人的小組，可以選誰都不選、只選甲、只選乙、兩人都選，共四種。

對任何集合，冪集都比原集合大。證明也帶著剛才的轉身：假設每個元素都已經領到一個子集，就收集那些“不屬於自己領到的子集”的元素。這個新子集不可能恰好是其中任何一個人的配額。

於是，只要你遞來一個集合，就還有更大的。這裡沒有最大的集合大小，可以讓樓梯在某一級正式封頂。

但符號也會使人產生錯覺。ℵ₀、ℵ₁、ℵ₂依次表示越來越大的無限基數；取一次冪集，卻不一定正好走到緊鄰的下一級。把這兩種往上走的方法畫成同一列臺階，會把一個尚待回答的問題偷偷畫成答案。

無窮因此變得更精確，並不是變得什麼都懂了。康托爾給我們的，不是掌握一切的最高位置，而是到了一個位置以後，還能認真問下一步在哪裡的辦法。

五、兩級之間

ℵ₁是比ℵ₀大的最小無限基數。實數的大小c，會不會剛好等於ℵ₁？也就是說，在可數無窮與連續統之間，還有沒有別的大小？

這就是連續統假設。康托爾長年嘗試解決它，沒有成功。可以想像一頁頁計算重來的疲憊，卻不能從一個難題直接寫出一份精神疾病的病因報告。

1900年，希爾伯特把這個問題列在著名問題清單的首位。它沒有隨著康托爾的失敗消失。後來接手的人，連“怎樣才算回答”也一起改了。

哥德爾在1938年得到相對相容性結果，1940年發表專著；科恩在1963年完成另一方向。合起來說：如果通常使用的集合論公理系統ZFC是一致的，那麼它既不能證明連續統假設，也不能證明其否定。

“在ZFC內”不能省略。這不是宣佈任何可能的數學都永遠不能討論答案。加入新的公理、研究不同模型，正是後來的工作；它們也需要理由，不能為了喜歡某個結論就隨手選定。

有時候，沒找到答案是因為人還不夠熟練；有時候，是現有規則沒有決定答案。把這兩種情形分開，本身就是一種進展。未完成不總是個人失敗，更不必成為羞辱人的憑據。

六、通信桌的兩邊

克羅內克是康托爾的重要反對者。他對哪些對象、哪些論證可以進入數學，有嚴格得多的要求。這是實質性的學術衝突，也伴隨著令人受傷的權力關係。

不過，不能把康托爾一生寫成一位惡人把門、其餘所有人都拒絕他的故事。魏爾斯特拉斯等人曾支持他，他在哈勒工作多年，參與建立數學共同體。批評、支持、職業受挫與疾病交錯，不歸一個原因管。

還有德德金。1873年的通信不是天才給聽眾發佈成果，而是兩個數學家交換問題、證明與改進。紙頁從一個人的桌上出發，到另一個人的桌上，思路才繼續往前。

這裡有一筆不能因為敬佩而抹去的署名帳。德德金留下記錄，指出自己的證明及改進進入了康托爾1874年的論文，公開發表時卻沒有得到應有承認。康托爾的數學貢獻和這筆欠帳，可以同時成立。

2026年《Quanta》的報道又把一封長期被認為失佚的信帶回公眾視野：德米安·古斯在2025年於哈勒查見的1873年11月30日信，其中包括德德金關於代數數可數性的證明。應把新近報道、保存的信件與對動機的推測分開。

這不是“原來一切都是偷來的”的反轉劇。實數不可數與超窮數研究的貢獻仍需逐項判斷；德德金也不應只是用來給康托爾增加人物複雜度的配角。他的名字應在他做過的工作旁邊。

受過不公的人，也可能沒有公正地對待另一個人。這值得直說，但它不是某種傷害守恆定律：受傷不會必然使人傷人，更不能替後來造成的傷害免責。

理解一個人，比替他辯護到底難一些。你要保留他的工作、他受的痛，也保留那個沒有得到署名的人。

七、三種不同的邊界

康托爾、哥德爾、圖靈，放在一起很有誘惑力。三個人都讓一種“應該可以全部完成”的願望遇到了嚴格的限制。

康托爾證明實數無法用自然數列全；哥德爾研究足夠表達算術、可有效列舉公理的形式系統；圖靈追問能否用一個通用演算法判定所有相關實例。他們不是把同一個定理說了三遍。

對角構造、自我指涉與編碼，把這些工作連成重要的思想線索。但名單、證明系統和程式不是同一種對象，連續統假設的獨立性也不等於停機問題的一個換皮例子。

我們可以從中讀出一種謙遜：工具很有力量，也值得問它適用於哪裡。這是哲學上的閱讀，不是說數學已經替所有哲學主張開具了證明。

尤其不能把三個人的疾病、迫害與死亡，寫成“看見邊界的人注定被邊界壓碎”。圖靈遭受國家迫害，康托爾經歷反覆疾病；他們的生活不是定理附帶的寓言。

證明有局限，並不妨礙生活需要朋友、工作、休息和照料。把一個人的痛苦當成思想深刻的證書，是我們在紀念他時還可以避免的一種傷害。

八、沒有頂，不等於沒有路

現在可以回到那座樓梯。你站在哪一級，都能問是否還有更大的集合；答案不會因為站得夠高就變成沒有。

這容易讓人想到別的宏大思想：柏拉圖的善、黑格爾的體系。但那是比較的起點，不是比較已經結束。基數定理不會直接證明理念論錯誤，也不會替我們判定歷史是否有終點。

康托爾本人還有強烈的宗教關切，並把數學中的超窮與神學意義上的絕對無窮區分開。把他寫成宣佈所有終極問題一律取消的人，也會錯過他自己的聲音。

更貼近他工作的比喻，也許不是“終於證明什麼都不可能”，而是發現尺子可以造得更好，問題可以問得更清楚。可數、不可數、冪集，各給了下一步一個落腳處。

人不必先擁有全部，才有資格做眼前這一段。讀者也不必懂完集合論，才看得見這裡發生的轉變：一句含混的“永遠”，被拆成了可以爭論、校正和接著工作的事情。

樓梯沒有頂，和你今天不能上一級，是兩句話。康托爾的工作留下了前一句，並沒有要求我們接受後一句。

九、把筆放下來一會兒

1918年1月6日，康托爾在哈勒的精神病院去世，七十二歲。他晚年反覆住院，戰爭也使生活更艱難。最後的日子應當被記住，不必再添上“無窮終於奪走他的理智”的旁白。

希爾伯特關於康托爾所創造的天堂的名言，出現在他身後。它說的是數學的開闊，不是證明創造它的人曾經生活在天堂裡。學科的勝利不會倒流回去，使一個病人免於孤獨。

在這個系列想像的橋頭，康托爾仍然抬頭看。他手裡的筆在空中劃過，寫下ℵ₀、ℵ₁，後面還有地方。

這一次，我們不必替他畫一雙“有點瘋”的眼睛。他也可以只是一個想把事情講清楚、說到興頭上的人。

契訶夫走近一點。休謨把雙陸棋收好。圖靈拿著一張寫有符號的紙，沒有人催他把故事變成結論。

康托爾可以接著說，也可以停一下。有人願意聽，不是因為他一定還能證明一條驚人的定理。

那些臺階不會因他休息而消失。一個人也不必把自己耗盡，才配得上自己開出的路。

上面還有。這裡，也可以有一把椅子。