數學史新章

Cantor 與 Dedekind

Howlett, J. (2026) The man who stole infinity. Quanta, Feb 25, 2026.

這是很少數的「文摘」而非「書摘」。文章是投稿 Quanta 的一篇數學史科普, 內容是 Cantor(康托)於 1874 年發表在 Journal for Pure and Applied Mathematics 的劃時代論文:

On a Property of the Collection of All Real Algebraic Numbers
的一段秘辛。這篇文章證明了代數數可以跟正整數一一對應, 但偷渡了另一個真正偉大的定理:實數比正整數多。(論文標題原是德文)

大一的三門數學本科課程 — 微積分、線性代數、集合論 — 當中,最讓我著迷的是集合論(蔡炎盛老師),而其中最最吸引我的就是 Cantor 的 Aleph null ( Aleph Null. PNG made by Maksim, SVG made by Amada44 ): 最小的無窮大,也就是正整數的數量。 那種著迷的感覺,也許就像很多小孩著迷於恐龍似的。 在數學的文化脈絡中,這是 Cantor 帶給我們的思想啟蒙;但就如一切的數學史, 事情從來都沒有那麼單純。所有重要問題都具時代性,問題意識就好像空氣瀰漫在社會間, 總有幾個人同時思考著那個問題。 我因此有個信念:偉大的思想進步從來不是某人單獨完成的。數學史(相對於數學文化) 就是挖掘這些細節而建立正確事實之全貌的學科。 本文摘介的文章,為此一迷人的集合論篇章,補充了一則史實。

文章標題太誇張了,Cantor 沒有「偷」啦。 他確實有一點對不起 Dedekind(戴德金), 但考量他所爭取的千古功名,那樣做似乎是可以理解的。 而且,經過 Demian Goos 的解釋,彷彿還是要佩服 Cantor 顧全大局的謀略。 以 Dedekind 生氣三年之後恢復跟 Cantor 通信來看,在某種程度上 Dedekind 原諒了 Cantor,我們似乎也不必太激動,只需在數學敘事帶上一筆, 讓故事更接近事實就可以了。

文章的關鍵是找到了 Dedekind (1831–1916) 寫給 Cantor (1845–1918) 的信, 信中解釋了代數數跟正整數之間的對應。Cantor 發表的文章其實用了 Dedekind 的證明,卻沒有透露合作的訊息;Dedekind 尚未投稿他的發現, 後來也不曾發表,所以 Cantor 獨佔完全的功勞。 但是,代數數的性質只是那篇文章的誘餌,Cantor 真正想發表的是夾帶著的一個看似「順便提到」的「小結果」: 實數不能被編序。後者看來是 Cantor 的原創,只是他發表的論文採用了跟 Dedekind 討論後所做的優化。

為什麼 Cantor 要「偷渡」那個偉大的思想?因為當時數學界的大老是 Kronecker (1823–1891),他就是發表「上帝創造自然數,其他都是人為造作」 名言的那位數學家;他堅持「無窮」只是一種修辭,並不存在「實際的無窮」, 而且他堅持建構式的數學證明,反對以歸謬為基礎的存在性論述。 因為信仰上的差異,Kronecker 已經公開嫌惡 Dedekind。 所以未滿 30 歲的 Cantor 知道,那篇文章如果掛著 Dedekind 共同作者, 而且張揚討論「實際的無窮」,肯定發表無望。 所以 — 根據 Demian Goos 的詮釋 — Cantor 隱藏了論文的真正意圖,而且犧牲了 Dedekind。

這個故事,不由得讓我想到牛頓當年被虎克嫌惡,導致牛頓隱藏微積分與重力論的故事。 或許 Dedekind 本來就比較謹慎,再加上被 Kronecker 嫌惡,所以一生發表很少。 幸好他有一位私淑的追隨者:Emmy Noether(埃米·諾特,1882–1935), 她常常謙遜地說「一切源自 Dedekind」。她後來蒐集整理了 Dedekind 全集, 包括發現到 Cantor 可能愧對 Dedekind 的這一段往事。 目前,我們從未見過 Dedekind 本人說起或寫過這件事的紀錄。

Journal for Pure and Applied Mathematics 是持續發行的最老的數學期刊,創刊於 1826 年。 文章裡將它稱為 Crelle, 其實是 Crelle's Journal 的更簡化名稱, 因為 Crelle 是期刊的創辦人,也是 1826–55 年間的主編。 當 Cantor 投稿的時候,它的主編是 Borchardt,當時人們稱它為 Borchardt's Journal。 後來 Kronecker 從 1881 年起擔任主編直到去世。

Cantor 比 Dedekind 小 13 歲。他們在 1872 年相遇於瑞士格爾紹 (Gersau), 在湖邊步道邊走邊聊「實際的無窮」。

[ 回上層 ]


Created: Feb 28, 2026
Last Revised:
© Copyright 2026 Wei-Chang Shann 單維彰     [Home Page]
shann@math.ncu.edu.tw