科学出版社推出《吴文俊全集》

    本报讯2019年是吴文俊先生诞辰一百周年。科学出版社近日出版了由吴文俊先生的弟子李邦河院士，高小山、李文林研究员编订的《吴文俊全集》。

    吴文俊是我国最具国际影响力的数学家之一，系中国科学院院士、第三世界科学院院士，曾荣获首届国家最高科技奖（2000）、首届国家自然科学一等奖（1956）、首届求是杰出科学家奖（1994）等诸多奖项。早年留学法国期间就在拓扑学方面做出了杰出贡献，提出了后来以他的名字命名的“吴公式”和“吴示性类”。回国后提出了“吴示嵌类”等拓扑不变量，发展了统一的嵌入理论。吴文俊先生关于示性类与示嵌类的研究已成为二十世纪拓扑学的经典，至今还在前沿研究中使用。二十世纪七十年代以来，吴文俊先生在汲取中国古代数学精髓的基础上，开创了崭新的现代数学领域——数学机械化。他发明的被国际上誉为“吴方法”的数学机械化方法，改变了国际自动推理的面貌，形成了自动推理的中国学派，使中国在数学机械化领域处于国际领先地位。此外，吴文俊先生还跨越代数几何、博弈论、中国数学史、计算图论、人工智能等众多领域，并在每个领域都留下了重要贡献。其著作《几何定理机器证明的基本原理（初等几何部分）》1988年获第四届全国优秀科技图书一等奖；《数学机械化》2001年获第五届国家图书奖，第十届全国优秀科技图书一等奖。

    《吴文俊全集》包括吴文俊先生生平所有的重要著作、论文以及对吴先生生平及学术成就的概述，共计十三卷,包括拓扑学四卷、数学机械化五卷以及数学史、博弈论与代数几何、数学思想各一卷，设有附卷,收录吴文俊先生的同事、学生和其他社会各界人士发表过的与吴先生有关的各类文献资料。