康托尔与集合论
无穷不是「数不清」的遮羞布，而是有大小、能运算的数学对象。本文讲康托尔如何证明这一点、如何为此付出代价，以及集合论怎样从异端变成全部数学的通用语。
从三角级数里逼出来的革命
1870 年代，康托尔（Georg Cantor）研究一个具体问题：函数的三角级数表示何时唯一。这条谱系上承十八世纪弦振动表示之争（欧拉与十八世纪分析），而他作为魏尔斯特拉斯的学生，直接站在分析的严格化的延长线上——柯西与魏尔斯特拉斯把分析安放在极限之上，康托尔却发现，唯一性证明要求精细控制「例外点构成的集合」，即实数轴上无穷点集的内部结构。革命不是宣言的产物，是一个技术问题被追问到底的副产物。工具一旦在手，他索性把问题倒转：集合本身是什么？
势：无穷可以比大小
第一个要解决的问题就是：两个无穷集合怎么比较？康托尔的操作是一一对应——存在双射则两集等势。于是自然数与偶数等势：「部分等于整体」在有限世界是悖论，在无穷世界是定义。更反直觉的是，稠密得多的有理数依然与自然数等势——把分数排进二维阵列、沿对角线蛇形编号即可穷尽，此谓可数（countable）。
实数呢？1874 年康托尔已证其不可数，1891 年的对角线法（diagonal argument）更是一击制胜：假设 内实数可排成 ，构造 ，令其第 位小数与 的第 位不同。则 与每个 至少差一位——不在表里，矛盾。一行构造分离了 与 ：无穷至少有两档。
超穷数与一条悬而未决的鸿沟
既然无穷分了档，康托尔干脆建立超穷数（transfinite numbers）体系：基数（cardinal）量多寡，序数（ordinal）记次序， 让无穷进入算术。随之而来的自然问题是： 与 之间还有中间势吗？连续统假设（Continuum Hypothesis）断言没有。康托尔终生未能证明；二十世纪的裁决是它独立于 ZFC 公理——既不能证实也不能证伪，此处按下不表。但这条悬而未决的鸿沟，已把本文的主角拖入另一场战争，一场人的战争。
伊甸园里的战争
对手是柏林的权威克罗内克（Kronecker）。他信奉「上帝创造了整数，其余都是人的工作」，斥超穷数为神学而非数学，骂康托尔是闯进数学伊甸园的年轻人，并以影响力封锁其发表与晋升——康托尔终生未能踏入柏林大学。长期孤立与消耗之下，他从 1884 年起反复精神崩溃，1918 年在疗养院去世。而历史的判决已经逆转：希尔伯特宣告，「没有人能把我们从康托尔创造的乐园中驱逐出去」。
从异端到通用语，与新的裂缝
更讽刺的是结局：集合论非但没有被逐出，反而成为全部数学的公共语言——函数、关系、结构，一切概念都用集合定义，Zermelo 与 Fraenkel 的公理化（ZFC）为它奠基。但康托尔的朴素集合论里埋着罗素悖论（Russell’s paradox）：「所有不包含自身的集合」既包含又不包含自身——第三次数学危机就此爆发（数学三次危机），进而引发 20 世纪关于数学基础的全面论战（数学基础三大学派）。动摇整个数学的，恰恰是刚刚统一数学的那套语言。
遗产
今天这座大厦清晰可见：测度论把概率公理化，柯尔莫哥洛夫将随机性化为集合上的测度（概率论思想史 从赌桌到公理化）；函数空间与泛函分析把「函数的集合」当作点集处理， 与 Sobolev 空间正是向量空间的结构所叙结构家族的舞台。对机器学习从业者，这意味着你每天操作的概率分布、损失泛函、假设空间（hypothesis space），底层语言全是集合。康托尔把无穷请进殿堂，殿堂从此以无穷为地基。