数学史名著《证明的故事》中文版来啦！带你从勾股定理到现代数学，探索数学证明的演变历程。
原文标题：英文版炒到300+的数学史神作，中文版终于来啦！一本书串起上千年的数学群星璀璨史！
原文作者：图灵编辑部
冷月清谈：
书中以时间为线索，从古希腊几何学开始，涵盖了代数、微积分、集合论、数论、拓扑学、逻辑学等多个数学分支，并讲述了每个分支中证明的演化过程。
作者强调了逻辑与计算之间的关系，认为它们在20世纪发展成为真正的数学分支，并指出数学史可以看作是证明的历史，因为数学中很多重大进展都源于对证明的挑战，例如无理数的发现、虚数的引入、无穷小的争论以及对无穷大的探索。
此外，本书还探讨了数学概念的发展，认为清晰的证明需要合适的抽象概念和符号来表达，并以代数学为例说明了抽象概念的起源和传播。本书适合高年级本科生及数学教师阅读，可以帮助读者更好地理解证明的本质以及不同数学领域之间证明方法的差异。
怜星夜思：
2、书中强调了逻辑和计算之间的关系，那么逻辑和计算在哪些具体的数学领域中体现得尤为明显呢？
3、除了书中提到的例子，大家觉得还有哪些数学概念的发展对证明的进步产生了重要影响？
原文内容
享誉世界的数学史名师约翰·史迪威（John Stillwell）自《数学及其历史》后十年磨一剑，再出新作！聚焦证明的历史，时间跨度从从勾股定理到现代数学。
没有证明，我们就无法谈论真正的数学。本书从古希腊几何学时代讲起，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事，讲述了证明的演变及其在数学中的重要作用和启发意义。我们将看到欧几里得、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。
这本书未出版前就在数学圈广为关注，英文版更是炒出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）和匿名评审们提出的有益建议和更正。
约翰·史迪威（John Stillwell）
南墨尔本，2021 年
《证明的故事：从勾股定理到现代数学》
作者：[澳] 约翰·史迪威（John Stillwell）
译者：程晓亮 张浩
数学史泰斗、旧金山大学荣休教授，“肖夫内奖”获得者，当今世界最有影响力的数学家之一约翰·史迪威全新力作！
证明是数学思想中十分重要且极具开拓性的特征之一。没有证明，就没有真正的数学！
本书从古希腊几何学时代讲起，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事，讲述了证明的演变及其在数学中的重要作用和启发意义。我们将看到欧几里得、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。
本书不是教材，而是在讲数学的历史，更是在讲数学思想的演变。
配套阅读
《基础数学讲义：走向真正的数学》
作者：(英) 伊恩·斯 图尔特 (Ian Stewart) 、(英) 戴维·托尔
译者：姜喆
数学畅销书作家伊恩•斯图尔特 X 数学思维发展和教育家戴维·托尔
合力打造高等数学入门经典巨作。
-
在数学学习的道路上走向“成熟”
-
弥合中学与大学数学学习的差距
-
一本被美国大学广泛采用的参考书
-
启发思维，有效引导，知识与方法深度结合