作者简介:郑全第:空军工程大学导弹学院计算机应用教研室,副教授,硕士生导师.王建勋:空军工程大学电教技术中心,副主
任,副教授.李磊:空军工程大学理学院计算机教研室.
图灵作为计算机科学理论的奠基人之一,在计算机科学领
域具有很高的威望.图灵奖作为计算机科学领域的诺贝尔奖是
每个计算机工作者的最高荣誉.本文以图灵和ACM图灵奖获
得者的成功事迹为依据,主要分析这些获得者成功背后所蕴藏
的一些人文素质,以期对我国的计算机工作者有所启示.
一
,图灵和ACM图灵奖简介
1,图灵.阿伦.图灵(Alan M.Turing,1912—1954)生于英
国伦敦帕丁顿镇(Paddington).13岁时进入谢博恩中学寄宿
学习,数学课学习成绩很好,演算能力特别强.毕业后进入剑桥
大学的国王学院(King S College)攻读数学,并以数学学位考
试第一的好成绩毕业.
1935年,图灵对数理逻辑(mathematical logic)发生兴趣
并开始研究.作为逻辑学的一个重要分支,数理逻辑的起源可
追溯到17世纪的大数学家莱布尼茨(G.W.Leibrfiz,1646—
1716),它是用数学方法,即符号,公式或公理的方法去研究人
类的思维过程和规律,其目的是建立一种精确,普遍的符号语
言,并寻求一种推理演算,解决人类如何推理的问题.在莱布尼
茨的思想中,数理逻辑,数学和计算机三者均出于一个统一的
目的,即人类思维过程的演算化,计算机化,以至于在计算机上
实现.但思想和概念比较模糊,不清晰明朗.后虽经两个多世
纪,许多数学家和逻辑学家的努力,使数理逻辑逐步完善和发
展起来,许多概念开始明朗,但是对于"计算机"到底是怎样一
种机器,应该由哪些部分组成,又是如何进行计算和工作的,在
图灵之前没人能说清楚.1936年,图灵结合自己的研究成果在
撰写的论文"论可计算数及其在判定问题中的应用"(On
Computable Numbers With an Application tO the Entschei——
dungs Problem)中,第一次回答了这些问题,提出了一种可将
推理过程化作一些简单机械动作的计算机抽象模型.这个模型
就是人们现在常说的"图灵机".图灵因此被称为计算机科学
理论的奠基人之一.
图灵论文发表后,引起美国同行科学家的重视和惊叹,立
即向图灵发出邀请.图灵到美国后,和著名的数学家和逻辑学
家,普林斯顿大学教授伦索.邱奇(Alonzo Church,1903--
1995)合作,以"基于序数的逻辑系统"为论文课题,于1938年
获得博士学位.毕业后图灵谢绝了计算机科学理论的另一位重
要奠基人,人称天才科学家冯.诺伊曼(John yon Neumarm,
1903—1957)的邀请,回到自己的祖国——英国剑桥大学,从事
教学和黎曼(B.R_iemann,1826—1866)Z函数计算方法研究.

下一页