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

誰在挑戰(zhàn)兩千年的數(shù)學(xué)共識

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

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

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

沒有無窮，微積分還能運轉(zhuǎn)嗎

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

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

刪除無窮會損失什么？蔡爾伯格的回應(yīng)毫不留情：那些"根本不值得做"的數(shù)學(xué)。

數(shù)學(xué)界的激烈反彈

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

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

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

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

問題懸在那里，像是對整個數(shù)學(xué)抽象傳統(tǒng)的質(zhì)問。

這場爭論的真正 stakes

蔡爾伯格的挑戰(zhàn)觸及一個深層張力：數(shù)學(xué)究竟是發(fā)現(xiàn)還是發(fā)明？是描述一個獨立于人類的抽象王國，還是一套受限于人類認知與計算能力的符號系統(tǒng)？

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

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