本报电 (记者张保淑)今年是吴文俊先生诞辰100周年。由吴文俊弟子中国科学院李邦河院士、高小山研究员和李文林研究员编订的《吴文俊全集》日前出版。该书系统收录吴文俊先生的学术著作和论文,以此纪念其学术成就。
吴文俊(1919-2017)是中国最具国际影响力的数学家之一,系中国科学院院士、第三世界科学院院士,曾荣获首届国家最高科技奖(2000)、首届国家自然科学一等奖(1956)、首届求是杰出科学家奖(1994)等诸多奖项。
吴文俊早年留学法国,留学期间就已在拓扑学方面做出了杰出贡献,提出了后来以他的名字命名的“吴公式”和“吴示性类”。回国后提出了“吴示嵌类”等拓扑不变量,发展了统一的嵌入理论。吴文俊关于示性类与示嵌类的研究,已成为20 世纪拓扑学的经典,至今还在前沿研究中使用。20世纪70年代以来,吴文俊在汲取中国古代数学精髓的基础上,开创了崭新的现代数学领域——数学机械化。他发明的被国际上誉为“吴方法”的数学机械化方法,改变了国际自动推理的面貌,形成了自动推理的中国学派,使中国在数学机械化领域处于国际领先地位。