吴文俊的故事
吴文俊,中国人,1919年5月12日生于上海。1940年毕业于上海交通大学,1949年在法国斯特拉斯堡大学获博士学位。1951年回国,1957年任中国科学院学部委员,1984年当先为中国数学会理事长。吴文俊在数学上作出了许多重大的贡献。
拓扑学方面,在示性类、示嵌类等领域获得一系列成果,还得到了许多著名的公式,指出了这些理论和方法的广泛应用。他还在拓扑不变量、代数流形等问题上有创造性工作。1956年吴文俊因在拓扑学中的示性类和示嵌类方面的卓越成就获中国自然科学奖一等获。
机器证明方面,从初等几何着手,在计算机上证明了一类高难度的定理,同时也发现了一些新定理,进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。这项工作为数学研究开辟了一个新的领域,将对数学的革命产生深远的影响。1978年获全国科学大会重大科技成果奖。