醉染图书数学简史:确定的消失9787508693705

序言
引言：主题 / 001
章 数学真理的起源 / 009
第2章 数学真理的繁荣 / 035
第3章 科学的数学化 / 059
第4章 场灾难：真理的丧失 / 083
第5章 一门逻辑学科不合逻辑的发展 / 121
第6章 不合逻辑的发展：分析的困境 / 155
第7章 不合逻辑的发展：1纪的困境 / 185
第8章 不合逻辑的发展：天堂之门 / 207
第9章 天堂受阻：理的新危机 /
0章 逻辑主义与直觉主义 / 261
1章 形式主义与集合论公理化基础 / 297
2章 灾难 / 313
3章 数学的孤立 / 337
4章 数学向何处去 / 371
5章 自然的 / 397
参考书目 / 430
人名索引 / 438

[美] 莫里斯？克莱因 （Morris Kline，1908—1992）
数学史大家、数学哲学家。二战期间在美国军方的 Signal Corps（通信部门）工作，他以物理学家的身份，在当时研发了雷达的工程实验室工作。二战结束之后，他继续研究电磁学，并于 1946 年在库朗数学研究所担任所长一职。1952年回到他的母校纽约大学，成为全职数学教授，并一直从事数学史研究、写作和教学直到逝世。他不仅以数学史研究闻名于世，而且在 20 世纪下半叶的数学课程教育改革中发挥了重要的作用，他对数学研究和教育的实用的强调推动了20世纪60年代新数学运动（New Math）的开展。
他著有四卷本数学史名著《古今数学思想》《数学简史：确定的消失》《西方文化中的数学》《微积分：一条直觉与物理的研究进路》等。
克莱因对当代数学研究方法持批评态度，他认为大多数学家从现实世界退缩而转向关注于数学之中产生的问题，他们抛弃了数学的传统与遗产。本书是他对当代数学处在自给自足和自我设限的境地的知名反思。

克莱因是自欧几里得以来比任何人都理解数学的人。
——Omni（杂志）

数学的未来在哪里？它会衰落吗？数学家克莱因在《数学简史》中侃侃而谈2500多年的思想史，揭示出数学的命运。
——KIRKUS REVIEW

数学是如何从人类理的骄傲成为今天各个学派之间的论战，对于这个这话题，克莱因的讲述是极其激动人心且深入浅出的。
——威廉？巴雷特（《非理的人》一书作者），《纽约时报》书评

《数学简史：确定的消失》是一部思想史，它追溯了从古希腊到1931年这期间复杂的数学思想的轨迹。哥德尔的不仅让数学家们颜面扫地，还明了象牙塔本身就是一个毫无根据的神话。
——FUTURISM

战争、饥荒和瘟疫能引起悲剧，然而，人类思想的局限也能引起理上的悲剧。本书论及的不幸事件降临在人类为著且无与伦比的成就，对人类的理精神具有持久和深刻的影响—数学的头上。

换句话说，这本书在非专业层次上探讨数学尊严的兴衰。看到数学现在的宏大规模，日益增多甚至呈繁荣之势的数学活动，每年发表的数以千计的研究，对计算机兴趣的迅猛增长以及尤其是在社会科学和生物科学中对定量关系的广泛研究，数学的衰落从何谈起？悲剧存在于何处？要回答这些问题，我们首先必须考虑是什么为数学赢得了巨大的声望和荣誉。

作为一个独立知识体系的数学起源于古希腊，自它诞生之日起的2000 多年来，数学家们一直在追求真理，而且成就辉煌。关于数和几何图形的庞大理论体系为数学提供了一个看起来似乎的确定前景。

在数学以外的领域，数学概念及其推论为重大的科学理论提供精髓。尽管通过数学和科学的合作才获得的知识用到了自然定律，但它们看来似乎与的数学真理一样可信，因为天文学、力学、光学和空气动力学中的数学所做的预测与观察和实验相当吻合。因此，数学能牢固把握宇宙的所作所为，能瓦解玄秘并代之以规律和秩序。人类得以趾高气扬地俯瞰他周围的世界，吹嘘自己已经掌握了宇宙的许多秘密（实际上是一系列数学定理）。拉普拉斯 的话概括了数学家们一直在不懈地寻求真理的信念。他说，牛顿2 是幸运的人，因为只有一个宇宙，而他已发现了它的规律。

数学依赖于一种特殊的方法去达到它惊人而有力的结果，即从不自明的公理出发进行演绎推理，这种方法我们仍会在通常的高中几何课上学习。它的实质是，若公理为真，则可以保由它演绎出的结论为真。通过应用这些看起来清晰、正确且完美的逻辑，数学家们得出显然是毋庸置疑、无可辩驳的结论。数学的这套方法在今天仍然沿用。任何时候，任何人想找一个推理的必然和准确的例子，一定会想到数学。

这种数学方法所取得的成功吸引了伟大的智者，数学已显示了人类理的能力、根源和力量。所以他们想到，为什么不能把这种方法用到由、风俗、习惯控制的领域，比如在哲学、神学、伦理学、美学及社会科学中去寻求真理呢？人类的推理能力在数学和自然科学中是如此卓有成效，肯定也将成为上述领域思想和行为的主宰，为其获得真理的美和美的真理。因此，在被称作理时代的启蒙时期，数学方法，甚至和一些数学概念及定理，被应用到了人文领域之中。

洞察力丰富的来源是后见之明。19 世纪初的创造，包括令人奇怪的几种几何学和代数学，迫使数学家们极不情愿地承认意义上的数学或者科学中的数学真理并不都是真理。例如，他们发现几种不同的几何学同等地与空间经验相吻合，但它们可能都不是真理。显然，自然界的数学设计并不是固有的，或者如果是的话，人类的数学都未必是那个设计的优选诠释。开启真理的钥匙失去了，这一事实是降临到数学头上的个不幸事件。

新的几何学和代数学的诞生使数学家们感受到另一个宇宙的震动。寻求真理的信念使数学家们如醉如痴，总是迫不及待地用严密论去追求那些虚无缥缈的真理。认识到数学并不是真理的化身动摇了他们从数学那里获得的自信，他们开始重新检验他们的创造。他们失望地发现数学中的逻辑形容枯槁，惨不忍睹。

事实上，数学已经在不合逻辑地发展，不仅包括错误的明推理的漏洞，还有稍加注意就能避免的疏误。这样的错误比比皆是。这种不合逻辑的发展还涉及对概念的片面理解，无法真正认识逻辑所依赖的原理以及论的不严谨；也就是说，直觉、实及借于几何图形的明取代了逻辑论。

不过，数学仍然是一种对宇宙的有效描述，而且在许多人心里，特别是在柏拉图主义者看来，数学是实在（reality）的一部分，是值得追求的。因此，数学家们决定去弥补丢失了的逻辑结构，重建有缺陷的部分。在19 世纪下半叶，数学的严密化运动（rigorization of mathematics）格外
引人注目。

到1900 年，数学家们确信已实现了自己的目标。尽管他们不得不满足于数学仅能作为对宇宙的一个近似描述的观点，许多人甚至放弃了宇宙的数学化设计这一信念，但的确庆幸他们重建了数学的逻辑结构。然而，他们还没来得及炫耀自封的成功，在重建的数学中就发现了矛盾。一般称这些矛盾为悖论（paradoxes），这是为了避免直接说矛盾而破坏了数学逻辑的委婉用语。

当时那些领头的数学家几乎立刻就投身于解决这些矛盾，于是他们构想、阐述甚至建构了四种不同的数学学派，每一种都有众多的追随者。那些基础的学派不仅努力解决已有的矛盾，而且力争避免新的矛盾出现，换句话说，他们要建立数学的相容（consistency）。在这些基础研究中又出现了的问题，某些公理和演绎逻辑推理的可接受也成为几个学派采取不同立场的重要原因。

到1930 年，数学家们已满足于接受几种数学基础中的一两个，并且宣称自己的数学明至少和这些学派的原则相符。但是，灾难再次降临—以哥德尔1 的一篇有名的形式出现。哥德尔明了那几个学派所接受的逻辑原理无法明数学的一致。这还不包括里一些意义重大、影响深远的结果。哥德尔表明，对已取得的成功提出质疑不能不用到可疑的逻辑原理。哥德尔定理引起一场巨变。随后的发展带来了更的烦。例如，就连过去靠前推崇的、被认为是精密科学方法的公理化—演绎方法看来也是有缺陷的。这些新的发展给数学增加了多种可能的结构，同时也把数学家分成了更多的相异群体。

数学的当前困境是有许多种数学流派，而且由于种种原因，每一种都无法使对立学派满意。显然，普遍接受的概念、正确无误的推理体系—1800 年时尊贵的数学和那时人的自信—现在都成了痴心妄想。与未来数学相关的不确定和可疑，取代了过去的确定和自满。关于“确定的”科学的基础意见不一致不仅让人吃惊，而且，温和一点说，是让人尴尬。目前的数学或是故作深沉，或是对广泛承认的真理，所谓的完美无缺的逻辑的拙劣模仿。

有的数学家认为，关于接受什么作为真正数学的不同观点，总有会统一起来。在这些人当中比较有名的是一群署名为尼古拉？布尔巴基的法国领头数学家们：

长期以来，对数学原理的重要修正几乎无一不在不确定时期后，而不确定确实使矛盾出现了并且一定得被解决。在至今已有25个世纪之久的这段时期里，数学家们一直在改正他们的错误，并且看到了这门科学欣欣向荣，而不是枯竭衰败。这使他们有理由对未
来充满希望。

然而，更多的数学家并不乐观。20世纪伟大的数学家之一，外尔在1944年曾指出：
数学的基础和意义尚未解决，我们不知道沿着什么方向可以找到，或者甚至于有希望得到一个的、客观的。“数学化”很可能是人类原始创造力的一项创造活动，类似于语言或音乐，其历史观点否认接近客观的合理。

用歌德的话说：“一门科的史就是这门科学本身。”

对于正确的数学是什么的问题所存在的分歧以及不同基础的多样不仅严重影响数学本身，还波及为生机勃勃的自然科学。我们将看到，选的自然科学理论（即这种理论的成果可以在感觉上或实体上体现出来。例如即便我们一点也不懂电磁波是什么，但我们能听到收音机中传出的声音），这都是数学化的成果。因此，没有亲自对数学基础下过功夫，而又不打算花费数年时间研究不完美的数学的科学家，一定会关心什么样的数学能被理直气壮地应用。

真理的丧失，数学和科学不断增加的复杂，以及对于何种方法应用于数学是保险的的不确定，已使大多数数学家放弃科学。风声鹤唳，草木皆兵，数学家们不得不退回到那些明方法看起来似乎很安全的数学领域。他们还发现人为编造出来的问题比自然界提出来的问题更
富魅力，处理起来更加得心应手。

因完美的数学是什么而产生的危机和矛盾还阻碍了数学的方法在许多文化领域中的应用，如哲学、政治科学、伦理学和美学。找到客观、正确的定律和标准的希望变得微弱了，理时代已经过去。

尽管数学令人不满意，方法复杂多变，对可接受公理持不同意见，还有随时可能出现的新矛盾，都会殃及大部分数学领域，但是一些数学家仍然把数学应用于自然现象中，而且事实上把应用领域扩大到经济学、生物学和社会学。数学的继续有效给我们两点启示。点是这种有效（effectiveness）可用作判别正确（correctness）的准则，当然这个准则是暂时的。今天认为正确的，也许下次应用时就会被明是错的。

第二点涉及未知。真正的数学是什么？对此并无定论。为什么数学依旧有效？我们是在用不完美的工具创造奇迹吗？如果人类已经被欺骗了，大自然也会受骗而屈服于人类的数学命令吗？显然不会。而且正是凭借建立在数学之上的技术，人类成功地登上了月球，探测了火星和木星。这难道不是对宇宙中的数学理论的实吗？那么，数学的人为因素与变幻莫测又何从谈起呢？在心智和灵魂迷惘不定的时候，躯体能生存下去吗？当然对于人类本身及数学，确实如此。因此我们应该去研究为什么会这样。尽管数学的基础尚不确定，数学家们的理论也彼此，而数学却已被明成就辉煌，风采依然。

1. 知名的数学史家，美国新数学运动旗手
2. 用短的篇幅讲述数学2500年惊心动魄历史
3.在不牺牲准确的情况下，几乎没用公式
4. 版饱受精校本