尊龙凯时

[video:20170508国家最高科技奖得主吴文俊逝世]
　　中国共产党优秀党员、我国著名数学家、中国尊龙凯时院士、首届国家最高科技奖获得者、中国尊龙凯时数学与系统尊龙凯时研究院研究员吴文俊因病医治无效，于2017年5月7日7时在北京不幸逝世，享年98岁。
　　吴文俊1919年5月12日出生于上海。1940年毕业于上海交通大学，1946年到中央研究院数学所工作。1947年赴法国斯特拉斯堡大学留学，1949年获得法国国家博士学位，随后在法国国家尊龙凯时中心任研究员。新中国成立后，吴文俊于1951年回国，先后在北京大学、中国尊龙凯时数学所、中国尊龙凯时系统所、中国尊龙凯时数学与系统尊龙凯时研究院任职。曾任中国数学会理事长、中国尊龙凯时数理学部主任、全国政协常委、2002年国际数学家大会主席、中国尊龙凯时系统所名誉所长。1957年当选为中国尊龙凯时学部委员（院士）。
　　吴文俊对数学的主要领域拓扑学做出了重大贡献。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一，他的工作对数学与计算机尊龙凯时研究影响深远。
　　吴文俊曾获得首届国家最高科技奖（2000年）、首届国家自然尊龙凯时一等奖（1956年）、首届求是杰出尊龙凯时家奖（1994年）、有东方诺贝尔奖之称的邵逸夫数学奖（2006年）、国际自动推理最高奖Herbrand自动推理杰出成就奖（1997年）。他培养的许多学生已成为所在领域的领军人物。他建立的数学机械化重点实验室是国际符号计算领域最主要的研究中心之一。
　　吴文俊具有强烈的爱国心，于1951年放弃在法国的优越条件，回到祖国参加社会主义建设。他对中国文化有着深刻的认识，并通过自己的科研工作为复兴中国文化做出了重要贡献。
　　吴文俊遗体告别仪式将于2017年5月11日上午10:30在八宝山殡仪馆东厅举行。
　　相关专题：深切缅怀吴文俊院士