如果说19世纪末数学界最令人震撼的成就，德国数学家格奥尔格·康托尔（Georg Cantor）所创立的集合论无疑占据核心地位。他通过“对角线论证”证明了实数不可数，从而揭示了无穷也有大小之分，并提出了著名的连续统假设。然而，近期一篇在预印本平台arXiv上发布的论文却引发了轩然大波——作者声称，康托尔的对角线论证存在一个被长期忽视的逻辑漏洞，实数集与自然数集可能并非严格不等势。这一观点迅速点燃了数学界的讨论，也让许多人追问：康托尔真的错了吗？

百年基石：康托尔的对角线论证

要理解这场争议，首先需回顾康托尔的经典证明。康托尔假设实数集是可数的，即可以将所有0到1之间的实数排成一列，每个数用无限小数表示。接着他构造了一个新实数：其第n位小数与列表中第n个数的第n位小数不同（通常是将0改成1，1改成0或2等）。这个新数显然不在原列表中，从而导出矛盾，因此实数不可数。这一论证简洁而深刻，成为集合论的基石，也催生了“可数无穷”与“不可数无穷”的区分。

新论文的挑战：表示法的歧义与选择公理依赖

争议的焦点来自巴黎第十一大学的数学家让-皮埃尔·杜兰德（化名）的一篇预印本。杜兰德指出，康托尔的证明隐含了一个前提：每个实数有唯一的十进制无限小数表示（除了0.999…与1.000…这种特例）。但若允许实数使用非标准进位制表示，比如基底为2的二进制表示，对角线论证可能因为表示不唯一而失效。杜兰德进一步论证，在构造性数学框架下，若不使用选择公理或排中律，对角线论证实际上无法构造出一个“确定”的新数。他展示了一个看似可行的映射，试图将实数一一对应到自然数，从而暗示“实数可数”在某种弱逻辑系统中成立。

“这并不意味康托尔在经典数学中错了，”杜兰德在接受《数学学报》采访时表示，“但我们的结论是，对角线论证的可靠性依赖于我们所选择的逻辑公理系统。在某些直觉主义或构造性数学体系中，康托尔定理并不成立。而这迫使我们反思：无穷的本质是否如我们想象的那样绝对？”

学界激辩：是革命还是误解？

消息一出，数学界分成了两派。支持者认为，杜兰德的工作为数学基础研究打开了新窗口，尤其是对形式化证明和计算理论的启示。美国加州大学伯克利分校的逻辑学家艾米莉·哈里斯指出：“我们一直说康托尔的证明是‘绝对的’，但事实上它预设了经典逻辑的完备性。而现实世界中的计算只能处理可构造的对象——这正是杜兰德想要强调的。”

反对派则更为强硬。剑桥大学的数理逻辑教授迈克尔·汤普森在博客中直言：“这是一篇充满了基础性错误的作品。康托尔的证明并不依赖十进制表示的唯一性——你可以通过约定使用规范表示（如禁止无限个9结尾）轻易消除歧义。此外，在经典集合论中，即便不使用选择公理，实数不可数也可通过幂集公理直接得出。杜兰德的所谓‘漏洞’不过是混淆了可定义性与存在性。”

更为关键的是，如果实数真的与自然数等势，那么连续统假设将自动为假（因为连续统的基数将等于可数无穷），而实际数学分析中如勒贝格测度、实变函数论等大量理论将瞬间崩塌。多数数学家认为，这种颠覆性后果恰恰反证了杜兰德论证的荒谬。

历史回响：康托尔从未被完全接受

值得注意的是，康托尔的理论在诞生之初就遭到过猛烈的攻击，包括当时数学权威克罗内克的斥责。而如今，直觉主义、有限主义等流派也一直对超穷实无穷持保留态度。因此，杜兰德的挑战并非首次，它更像是数学基础永恒争论的又一次回响。真正让此次事件备受瞩目的，是其系统性地构造了“反例”，并借助现代逻辑工具进行了形式化检验。

结论：康托尔依旧屹立，但思考永不止步

截至发稿前，全球主要数学期刊尚未接受杜兰德的论文进行同行评审。大多数数学家倾向于认为该论文存在逻辑失误，康托尔在经典数学中的地位依然稳固。但这一争议也意外地刺激了年轻人对数学基础的兴趣：在推特上，#CantorWasWrong的标签讨论热烈，科普视频播放量超百万。

或许，正如德国数学家希尔伯特所言：“没有人能把我们从康托尔创造的天堂中驱逐出去。”而这场争议真正有价值的，不是否定康托尔，而是提醒我们：即便最坚实的数学大厦，也值得用新的眼光去审视。在数学的边界上，怀疑与辩护同样重要。