全国侨界"十杰":吴文俊

2009年07月14日 09:32 来源：中国经济网综合

[发表评论] [推荐朋友] [关闭窗口] [打印本稿]

·6.7亿罚单:被删邮件露马脚

     1977年，吴文俊关于平面几何定理的机械化证明首次取得成功，1978年进一步发展对微分几何的定理的机械化证明.这完全是中国人自己开拓的新的数学道路，产生了巨大的国际影响.到80年代，他不仅建立了数学机械化证明的基础，而且扩张成广泛的数学机械化纲领，解决了一系列理论及实际问题.由中国人开拓的一条数学机械化道路铺展在世人面前。这是国际自动推理界先驱性的工作，被称为“吴方法”。八十年代，美国计算机科学界的权威曾联名写信给我国中央领导，认为吴先生的工作是“第一流的”，美国人工智能和自动推理方面的一些权威人士指出：“吴的工作不仅奠定了自动推理研究的基础，而且给出了衡量其他推理方法的明确标准”，“吴的工作改变了自动推理的面貌，是近几十年来自动推理领域最主要的进展”，“他使中国的自动推理研究在国际上遥遥领先”。美、德、英、法、意、日等国都在致力于“吴方法”的研究和证明，并已在智能计算机、机器人学、控制论、工程设计等方面获得应用。由于吴文俊院士的创新，人类数学史上镌刻下了一个新的概念——数学机械化。事实上，数学机械化的应用已经在中国受到高度重视。中科院数学与系统科学研究院成立了数学机械化研究中心，对“吴方法”进行了大量应用研究，在这个研究中心，吴文俊院士的科研成就正在被广泛应用于若干高科技领域，并取得了一系列国际领先的科研成果，包括曲面造型智能结构分析、计算机辅助设计等等。尽管如此，吴文俊院士觉得现在所做的很多证明还只是个案，要用数学机械化大规模地减轻人们的脑力劳动，没有几代人的努力不行。

    吴文俊院士机械化数学的思想与中国传统数学受到国际上的瞩目。1986年，他在国际数学家大会上作关于中国数学史的报告，引起广泛的兴趣。在我国现代数学史上，初步形成了复兴中国数学的新趋势，中国人开创并领导了一个崭新的数学分支，中国数学不再只是沿袭他国的主题、问题与方法，这引起了国际数学界对我国的数学研究工作的日益密切的注意.

    1980年，在陈省身的倡议下，吴文俊积极参与“双微”会议的筹备及组织工作.从1980年到1985年，共举行六届“双微”会议，对于同国内外数学界的交流起着重要推动作用.1983年，吴文俊当选为中国数学会理事长，他积极筹备了1985年在上海举行的中国数学会成立50周年纪念大会.到1987年任满.

    1979年夏，吴文俊、关肇直、许国志等人筹建中国科学院系统科学研究所，1980年研究所正式成立.吴文俊院士任副所长兼基础数学室室主任、学术委员会主任.1983年起任名誉所长。在职期间，他对所的基本建设有着极大支持。1990年该所正式成立数学机械化研究中心，吴文俊院士担任主任.他领导的数学机械化研究小组和他组织并领导的讨论班，在这一新领域已进行了相当长时期的研究，并完成了大量为国际瞩目的研究成果。研究中心成立后，学术活动更为活跃.吴文俊院士满怀信心地要把系统科学研究所的数学机械化研究中心，发展成为国际交流的中心，吸引国内外同行为深入开展这一新领域的研究而共创业绩。由于他的成就，吴文俊院士于1990年荣获第三世界科学院数学大奖，次年当选为该院院士。

    1980年，吴文俊加入中国共产党。1978、1983、1988、1993年，他连续四届当选为政治协商会议全国委员会委员及常委。

    吴文俊院士在中国数学史及定理机器证明的数学机械化研究，已经成为一个独具中国特色的构造性的、可机械化的数学运动。单是定理机器证明就已获得许多热情的赞扬.莫尔(Moore)认为，在吴的工作之前，机械化的几何定理证明处于黑暗时期，而吴的工作给整个领域带来光明。美国定理自动证明的权威人士沃斯(Wos)认为，吴的证明路线是处理几何问题的最强有力的方法，吴的贡献将永载史册。

    国际著名数学家陈省身则称吴文俊“是一位杰出的数学家，他的工作表现出丰富的想象力及独创性。他从事数学教研工作，数十年如一日，贡献卓著……”这是对吴的工作的确切的评价.70年代以后，吴文俊院士对中国文化有了更深刻的认识，他通过自己的科研工作，真正切实地初步实现了复兴中国文化优秀内核的理想。吴文俊院士，作为一位数学家，在自己的工作领域里，最终找到了发扬爱国主义精神、弘扬中国传统文化的正确道路。