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

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

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

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

    吴文俊，男，1919年出生，归侨，中科院院士，世界著名数学家，中科院数学与系统科学研究院研究员，中国数学会名誉理事长，中国数学机械化研究的创始人之一，第三世界科学院院士，全国政协常委，中共党员，曾获得首届国家自然科学一等奖、首届国家最高科学技术奖、中国科学院自然科学一等奖、第三世界科学院数学奖、陈嘉庚数理科学奖、首届香港求是科技基金会杰出科学家奖、Herbrand自动推理杰出成就奖、第三届邵逸夫数学奖。

    吴文俊院士是我国著名数学家，他长期从事数学前沿研究，他的研究工作涉及代数拓扑学、代数几何、博奕论、数学史、数学机械化等众多学术领域，他对数学的主要领域--拓扑学的某些领域做出了奠基性贡献。他的示性类与示嵌类研究被国际数学界称为“吴公式”,“吴示性类”,“吴示嵌类”,至今仍被国际同行广泛引用，影响深远、享誉世界。他的工作是20世纪50年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。70年代后期他又开创了崭新的数学机械化领域，提出了用计算机证明几何定理的吴方法，被认为是自动推理领域的先驱性工作。他建立的“吴消元法”是求解代数方程组最完整的方法之一，后来又将这一方法推广到偏微分代数方程组。这些成果不仅对数学研究影响深远，还在许多高科技领域得到应用。他是我国最具国际影响的数学家之一，他的成就缩短了中国现代数学与国际上的差距。

    吴文俊先生1940年毕业于上海交通大学数学系。1946年赴法国斯特拉斯堡大学学习，先后在斯特拉斯堡、巴黎、法国科学研究中心进行数学研究。1949年在法国斯特拉斯堡大学获法国国家科学博士学位。1951年8月，吴文俊谢绝了法国师友的挽留，怀着热爱祖国的赤诚之心，回到祖国。他先在北京大学数学系任教授，1952年转到新成立的数学研究所任研究员，工作重点也从拓扑学上的示性类的研究转向示嵌类的研究。他用统一的方法，系统地改进以往用不同的方法所得到的零散结果。1956年，由于在拓扑学示性类及示嵌类的出色工作，他与华罗庚、钱学森一起分获第一届自然科学奖的最高奖。1957年他被增选为中国科学院数理化学部委员。曾任中国数学学会理事长(1985-1987)，中国科学院数理学部主任(1992-1994)。

    “文革”期间，科研工作受到严重的干扰，在这种艰苦的环境，吴文俊院士开始花大力气研读中国数学史。这次方向的转换改变了他对中国数学史的认识。他发现中国数学自成一体，与西方理论是完全不同的两套思路。于是，他对中国数学史的地位作了正本清源的研究。他指出中国古代数学曾经获得高度的发展，直到14世纪，在许多数学领域都处于国际领先地位，是名副其实的数学强国。但是，西方一些数学史家却忽略这一点，不了解也不承认中国数学的光辉成就，将其排斥于“数学主流”之外。通过研究他注意到，中国传统数学注意解方程，在代数学、几何学、极限概念等方面既有丰硕的成果，又有系统的理论。中国传统数学强调构造性、算法化，注意解决科学实验和生产实践中提出的各类问题，往往把得到的结论以各种原理的形式予以表述。

    1977年，他发表了《中国古代数学对世界文化的伟大贡献》；在10年之后的1987年，他发表了更加重要的《中国传统数学的再认识》，引起了数学界的极大兴趣。他提出：中国传统数学虽没有素数和因子分解这一类概念，却用求“等”之法，创立了大衍求一术，即中国的剩余定理；中国传统数学虽没有平行线和角度的概念，但在解决实际的测量、面积、体积和圆周率的计算中却发展了与欧几里得完全不同的几何学原理；中国传统数学中有世界最早的线性方程组矩阵解法和以勾股术、天元术、四元术为主的高次方程解法；中国最早完善十进位制记数法，引入负数、分数和小数，是最科学的实数系统。

    也就是在这个时期，吴文俊院士到计算机工厂劳动，有机会接触到计算机，切身体会到了计算机的巨大威力，敏锐地觉察到计算机的极大发展潜能。粉碎“四人帮”之后，科学研究开始走上正轨.年近花甲的吴文俊院士更加焕发出青春活力。他在中国古算研究的基础上，分析了西方笛卡尔(R.Descartes)的思想，深入探讨希尔伯特(Hilbert)《几何基础》一书中隐藏的构造性思想，开拓机械化数学的崭新领域,并提出了机械证明的“吴方法”,方程求解的“吴零点定理”,关注计算机对于数学研究的影响，提出借助于计算机的强大计算与推理能力从事数学研究将是信息时代数学发展的一条必由之路。他将这种思想称为数学机械化，并进一步提出以数学机械化为基础，进一步实现脑力劳动机械化，为科学研究与技术创新提供有力工具。在这种发展数学的战略思想形成后，还需要打开研究的突破口。几何自古以来就被视为推理的典范，而西方学者从五十年代就开始尝试用计算机证明几何定理，但都已失败告终。吴文俊借鉴中国古代数学思想，独辟蹊径提出通过几何代数化与方程三角化的机器证明思想。为了解决几何定理机器证明和数学机械化问题，已年近花甲的吴先生，从头学习计算机语言，亲自在袖珍计算器和台式计算机上编制计算程序，尝尽了在微机上操作的甘苦。以他惊人的勤奋、忘我的工作，一举成功攻克了这一难题。所提方法被在国际上被称为几何定理机器证明的“吴方法”。吴文俊因此获得国际自动推理最高奖“Herbrand自动推理杰出成就奖”。授奖词中称这一工作是“几何自动推理领域的先驱性工作”，“吴的工作将几何定理证明从自动推理的一个不太成功的领域变为最成功的领域之一”。