《证明的故事：从勾股定理到现代数学》约翰·史迪威

证明是数学的灵魂，没有证明就没有真正的数学。本书以 “证明” 为线索，从古希腊几何学的公理体系讲起，串联起代数、微积分、数论、拓扑、集合论、数理逻辑等几乎所有数学分支的发展历程，讲述了证明的演变、核心作用与启发意义。

作者通过生动的历史故事与清晰的逻辑推导，展现了证明如何从直观的几何推理，发展为严谨的符号逻辑体系，甚至触及现代数学的不完备性等前沿问题。书中不仅拆解了勾股定理、欧几里得公理、微积分基础、非欧几何、哥德尔不完备定理等关键里程碑的证明思路，更揭示了证明如何推动数学思想的革命，塑造了人类对逻辑与真理的认知。

作者简介：约翰·史迪威（John Stillwell）是国际知名的数学史普及作家，著有《数学及其历史》《四维空间的故事》《数学的语言》等多部经典作品，擅长将抽象的数学思想与历史背景结合，让非专业读者也能领略数学的魅力。《证明的故事》是他聚焦 “证明” 这一核心主题的重磅新作，被誉为 “读懂数学如何运作的绝佳入门书”。