凌对计算机的主要贡献是什么？

1，提出了“图灵测试”的概念？

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

2.图灵机

图灵机是图灵在1936年提出的。它是一个精确的通用计算机模型，可以模拟真实计算机的所有计算行为。所谓图灵机是指一种抽象机器，有一条无限长的纸带。纸带被分成小方块，每个方块有不同的颜色。有一个机头在纸带上来回移动。

3.人工智能

1949年，图灵成为曼彻斯特大学计算实验室的副总裁，致力于开发运行曼彻斯特马克1存储程序计算机所需的软件。

4.建立生物学

从1952直到去世，图灵一直从事数学生物学的研究。他在1952发表了一篇论文《形态发生的化学基础》。

5、确定问题

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

他用一阶逻辑中的公式对图灵机进行编码，然后从图灵机停止问题的不确定性推导出一阶逻辑的不确定性。他在这里创造的“编码法”成为证明一阶逻辑公式类不确定性的主要方法之一。

在判断问题上，图灵的另一个成果是在1939中提出的具有外部信息源的图灵机概念，由此衍生出“图灵可约性”和相对递归的概念。