1877年6月，哈勒大学的康托尔给好友戴德金写了一封信。他刚证明了一件荒唐的事：一条线段上的点，和一个正方形里的点，一样多。信是德国人写给德国人的，这一句他却用了法语：“我看见了，但我不相信。”
证明简单得叫人不安。取正方形里的一个点，它的两个坐标各是一串小数，0.a₁a₂a₃……和0.b₁b₂b₃……。把两串数字像拉链一样交错起来，得到0.a₁b₁a₂b₂a₃b₃……，这是线段上的一个点。反过来，把线段上的点拆开，又还原出正方形里的点。一一对应，不多不少。一维与二维的差别，在"点的多少"面前消失了。
如果把"无穷"想象成一条温顺的长河，那多半是因为只在岸边远远看过它：见它向前流淌，便以为它理所当然会一直流下去。康托尔是第一个真正下水的人。他发现这条河不只是"长"，它会分叉，会回旋，在暗处涌动，水底还有一层一层此前没人想到的结构。
数学史上最危险的东西，往往不是某个具体的数字，而是某种被想当然接受的观念。“无穷"就是这样的观念：它看起来只是一个符号，符号背后却是一整片没人系统测绘过的地方。在康托尔之前，很少有人觉得这片地方需要测绘，大家凭直觉，凭约定俗成的办法，绕着它继续往前走。康托尔不肯绕。他要求每一个谈论无穷的人先交代清楚：你说的究竟是哪一种无穷？它和别的无穷之间，是什么关系？
一、从圣彼得堡到哈勒
康托尔1845年生于圣彼得堡。这座城市一半属于欧洲，一半属于俄国，带着一种"处在边界上"的味道。他后来一辈子做的事也在边界上：集合论与无穷理论，恰好是数学里最靠近边界的地方。
他家境不错，还带着艺术气息，父亲是成功的商人，母亲出自音乐世家。康托尔少年时爱音乐，小提琴拉得好，据说认真想过走音乐这条路。后来转向数学，没有什么戏剧性的契机，是一些朴素的事情：全家迁居，学业的安排，兴趣一点点明朗起来。父亲原想让他学工程，十七岁的康托尔写信恳求，才获准改学数学。十一岁左右，他随家人从俄国搬到德国，在德国读完中学，进了苏黎世和柏林的大学。柏林的老师是魏尔斯特拉斯、库默尔和克罗内克，那是当时德语世界最强的阵容。他二十二岁拿到数论博士学位，两年后受聘哈勒大学，一待就是四十多年。
哈勒不是当时欧洲学界的中心，没有巴黎那样的声名，也没有柏林那样的人才云集。康托尔一直想去柏林，到死也没能去成。不过小城安静，一个人可以几十年盯住同一个问题。他盯住的，就是无穷。
把他引上这条路的，是同事海涅出的一道分析题：一个函数的三角级数展开，是否唯一？康托尔发现，答案取决于那些"例外点"是怎样分布的。例外点有限多个还好办，无限多个的时候，情形就错综起来。他于是撞上了一个前人绕开的问题：无限多个点，到底有多"多”？
要明白这一步有多大胆，得看十九世纪数学的处境。微积分已经大获成功，工程、天文、物理都靠它飞速前进。可数学家们也越来越不安：这套天天在用的工具，逻辑地基到底牢不牢？柯西和魏尔斯特拉斯正忙着给极限重新下定义。而"无穷"，是整套工具里用得最勤、查得最少的概念。计算里处处援引它，却几乎没人追问：无穷到底是什么？有没有大小？两个无穷能不能比较？多数人选择不问，因为一问就麻烦：无穷不像具体的东西能一件件清点，也不像长度能直接去量，它边界模糊，无从下手。高斯早就在信里抗议过，说数学里绝不许把无穷当作一个完成了的整体来用。康托尔偏要把它当整体来数。
二、给无穷分级
他的办法朴素得很：不数，配对。桌上一堆杯子、一堆盖子，不必知道各有多少，只要每个杯子配一个盖子、没有剩余，数量就相等。
这个办法一搬到无穷集合上，怪事立刻出现。自然数1、2、3……和偶数2、4、6……，直觉上偶数只是自然数的一部分，该少一些。可n配2n，每个自然数恰好对着一个偶数，不漏不重，两边一样多。无穷集合的"数量"，不照日常直觉办事，它有自己的规矩。
1873年11月29日，康托尔写信问戴德金：自然数和全体实数，能不能这样配对？他自己也拿不准。一周之后，他有了答案：不能。同一年，他还证明了代数数，也就是满足整系数多项式方程的那些数，可以逐个编号。可数的无穷装得下全部代数数，却装不下实数。实数所代表的无穷，要真正大于自然数所代表的无穷。
这个发现，改变了数学界对"无穷"的看法。此前，人们把无穷当成一个笼统单一的东西，规模大到没有边，就统称无穷。康托尔表明，无穷自己就分层级，内部有结构，有差别。
1891年，他给出了一个更漂亮的证明，就是后来的对角线方法。设想有人宣称，已经把0到1之间的全体实数排成了一张清单，第一行是第一个数，第二行是第二个数，一直排下去。康托尔取第一个数的第一位、第二个数的第二位、第三个数的第三位，沿对角线一路取下去，每一位都换成另一个数字（比如0换成1，别的换成0）。这样造出的新数，和清单上每一个数至少有一位不同，所以它不在清单里。清单宣称完整，却漏了一个。无论谁拿出什么清单，康托尔都能当场挑出漏网的那个数。实数没法被完整地枚举，这就是它不可数的全部理由。
后来希尔伯特打过一个比方：有一座旅馆，房间无穷多，全住满了。又来了一位客人，经理让每位客人搬到下一号房间，一号房就空了出来。住满的无穷旅馆照样能再收客人，甚至能再收无穷多位。可实数那一级的客人，哪怕把所有房间腾空，也安置不下。
接着，康托尔给这些层级起了名字，借用希伯来字母ℵ（阿列夫）：ℵ₀是自然数那一级的可数无穷，更大的依次是ℵ₁、ℵ₂……一连串超穷数。他还证明，任何集合的全部子集所构成的集合，必定比它自己更大，所以无穷之上还有更大的无穷，没有尽头。给无穷建立一套命名和分类，意义重大：只有能被清楚地命名、归类的东西，才能进入严谨的数学讨论，才能写进教材，成为大家共用的语言。
他还留下了一个悬了很久的问题：在自然数的无穷与实数的无穷之间，有没有一个规模居中的"中间层级"？他猜没有，这就是连续统假设。这个问题问的不是某个具体的计算结果，而是无穷这个概念背后的结构。他试过无数次证明，一次也没成功。
三、克罗内克的反对
康托尔的老师克罗内克觉得这一切是胡说。
克罗内克只信整数，只信能被具体造出来的东西。他有句名言：上帝创造了整数，其余都是人的工作。不可数集合、实无穷，在他看来是没有构造基础的语言游戏，靠一句"假设有一张全部的清单"就造出一个数，更是毫无意义。据说他当面称康托尔是"科学骗子"，是"青年的败坏者"。
这不光是个人恩怨，是两种数学哲学在碰撞。康托尔信的更接近柏拉图：数学对象不是人发明的，是人发现的，集合与无穷像天上早就存在的星座，只等人把它们的结构指出来。克罗内克是严格的建构主义者：一个对象存在，就得能被造出来，造不出来，就没有资格。
克罗内克在柏林位高权重，康托尔的文章屡屡受阻，去柏林的路也被堵死，他至死认定这是克罗内克的缘故。康托尔是个敏感的人，极渴望自己的工作被理解，所以格外容易被外界的质疑刺痛。1884年，他第一次精神崩溃，此后一生中反复发作，几次住进哈勒的神经病院。晚年他大量写信、写文章，转向神学，认为"绝对的无穷"只属于上帝，同天主教神学家通信，又一度痴迷于证明莎士比亚的戏剧出自培根之手。战争年代，生活更是困顿，1918年1月，他在哈勒的一所疗养院去世。
他也并非全无知音。1897年首届国际数学家大会在苏黎世召开，赫尔维茨和阿达马都在会上称赞了集合论的用处。1904年，英国皇家学会授予他西尔维斯特奖章。只是这些来得晚，那时他已经病了许多年。
不过，他在世时的困境，并不意味着理论的失败。恰恰相反，集合论后来逐渐成为现代数学不可缺少的基础语言。1926年，康托尔去世八年之后，希尔伯特在一次关于无穷的演讲中说了那句传遍世界的话：没有人能把我们从康托尔为我们创造的乐园里赶出去。
四、乐园里的“蛇”
乐园里很快出了“蛇”，直接引发了第三次数学危机。
当时数学界流行一个很直观的想法：只要能清楚描述一种性质，就能把所有满足它的对象汇成一个集合。“所有红色的东西"是一类，“所有偶数"是一类。照这个思路，一切研究对象都可以装进集合这个框子，整座数学大厦也就能在上面搭起来。康托尔自己在九十年代就察觉，“一切序数的全体"这类东西会惹出矛盾，他在给希尔伯特和戴德金的信里提过，称之为"不协调的多重性”，却没有公开声张。
1901年，罗素想出了一个比谁的都短、也比谁的都致命的版本：设想一个集合，里面装的是所有不属于自身的集合。这个集合属不属于它自己？若属于，按定义它就不该属于；若不属于，按定义它就该属于。怎么答，都自相矛盾。后来这个悖论有个通俗说法，叫"理发师悖论”：一位理发师宣布，只给镇上所有不给自己刮脸的人刮脸，那么，他自己的脸，谁来刮？
这不是逻辑游戏，是直接刺进了地基。因为当时不少人正想把算术、分析、几何统统建在集合论上，集合论本身要是有矛盾，上面的一切都有塌下来的风险。
这个时机也偏偏不巧。弗雷格正倾注半生心血，要把整个算术完全建立在逻辑之上，他的体系里有一条基本法则，恰恰就是"只要能描述，便可成集”。1902年6月，罗素把这个悖论写信告诉了弗雷格。弗雷格的《算术基本法则》第二卷已经快要付印，他回信承认基础动摇了，并在书稿末尾加了一段附言，大意是：一位科学家最倒霉的事，莫过于工作刚完成，基础就塌了。
这就是数学史上的第三次危机。它的要害，不是某处具体的技术漏洞，而是漏洞直接来自人们对"集合"和"定义"这两个基本概念，此前理解得太宽松，不设任何限制。数学界后来分头找出路，大致走了三条。
第一条路是立规矩。既然矛盾来自自我指涉和不设限制的造集合，那就给造集合立一套严格的规则。策梅洛在1908年提出了一套公理，后经弗兰克尔补充，成了今天通行的ZF体系：集合不能凭一句描述随手造，必须按公理一步一步造出来。
第二条路是把数学形式化。直接争论数学对象"存不存在"，容易陷进哲学里去，不如先搁下，专心研究符号系统的操作规则。希尔伯特倡导的就是这条路：把数学看成一套形式系统，目标是证明这套系统不会推出矛盾。
第三条路是收缩。既然悖论是因为放了太多"造不出来"的对象进来，那就退回到能被明确构造、能被具体计算的东西，对实无穷持审慎态度。荷兰人布劳威尔把这个立场推到最远，发展成直觉主义数学。他连"要么成立，要么不成立"的排中律，一碰到无穷也不肯轻信，这正是克罗内克精神的直系传人。
这场围绕数学基础的争论，持续了很久，激烈到近乎信念之争。因为争的不是哪道题怎么解，而是数学这门学问是什么：它是对某种客观存在的发现，还是人自己造出来的一套符号？
康托尔正站在这场风暴的中心。他的研究最先开辟出通往无穷的道路，后来人沿着这条路深入，才发现路上藏着没料到的陷阱。这不是说他错了，而是说，他证明了无穷值得研究，随后冒出的悖论又表明，这方面的研究必须建在更严谨的地基上。
后来历史又转了一个大弯。1931年，二十五岁的哥德尔证明：在任何足够复杂的形式系统里，总有既不能被证明、也不能被否证的命题，而且这样的系统无法在内部证明自己没有矛盾。希尔伯特他们期望的那种"既完备又自洽"的终极公理体系，在原则上就不可能存在。
康托尔留下的连续统假设，结局同样出人意料。1938年，哥德尔证明，它与集合论公理不矛盾；1963年，科恩证明，它的否定也与公理不矛盾。在通行的公理体系里，这个假设既证不出，也否不掉，承认它或否认它，都不会和基本公理起冲突。康托尔穷后半生之力想证明的命题，原来是公理本身给不出答案的。数学这座一度被认为只有唯一结构的大厦，里头其实容得下好几种彼此自洽的合法结构。
五、康托尔的位置
康托尔究竟做成了什么？
在数学内部，他把研究的重心，从"对象本身"推到了"对象构成的集合与结构"。从他以后，数学家习惯于追问：这一类对象合起来是个什么集合？两个集合能不能比较？能不能建立映射？能不能分类？这套问法，渗进了拓扑学、测度论、泛函分析、数理逻辑和计算理论。
对角线方法的后代尤其多。1936年，图灵用它证明了存在算不出来的数：程序只有可数多个，实数却不可数，绝大多数实数根本没有程序能把它算出来。哥德尔不完备性定理的证明里，也有同一个套路的影子：拿一个东西去和全部清单逐一比对，最后在对角线上露出破绽。
连续统假设至今没有"答案"。今天的集合论学者，有人尝试添加新的公理去判定它，有人干脆接受两种宇宙都是合法的数学世界。
往大处看，他做的是一件"去神秘化"的事。无穷长期被当作超出人类理性的东西，只能敬畏。康托尔把它拉回理性能够讨论、能够证明的范围。代价也很大：数学的基础出了危机，争论拖了几十年，数学家们不得不建起更严密的公理体系和逻辑工具。认知的边界每往外推一步，都得为此付出相应的代价。
康托尔活着时，没能好好享受这份突破带来的荣光。他更像一位和陌生而复杂的对象长期搏斗的研究者：有开拓者的勇气和固执，也有不被理解的孤独和沉重。也正因为这样，他才显得真实，不是传说里无懈可击的英雄，而是一位在探索理性边界的途中会疲惫、会敏感、一度陷入低谷的普通学者。
今天，当人们写下ℵ₀，谈论"可数"与"不可数"，用起对角线方法，沿用的也是康托尔当年的做法：面对令人敬畏、难以把握的无穷，不停留在惊叹，也不绕开，而是给它分类，给它命名，给它立规矩，一步一步把它带进理性可以牵着走的地方。他是无穷的驯兽师。