中国数学家，中国科学院院士 - 吴文俊(1919～ )

林夕儿

吴文俊(1919～ )
    中国数学家。中国科学院院士。1919年5月12日生于上海。1940年毕业于上海交通大学。1947年赴法国留学，先后在斯特拉斯堡、巴黎、法国科学研究中心进行数学研究，1949年获博士学位。1951年回国。历任北京大学数学系教授，中国科学院数学研究所研究员、副所长，中国科学院系统科学研究所研究员、副所长、名誉所长，数学机械化研究中心主任，中国数学会理事长、名誉理事长，中国科学院数学物理学部常务委员、主任等职。曾任全国政协常务委员。主要从事拓扑学、机器证明学等方面的研究并取得多项突出成果，是中国数学机械化研究的创始人之一。1952年刊印出版的博士论文《球纤维空间示性类理论》是对纤维空间基本问题的重要贡献。50年代在示性类、示嵌类等研究方面取得一系列突出成果，并有许多重要应用，被国际数学界称为“吴文俊公式”、“吴文俊示性类”，已被编入许多名著。这项成果曾获1956年国家自然科学奖一等奖。60年代继续进行示嵌类方面的研究，独创性地发现了新的拓扑不变量，其中关于多面体的嵌入和浸入方面的成果至今仍居世界领先地位。在庞特雅金示性类方面的成果，是拓扑学纤维丛理论和微分流形的几何学的一项基本理论研究，有深刻的理论意义。近年来创立了定理机器证明的吴文俊原理（国际上称为吴方法），实现了初等几何与微分几何定理的机器证明，达到了世界先进水平。这一重要创新改变了自动推理研究的面貌，在定理机器证明领域产生了巨大影响，并有重要的应用价值，它将引起数学研究方式的变革。这方面的研究成果曾获全国科学大会重大成果奖和中国科学院科技进步奖一等奖。在机器发现和创造定理的研究方面也取得了重要成果。