|
|
 |
专题栏目 |
 |
|
相关文章 |
|
 |
广告区域 |
 |
|
|
|
|
 |
数学界的战略科学家吴文俊 |
★★★★★ |
|
| 数学界的战略科学家吴文俊 |
|
作者：sexkang 文章来源：性康网 点击数： 更新时间：2006-9-3 19:59:37  |
|
吴文俊从40年代起从事代数拓扑学的研究，取得了一系列重要的成果，其中最著名的是吴示性类与吴示嵌类的引入和吴公式的建立，并有许多重要应用。数学界公认，在拓扑学的研究中，吴文俊起到了承前启后的作用。
50年代，吴文俊和同时代的几位著名数学家的共同工作，推动了拓扑学蓬勃发展，使之成为数学科学的主流之一。吴文俊为此曾获1956年度国家自然科学奖一等奖。1957年，38岁的吴文俊当选为中科院学部委员。
1976年底，受计算机与古代传统数学的启发，吴文俊形成了一个初等几何定理的机械化证明的思想。1977年春节前他成功地用这一思想证明了一些定理。这一研究开创了机器定理证明的时代，国际上称为“吴文俊方法”和“吴消元法”，实现了初级几何与微分几何定理的机器证明，有重要的应用价值，为实现笛卡尔与莱布尼茨提出的以机器代替人脑来促进数学研究与思维方式、方法的变革迈出了一大步。80年代，美国计算机科学界的权威曾联名写信给我国中央领导，认为吴先生的工作是“第一流的”，“独自使中国在该领域走上了世界领导的岗位”。
吴文俊还特别重视数学机械化的应用。在他的影响下，中科院数学与系统科学研究院成立了数学机械化研究中心，吴文俊的成就被应用于若干高科技领域，取得一系列国际领先的成果。 |
|
| 老年两性录入：admin 责任编辑：admin |
|
|
上一篇老年两性： 辽宁一老人微书巧夺天工
下一篇老年两性： 八旬老太长跑冠军 |
|
|
| 【字体：小 大】【发表评论】【加入收藏】【告诉好友】【打印此文】【关闭窗口】 |
|
 网友评论：（只显示最新10条。评论内容只代表网友观点，与本站立场无关！） |
| |
|
|
|
|
