图灵在发表的论文()中

图灵对计算机的主要贡献：

1、提出“图灵测试”概念

图灵测试一词来源于计算机科学和密码学的先驱艾伦·麦席森·图灵写于1950年的一篇论文《计算机器与智能》，其中30%是图灵对2000年时的机器思考能力的一个预测，目前我们已远远落后于这个预测。

2、图灵机

图灵机是由图灵在1936年提出的，它是一种精确的通用计算机模型，能模拟实际计算机的所有计算行为。所谓的图灵机就是指一个抽象的机器，它有一条无限长的纸带，纸带分成了一个一个的小方格，每个方格有不同的颜色。有一个机器头在纸带上移来移去。

3、人工智能

1949年，图灵成为曼切斯特大学（University of Manchester ）计算实验室的副院长，致力研发运行Manchester Mark 1型号储存程序式计算机所需的软件。

4、树立生物学

从1952年直到去世，图灵一直在数理生物学方面做研究。他在1952年发表了一篇论文《形态发生的化学基础》(The Chemical Basis of Morphogenesis)。

5、判定问题

1937年，图灵用他的方法解决了著名的希尔伯特判定问题：狭谓词演算(亦称一阶逻辑)公式的可满足性的判定问题。

他用一阶逻辑中的公式对图灵机进行编码，再由图灵机停机问题的不可判定性推出一阶逻辑的不可判定性。他在此处创用的“编码法”成为后来人们证明一阶逻辑的公式类的不可判定性的主要方法之一。

在判定问题上，图灵的另一成果是1939年提出的带有外部信息源的图灵机概念，并由此导出“图灵可归约”及相对递归的概念。

《论可计算数及其在判定问题中的应用》

机器可以思考出自：图灵发表了里程碑论文《计算机器与智能》，第一次提出“机器思维”和“图灵测试”（TurningTest）的概念，该论文又名《机器能思考吗？》，正是这篇文章为图灵赢得了“人工智能之父”的桂冠。他这样设想道：“人的大脑好似一台巨型的电子计算机，初生婴儿的大脑皮层像‘尚未组织好的’机器，可以经过训练，使之成为‘组织好了的’类似于万能机（即万能图灵机）式的机器。”由于机器和思考这两个词的含义模糊，很难给出定义，图灵在论文中提出用一个测试来代替解答“机器能思考吗”这个问题。他称之为模仿博弈，也就是后世大名鼎鼎的图灵测试。