|
吴文俊所开创的“吴方法” 吴文俊依据中国传统数字中的机械化思想，开创性地提出了用计算机证明几何定理的方法，被国外称为“吴方法”。 20世纪70年代后期，在计算机技术大发展的背景下，吴文俊继承和发展了中国古代数学的传统(即算法化思想)，转而研究几何定理的机器证明，彻底改变了这个领域的面貌。 按照吴文俊院士的解释，“吴方法”的重要意义就是要解放人，通过强大的计算机运算将人从复杂艰苦的逻辑推理中解放出来，让人从事更加有创造性、更加重要的工作。也就是通过“吴方法”可以让电脑代替人脑去进行几何定理的证明。比如，运用“吴方法”，北京大学的科学家使可视电话的传输效果比传统传输方法大大改善。 此外，为了骗过网络上的窃取者，你可以将一份机密的图像文件隐藏在一首歌里或电影里，甚至可以把它伪装成一张普通图片，然后通过网络传送出去。这所采取的方法，正是吴文俊院士开创的数字机械化方法。 ■中国古代数学的成就被忽视了 现代数学的来源，可以说有两个：一个就是大家都知道的，古希腊时代的欧几里得几何学，他们创立了公理系统，可以说统治了现在的数学。可是还有一个，大家过去都没有注意到的，就是中国古代数学。那我今天呢，想特别强调中国古代数学，它对于现代数学的影响或者对于现代数学的意义。 先说说中国古代数学留给我们的一些遗产。 中国古代数学的著作很多了，可是有许多早已失传了，有幸能够流传到现在而且我们特别可以提出的著作有三种：《周髀算经》、《九章算术》和《九章算术刘徽注》。《九章算术刘徽注》是本非常了不起的著作。我想西方有欧几里得的《几何原本》，东方就有《九章》跟《刘徽注》，这两个都一样是了不起的著作。刘徽在《九章》里面还加了一章，第十章，但后来又把第十章独立出来，单独成为一个小册子，叫做《海岛算经》。 (责任编辑：admin) |