论文部分内容阅读
计算机领域的最高奖是图灵将,是以为计算机科学作出重大贡献的一位科学家的名字命名的。图灵于1931年进入剑桥大学研究量子力学、概率论和逻辑学。图灵在数理逻辑大本营的剑桥大学提出一个设想:能否有这样一台机器,通过某种一般的机械步骤,能在原则上一个接一个地解决所有的数学问题。1936年图灵发表一篇著名 的论文《论数字计算在判决难题中的应用》。他提出了一种十分简单但运算能力极强的理想计算装置,用它来计算所有能想象得到的可计算函数。它由一个控制器和一根假设两端无界的工作带组成。工作带起着存储器的作用,它被划分为大小相同的方格,每一格上可书写一个给定字母表上的符号。控制器可以在带上左右移动,控制带有一个读写头,读写头可以读出控制器访问的格子上的符号,也能改写和抹去这一符号。这一装置只是一种理想的计算模型,或者说是一种理想中的计算机。这就是电脑史上的“图灵机”。在这篇开创性的论文中,图灵给“可计算性”下了一个严格的数学定义,并提出著名的“图灵机”(Turing Machine)的设想。"图灵机”不是一种具体的机器,而是一种思想模型。它由三部分组成:一条带子,一读写头和一个控制装置,能计算出任何给定的计算,也即能执行任何可能的任务。
图灵的这一思想奠定了现代计算机的基础。电脑事实上就是用相应的程序来完成任何设定好的任务。正如飞机的真正成功得力于空气动力学一样,计算机由模拟计算向数字计算的飞跃中,图灵的理论起了至关重要的作用。 图灵1947年就提出了“自动程序”的概念,而美国的瓦丁格(Woldingger)1969年才发表了同样成果。令人扼腕的是,图灵早在1945年就提出“仿真系统”的思想,并有一份详细的报告,想建造一台没有固定指令系统的电脑,它能够模拟其他不同指令系统的电脑的功能,但这份报告直到1972年才公布。这说明图灵在二战结束后就开始了后来被称为“人工智能”领域的探索,开始关注人的神经网络和电脑计算之间的关联。1950年,图灵发表了里程碑式的论文《电脑能思考吗?》,第一次提出“机器思维”的概念。图灵逐条反驳了机器不能思维的论调,作出了肯定的回答。图灵提出一假想:一个人在不知情的条件下,通过一种特殊的方式,和一台机器进行问答,如果在相当长时间内,他分辨不出与他交流的对象是人还是机器,那么,这台机器就可以认为是能思维的。这就是著名的“图灵测试”(Turing Testing)。当时全世界只有几台电脑,它们肯定无法通过这一测试,但图灵预言,在本世纪末,一定会有电脑通过“图灵测试”,电脑能做我们想象不到的事情。时至今日,图灵的天才预言终于在IBM的“深蓝”上得到彻底实现。
图灵在量子力学、数理逻辑、生物学、化学方面都有深入的研究。当然他最高的成就还是在电脑和人工智能方面,堪称这一领域开天辟地的大师。缘此,后来人们把计算机领域的最高奖以他的名字命名。“图灵奖”,又通称“图灵大奖”,是世界电脑界的诺贝尔奖。
图灵的这一思想奠定了现代计算机的基础。电脑事实上就是用相应的程序来完成任何设定好的任务。正如飞机的真正成功得力于空气动力学一样,计算机由模拟计算向数字计算的飞跃中,图灵的理论起了至关重要的作用。 图灵1947年就提出了“自动程序”的概念,而美国的瓦丁格(Woldingger)1969年才发表了同样成果。令人扼腕的是,图灵早在1945年就提出“仿真系统”的思想,并有一份详细的报告,想建造一台没有固定指令系统的电脑,它能够模拟其他不同指令系统的电脑的功能,但这份报告直到1972年才公布。这说明图灵在二战结束后就开始了后来被称为“人工智能”领域的探索,开始关注人的神经网络和电脑计算之间的关联。1950年,图灵发表了里程碑式的论文《电脑能思考吗?》,第一次提出“机器思维”的概念。图灵逐条反驳了机器不能思维的论调,作出了肯定的回答。图灵提出一假想:一个人在不知情的条件下,通过一种特殊的方式,和一台机器进行问答,如果在相当长时间内,他分辨不出与他交流的对象是人还是机器,那么,这台机器就可以认为是能思维的。这就是著名的“图灵测试”(Turing Testing)。当时全世界只有几台电脑,它们肯定无法通过这一测试,但图灵预言,在本世纪末,一定会有电脑通过“图灵测试”,电脑能做我们想象不到的事情。时至今日,图灵的天才预言终于在IBM的“深蓝”上得到彻底实现。
图灵在量子力学、数理逻辑、生物学、化学方面都有深入的研究。当然他最高的成就还是在电脑和人工智能方面,堪称这一领域开天辟地的大师。缘此,后来人们把计算机领域的最高奖以他的名字命名。“图灵奖”,又通称“图灵大奖”,是世界电脑界的诺贝尔奖。