吴文俊

出处：按学科分类—历史、地理 广东人民出版社《中国专家大辞典·广东卷》第35页（566字）

【介绍】：

中国科学院学部委员。

现代数学家。男，1919年5月出生，上海人。

中国科学院系统科学研究所研究员。原中国数学会理事长。

主要贡献：长期从事数学研究，30岁时所写的博士论文《球纤维空间的示性类理论》就对研究纤维空间的基本性质作出了重要贡献。1950年提出的拓扑学中的基本公式——示性类公式被国际数学界命名为“吴文俊公式”。国际上不少数学家对“吴公式”作过不同的证明和推论，载入名家着作中，如菲尔滋奖的获得者米尔诺的名着“示性类”中，以“吴公式”为题的论文有多篇。英国皇家学会会员、菲尔滋奖获得者阿梯雅，将其关于示性类的公式称为“吴示性类”。

1955年又提出了示嵌类理论，显出了独创精神，此二项研究获我国首次自然科学一等奖。其庞特雅金示性类的研究工作是拓扑学中纤维丛理论及微分流形的几何学的一个基本理论工作，有着深刻的理论意义，促进了拓扑学的发展。1956年发表的《可剖形在欧氏空间中的实现问题》是代数拓扑方面的重大成果。1977年发表的《初等几何判定问题与机械化证明》一文，在不考虑点之间关系的情况下，给出初等几何判定问题的另一解法。

随后用计算机先后证明了初等几何与微分几何中一些主要定理。这些成果是在机械证明方面的重大贡献。