英文版炒到300+的数学史神作，中文版终于来啦！一本书串起上千年的数学群星璀璨史！

《证明的故事：从勾股定理到现代数学》

作者：[澳] 约翰·史迪威（John Stillwell）

译者：程晓亮 张浩

证明是数学的荣耀，也是其最具特色的特征。然而，许多数学家并不认为证明本身是一个有趣的话题。在美国，直到大学高年级，证明才被视为数学教育的一个重要部分，那时会开设“证明导论”课程。然而，通过保留证明的概念，我们阻止了学生了解数学实际上是如何运作的。在确定一个更谦逊但准确的书名之前，我曾考虑将本书命名为《数学是如何运作的》。它是关于证明的——不仅关于证明是什么，还关于它从哪里来，或许还有它将往何处去。

我们知道数学具有逻辑结构，也知道这个结构是在不断变化的，这反映了它在人类集体思维中的演变。通常，证明一个给定定理或发展一个给定理论的方法不止一种。往往最先被发现的方法并不是最简单的或最自然的，但旧方法的痕迹因为历史惯性或因为它们迎合了人类的感官或心理而留存下来。

例如，几何学继续迎合人类的视觉直觉，即使它可以通过代数学或分析学的符号方法来完成。因此，由于意识到历史和逻辑问题，人类的数学经验得到了极大丰富，我们应该把数学作为一种丰富的经验呈现给学生们。我相信，即使是数学家，在看到证明在数学中的演变时也会受到启发，因为数学的进步往往是证明概念的进步。

本书的一个主要主题是逻辑与计算之间的关系，这里的“计算”被广泛地理解为包括经典代数。在古希腊，逻辑很强（尽管主要应用于几何），而计算很弱。

在古代中国和古印度，计算占主导地位。当代数从古印度通过阿拉伯地区传入欧洲时，欧洲的情况也是一样的。接下来在 17 世纪，欧洲进一步迈向了无穷小代数，即微积分，它在接下来的两个世纪里主导了数学（和物理学）。莱布尼茨在未发表的著作中梦想将逻辑本身归约为代数演算。当布尔在 1847 年创造了我们现在所称的布尔代数时，莱布尼茨的梦想开始成形，从而将逻辑的重要部分归约为真正的计算。

但是，直到 20 世纪，数学的完整逻辑和计算的完整概念才被很好地理解。在1879 年，弗雷格描述了适用于数学的逻辑，但逻辑和计算是数学概念而不仅仅是数学方法的观念直到 20 世纪 20 年代才出现。当这一切发生时，经过波斯特、哥德尔、图灵等人的工作，逻辑和计算成了真正的数学分支——实际上，它们本质上是同一个分支。

不幸的是，逻辑和计算的发展在很大程度上与数学的其他部分隔离开，因此它们在数学界不如应有的那样为人所知。本书试图通过呈现主流数学中发展起来的逻辑来纠正这种情况。数学史可以被视为证明的历史，因为数学对证明提出了最极端的挑战，仅举几例：毕达哥拉斯学派发现无理数、16 世纪遇到虚数、17 世纪关于无穷小的争论，以及 19 世纪与无穷大的斗争。

本书的另一个相关主题是概念的发展，因为只有当合适的抽象概念和符号可用于表达证明时，证明通常才能被清晰地表述。这在代数学的发展中表现得最为明显，许多抽象概念起源于代数学，后来传播到数学的其他部分。但是概念的发展也是几何学和分析学的关键，现在看似显而易见的概念，如“面积”和“极限”，是在与未能精确捕捉其意图的临时概念进行长期斗争后才出现的。

事实上，数学概念的网络就像定理的网络一样复杂，我试着在本书关键的地方用黑体突出定理和概念。在前几章中，新的概念足够简单且不会频繁出现，可以非正式地定义，我在后几章中进行了更形式化的定义，特别是当几个新概念一起出现并相互依赖时。

我希望本书能为一般的数学受众阐明逻辑、计算和抽象在数学中的作用，从而使读者更好地理解证明的本质。本书与其说是关于证明的介绍，不如说是基础数学中证明的全景。

我们将从逻辑和历史的角度重新审视所有数学家长期关注的多个问题，例如几何学、代数学和分析学之间的关系，以及它们看似不同的证明风格。我们将看到概念的直觉起源、对捕捉直觉的公理的追寻、从公理中产生的新直觉，以及公理所揭示的几何学、代数学和分析学之间的联系。

例如，众所周知，希尔伯特在 19 世纪 90 年代填补了欧几里得几何公理的空白。但鲜为人知的是，希尔伯特在这样做的过程中发现了几何学、代数学甚至分析学之间的新联系。我在第 3 章和第 11 章对这些联系进行了解释。

本书部分按时间顺序编排，部分按主题编排。数学领域是按时间顺序介绍的：几何学和数论、代数学、代数几何、微积分，等等。但有时我们会在按时间顺序转向下一个主题之前，长时间不打断思路地聚焦一个特定的主题。例如，第 4 章讲述了从古代到 19 世纪的代数学的故事，因为它大部分是独立的。接下来，第 5章、第 6 章和第 7 章讲述了代数学对其他数学领域（如几何学、微积分和数论）的影响。

按主题编排素材也有助于编排证明方法，因为上面提及的不同领域中有不同的证明方法。如今，这些方法如此不同，以至于一个领域的人们常常无法理解另一个领域的人们。除此之外，我希望本书能够通过解释不同领域特有的证明方法来促进相互理解。它应该适合高年级本科生阅读，并且他们的老师也可能会感兴趣——本书或许可作为我之前两本书《数学基础》（Stillwell 2016）和《反推数学》（Stillwell 2018）之间的桥梁。

像往常一样，我要感谢我的妻子伊莱恩（Elaine），她以鹰眼般敏锐的目光校对了原稿。我还要感谢马克·胡纳切克（Mark Hunacek）和匿名评审们提出的有益建议和更正。