《世纪人物》 2019年 第7期 (总第122期)
追忆著名数学家吴文俊:数坛风流,百年翘楚
吴文俊,1919年5月出生于上海,1940年毕业于上海交通大学,1949年获法国国家科学研究中心博士学位。中国科学院数学与系统科学研究院研究员、著名数学家、中科院资深院士、第三世界科学院院士。 6park.com吴文俊是我国院士中的顶级人物,数学界的“泰斗”,长期从事数学前沿研究,在拓扑学、中国数学史、数学机械化等方面成就突出。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”,他导出的示性类之间的关系式被称为“吴公式”。他的工作是1950年代前后拓扑学的重大突破之一,成为影响深远的经典性成果。1956年,他因在拓扑学上的杰出成就而获中国最高科技奖———国家自然科学奖一等奖,同期获此殊荣的还有华罗庚和钱学森。 6park.com吴文俊同样也是中国人工智能历史上一位里程碑式的开拓者。1970年代后期,他开创了崭新的数学机械化领域,提出了用计算机证明几何定理的“吴方法”,被认为是自动推理领域的里程碑,他也因此获得1997年的国际自动推理最高奖——埃尔布朗自动推理杰出成就奖。 6park.com而“吴文俊”这三个字最为全国、全世界所关注的是在2001年,他与“杂交水稻之父”袁隆平一起,从当时的江泽民总书记手中接过首届国家最高科学技术奖的证书,国家重奖他500万。
文件大小: 19.3 MB
PDF 下载链接: 6park.com 6park.com
电脑在线阅读: 6park.com 6park.com
版主:icemessenger于2019_08_17 2:36:52编辑
|