吴文俊(1919年5月12日-2017年5月7日),出生于上海,是中国著名的数学家,也是中国科学院院士。他在中国数学机械化研究领域具有开创性的贡献,被誉为“人民科学家”。吴文俊的研究工作涉及数学的多个领域,包括代数拓扑学、代数几何、博奕论、数学史和数学机械化等。
吴文俊在拓扑学领域做出了奠基性的工作,他的示性类和示嵌类研究在国际数学界享有盛誉,被称为“吴公式”、“吴示性类”和“吴示嵌类”,至今仍被广泛引用。他的这些工作对现代数学的发展产生了深远的影响。
除了在拓扑学方面的贡献,吴文俊还关注于数学机械化,即利用计算机技术进行数学证明的研究。他开创的数学机械化方法在国际上被称为“吴方法”,对人工智能研究产生了重要影响。
吴文俊在1940年毕业于上海交通大学数学系,1949年在法国斯特拉斯堡大学获得博士学位。他曾任中国科学院系统科学研究所名誉所长、中国数学会理事长、中国科学院数理学部主任等职。吴文俊在1957年当选为中国科学院院士,1991年当选第三世界科学院院士。
吴文俊的科学成就和贡献得到了国际社会的认可,他的工作不仅在学术界,也在公众中享有崇高的声誉。2017年5月7日,吴文俊因病医治无效,在北京去世,享年98岁。