吴文俊<%=id%>

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

设为首页 | 加入收藏 | 广告服务 | 友情链接 | 版权申明