图灵与计算机科学：杰出的奠基人引领了一个学科

图灵为理论计算机科学的建立贡献了至关重要的部分。1950年代初根本没有计算机科学。也就是说没有计算机系，也没有任何计算机杂志、教科书或者自认为是计算机科学家的社团。然而就在这一时期，越来越多的大学教职人员围绕着计算机开展了他们的事业。有的组建团队建造“独生子”式的计算机设备，有的则在大学的计算机中心为其他学科提供服务。而这些人的学术背景往往是电子工程、材料和物理。他们往往会在现有的学科领域内发表学术论文、博士论文，或者寻找科研经费。针对计算机的研究是被当作其他学科研究中使用的一种方法，而不是自我完成的归宿。

有进取心的计算机专家不是都愿意这样凑合，他们一直试图建立一门新的学科。尽管曾经提出或者采纳过其他名字，最终在美国被命名为计算机科学。为了在精英大学中赢得一席之地，这门新学科必须要有自己的理论体系。当时，电子硬件只是工程学科中很小的一个分支。由于计算机中心在传统上一直服务于物理学家和工程师，和应用数学及数值分析结合得太紧密了。因此，这个新领域需要有一个严密的理论体系，对于计算来说是独一无二的，而且它要从工程学和应用数学中分离出来。

从字面上说，图灵怎么也不是这一新学科的建立者之一。他从未加入美国计算机学会或者其他早期的计算机专业组织，没有创办或者编辑过一本计算机杂志，没有为一群未来的计算机专家指导过论文。他从未建立过计算机实验室，没有在大学中建立计算机学位课程，也没有在这一领域得到过任何研究经费。他的名字也从来没有在任何早期的计算机研究者论坛或者会议的组织者名单中出现过在他去世之前，他的主要研究兴趣早已不在这一新生学科的中心。

如果要造一座房子，那么首先是打下地基。但一门新学科的基础却是在发展过程中逐渐建立的。图灵1936年的论文是其他人从传统数学逻辑领域发掘出来，嵌入到计算机这一新领域并推动其发展的。历史学家米歇尔·马奥尼（Michael S. Mahoney）在他的一些论文中概述由从前各个互相独立的数学和科学领域的成果逐渐拼凑戎计算机科学自身的理论体系这一过程。计算机科学的缔造者们吸收了数学逻辑、形式语言理论、编码理论、电气工程和各种其他领域的早期成果。来自这些科学领域的各种技术和成果（其中许多原本只是研究者纯粹出于兴趣的产物）在这个新型的计算机科学框架下得到了全新的诠释。一些研究图灵对计算机科学发展的影响的历史学家认为，在1940年代，图灵与实际计算机有关的工作还没有被人们泛地理解。

可以说，图灵1936年的论文是1950年代拼凑成计算机科学这知识马赛克的重要组成部分。虽然图灵自己也意识到了他早先的工作与计算机这一概念的关联，但他并没有致力于将他的理论模型推广给对计算机有兴趣的人士。然而，他的工作作为计算模型是非常有效的，到1950年末期，计算机领域的专家普遍认识到这一点。埃德加·戴莱特（Edgar Daylight）指出图灵突出贡献之所以被世人所知，要归功于一支信奉他的学术成果的团体，包括索罗·高恩（SaulGorn）、约翰·卡尔（John W.Carr）和艾伦·佩里斯（Alan J. Perlis），他们有一个共同兴趣—编程语言理论。自此，图灵的声誉与日俱增这反映在美国计算机学会1965年决定将它的最高奖项以图灵的名字命名。