《证明的故事：从勾股定理到现代数学》[澳]约翰·史迪威 著，程晓亮 张浩 译，人民邮电出版社 | 图灵新知，2025年2月版本书从古希腊几何学时代讲起，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事，讲述了证明的演变