在大多数人的认知中，“无限”几乎是数学最理所当然的概念之一：数字可以一直往下数，直线可以无限延伸，时间似乎也没有尽头。但一部分数学家却提出了一个听起来近乎“离经叛道”的想法——也许，无限根本不该存在于数学之中。
这种观点被称为“超有限主义”（ultrafinitism），它不仅质疑无限的存在，还进一步挑战那些“过于巨大”的数字。支持这一观点的数学家认为，我们从未真正接触过无限，也无法在现实中构造或验证它，因此在数学中依赖无限，可能是一种未经审视的假设。
在他们看来，数学应该建立在“可实现”的基础上，而不是建立在“理论上可以无限延伸”的概念上。比如，一个极其巨大的数字，如果人类永远无法完整写出它、验证它、甚至理解它的性质，那么它是否真的“存在”？这一问题看似哲学，但却直指数学的根基。
这种思想最直观的冲击，就是试图把“无限”从数学中剔除。传统微积分依赖极限和无穷小来描述连续变化，而超有限主义者则尝试用完全有限的方式重建这些理论。他们认为，看似平滑的曲线，其实可以被看作由极其细小但仍然有限的离散点组成，数学不需要无限也能运作。
当然，这种观点在主流数学界并不受欢迎。现代数学的核心基础之一——集合论——正是建立在“无限集合”这一概念之上。从整数集合到实数系统，无限不仅存在，而且是不可或缺的工具。大多数数学家认为，否定无限几乎等同于推翻整个数学体系。
但争议并不只是技术层面的，它更像是一场关于“数学究竟是什么”的哲学之争。支持无限的人认为，数学描述的是一种抽象真理，不必受现实限制；而反对者则坚持，数学应当反映我们能够实际构造和验证的世界，否则就可能滑向空洞的符号游戏。
事实上，对无限的怀疑并不是新鲜事。早在古希腊时期，亚里士多德就曾认为，无限只是一种“潜在过程”，而不是实际存在的对象。直到19世纪，数学家通过集合论正式“接纳”无限，并将其作为数学的基础之一，这一转变彻底改变了数学的发展方向。
而现在，超有限主义某种程度上是在重新打开这扇被关闭的大门。它不仅影响数学，也开始与物理学产生交集。有些物理学家提出，如果宇宙本身是有限的，那么使用建立在无限假设上的数学，是否会偏离现实？这种可能性让一部分研究者开始重新审视“无限”这一概念。
不过，这一理论仍然面临一个巨大难题：它缺乏统一而严谨的体系。与成熟的数学框架相比，超有限主义更像是一种思想方向，而非完整理论。这也是为什么很多数学家对它持怀疑态度，认为它尚未达到可以替代现有体系的程度。
尽管如此，这种看似激进的观点仍然带来了一些意想不到的启发。它迫使人们重新思考哪些数学概念是真正必要的，哪些只是历史遗留下来的“默认设定”。即使最终没有人真的放弃无限，这种质疑本身，也可能推动数学变得更加严谨和贴近现实。
换句话说，也许问题并不在于无限是否存在，而在于：我们是否过于依赖它，以至于忽略了另一种可能——一个完全由有限构成，但依然能够解释世界的数学。
本文译自：quantamagazine（编译 / 整理：olaola）
封面图片：unsplash/Izabel