一位数学家想删除无穷大，他说我们不需要它

多隆·蔡尔伯格（Doron Zeilberger）望向窗外时，看到的不是连续流动的世界，而是一本翻页动画书。别人眼中平滑运动的现实，在他眼里是一格一格跳动的离散画面。这位罗格斯大学的组合数学名家相信：万物有尽，自然有边界，数字也一样。

对蔡尔伯格来说，相信无穷大就像相信上帝——一个诱人的想法，能帮我们理解各种现象， flattering 我们的直觉，但问题在于我们永远无法真正观测到它。黑板上那些无限延伸的直线，证明里那些意味深长的省略号，在他口中变成了"非常丑陋"的东西，甚至是"彻头彻尾的胡说"。

他的核心主张是实用主义的：无穷大可以被 scrub out，"你真的不需要它"。数学家完全能构造一种不依赖无穷大的微积分，把无穷小极限彻底踢出局。曲线看似光滑，实则藏着细粒度的粗糙；计算机用有限位数处理数学，运转自如。蔡尔伯格甚至把自己的电脑"Shalosh B. Ekhad"列为论文合作者——这台机器从不幻想无穷。

删掉无穷大，损失的是什么？"根本不值得做的数学"，他这样概括。

但主流数学界几乎全体反对。无穷大不仅实用、自然，更是数学根基的核心——把整数集等视为真实的无穷对象，这是嵌入最基本规则与假设中的操作。即便不把无穷大当作实体，数学家也承认序列、形状等对象有无限增长的潜力：平行线理论上可以永远延伸，数线末端总能再加一个数。

蔡尔伯格的反驳直击要害：重要的不是"原则上可能"，而是"实际可行"。这不仅让无穷大成疑，连极大的数字也被拖下水。他举了"Skewes' number"的例子：e^(e^(e^79))，一个大到没人能写出其十进制形式的数。我们真能对它说什么吗？它是整数吗？是质数吗？自然界存在这样的数吗？人类能写下它吗？

这些问题悬在半空。蔡尔伯格的激进立场把数学从云端拉回地面——不是问"能想象什么"，而是问"能做什么"。

这场争论的本质，是两种数学观的碰撞：一方追求概念上的完备与优雅，哪怕永不可及；另一方坚持可计算、可验证、可触摸的边界。蔡尔伯格不是第一个质疑无穷的人，但他可能是喊得最大声的当代数学家之一。

他的电脑合作者 Shalosh B. Ekhad 已经发表了数十篇论文。机器不懂无穷，只懂有限步的运算——而这，或许正是蔡尔伯格想让我们重新看见的数学本色。