纪念图灵诞辰100周年.doc

纪念图灵诞辰100周年
编者按：今年6月15-16日，33位图灵奖获得者首次共聚旧金山，来纪念阿兰?图灵100周年诞辰。他们一同回顾了图灵的伟大贡献和计算机科学在过去几十年的发展，并畅谈了对未来的思考。6月23日是图灵的诞辰日纪念图灵诞辰100周年
编者按：今年6月15-16日，33位图灵奖获得者首次共聚旧金山，来纪念阿兰?图灵100周年诞辰。他们一同回顾了图灵的伟大贡献和计算机科学在过去几十年的发展，并畅谈了对未来的思考。6月23日是图灵的诞辰日，在这样一个日子，让我们暂时停下匆匆赶路的脚步，把目光投向计算机科学的历史，与这位令人敬仰的大师进行一次心灵的对话。

编撰：罗佳园

阿兰?麦席森?图灵（Alan Mathison
Turing），1912年6月23日出生于英国伦敦。他是英国著名的数学家和逻辑学家，是计算机逻辑的奠基者。他凭借着异乎常人的才智和孜孜不倦的工作赢得了“计算机科学之父”、“人工智能之父”两项盛誉。如果没有图灵的贡献，计算机科学要达到当今的水平，也许要推迟很多年。

计算机科学之父1945年，被誉为“电子计算机之父”的冯?诺依曼（John Von Neumann）和几位同事联名发布了具有里程碑意义的101页“EDVAC报告”，明确了电子计算机须以二进制替代十进制运算以及用二维矩阵代替一维磁带来储存资料与程序，并进一步将计算机的逻辑结构划分为运算、控制、存储、输入、输出五部分。电子计算机由此登上了历史舞台。
而冯?诺依曼却谦逊地将“计算机之父”这一桂冠戴在图灵头上，正如他本人所说：“如果不考虑巴贝奇、亚当和其他人早先提出的有关概念，计算机的基本概念属于图灵”。现代电子计算机就是在图灵机的基础上设计产生的。
阿兰?图灵

图灵机的诞生

1936年，还在攻读博士学位的图灵，在哥德尔、艾尔布朗、克林和丘奇等前辈对可计算性已形成了一系列理论的基础上，发表了重要论文《论可计算数及其在判定问题中的应用》（On Computable
Numbers, with an Application to the
Entscheidungsproblem）在该论文中，图灵重新形式化表述了哥德尔1931年关于证明和计算的限制问题的结论，并从一个全新的角度定义了可计算函数。从“用机器来模拟人们用纸笔进行数学运算的过程”这一思想出发，图灵通过对人的计算过程的分析和概括，将计算的行为规约为最简单最基本的确定性的计算指令原语，并用该指令集合来表述一类直观上具有机械性的计算程序，从而使任何机械可执行的程序都被规约为这些指令构成的序列。这样的方法被描述成一个抽象的计算模型，该模型就是著名的图灵机（Turing Machine）模型。

此时的图灵年仅24岁，还是一个尚未拿到博士学位的年轻人。看到他如此惊人的学术成就不禁让人感慨：有了敢于挑战和质疑的勇气、踏实研究的态度，阅历尚浅和经验不足就不能阻碍年轻学者在学术探索道路上勇攀高峰。
图灵机的艺术表示

图灵描绘出的“通用图灵机”（Universal Turing
Machine）成为后世超级计算机和个人计算机、复杂设备和通用设备所共同依循的设计雏形，甚至于新一代量子计算机也仍是以图灵机为原型。这个