ACM通信
ACM通信
谁生了计算?
图灵百年纪念的迅猛发展已经成为过去，我们可以对所发生的事情进行反思。最初的想法是，应该庆祝计算的奠基人之一的百年诞辰，现在已经变成了一种全球性的社会现象。快速浏览图灵百年纪念网页(http://www.turingcentenary.eu/)展示了会议、讲座、展览和书籍的惊人爆炸式增长。
然而，当我们专注于突出图灵的开创性贡献时，我们可能已经从庆祝变成了圣徒化。听着如此多的演讲者赞美图灵的成就，人们可能会认为图灵一手开创了计算，他是可计算性、通用机器、存储程序计算机、密码分析和人工智能之父。这幅图过于简单，没有公正地描述计算机在1930年到1950年之间如何出现的丰富故事。我们没有一个开国人物，我们有好几个，我们应该承认和庆祝他们所有人。
可计算性的研究是在普林斯顿大学启动的，在那里，Alonzo Church和他的学生Stephen Kleene和Barkley Rosser在20世纪30年代早期将可计算性形式化了，首先用lambda-微积分，然后用递归函数(由Jacques Herbrand和Kurt Gödel提出)。他们还证明了两种形式主义的等价性，这导致丘奇的可计算性与递归性的一致。然而，这种可计算性的描述还不够令人信服，被Gödel描述为“完全不令人满意”。当时，图灵对有限机器的可计算性及其等价于lambda微积分和递归性的分析，产生了我们目前对可计算性的公认理解，被称为丘奇-图灵论题。(埃米尔·波斯特独立地提出了机器的另一个概念，这个概念后来被证明等同于图灵机。)
图灵是20世纪40年代初在布莱切利公园破译德国谜机密码的著名科学家。然而，与他的计算能力工作不同的是，破解谜机是一个集体的努力，而计算能力工作是独立于普林斯顿的努力完成的。一开始，图灵的工作是建立在波兰和英国密码破译人员之前的工作基础上。I.J.古德在谜机信息的贝叶斯统计分析中发挥了关键作用，戈登·韦尔奇曼对炸弹机的设计做出了关键贡献，这台机器使用蛮力搜索来识别正确的谜机转子位置。总之，人们必须记住，英国的密码破译项目是一个巨大的努力;战争期间，12000人在布莱切利公园辛勤劳作。
所谓图灵发明了存储程序计算机，通常指的是程序和数据的统一处理，这完全是不符合历史的。人们可以将统一处理程序和数据的思想的核心追溯到1931年Gödel对可证明性的算术化。这个想法在微积分、递归函数和图灵机中再次出现。图灵发明了一种通用机器，一种可以模拟所有其他机器的机器，但是在他之前的普林斯顿团队，构造了一个通用项和一个通用递归函数。虽然这些想法无疑影响了20世纪40年代宾夕法尼亚大学的约翰·冯·诺伊曼(John von Neumann)和他的合作者们的努力，但我们不应该把数学想法和工程设计混为一谈。1945年的EDVAC报告首次明确阐述了存储程序计算机。图灵的ACE报告详细阐述了这个想法，并引用了EDVAC报告，于1946年初提交。存储程序计算机的第一个实例是曼彻斯特宝贝和剑桥EDSAC，它们于1949年投入使用，先于基于图灵设计并于1950年首次运行的试点ACE。
图灵并不是第一个想到人工智能的人。哲学家查尔斯·s·皮尔斯(Charles S. Peirce)在1887年写道:“机器的思考能力究竟能发挥到什么程度，它的哪一部分必须留给活着的大脑，这是一个不无现实意义的问题。”尽管如此，图灵1950年的论文《计算机器与智能》确实是第一次对人工智能可能性进行深入的哲学研究。虽然图灵测试，在论文中被称为“模仿游戏”，在人工智能的历史上一直影响不大，但图灵确实值得称赞，因为他把通用机器智能的问题如此坦率地摆在了桌面上。
计算机技术在1930年至1950年期间出现，因为时机合适。许多人在这一发展过程中发挥了关键作用;分配精确的学分是完全不可能的。图灵是一个伟大的计算先驱，他在计算先贤祠中的地位是稳固的，但他不是一个人。
摩西·y瓦迪主编
©2013 0001 - 0782/13/01 ACM
允许为个人或课堂使用部分或全部作品制作数字或硬拷贝，但不得为盈利或商业利益而复制或分发，且副本在首页上附有本通知和完整的引用。除ACM外，本作品的其他组件的版权必须受到尊重。允许有信用的文摘。以其他方式复制、重新发布、在服务器上发布或重新分发到列表，都需要事先获得特定的许可和/或费用。请求发布的权限permissions@acm.org传真(212)869-0481。
数字图书馆是由计算机协会出版的。版权所有©2013 ACM, Inc.
评论
马塞洛•卡瓦略
皮埃尔·列维告诉我们，计算的历史(实际上可能是任何历史)更像是一个不确定的创造性时刻和地点的分布，一种有辙的、未制造的、不规则的元网络，在这个元网络中，每个节点、每个参与者都根据自己的网络拓扑结构的端点来定义，并以自己的方式解释来自邻居的一切。[…在这种观点中，从绝对意义上看，先驱或奠基人的概念是没有什么关系的。另一方面，可以辨别某些行为的一部分，谁想强加自己作为创始人或指定近过去或最近，享有声望的祖先挪用宣布自己的后代。没有独特的“原因”或“因素”，而是环境、场合、人或群体，每个人赋予它们不同的意义。没有“血统”的平静、和平的继承，只有来自各方的剑击、试图逃避和围绕遗产的无休止的过程。