Math 版 (精华区)

发信人: zhchsh (阿胜), 信区: Math
标  题: ——集合论的创立与康托尔的遭遇
发信站: 哈工大紫丁香 (2000年10月11日19:17:21 星期三), 站内信件


    19世纪末期，数学界出现了一件引人注目的事情。一位名叫康托尔（G.Cantor，
1845－1918）的德国数学家提出一种令人费解的古怪理论----集合论。它的内容是如此
与常识格格不入，以致于一出世就引起了一场轩然大波。
    无穷世界的“探险家”
    集合论的出现，向人们展示了一个由无穷数量关系组成的新奇世界。康托尔是凭着
探险家的勇气闯入这个新奇世界的。他发现了许多简直难以置信的事情。
    康托尔是在研究微积分理论的逻辑基础问题时，开始着手创立集合论的。自从17世
纪牛顿（I.Newton，1642－1727）和莱布尼茨（G.W.Leibniz，1646－1716）创立微积
分理论体系之后，在近一二百年时间里，微积分理论一直缺乏一个严格的逻辑基础。它
的一些基本概念的表述，还有某些混乱和自相矛盾之处。从19世纪开始，柯西
（A.L.Cauchy，1789－1857）、魏尔斯特拉斯（K.Weierstrass，1815－1897）等人进
行了微积分理论严格化的工作。他们建立了极限理论，并把极限理论的基础归结为实数
理论。那么，实数理论的基础又该是什么呢？康托尔试图用集合论来作为实数理论，以
至整个微积分理论体系的基础。
    出于这一目的，康托尔用集合的观点重新考察各种数量关系，特别是无穷数量关系。
他发现，无穷集合有着有穷数量关系所不具备的性质。比如，在无穷集合领域，所有整
数和所有偶数之间是一一对应的，所有理数和所有整数之间是一一对应的，平面上所有
的点和线段上所有的点是一一对应的，……概言之，在无穷的世界里，整体的所有元素
和部分的所有元素之间可以是一一对应的。另外，无穷集合并不都是相等的，比如所有
实数和所有有理数之间就不是一一对应的。因而，无穷集合是有大小的。集合论用“基
数”这个概念来表示无穷集合间的区别。那么，有没有一个最大的集合呢？康托尔通过
研究，否定了这个想法。因为每个已知集合的所有子集所构成集合，其基数都大于已知
集合的基数。既然没有最大的基数，当然也没有最大的集合。无穷世界里的这些性质，
初看起来，真是令人头晕目眩。甚至康托尔本人在创立集合论的过程上，也时时感到心
神不定。他在获得线性连续统和π维连续统之间有一一对应关系的结果后，写信给数学
家戴德金（R.Dedekind，1831－1916）说：“我见到了，但我不相信”。然而，集合论
的成果毕竟是有严格逻辑根据的。并且它在解决实数理论逻辑基础问题中发挥了别的理
论无法取代的重要作用。实践使康托尔坚定了信心，更加勇敢地前进，大胆挖掘无穷世
界里的宝藏。他在提出超限基数和超限序数的过程中说：“我确实不知道，什么能够限
制我们这种形成新数的活动，只要可以说明，为了科学的发展，引入一个这种无穷的新
数对于研究是需要的或者是不可少的”。
    从数学家到精神病患者
    康托尔的研究成果发表之后，马上遭致当时一些赫赫有名的数学家的激烈攻击。德
国数学家克隆尼克（L.Kronecker，1823－1891）是这些人中言辞最激烈、攻击时间最
长的一个。
    克隆尼克比康托尔年长22岁。当康托尔还是柏林大学的学生时，克隆尼克已经是在
这个学校任教的著名数学家了。克隆尼克在数学上，特别是在高等代数方面有很多贡献。
然而他一有个坏毛病，就是习惯于用刻薄的语言无情地攻击所有和他意见不一致的数学
家。他主张，除非一种数学对象能够用有限步骤从自然数中构造出来，否则不能认为它
在数学上是存在的。他有一句“名言”：“上帝创造了自然数，其余的一切才是人做的
工作”。因此，他否认无理数的存在，也否认极限理论的意义。他常常讥笑魏尔斯特拉
斯的工作：“有趣，可惜不是数学”。他和数学家林德曼谈话时说：“你那个关于π的
漂亮研究有什么用呢？无理数根本就不存在，你为什么要研究这种问题？”虽然康托尔
是他的学生，但由于集合论的内容同他的主张大相径庭，所以克隆尼克简直到了不能容
忍的程度。他认为，康托尔关于超限数的研究，是一种非常危险的数学疯病。因而他各
种用得上提尖刻语言，粗暴地、连续不断地攻击康托尔达十年之久。他甚至在柏林大学
的学生面前公开攻击康托尔，这在许多数学家看来是很过分的事情。康托尔一直在哈勒
大学任教，薪金很微薄，几次想在柏林得到一个薪金较高、声望更大的教授职位。但由
于克隆尼克横加阻挠，使得康托尔想在柏林得到职位而改善其地位的任何努力都遭到挫
折。克隆尼克的影响还使康托尔的学术论文一再延误发表日期。总之，克隆尼克的专横
无理令人震惊，他的激烈攻击使康托尔的精神状态受到极大损害。
    除了克隆尼克之外，还有一些著名数学家也对集合论发表了反对意见。法国数学家
彭加勒（H.Poi-ncare，1854－1912）说：“我个人，而且还不只我一人，认为重要之
点在于，切勿引进一些不能用有限个文字去完全定义好的东西”。他把集合论当作一个
有趣的“病理学的情形”来谈，并且预测说：“后一代将把（Cantor）集合论当作一种
疾病，而人们已经从中恢复过来了”。德国数学家魏尔（C.H.Her-mann Wey1，1885－
1955）认为，康托尔关于基数的等级观点是雾上之雾。菲利克斯．克莱因（F.Klein，
1849－1925）也不赞成集合论的思想。数学家H．A．施瓦兹原来是康托尔的好友，但他
由于反对集合论而同康托尔断交。
    在克隆尼克等人的围攻和反对下，康托尔的精神逐渐崩溃了。他天性神经过敏，容
易激动，经受不了这种暴风雨岙的攻击。尽管有希尔伯特（D.Hilbert，1862－1943）
等著名数学家赞同他的集合论，尽管他的集合论事实上已取得巨大的成功，仍未能使康
托尔感到欣慰和满足。从1884年春天起，即在他40岁的时候，他患了严重的忧郁症，极
度沮丧，神态不安。在他生命的最后几十年里，这种精神病时时发作，使他不得不经常
住到精神病院的疗养所去。他变得很自卑，甚至怀疑自己的工作是否可靠。他请求哈勒
大学当局把他的数学教授职位改为哲学教授职位。不过，在精神病发作的间歇阶段，康
托尔仍然顽强地坚持集合论的研究。而且当每次从精神病发作中恢复过来的时候，他都
感到自己的脑子变得格外清晰。他在集合论方面许多非常出色的成果，都是在精神病发
作的间歇时期获得的。然而，长期的精神折磨所造成的危害毕竟是不容忽视的。由于健
康状况逐渐恶化，1918年，他在哈勒大学附属精神病院去世。
    康托尔的结局是悲惨的。英国科学史家E．T．贝尔回顾这段往事时说，克隆尼克认
为集合论的出现是一种数学疯病。然而被送进精神病院的并不是集合论而是康托尔。克
隆尼克的攻击实际上打垮了这一理论的创造者。一位数学家为自己创立的理论付出这样
大的代价，这种事情在数学史上还是不多见的。
    “悲剧”的成因
    在造成康托尔的悲剧的诸因素中，克隆尼克时常被人们指责为罪魁祸首。然而，其
他方面因素也是同样值得重视的。只有把各种因素联系起来思考，才能全面认识形成这
一悲剧的原因。
    克隆尼克等人的围攻之所以能够奏效，与康托尔本人的思想状况是有直接关系的。
这不仅是由于康托尔的性情，更主要的还是思维方法上的原因。康托尔相信自己在创立
一种合理的有关无穷的理论方面迈出了第一步，也是最后的一步。他迫切希望人们给予
承认和高度赞赏。缺乏承认的局面激怒了他，才使他控制不了自己的情绪，不自觉地进
入忧郁症的状态。数学家A．舍恩弗里斯认为，康托尔的健康恶化是由于他竭尽全力想
解决各种问题，特别是“连德统假设”问题。这可能也是一个重要原因。无论如何，康
托尔缺乏罗巴切夫斯基（H.И.ЛoqaЧebckИЙ，1792－1886）那样的冷静头脑和宽阔
胸怀。他过于自信，但却不坚定，他十分勇敢，但却不沉着。他缺少对相反意见和讥讽
嘲笑的充足思想准备，以为一个新事物一出世就会引起世人喝采。因而当自已的希望破
灭之后，就难免颓唐失望，使身心遭受不应有的损害。
    还应看到，康托尔对于来自各方面的反对意见，不是完全依靠集合论的现实根据，
通过发展集合论的实际应用效果来加以反驳，而是经常求助于对柏拉图主义的信仰。他
把集合论看作是“形而上学的理论”，相信无穷集合“既具体又抽象地”实际存在着，
和柏拉图的“理念”是一样的东西。他有着把数学和神学、哲学调和起来的倾向，明确
表示信奉柏拉图体系的原理以及莱布尼茨、托马斯．阿奎那（Thomas Aquinas，1225－
1274）等人的理论。可是，在严肃的数学争论问题面前，求助于唯心论和宗教信仰是无
用的。康托尔对反对意见的答辩，时常显得苍白无力，起不到说服对方的作用。恰恰相
反，反对意见却时常能长驱直入，不仅打击集合论发展中的某些薄弱环节，而且震憾了
康托尔把数学、神学和哲学纠缠在一起的内心世界。任何数学上新事物的成长，都必须
从现实中汲取营养。像集合论这样远远超出一般人常识的新理论，更需要在现实中一步
一步开拓自己的前进道路。康托尔一只脚踏在数学领域上，另一只脚踏在唯心主义和宗
教的泥坑里，难免在风浪面前摇摆不定，摔得到处是伤。
    康托尔本人也存在思想弱点，这是造成他一生悲剧的内因。外界的反对力量过于强
大，则是造成悲剧的外因。假若只是克隆尼克一个人，或再带着几个影响较小的数学家
反对集合论，那么造成的声势就会小得多，康托尔也未必承受不了反对力量的打击。然
而在反对阵营里还有彭加勒、魏耳和菲利克斯．克莱因，他们都是当时数学界举足轻重、
极有影响的人物。而且他们在其他方面往往是思想活跃，很容易接受新事物的。一般说
来，他们也极少个观和常识出发来判断问题。非欧几何刚出现时是违背常识的。但是菲
利克斯．克莱因和彭加勒分别建立了非欧几何与欧氏几何之间的等价的逻辑联系，在使
非欧几何为数学界接受方面发挥了十分重要的作用。这些情况很容易使人们联想到，既
然这些著名数学家在别的方面并不思想僵化，而且看问题很深刻，那么他们反对集合论
就不可能是没有道理的。在数学界，由于研究工作基本上依靠理论思维，所以学术带头
人的学术倾向往往产生一呼百应的效果。一批数学界的“巨人”一起站出来攻击康托尔
的工作，又带动了很多数学家作响应，难怪康托尔招架不住，在思想防线上迅速崩溃。
    那么，克隆尼克、彭加勒等人为什么对集合论这样深恶痛绝呢？集合论出现之后，
很快在数学研究中，特别是在解决实数理论逻辑基础问题中发挥了明显作用，他们为什
么视不见泥？这里固然有性情和学术品质方面的因素，但主要的也是思维方法上的原因。
这些人中的绝大多数，持有和克隆尼克一样的观点，认为任何数学对象必须能用有限步
骤从自然数构造出来。而无穷集合不符合这个要求，那就不应成为数学研究的对象，当
然集合论也不是数学。他们头脑中很可能有着捍卫数学理论严格性和纯洁性的良好愿望。
但他们不是把实践作为判断数学对象现实性和数学理论真理性的标准，却主观武断地为
数学研究划出一条人为界限，要把所有不能用构造方法获得的数学理论，不仅是集合论，
还有很大一部分数学分析理论，都统统排斥在数学领域之外。希尔伯特曾指出，克隆尼
克的方案是要把我们的科学肢解，使它残缺不全。如果我们接受这种“改革办法”，就
要失去我们最有价值的宝藏的大部分。他说：“没有任何人能把我们从康托尔为我们创
造的乐园中清除出去”。他所说的“乐园”就是指集合论。事实证明希尔伯物是对的。
克隆尼克等人并未能阻止集合论的生长，也未能阻止绝大多数数学家最终把集合论看作
现代数学中理所当然的组成部分。克隆尼克等人在看待数学对象的问题上，无疑犯了先
验、片面的弊病。历史表明，给数学的发展划定先入为主的界限的努力，是决不会成功
的。
    历史的教训
    集合论的创立和康托尔的遭遇，给后人留下的历史教训是很深刻的。它告诫人们，
要坚持和发展科学真理，决不能离开实践。科学理论的对象和内容越是抽象，就越需要
深深扎根在现实土壤之中。如果脱离实践，到唯心主义和宗教那里去寻求精神支柱，只
能误入岐途，给科学新成果的宣传和普及增设障碍。它还告诫人们，当一种新的科学发
现或发明出现的时候，不要凭借直观的、常识或以往的经验来下判断，更不要给科学成
果施加某种主观的、人为的标准。真理的唯一标准只能是人们的实践。它告诫那些创造
科学新成就的人们，要有充分的精神准备听取各种反对意见，承受可能出现的冷遇、嘲
讽和打击，克服前进道路上的各种困难。要充分认识到，获得科学发现是艰苦的，使科
学发现为人们理解同样的艰苦的，两者都要经历一个奋斗的过程，决不可能一蹴而就。
它还告诫那些评价科学新成新的人们，要冷静、客观、全面地看待每一项科学发现或发
明，要善意地对待科学新成果发展过程中难免的缺点和弱点。科学工作者要注意科学道
德修养，避免再出现克隆尼克那样的事情。像集合论这样的科学成果，在科学发展中应
是越来越多的；而像康托尔这样的悲惨遭遇，则是不应该再出现了。
    ------------------
　　
--

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.247.254]