康托尔 vs 克罗内克：无穷的存在

对话背景#

格奥尔格·康托尔（Georg Cantor, 1845–1918）在哈勒大学任教。1874 年他在克雷勒《纯粹与应用数学杂志》第 77 卷发表《论一切实代数数集合的一个性质》，用嵌套区间证明实数不可数，并顺带给出超越数存在的一条新论证。1878 年的《对流形学说的一个贡献》把一一对应说清楚，证明 $\mathbb{R}$ 与 $\mathbb{R}^n$ 等势，并在文末写下后来称为连续统假设的猜想。1883 年的《一般流形学说基础》引入超限序数。1891 年他在德国数学家联合会哈勒年会上给出对角线论证，证明任何集合的幂集都严格更大。

利奥波德·克罗内克（Leopold Kronecker, 1823–1891）是柏林的代数与数论权威，康托尔的老师之一，也是克雷勒杂志编委。他主张分析必须算术化：合法对象是整数，以及由有限手续给出的构造。无理数、任意实数、已完成的无穷整体，他都拒绝当作独立存在的对象。韦伯 1893 年在德国数学家联合会年报的悼文里，记下克罗内克 1886 年在柏林自然科学家大会上的一句口说，大意是「整数是亲爱的上帝造的，其余都是人的作品」。克罗内克本人从未把这句话写进论文；希尔伯特 1897 年《数论报告》前言也转述过。下文若提起，只当作事后轶闻，不当作当场可核对的原话。

冲突既是哲学的，也是机构的。克罗内克拖过 1878 年那篇投稿；康托尔此后不再向克雷勒投稿，并终生未能从哈勒转到柏林。克罗内克 1891 年 12 月 29 日去世。对话停在这一年以前；此后的事只在分析里交代。

第一幕：无穷的层次#

康托尔：克罗内克先生，无穷有不同的大小。自然数集 $\mathbb{N}$ 可数；实数集 $\mathbb{R}$ 不可数。不存在从 $\mathbb{N}$ 到 $\mathbb{R}$ 的一一对应。

克罗内克：你 1874 年那篇的标题写的是代数数。读者要读到页边，才发现你在谈全体实数。

康托尔：标题是有意写窄的。魏尔斯特拉斯要我先把代数数可数这一半印出来。代数数可排成序列，因为每个代数数是某条整系数方程的根，方程可以按系数绝对值求和来编号。实数若也可排成序列 $x_1,x_2,\ldots$，我就在任意区间里造一串嵌套闭区间，每一层都避开序列里下一个还没被避开的项。若某一步区间里只剩下序列的有限项，则整个开区间被漏掉；若无限做下去，交集里仍有一个点不在序列上。无论哪种情形，序列都不是全体实数。代数数可数、实数不可数，超越数就不是例外，而是「大多数」。

克罗内克：嵌套区间的交集非空，用的是实数的完备性。完备性把极限当成已经完成的对象。我可以承认：给定一条收敛手续，我们能把结果算到任意精度。我不能承认：所有这样的极限事先已经在那里，组成一个封闭的集合。

康托尔：1891 年在哈勒，我把同一件事写成更不依赖分析的形式。取所有从正整数到 $\{m,w\}$ 的函数——两条符号的无穷序列。假定它们可数，列成一张表。造一个新序列，令第 $n$ 位与表上第 $n$ 个序列的第 $n$ 位相反。这个新序列与每一行都不同。论证对任意集合都适用：一个集合到它的幂集之间没有满射。无穷之上还有无穷。

克罗内克：1891 年的表把「所有 0-1 序列」当成已经完成的总体。对角线在每一行上的动作或许逐项确定，但「对所有行同时做完」预设了你要证明其存在的那个总体。这不是构造，是把要证的东西放进前提里。

第二幕：实无穷与潜无穷#

克罗内克：我区分两种无穷。潜无穷是可以不断延伸、却永远未完成的过程：1，2，3，……你可以再写下一项，你不能宣称过程已经结束。实无穷是把这个过程当成已经完成的整体：「所有自然数的集合」。我接受前者，拒绝后者。

康托尔：拒绝实无穷，等于拒绝把 $\mathbb{N}$、$\mathbb{R}$、函数空间当作对象。现代分析在这些对象上说话：连续、完备、测度，句子的主词就是无穷集合。

克罗内克：也许这些句子需要重写。我能构造任意大的整数，也能对给定的代数方程讨论它的根——根由方程给出，不是从「所有实数」里挑出来的。林德曼证明 $\pi$ 超越，手续很长。即便手续无误，把 $\pi$ 说成事先存在于实数连续统里的一个点，仍把人的构造说成了神的清单。数学应当只处理能由整数经有限步骤给出的对象。

康托尔：戴德金把无理数写成有理数的分划，魏尔斯特拉斯把实数写成有理序列的极限。两种写法都把连续统做成一个完成了的对象。没有这个对象，中间值定理、最小上界，都要重新解释成「若手续给出越来越窄的界限，则……」——那已经不是同一门分析。

克罗内克：同一门分析里有太多我不能接受的存在性。波尔查诺—魏尔斯特拉斯定理说有界无穷点集有极限点。极限点往往给不出，只被证明「在」。这种「在」是语言学的，不是算术的。1870 年海涅那篇三角级数，我劝他撤回，因为极限语言已经从整数能担保的范围里滑了出去。后来文章还是印了。我没有义务因为印了就承认它合法。

第三幕：对角线论证的有效性#

克罗内克：再问 1891 年的对角线。你对每个 $n$ 规定新序列的第 $n$ 位。规定像函数，定义域却是「所有自然数」。你先把 $\mathbb{N}$ 当成完成了的对象，再在它上面做对角。我质疑的正是这一步。

康托尔：给定 $n$，第 $n$ 位由第 $n$ 行第 $n$ 位唯一决定。归纳法不也要对「所有自然数」说话吗？若连「对每个 $n$」都不许说，算术会停。

克罗内克：归纳是有限规则：从 $P(0)$ 和「若 $P(n)$ 则 $P(n+1)$」推出 $P$ 对每个具体写出的数成立。它不把 $\mathbb{N}$ 做成可以比较大小的东西。你的对角线不是在有限表上改一位，而是在无限表上同时改所有位，再宣布新行「已经在」幂集里。主词仍是两个完成了的无穷。

康托尔：1874 年嵌套区间更「分析」，1891 年对角线更「组合」。两条路都说：可数列举漏掉实数。若只接受潜无穷，结论应改写成：任何具体列举手续都可以再造出一个尚未写出的小数。我接受这作为计算内容，不能接受因此「实数集」这个对象不存在。漏掉的是对象，不只是某一趟输出。

克罗内克：不存在的恰恰是那个对象。存在的是手续。手续可以再走一步，对象不能被宣告已经齐了。

第四幕：超限数#

康托尔：1883 年的《基础》里，我把超限序数写成良序的延长：有限数之后是 $\omega$，然后 $\omega+1$，一直到 $\omega_1$，再往上。基数这边，可数无穷是 $\aleph_0$，下一个是 $\aleph_1$，再下一个是 $\aleph_2$。它们满足

$$\aleph_0 < \aleph_1 < \aleph_2 < \cdots$$

克罗内克：$\aleph_1$ 是什么？请构造它。

康托尔：$\aleph_1$ 是最小的不可数基数，也就是所有可数序数组成的集合的势。我不是把它当作一堆石子数出来的。我证明不可数集合存在，于是「下一个势」这个位置上有一个对象。

克罗内克：位置上有一个对象——这句话又一次把「所有可数序数」做成实无穷。你没有给出 $\aleph_1$ 的一个元素清单，也没有给出从整数到它的有限生成规则。神学里也有这种「位置上必有一物」的句子。那不是算术。

康托尔：1877 年我写信给戴德金：单位线段与单位正方形之间存在一一对应。我自己写了「我看见它，但不相信它」。对应不是连续的，维数并没有因此崩塌。连续的一一对应会保住维数——这一点当时还没有被完全证好，但我已经把「势」和「维数」拆开。势是关于一一对应的；维数是关于连续的。拆开之后，超限基数才有地方站。

克罗内克：拆开的代价是引入一批不能构造的对象。势、序型、$\aleph_1$，每一个都把一个完成了的无穷当作可以运算的项。运算规则写得再整齐，项本身仍没有从整数里长出来。

第五幕：连续统假设#

康托尔：1878 年那篇的末尾我写下：每个无穷的实数集合，要么可数，要么与连续统等势。不存在严格夹在 $\aleph_0$ 与 $2^{\aleph_0}$ 之间的势。这就是连续统假设。我尝试了多年，包括 1884 年前后那一段，都没有把它做成定理。

克罗内克：一个概念若逼出无法判定的问题，首先该怀疑的是概念，不是工具不够。你把连续统做成一个完成了的点集，再问它的势是不是第二个阿列夫。也许「它的势」这个短语本身就不合法。

康托尔：问题可以暂时没有答案，而不等于概念自相矛盾。我没有在集合论内部找到 $2^{\aleph_0}=\aleph_1$ 的证明，也没有找到反证。这与「$\aleph_1$ 不可被整数构造」不是同一件事。前者是一个具体命题尚未被判定；后者是你对整个对象域的禁令。

克罗内克：禁令是为了防止第三种情况：概念宽到足以同时容纳一个命题和它的否定，只是我们暂时还没把矛盾写出来。任意实数、任意点集、任意势，已经比整数能监督的范围宽。监督不到的地方，我不称为数学。

康托尔：那就把这句话限制在你自己的领域。数论可以只在整数上走。分析已经在连续统上走了半个世纪。把走了半个世纪的路宣布为非法，需要的不是禁令，是一条把分析重写在潜无穷上的替代理论。替代理论尚未写出来之前，我仍使用实无穷。

第六幕：机构，以及不该写成因果的痛苦#

康托尔：1878 年那篇投给克雷勒的稿子被拖了很久。戴德金劝我不要撤稿，文章终于在第 84 卷印出。我此后不再把稿子送到这份杂志。柏林的教席，我也始终没有等到。

克罗内克：编委的责任是挡住我认为错误的东西。海涅 1870 年那篇我劝过；你 1878 年这篇我同样认为不该以那种方式把「势」和平面与直线的对应写成既成事实。若工作正确，它会从别的门进来；若工作错误，及时印出只是把错误传播得更快。

康托尔：反对可以写在论文里。拖稿、在柏林挡住一个教席，是另一种力量。1884 年我第一次因严重抑郁中断工作，连续统假设当时正卡住。把我后来的病说成您一个人造成的，是流行传记爱用的单线故事。病有它自己的节奏，家里也有过类似的阴影。我能核对的只有：学术上的孤立加重了那些年，而您是孤立里最硬的一堵墙。

克罗内克：我不为墙道歉。同情不能改写算术。整数上的构造是我愿意担保的；完成了的无穷不是。您若把这当成敌意，那是把数学判断听成了人身。

第七幕：算术化，而不是后人的旗帜#

克罗内克：我的纲领很窄。整数给出来，有限次四则与代数运算给出来，其余都要还原回去。连续统若能被这种还原保住，才是数学；若不能，只是分析学家的工作语言。后来的人会给这面旗帜起别的名字。那是他们的事。

康托尔：您把合法对象限制在可有限生成的东西上。我放宽到：能无矛盾地定义、并能比较势与序的东西。集合论给出基数算术、序数算术，以及「部分比整体小」在无穷里失效。这些是可核对的推导，不是启示。

克罗内克：每一步都可核对，并不表示第一步的对象合法。从非法对象出发的整齐推导，仍是非法的。

康托尔：魏尔斯特拉斯的分析、戴德金的分划、我的超限数已经缠在一起。砍掉实无穷，三条线一起断。替代理论必须先把分析里那些句子重新证明一遍，才配叫做基础。

第八幕：无穷作为对象，或只作为过程#

康托尔：我相信无穷集合反映数学实在的结构，不是为了方便而设的记号。连续统假设暂时没有答案，不等于连续统这个对象是假的。对象可以比我们眼下的证明手段更硬。

克罗内克：我相信无穷只是过程。自然数的序列是永远进行的书写，不是已经合上的本子。把本子合上，再比较两本合上的本子哪一本更厚——这是人对自己书写的幻觉。

康托尔：没有实无穷，完备性、连续函数、测度，都要改写成潜无穷的语言。那会更困难。困难可以是美德，也可以是把已有的定理赶出数学。两者只有在替代理论写出来之后才能分辨。

克罗内克：尚未写出来，不等于不该写。整数还在。其余的，等人做完再说。大会上的口说若被记成箴言，请把它当作轶闻，不要当作我给集合论写的判词。判词在我的论文里：没有给出有限构造的对象，我不计算。

分析#

分歧可以收成一句话：无穷是对象，还是过程。康托尔用 1874 年嵌套区间和 1891 年对角线把不可数做成定理，又用 1878 年的势、1883 年的序数把无穷做成算术。克罗内克要求对象从整数经有限步骤给出。拖 1878 年投稿、挡住柏林教席，是机构权力，不是论文里的反证。把康托尔 1918 年在哈勒精神病院的去世写成「克罗内克害死了他」，是单线故事。克罗内克 1891 年已死；可核对的是职业孤立，不是一桩杀人案。

「上帝创造了整数」出自韦伯 1893 年悼文对 1886 年口说的追记，希尔伯特 1897 年又转述过。立场与克罗内克的论文一致，却不是可引用的原著句子。连续统假设在两人在世时没有被判定。哥德尔 1940 年、科恩 1963 年的相对一致性与独立性，不能放进本对话的台词。布劳威尔的直觉主义在克罗内克死后才成形，继承的是「没有构造就没有存在」，不是他的代数技术。工作语言站在康托尔一边；构造主义与可计算性则把那条禁令改写成了另一门精确数学。

核心分歧#

合法的数学对象是什么？康托尔认为：能无矛盾地定义、并能比较势与序的概念，就是对象；存在性证明不必给出清单。克罗内克认为：只有能从整数经有限手续构造出来的东西才进入数学；完成了的无穷是人的作品，不能冒充给定。对角线、超限数、连续统假设，都是这条界线的测试题，而不是彼此无关的三场争吵。

当代启示#

可计算性让克罗内克的禁令有了精确形式：可计算实数可数，因此若接受实无穷，「大多数」实数不可计算。这没有为潜无穷赢回分析，只说明不可数与不可计算是同一条对角线的两个方向。构造性类型论把「给出手续」重新变成优点。优点不等于唯一合法性。ZFC 里不可判定的连续统假设仍在：既没有推翻集合论，也没有把那条怀疑洗掉。

延伸思考#

• 若坚持只使用潜无穷，19 世纪分析里哪些定理必须改写，哪些必须放弃？
• 连续统假设在 ZFC 中不可判定，是概念过宽的证据，还是公理尚未配齐的证据？
• 「大多数实数不可计算」是在支持康托尔，还是在给克罗内克的禁令提供现代版本？

延伸阅读：康托尔《论一切实代数数集合的一个性质》(1874)；康托尔《对流形学说的一个贡献》(1878)；康托尔《一般流形学说基础》(1883)；康托尔《论流形学说的一个初等问题》(1891)；Joseph W. Dauben《Georg Cantor: His Mathematics and Philosophy of the Infinite》(哈佛大学出版社, 1979)；韦伯 1893 年悼文，见 Jahresbericht der Deutschen Mathematiker-Vereinigung 第 2 卷