证明是数学思想中*重要，也是*开拓性的特征之一。没有证明，*无法谈论真正的数学。本书讲述了证明的演变及其在数学中的重要作用和启发意义。从古希腊几何学时代开始，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事。我们将看到欧几里德、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。这本书不是教材，它是在讲数学的历史，更是在讲数学思想的演变。作者揭示了数学学习和研究的底层方法和逻辑，让读者看到在数学中什么定理可以被证明，如何证明？什么问题可以（或无法）被解决？为数学研究和发展打开全新的视角。
本书是*数学家保罗·哈尔莫斯的自传，也是他为自己所处的“数学时代”写下的历史掠影。哈尔莫斯因在泛函分析、遍历理论、测度论、布尔代数理论等领域的贡献著称于世。他不仅对整个数学领域的研究保持着浓厚兴趣，而且始终关注着数学世界的人与事。读者可在本书中看到上百位数学家的身影。哈尔莫斯讲述了他们的趣闻轶事，为他们拍照留念，让读者对这群数学家产生*而感性的认识。这本书堪称20世纪的数学“社会史”。同时，作者谈到如何学习、如何做研究、如何营造良好的学习和学术环境，讲述了自己对数学的理解，以*身经历告诉读者，什么是真正的数学家和数学研究，以及怎样才能成为一名数学家。 本书适合数学爱好者、数学研究人员，以及对数学史和科学史感兴趣的大众读者阅读。
数学是理解和探索世界的工具，无论是学生、工程师还是科学家，*有能力也应该学会数学建模的方法和思想，学会如何用正确的思维方式搭建解答问题的阶梯。这本书旨在将数学作为一门语言、一种方法来*读者学习数学。读者也将看到如何理解、传承并调用现代科学的知识、传统和范式。数学建模不仅是数学学习和研究的过程，更是我们认识世界、理解生活的方法之一，而在实践数学建模的过程中，我们将深刻感受到数学的趣味性、严谨性和解决问题的无穷威力，正如亨利?庞加莱的名言所讲，这将是一次面向心智的雅致统一的追求。
本书以独特的视角呈现线性代数的全貌，*覆盖了线性空间与线性映射、矩阵与行列式、谱理论、欧几里得结构等核心理论，还单独讨论了向量值与矩阵值函数的微积分、动力学、凸集、赋范线性空间、自伴随矩阵的本征值计算等特色专题，理论和应用相结合。每章*有练习，并为部分练习提供解答。书后还有辛矩阵、快速傅里叶变换、洛伦兹群、若尔当标准形等16个附录。
