您的位置:首页>吴文俊精选语录
吴文俊精选语录
发布时间:2019-05-12
我不是天才,灵感也从来没有访问过我,数学是笨人学的。
天才的说法,我是非常、完全反对的。见鬼了!不下苦功怎么可能。什么灵光一闪,我还没见到过什么灵光,我自己也没有灵光,我就是个笨人。
搞数学不要求你聪明,怎么聪明,怎么思想敏捷,这个不是主要的因素。它要什么呢?要能够想得看得比较深,看到要害地方,聪明人不见得适合于做数学。现在老是要强调要什么聪明、天才,我觉得笨的人做数学还是很适当的。
如果光是发表个论文,不值得骄傲,应该有自己的东西。做研究不要自以为聪明,总是想些怪招,要实事求是,踏踏实实。功夫不到,哪里会有什么灵感?
一个科学工作者能够长久地保持创新能力是正常的,不保持才是不正常的。
你要认真去做,不要去考虑是否得奖这类的问题。如果只想着我要做一个得奖的工作,那么你什么工作恐怕也做不出来。
科研是永远做不完的。数学的难题有很多,简直是越来越多。坚持做科研可能是中国科学家的特点,中国科学家后劲很足,年轻时做科研,六七十岁后仍在做科研,甚至八十岁后还在做。
不管一个人做什么工作,都是在整个社会、国家的支持下完成的。有很多人帮助我,我数都数不过来。我们是踩在许多老师、朋友、整个社会的肩膀上才上升了一段。我应当怎样回报老师、朋友和整个社会呢?我想,只有让人踩在我的肩膀上再上去一截。我就希望我们的数学研究事业能够一棒一棒地传下去。
怎样进行工作,才能对得起古代的前辈,建立起我们新时代的新数学,并在不远的将来,使东方的数学超过西方的数学,不断地出题目给西方做?我想,这是值得我们大家思考和需要努力的方面。
科学技术是第一生产力,数学是发展第一生产力的必要手段与重要保障。也正因如此,数学与国家的命运紧密结合在一起。数学的兴盛与否,是与国家的兴旺与否紧密相依的。我将一如既往,把自己的一生献给祖国的数学事业。
你去留学,学成归国,这好像就是天经地义,没有什么,大家都是这样子。所以人家问我什么原因,我都说不出来。
邵逸夫奖的评委都是国际上有影响的大家,他们宣布我获得邵逸夫奖,是因为我的数学机械化问题的研究,这实际上是国际数学界对数学机械化研究的承认与肯定,它比奖金重要的多。
对我个人而言,每次获奖都是高兴的事儿。但,对一个国家的科学发展而言,稍做出成绩,就被大家捧成英雄,像朝圣一样,这个现象不是好事情,甚至可以说是坏事情。这说明我们的科研还在一个相对落后的阶段。有个吴文俊,那能说明什么?要是在这一个领域,发现有十个、八个研究人员的工作都非常好,无法判定谁是英雄,那才说明我们发展了,进步了。这可能是我的怪论。但确实曾有人说过‘英雄是落后国家的产物’,在科学界,至少在数学领域,我很认同这句话。
我要用数学机械化来征服世界。工业革命解放了生产力,因为机械化解放了体力劳动,数学是一种脑力劳动,我希望数学机械化能让重复性的脑力劳动得到解放,让人们去做更多创造性的工作。
工业时代,主要是体力劳动的机械化,现在是计算机时代,脑力劳动机械化可以提到议事日程上来,数学研究机械化是脑力劳动机械化的起点,因为数学表达非常精确严密,叙述简明。我们要打开这个局面。
古代的中华民族,就在这平淡无奇的位值制基础上,产生了机械化的四则运算法则,建立起数学大厦,创立了富有特色的东方数学——机械化数学。
《九章算术》以及公元263年魏刘徽的《九章注》,可以视为是东方数学机械化算法体系的经典代表之作。......汇集了古代东方数学的精髓及其大成,是机械化算法体系的一部传世之作。
中国的机械化数学,在宋元时期达到高峰。在这有待更高攀登的关键时刻,有望进一步发展到解析几何与微积分之际,却骤然衰退,一落千丈。在中国的大地上,从此为由西方传入的非机械化的欧几里得几何及其公理化体系所代替,直至今日。对于这一段中国式机械化数学在中国大地上盛极而衰的原因,我们将不作分析,而留之于今后的数学史家。
中国式的机械化数学,虽然在中国本土上宋元以来近于销声匿迹,但并未从此消亡,而在欧洲大地上以另一种形式被发扬光大。
使几何定理的证明也能走上机械化道路的转折点出现在17世纪的1637年,是René Descartes关于几何学的著作问世。此书公认为是坐标几何或解析几何的创始之作,......开辟了几何定理证明机械化的道路。我们20多年来有关几何定理的机器证明与发明不妨认为正是沿着这一道路走下来的。
在19世纪末,又出现了迄今再版至第12版的David Hilbert名著《几何基础》。此书把欧几里得几何奠定于坚实的基础之上,并沟通了欧氏几何公理系统与Descartes的坐标系统,无异于在公理化与机械化之间搭起了一座桥梁。
依据一定法则可以按部就班,机械地进行的方法在现代通称为算法。在当前的计算机时代,有算法即可编为程序,而在计算机上实施,因此当代的计算机科学大师Donald Ervin Knuth曾说计算机科学即是算法的科学。
中国的传统数学,由求解几何问题以及其它各种类型问题所导致的方程求解成为古算发展的一条主线。解决问题的方法又往往以术亦即算法的形式出现,因而中国的传统数学,实质上是Knuth意义下的一种没有计算机的计算机科学,也正是王浩先生意义下的一种机械化数学。
中国传统数学通过化几何问题求解为方程求解而走上了一条机械化的道路。对于西方传统几何定理的证明以及其他种种数学领域中的定理证明,形式上与机械化格格不入,是否也可以找到一条道路,使证明也成为机械化的呢。
数学的机械化,虽然在国外的数学论著中,未见有明白的论述,但仍若隐若现不时以不同的方式出现。例如,Hilbert著名的23个数学问题中的第10个问题,用本书的词汇来表达,将是:是否有一机械化算法,可以求得一切不定方程组的整数解或判断其无整数解。
数学的机械化,是一条看不见尽头的漫长道路。
我们的研究工作还只是一个开端。如何继续发扬中国古代传统数学的机械化特色,对数学各个不同领域探索实现机械化的数学,则是本世纪以致可能绵亘整个21世纪才能大体趋于完善的事。
中华民族的伟大复兴已经开始了。一个国家最终还得靠科技,中国的科技还需要二三十年的努力。中国的经济发展了,我们一定要依靠自己的力量。我们不用着急,今后中国自然而然会出一大批诺贝尔奖获得者。这是我的预言!
我这辈子最得意的事,就是对中国古代数学的研究!中国古代数学着重解方程,解决各式各样的问题,着重计算,这是不同于外国数学的,这种算法式的数学,是计算机时代最适合、最现代化的数学!
中国的古代数学是一种算法的数学,也就是一种计算机的数学。......在解方程的发展过程中,线索分明,一步一个脚印,不断前进,在这个过程中形成了新的概念和方法,由此使得数学理论得到相应发展。在中国古代数学的历史上,为了解决问题而解方程,为了解方程而发展出我们的数学理论,发展了我们的基础数学,从中可以看出我们数学方法的优越性。我是从中国古代数学受到启发和指引,结合现代西方的某些技术,用计算机来证明几何定理,最后形成了经常提到的数学机械化。
数学机械化方法的成功应用,是数学机械化研究的生命线。
对于数学未来的发展具有决定性影响的一个不可估量的方面是计算机对数学带来的冲击,在不久的将来,电子计算机之于数学家,势将如显微镜之于生物学家,望远镜之于天文学家那样不可或缺。
现在大家强调创新,强调应用,往往忽略了基础的部分,这是值得担心的,不能因为应用而忽略基础研究,事实上也是这样。我能够在用机器证明几何定理上取得一定成功,主要是因为我有数学的基础,对数学的认识深。基础研究是创新的基础。
版权所有 © 中国人工智能学会
ICP备案号:京ICP备13016090号-5 | 技术支持:智能君博科技