央视网首页|搜视|直播|点播|新闻|体育|娱乐|经济|房产|家居|论坛| 访谈|博客|星播客|网尚文摘
打印本页 转发 收藏 关闭
定义你的浏览字号:

吴文俊

 

CCTV.com  2007年09月03日 16:25  来源:  

    2000年度国家最高科技奖获得者。著名数学家。1957年,当选为中科院最年轻的院士。1990年,被第三世界科学院选为院士。

    1919年5月出生于上海。1940年毕业于上海交通大学数学系。1946年赴法国Strassbourg大学留学,1949年获得法国国家科学研究中心博士学位。1952年至1979年任中国科学院数学所副所长、研究员。1979年至现在任中国科学院系统科学研究所副所长、名誉所长、研究员。

    他的研究工作涉及到数学的诸多领域。其主要成就表现在拓扑学和数学机械化两个领域。

    他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”,“吴示性类”,“吴示嵌类”,至今仍被国际同行广泛引用,影响深远,享誉世界。

    70年代后期,在计算机技术大发展的背景下,他继承和发展了中国古代数学的传统(即算法化思想),转而研究几何定理的机器证明,彻底改变了这个领域的面貌,是国际自动推理界先驱性的工作,被称为“吴方法”,方程求解的“吴零点定理”,产生了巨大影响。现在美、德、英、法、意、日等国都在致力于“吴方法”的研究和证明,并已在智能计算、机器人学、控制论、工程设计等方面予以应用。

    1956年他因在拓扑学上的杰出成就荣获国家自然科学一等奖,曾获得第三世界科学院数学奖、陈嘉庚数理科学奖、香港求是科技基金会杰出科学家奖、国际Herbrand 自动推理杰出成就奖。

责编:徐颖

1/1

更多相关新闻