多隆·蔡尔伯格(Doron Zeilberger)望向窗外时,看到的不是连续流动的世界,而是一本翻页动画书。别人眼中平滑运动的现实,在他眼里是一格一格跳动的离散画面。这位罗格斯大学的组合数学名家相信:万物有尽,自然有边界,数字也一样。
对蔡尔伯格来说,相信无穷大就像相信上帝——一个诱人的想法,能帮我们理解各种现象, flattering 我们的直觉,但问题在于我们永远无法真正观测到它。黑板上那些无限延伸的直线,证明里那些意味深长的省略号,在他口中变成了"非常丑陋"的东西,甚至是"彻头彻尾的胡说"。
![]()
他的核心主张是实用主义的:无穷大可以被 scrub out,"你真的不需要它"。数学家完全能构造一种不依赖无穷大的微积分,把无穷小极限彻底踢出局。曲线看似光滑,实则藏着细粒度的粗糙;计算机用有限位数处理数学,运转自如。蔡尔伯格甚至把自己的电脑"Shalosh B. Ekhad"列为论文合作者——这台机器从不幻想无穷。
删掉无穷大,损失的是什么?"根本不值得做的数学",他这样概括。
但主流数学界几乎全体反对。无穷大不仅实用、自然,更是数学根基的核心——把整数集等视为真实的无穷对象,这是嵌入最基本规则与假设中的操作。即便不把无穷大当作实体,数学家也承认序列、形状等对象有无限增长的潜力:平行线理论上可以永远延伸,数线末端总能再加一个数。
蔡尔伯格的反驳直击要害:重要的不是"原则上可能",而是"实际可行"。这不仅让无穷大成疑,连极大的数字也被拖下水。他举了"Skewes' number"的例子:e^(e^(e^79)),一个大到没人能写出其十进制形式的数。我们真能对它说什么吗?它是整数吗?是质数吗?自然界存在这样的数吗?人类能写下它吗?
这些问题悬在半空。蔡尔伯格的激进立场把数学从云端拉回地面——不是问"能想象什么",而是问"能做什么"。
这场争论的本质,是两种数学观的碰撞:一方追求概念上的完备与优雅,哪怕永不可及;另一方坚持可计算、可验证、可触摸的边界。蔡尔伯格不是第一个质疑无穷的人,但他可能是喊得最大声的当代数学家之一。
他的电脑合作者 Shalosh B. Ekhad 已经发表了数十篇论文。机器不懂无穷,只懂有限步的运算——而这,或许正是蔡尔伯格想让我们重新看见的数学本色。
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.