《吴文俊全集》吴文俊等著/科学出版社2019年版/2364.00元
为纪念吴文俊先生诞辰100周年，科学出版社近日出版了吴先生的弟子李邦河院士、高小山研究员和李文林研究员编订的《吴文俊全集》（以下简称“《全集》”）。《全集》系统地收录、整理吴文俊的学术著作和论文，以纪念他的学术思想及学术成就。
吴文俊（1919——2017），是我国最具国际影响力的数学家之一，系中国科学院院士、第三世界科学院院士，曾荣获首届国家最高科技奖（2000年）、首届国家自然科学一等奖（1956年）、首届求是杰出科学家奖（1994年）等重大奖项。吴文俊早年留学法国，留学期间就已在拓扑学方面做出杰出贡献，提出了后来以他的名字命名的“吴公式”和“吴示性类”。回国后，他又提出了“吴示嵌类”等拓扑不变量，发展了统一的嵌入理论。吴文俊关于示性类与示嵌类的研究，已成为20 世纪拓扑学的经典，至今还在前沿研究中使用。20 世纪70 年代以来，他在汲取中国古代数学精髓的基础上，开创了崭新的现代数学领域——数学机械化。他发明的数学机械化方法，被国际上誉为“吴方法”，改变了国际自动推理的面貌，形成了自动推理的中国学派，并使中国的数学机械化研究处于国际领先水平。上述拓扑学与数学机械化领域的成绩是20 世纪中国数学赶超国际先进水平的标志性成果。此外，吴文俊的工作涉及代数几何、博弈论、中国数学史、计算图论、人工智能等多个领域，并在每个领域都做出了重要贡献。吴文俊对数学世界从未间断的探索研究，对数学理论高峰孜孜不倦的追求，展示了中国数学家的精神和风采，为中国数学的发展奠定了里程碑，为世界数学科学的发展做出了巨大贡献。
吴文俊的著作和文章具有十分重要的学术价值，对相关学科发展和人才培养起到了巨大作用。其著作《几何定理机器证明的基本原理（初等几何部分）》于1988年获第四届全国优秀科技图书一等奖，《数学机械化》于2001年获第5届国家图书奖、第10届全国优秀科技图书一等奖。
《吴文俊全集》收录了吴文俊生平所有的重要著作、论文，以及对吴文俊生平及学术成就的概述。《全集》共计13 卷， 包括拓扑学4 卷、数学机械化5卷以及数学史、博弈论与代数几何、数学思想各1 卷；同时，《全集》还设有附卷， 收录吴文俊的同事、学生和其他社会各界人士发表过的与他有关的各类文献资料。《全集》的出版，有利于对吴文俊学术思想的深入研究和全面传承，无疑是对吴先生最好的纪念，将激励后继者为实现数学强国梦而砥砺奋进。（柯 吉）
