數學家為何要把無窮扔進垃圾桶

一位數學家正在刪除數學的根基。他聲稱無窮是"完全胡說"，就像信仰上帝一樣——誘人但不可觀測。更激進的是，他認為連那些大到寫不出來的數字也該被懷疑。

誰在挑戰兩千年的數學共識

多隆·蔡爾伯格（Doron Zeilberger）是羅格斯大學的長期教授，組合數學領域的知名人物。他看待窗外世界的方式與常人不同：別人看到連續流動的現實，他看到的是一臺離散的機器，像翻頁動畫那樣一格一格跳動。

蔡爾伯格將信仰無窮比作信仰上帝。"它迎合我們的直覺，幫我們理解各種現象，"他說，聲音沙啞，仿佛已經厭倦了重復這個觀點，"但問題是，我們無法真正觀測無窮，所以無法真正說它是什么。"

在他看來，黑板上延伸向遠方的線條、證明中那些暗示性的省略號，都是"非常丑陋"且虛假的。無窮可以被 scrubbed out（徹底清除）——"你真的不需要它。"

沒有無窮，微積分還能運轉嗎

蔡爾伯格的答案是肯定的。數學家可以構造一種完全剔除無窮小極限的微積分形式。曲線看起來光滑，實則隱藏著細粒度的粗糙；計算機用有限位數處理數學，運轉良好。

他甚至給自己的電腦取了名字——"Shalosh B. Ekhad"——并將其列為論文合作者。這臺機器代表著一種務實精神：能算出來的才算數。

刪除無窮會損失什么？蔡爾伯格的回應毫不留情：那些"根本不值得做"的數學。

數學界的激烈反彈

絕大多數數學家持完全相反的立場。對他們來說，無窮不僅有用、自然，更是數學的核心根基。

將數集（如整數）視為實際的無窮對象，這一做法嵌入在最基本的規則和假設之中。即便數學家不愿把無窮當作實體來思考，他們也承認序列、形狀等數學對象具有無限增長的潛力。兩條平行線理論上可以永遠延伸；數線末端總能再添一個數字。

蔡爾伯格拒絕這種"原則上可能"的思維方式。他看重的是實際可行性。這意味著，不僅無窮本身可疑，連極大的數字也在懷疑之列。

他舉了"斯奎斯數"（Skewes' number）的例子：$e^{e^{e^{79}}}$。這是一個大到沒人能用十進制寫出來的數字。我們真的能對它說什么嗎？它是整數嗎？是質數嗎？自然界中存在這樣的數字嗎？我們能把它寫下來嗎？

問題懸在那里，像是對整個數學抽象傳統的質問。

這場爭論的真正 stakes

蔡爾伯格的挑戰觸及一個深層張力：數學究竟是發現還是發明？是描述一個獨立于人類的抽象王國，還是一套受限于人類認知與計算能力的符號系統？

他的立場極端，但并非無的放矢。計算機科學的發展讓"可計算性"成為核心議題；物理學中，量子引力理論也在探索時空是否本質離散。蔡爾伯格的"有限主義"像是一面鏡子，照出數學基礎中那些通常被默認接受的假設。

判斷這件事的重要性：它迫使我們追問——當一種數學既不可計算又不可觀測時，它是在拓展理解的邊界，還是在建造空中樓閣？蔡爾伯格的電腦合作者或許是個玩笑，但它象征的務實轉向，正在從多個方向重塑數學與現實的連接方式。