1701056704
1701056705
纽约大学的教授哈罗尔德·M·爱德华兹（Harold M. Edwards）研究过克罗内克的生平和成果，他说：从本质上来说，“克罗内克经常被描述成武断、偏激和刻薄……我相信克罗内克有理性，不是那么刻薄。”(36)他解释说：“尽管在康托尔明显具有臆想狂倾向的世界里，克罗内克扮有极其重要的角色；但我不信，对于克罗内克，康托尔在他的生活中也会那么重要。我怀疑，对于克罗内克来说，康托尔只不过是另一个被魏尔斯特拉斯引入歧途的年轻人，这个年轻人的数学观念令人绝望地被误导了。”(37)
1701056706
1701056707
爱德华兹指出：“在克罗内克死后10年到15年，有人还能从他的著作中得到很有意义的参考，但是从那以后……鲜有例外，了解克罗内克工作的数学家们都是间接了解到他的。”他认为这种事是通过以下途径发生的：
1701056708
1701056709
魏尔斯特拉斯学派的势力和他们对克罗内克的敌意（这在米塔格-列夫勒1900年的演讲中表现得很明显）确实起了作用。另一个起重要作用的人物是戴德金，他通过自己的研究成果，也通过他对诸如韦伯（Weber）、康托尔和希尔伯特这样的年轻数学家的提携来施加他的影响。戴德金创立了一门新的数学学科，也形成了一种对待数学基础的态度，这容易使克罗内克的工作看起来举步维艰……最后，希尔伯特和康托尔各自凭着自己的影响使年轻一代数学家远离了克罗内克(38)。
1701056710
1701056711
这个结果的一个例证，约翰·D·巴罗（John D. Barrow）在他极为畅销的书《天空中的圆周率》（Pi in the Sky）中写道：康托尔的“名字被人记住了，而克罗内克则几乎完全被遗忘”。(39)一位著作在当代鲜有人读的数学家更容易被视为“坏家伙”。
1701056712
1701056713
莫里斯·克莱因指出：“在他那个时代，克罗内克自己的哲学没有支持者，在差不多25年里，没有人追随他的观念。”(40)然而（大约世纪之交的时候）在发现那些悖论后，庞加莱和布劳威尔等数学家重新发现了克罗内克某些成果的价值，并进一步发展了它。对于这两位数学家，我们在后面章节将详细讨论。
1701056714
1701056715
爱德华兹写道：“我相信，克罗内克的价值重新得到重视最大的希望来自……计算机出现引发的定程式思考趋向……”他接着说：“复活这个长期被人忽视的观点会使人以一个全新的视觉欣赏他的遗产，这是我的希望。”(41)同时，人们或许还会用新的眼光看待克罗内克本人。约瑟夫·道本似乎也同意爱德华兹的说法，至少在大体上认同，他认为：因为从众的心理，人们对待克罗内克不公平(42)。
1701056716
1701056717
研究过这场争端的两位社会学家兰达尔·柯林斯（Randall ollins）和萨尔·内斯蒂沃（Sal Restivo）提出了一个有趣的观点：“克罗内克和康托尔之间的斗争……不是传统和创新的数学意识之间的冲突，而是新范式之间的竞争。克罗内克不是数学上的传统主义者，为了反对当时的无穷和无理数、超越数和超限数等观念，他被迫在一个激进的新基础上构建一门新数学。正如康托尔成为形式主义运动的先驱一样，克罗内克的成果预示着20世纪直觉学派的诞生。两个派别都希望数学变得更严密，但在如何达到这个要求上，他们有很深的分歧。”(43)
1701056718
1701056719
对于康托尔的不幸遭遇，无论克罗内克是否在实际上有直接的责任，克罗内克和康托尔之间的冲突都有积极的后果。康托尔最初的观点是不牢靠的——例如，它们更多地是建立在观念的基础上，而不是公理的基础上——考虑到它们是新创的，这也不让人奇怪。意识到批评（特别是克罗内克的）随时都有可能降临，康托尔和几个追随者被迫不断地深究，最后为他的理论得出更牢固的基础。
1701056720
1701056721
即使这样，当他的集合论在最后发展到更大的规模时，在它内部一系列悖论的出现差一点让它崩溃。他的追随者之一德国数学家恩斯特·策梅洛提出让集合论公理化以拯救它。但是很快，他也会发现，在关于他的工作的价值上，他将陷入了一场痛苦的论辩。
1701056722
1701056723
(1) 伽里莱·伽利略，《两个新科学的对话》（“Dialogues Concerning Two New Sciences”）（纽约：麦格劳-希尔，1963年），第29页。（原版于1638年出版。）
1701056724
1701056725
(2) 克莱因，1972年，第993页。
1701056726
1701056727
(3) 霍林代尔，1989年，第359页。
1701056728
1701056729
(4) 道本，1990年，第4页。
1701056730
1701056731
(5) 道本，1990年，第1页。
1701056732
1701056733
(6) 卡约里，1980年，第362页。（原版于1893年出版。）
1701056734
1701056735
(7) 巴罗，1992年，第200页。
1701056736
1701056737
(8) 阿克泽尔，2000年，第77页。
1701056738
1701056739
(9) 贝尔，1937年，第562页。
1701056740
1701056741
(10) 同上书，第559页。
1701056742
1701056743
(11) 道本，1990年，第147年。
1701056744
1701056745
(12) 集合这个词有很多含义。1895年，康托尔把它看成任何不同的客观世界或思想世界中的物体m的完整组成体M。他称m是M的元素。
1701056746
1701056747
(13) 伽利略，《关于两门新科学的对话》，第31页。
1701056748
1701056749
(14) 有理数包括整数和整数的比（分数）；代数数是系数为有理数的多项式方程的根。
1701056750
1701056751
(15) 实数是能用小数表示的数，也是包括所有有理数和无理数的数集。
1701056752
1701056753
(16) 这个证明的准确描述可在以下地方找到：道本，1990年，第50—54页；阿克泽尔，2000年，第114—116页；顿汉姆，1990年，第259—261页。
[
上一页 ]
[ :1.701056704e+09 ]
[
下一页 ]