吴文俊
中国科学院数学与系统科学研究院系统科学研究所名誉所长、研究员、中国科学院院士、第三世界科学院院士。1919年5月12日生，1940年毕业于上海交通大学数学系。1949年在法国斯特拉斯堡大学获法国国家科学博士学位。曾任中国数学学会理事长(1985-1987)，中国科学院数理学部主任(1992-1994)。
吴文俊研究工作涉及代数拓扑学、代数几何、博奕论、数学史、数学机械化等众多学术领域，他对数学的主要领域--拓扑学的某些领域做出了奠基性贡献。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。他的工作是20世纪50年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。70年代后期又开创了崭新的数学机械化领域，提出了用计算机证明几何定理的吴方法，被认为是自动推理领域的先驱性工作。他建立的“吴消元法”是求解代数方程组最完整的方法之一，后来又将这一方法推广到偏微分代数方程组。这些成果不仅对数学研究影响深远，还在许多高科技领域得到应用。他是我国最具国际影响的数学家之一，他的成就缩短了中国现代数学与国际上的差距。
吴文俊曾获首届国家自然科学一等奖(1956)，中国科学院自然科学一等奖(1979)，第三世界科学院数学奖(1990)，陈嘉庚数理科学奖(1993)，首届香港求是科技创新基金会杰出科学家奖(1994)，Herbrand自动推理杰出成就奖(1997)，首届国家最高科技奖(2000)。
2000年度国家最高科学技术奖获奖者吴文俊简介
吴文俊，男，1919年5月出生于上海，1940年毕业于上海交通大学数学系。
1946年赴法国Strassbourg大学留学，获博士学位。1957年被选为中国科学院学部委员(院士)。1990年被第三世界科学院选为院士。
1952年至1979年任中国科学院数学所副所长、研究员。1979年至现在任中国科学院系统科学研究所副所长、名誉所长、研究员。
吴文俊院士是著名的数学家，他的研究工作涉及到数学的诸多领域。在多年的研究中取得了丰硕成果。其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用，影响深远，享誉世界。
70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统(即算法化思想)，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为“吴方法”，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。
吴文俊院士热爱祖国，有高尚的科学道德，是数学界德高望重的前辈，至今仍在数学机械化研究的第一线。在50多年的研究工作中，始终站在数学领域的前沿，做出了原创性研究成果。在国际上产生了重大影响。
会员区*发表文章
您现在的位置： 吴氏网 >> 资讯 >> 文籍 >> 人物 >> 正文
网友评论：（评论内容只代表网友观点，与本站立场无关！）