|||
如果有人要预测中国的计算机科学家什么时候能获图灵奖,还是艾伦·凯的至理名言:“预测未来的最好方法是创造它”。
创造,要有一个历史过程。从程序设计语言的早期发展来看,至少有两条路。一是逻辑,一是计算。
对于逻辑,早在1931年,哥德尔在研究不完全性定理时,就提出了基于算术基础的形式语言。1935年,图灵对数理逻辑发生兴趣,并于1936年提出了有别于哥德尔方法的“图灵机”的概念,发表了著名的论文“On Computable Numbers With an Application to the Enstcheidungs Problem”。那时,还产生了与之等价的递归函数论和λ—谓词演算。1955年,约翰.麦卡锡等人在达特矛斯会议上提出了“人工智能”这个概念后,1958年麦卡锡发明了基于λ—谓词演算的Lisp语言,从而奠定了约翰.麦卡锡图灵奖的地位。前后,经历了大约三十年的时间。
在这三十年间,中国有幸涉足计算机领域的学者,这里要提及的是夏培肃(见拙文《计算机,怎么就科学了》)、唐稚松、吴文俊。他(她)们或前或后是麦卡锡的同龄人。较早把数理逻辑介绍到中国的是金岳霖及其弟子沈有鼎,著名的计算机科学家王浩就是金岳霖的学生。不过,王浩的父亲王祝晨有次给金岳霖写信,说:我儿子数学学得挺好,是你们把他从数学引到唯心主义歧途了,好孩子全叫你们教坏了。当时,基本上还是向西方学习。上世纪五十年代,北大还有一个数理逻辑方面的讨论班,后来,可能被认为这不是马克思主义的哲学,在反右后就停了。上世纪七十年代,由于验证计算机计算结果的需要而产生了时态逻辑。唐稚松与阿米尔.伯努利(Amir Pnueli)同为时态逻辑的领跑人,同时还提出了基于时态逻辑的语言XYZ/E。1996年,伯努利因把时态逻辑引入计算机科学及对程序系统检验的贡献而获奖。伯努利与唐稚松是至交,在赴美接受图灵奖的前夕给唐稚松的信中说;“我完全相信,由于使时态逻辑成为‘深远影响’的理念,你应该分享这一荣誉中一个很有意义的部分。”可见,唐先生乃至中国的科学家在国际上并没有话语权。
1950年,塔斯基(A.Tarski)证明了一条引入注目的定理:“一切初等几何与初等代数范围的命题,都可以用机械方法判定”。王浩开始机器证明的研究始于1953年,到1959年,作为美国洛克菲勒大学的华裔教授王浩在IBM计算机上仅用3分钟时间,就完成了怀特海《数学原理》中多条有关命题逻辑的证明,并于1960年在《迈向数学机械化》的文章中提出了“数学机械化”一词。有意思的是,王浩和杨振宁一样,是1970到1972年的保钓运动主要领导人,那时,马英九不过是跑腿的,还有一名极端反共的台湾女文青,名叫陈幼石,也参与了保钓运动并在同王浩的相爱中变成铁杆亲共派,其后有一部大著《韩柳欧苏古文论》在大陆出版。1972年,王浩开始研究马克思主义,有次来科学院讲数学和逻辑,他一上台就讲辩证法,让台下云里雾里。1976年底,吴文俊在中国古代数学机械化与代数化思想的影响下,提出了现称为“吴方法”的奠基性论文《初等几何判定问题与机械化证明》。中国古代数学机械化有两个特征,一是模型化,一是算法化,以致于吴老说:“将来的数学,应该是走中国古代数学道路。”1997年,第14届国际自动推论大会对吴文俊获得Herbrand自动推理杰出成就奖的评价是:“几何定理自动证明首先由Herbert.Gerlenter于五十年代开始研究。虽然得到了一些有意义的结果,但在吴方法出现之前的二十年里这一领域进展甚微。在不多的自动推理领域中,这种被动局面是由一个人完全扭转的。吴文俊很明显是这样一个人。”惜乎,1983年,吴方法才被介绍到世界上。
对于计算,如果说Lisp是从逻辑理论发展为编程语言,那么Fortran从一开始就是作为编程语言设计出来并代表了语言设计的一种完全不同的方向,这个方向就是数值计算。1956年,Fortran刚诞生时实际上是汇编语言加上数值计算,在某些方面,还不如今天的汇编语言强大。Fortran在技术上要解决的一个问题是浮点计算。
早期的浮点运算是通过程序实现的,一是威尔金森(J.H.Wilkinson,1970年图灵奖获得者)在图灵所设计的ACE计算机上实现的子程序(见《计算机,怎么就科学了》),另一是巴克斯(J.Backus,1977年图灵奖获得者)和他的同事海里克(H.Herrick)一起开发出的名为“Speedcoding”的软件,该软件可自动设定和调整比例因子,实现了冯·诺伊曼的“比例因子”法。由此,巴克斯发明了Fortran语言。前者的缺点是影响运算速度,后者是影响取值范围和精度。真正解决浮点运算的是学硕博连读、产学研结合的卡亨教授,他在Intel工作期间,主持设计了8087芯片,产生可进行高速、高效浮点运算的8087协处理器(mathematical coprocessor),并主持制定了浮点运算标准IEEE 754与IEEE 854,由此成为1989年图灵奖获得者。一个学数学的人如此精通硬、软件,不知我们讲究德智体全面素质教育的学校该如何想。
与卡享不同,巴克斯在中学时就不爱学习,只盼望暑假可以划船、嬉戏、度过美好的时光,因此拖了两年才勉强毕业。1942年,他在弗吉尼亚大学,把大多数时间花在舞会上,每周只去上一节轻松的音乐欣赏课,终于被学校扫地出门。1943年巴克斯应征入伍,却没有上战场,而上了哈弗福德学院的医学院预科。但他对医学不感兴趣,认为那里的人只会背书而不会思考,因此只学了9个月就转到哥伦比亚大学,是哥伦比亚大学的数学让巴克斯从混沌走向清醒,也许数学就是他的冥冥之神。在前56名图灵奖得主中,有45%的第一学历是数学,有77%的人拥有博士学位。理论计算机科学本质是数学。当然,在学籍管理严格著称的这里,要从安康医专转到北大是不可想象的。
浮点运算的实现,为数值计算提供了现实的平台。第一个因数值计算获得图灵奖的是前面提到的威尔金森。我国开始计算数学的教学,是在上世纪五十年代苏联学者梅索夫斯基赫来吉林大学讲学后。我的老师王德人先生就是随梅学习的吉林大学计算数学1956年的毕业生。我国较早的也许是第一个计算数学研究生是杨芙清,这是徐献瑜先生给我讲的,那是上世纪九十年代初我随他游走碑林时的事。王选、何新贵也是徐献瑜的学生。经过二十多年的努力,我国计算数学界基本上建立了数值代数、逼近论、正问题、反问题四大领域的教学体系,而达到世界先进水平在这里要提一下的是冯康、郭本瑜。
图灵奖的获得者不乏师生、师兄关系,例如1975年图奖得主卡内基·梅隆大学的西蒙和纽厄尔,纽厄尔曾是西蒙的博士生。1994年图奖得主者雷迪、2008年图奖得主、美国第一个计算机科学女博士芭芭拉·利斯科夫先后是麦卡锡在斯坦福大学的博士研究生。Liskov代換原則是她和周以真共同提出的。以色列希伯莱大学教授拉宾和英国牛津大学教授斯科特,同是丘奇的学生。这可能是禅家“以心传心”,导师对学生的提升。
有意思的是,在最早的56名获奖者中,有6名文科类专业毕业的学者,而计算机科学专业出身的只有3人。如卡普是文学,西蒙是政治学。弗洛伊德,本科也是学文学,他从一名计算机操作员做起,自学成才而发明“归纳断言法”以验证程序正确性。隔山打牛的功夫十分了得,大有民科之嫌,大概逻辑是不分文理的。
西方学者在图奖上的话语权是近百年来自然形成的,中国学者目前还处于向其学习的阶段,如果不能融入其语境中,是难以获奖的,除非是图灵般的划时代创新。
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-11-23 17:26
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社