得益于古代数学精髓

《得益于古代数学精髓》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、得益于古代数学精髓的“吴方法”吴文俊先生认为，我国传统数学有着它自己的体系与形式，有着它自己的发展途径与独创的思想体系，不能以西方的数学模式生搬硬套，吴老认为，西方数学从古希腊欧几里得系统发展下来的，是公理化的体系，它的思想是因果关系的追求，从原因证明结果，如此一步步推导出来。中国数学的思想体系是从实用主义出发，是从解决形形色色的问题出发，对这一点，吴先生反复强调：“我很赞成。”他认为，对一些原始的数据，要找出答案，要在原始数据与要求得的数据之间找到关联，就通过某种方程的形式联系起来以解决多种问题。这是中国古算发展的一条主线。吴老说

2、，从地下挖掘的“算术书”，证明在战国时期就有简单的解线性方程的例子。吴老对数学史的研究使他对数学科学的认识发生了一次大的转变，使后来从事的“脑力劳动的机械化”直接来源于对中国古代数学的研习，他认识到，中国古代数学所蕴涵的数学机械化思想，对当代数学的发展发挥了重大作用，也必将为信息时代的数学现代化做出巨大贡献，吴先生认为，人类要从体力劳动中解放出来，于是发明了机器，实现了体力劳动的机械化，而数学这样的脑力劳动，是否也能机械化？电子计算机的发展，为人类实现脑力劳动的机械化创造了条件。恰巧，在1971年时，数学所落实“三面向”，吴文俊被分

3、配到“北京无线电一厂”劳动，当时该厂正在生产电子计算机，计算机的性能，即刻引起吴文俊的深厚兴趣，他敏锐地察觉到，计算机必将在不远的将来成为数学研究的有力工具。吴先生也由此开始学习计算机，从最简单处学起，他要尝试着用计算机来证明定理。1976年年底，他开始着手进行研究。到1977年春节的时候，取得初步成果，他证明了初等几何主要一类定理的证明可以机械化。他在记者的采访本上写下了他的第一个证明的定理。1977年，吴文俊的论文《初等几何判定问题与机械化问题》在《中国科学》发表，后来，以此为起点，他建立了多项式组特征列的概念，以此概念为核心，

4、提出了多项式组的整序原理，创立了机证定理的“吴方法”，首次实现了高效的几何定理的机器证明，由此，吴文俊先生万千感慨，他非常赞成某些同志提出的“脑力劳动机械化是永恒的主题”，计算机的出现使脑力劳动机械化成为可能，但最要紧的是数学本身，怎样使得数学工作者的典型的脑力劳动机械化成为可能天下谁人不识君套用一句过去常说的话，“没有研究就没有发言权。”吴文俊先生毕30年之功，潜心揣摩古代数学思想的精华，并用研究实践取得蜚声国内外的成果，这再一次印证了他做人做事的准则，也是一贯告诫大家的，要少说一些，要多做一些，“不要光磨嘴皮子”。也许，朱清时院

5、士和姜岩所著书中的“东方思维”的外延要比吴文俊先生研究的古代数学的思想范筹要大得多，现在，新浪网上还正在做调查：一个问题是：“你认为东方思维能否拯救中国科技？”认为“不能”的占41.68%，认为“能”的占39.9%，认为“不好说”的占18.39%；还有一个问题是：“你认为近代科学没有在中国萌芽有哪些原因？”48.99%的人认为是思维方法，48.76%的人认为是科举制度，48.2%的人认为是“不重视技术”等等……也许，还是吴文俊先生的做法更为可敬，剔除传统文化中的糟粕，而将真正有价值的东西与现代化的工具相联接，创造出新的辉煌。陈省身先

6、生有一段评价吴文俊先生的话是这样说的：“他的机器证明理论，保持了中国数学的传统：数学上一个普通的问题，是解方程组，代数的或微分的。数学的许多基本结果是所谓‘存在定理’：在某种条件下断定方程组有解。中算则注意求解的方法，寻求最有效的手段。文俊最近的工作，符合中算的精神。”用“人在家中坐，奖从天上来”形容数学家吴文俊的屡次获奖是比较恰当的。由于“对数学机械化这一新兴交叉学科的贡献”，吴文俊于9月11日又荣获了2006年度邵逸夫数学奖。9月25日，中国数学会与中国科学院数学与系统科学研究院在北京友谊宾馆举行了“吴文俊先生荣获邵逸夫数学科学

7、奖庆祝会”。吴文俊的学术生涯起步于纯数学，随后将主要精力转向与计算机科学密切相关的应用数学——几何领域的计算机证明，在拓扑学方面做出了先驱性的工作。邵逸夫数学奖委员对其学术评价为：“在学术研究和学科发展上做出了先驱性的突出贡献。这些领域中许多主要科学家都曾接受他们的指导，或是跟随他们的足迹进行研究。”伟大的数学让数学家们去求索，记者则离开数学的范畴，试图追随着吴先生和他周围的人们的回忆轨迹，勾画一位杰出科学家的人生态度。歪打正着走上数学路“在上学时我最喜欢物理，因为离现实的事物更接近。但是现在想来，如果我沿着物理的方向走下去，我不会

8、取得什么大的成果。因为和我个人训练习惯有关，我不喜欢动手，有点中国古代传统思想观念，君子是不动手的，而做物理、化学有试验要求，动手能力应该强一些，以前和同学两个人搭档做实验，我总是闯祸的那一个。数学用不着动手的。”吴文俊说这话时，笑得