《证明的故事》

《证明的故事》[澳]约翰·史迪威（John Stillwell） 著，程晓亮/张浩 译，人民邮电出版社 出版，2025 年，共 424 页，ISBN 9787115656872。

证明是数学思想中最重要，也是极具开拓性的特征之一。没有证明，就无法谈论真正的数学。本书讲述了证明的演变及其在数学中的重要作用和启发意义。从古希腊几何学时代开始，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事。我们将看到欧几里德、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。这本书不是教材，它是在讲数学的历史，更是在讲数学思想的演变。作者揭示了数学学习和研究的底层方法和逻辑，让读者看到在数学中什么定理可以被证明，如何证明?什么问题可以(或无法)被解决?为数学研究和发展打开全新的视角。

[澳] 约翰.史迪威(John Stillwell) 澳大利亚数学家，美国麻省理工学院博士，旧金山大学荣休教授，首届美国数学学会会士(Fellow)。1994年国际数学家大会特邀报告人。 2005年荣获美国数学协会享有盛誉的"肖夫内奖"(Chauvenet Prize)。他是优秀的数学作者，本书和《数学及其历史》均为其代表作。