简介:吴文俊。中国人,1919年5月12日生于上海.1940年毕业于上海交通大学.1949年在法国斯特拉斯堡大学获博士学位.1951年回国,1957年任中国科学院学部委员.1984年当选为中国数学会理事长.吴文俊在数学上作出了许多重大的贡献.拓扑学方面.在示性类、示嵌类等领域获得一系列成果.还得到了许多著名的公式.指出了这些理论和方法的广泛应用.他还在拓扑不变量、代数流形等问题上有创造性工作.1956年吴文俊因在拓扑学中的示性类和示嵌类方面的卓越成就获中国自然科学奖一等获.机器证明方面,从初等几何着手,在计算机上证明了一类高难度的定理.