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

本书是*数学家保罗·哈尔莫斯的自传，也是他为自己所处的“数学时代”写下的历史掠影。哈尔莫斯因在泛函分析、遍历理论、测度论、布尔代数理论等领域的贡献著称于世。他不仅对整个数学领域的研究保持着浓厚兴趣，而且始终关注着数学世界的人与事。读者可在本书中看到上百位数学家的身影。哈尔莫斯讲述了他们的趣闻轶事，为他们拍照留念，让读者对这群数学家产生*而感性的认识。这本书堪称20世纪的数学“社会史”。同时，作者谈到如何学习、如何做研究、如何营造良好的学习和学术环境，讲述了自己对数学的理解，以*身经历告诉读者，什么是真正的数学家和数学研究，以及怎样才能成为一名数学家。 本书适合数学爱好者、数学研究人员，以及对数学史和科学史感兴趣的大众读者阅读。

本书以通俗易懂的语言和鲜活的案例，阐述博弈论的基本理论框架和主要知识点。全书分成四大部分：第一部分主要论述在同步一次囚徒困境博弈中，尽管合作对整体而言是最优的，但不合作却是个体的最优策略。书中对困境的机理及其在现实社会生活中的具体表现做了分析，还介绍了同步一次博弈的其他一些有趣场景和案例。第二部分讨论重复博弈，围绕如何从困境走向合作展开，重点介绍在重复博弈中，自利行为和长期主义可以催生合作这一重要原理及其具体应用。同时还介绍了混合策略的基本思想。第三部分讨论序贯博弈。参与者行动有先后顺序，那些与自身利益相冲突的决策，会在其他参与者行动之后发生变化。参与者可以通过承诺行动改变竞争对手的预期，以促使其选择对自己有利的行动。第四部分是不完全、不对称信息下的博弈，主要阐

本书探讨了近代中国如何参照西学，重新类分学术，从而建立新的系统，奠定今天的学术发展格局。这个过程既推动了中国学术融入世界，也改变了系统逻辑和传统思维。 知识分类是一个切入点，于上透视西方文明如何在“物之序”的层面冲击并改造固有学术，把现代学科看成须在后殖民意义上予以检省的文化冲击的结果；于下把学科概念、学术范畴、科目关系、系统结构、知识形态等分散的关节点，整合成由点到面、由外及内的网络联动体系，深入细部的同时总揽全局。 对知识纲目、系统结构、学术理念变化与重组的研究，展现了单一学科史难以传达的学术路径和知识全景图的改易，有助于深入把握近代学术乃至中国社会的转型与再造，有利于重新检省国人对西学的理解与接受，推动今后的学术发展与文明对话——既包括中西文化的平等交流、古代传

数学是理解和探索世界的工具，无论是学生、工程师还是科学家，*有能力也应该学会数学建模的方法和思想，学会如何用正确的思维方式搭建解答问题的阶梯。这本书旨在将数学作为一门语言、一种方法来*读者学习数学。读者也将看到如何理解、传承并调用现代科学的知识、传统和范式。数学建模不仅是数学学习和研究的过程，更是我们认识世界、理解生活的方法之一，而在实践数学建模的过程中，我们将深刻感受到数学的趣味性、严谨性和解决问题的无穷威力，正如亨利?庞加莱的名言所讲，这将是一次面向心智的雅致统一的追求。