书名：《证明的故事》

I S B N：         9787115656872 

责 任 者： [澳] 约翰·史迪威 

索 书 号： O141.2/5035 图书 

出 版 社： 人民邮电出版社 

馆藏地点： 本馆三楼图书借阅室  

       本书从古希腊几何学时代讲起，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事，讲述了证明的演变及其在数学中的重要作用和启发意义。我们将看到欧几里得、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。本书不是教材，而是在讲数学的历史，更是在讲数学思想的演变。作者揭示了数学学习和研究的底层方法和逻辑，让读者看到在数学中什么定理可以被证明、如何证明，以及什么问题可以（或无法）被解决，为数学研究和发展提供了全新的视角。