人物-艾伦·图灵
艾伦·麦席森·图灵（Alan Mathison Turing）是英国数学家、逻辑学家、计算机科学家，被誉为“计算机科学之父”和“人工智能之父”。
图灵机与可计算性
图灵最重要的贡献之一是提出了“图灵机”的抽象计算模型，为现代计算机的理论奠定了基础。在他的论文《论可计算数及其在判定问题上的应用》中，他证明了著名的“停机问题”是不可解的，这与概念-哥德尔不完全性定理在精神上遥相呼应。
在这篇论文中，他提出了图灵机理论，而且证明了停机问题的不可解性。这篇论文发表于1937年。
哥德尔定理在计算理论中有其对应物，这是阿兰·图灵发现的。它揭示出了即便是在可以设想出来的性能最好的计算机中，也存在有不可避免的“漏洞”。
丘奇-图灵论题
图灵与阿朗佐·丘奇共同提出了理论-丘奇-图灵论题，该论题断言，任何在直观上可计算的函数都可以用图灵机来计算。这为“计算”这一概念提供了一个严格的形式化定义。
事实上，绝大多数人都相信不会再有描述计算的能力强于FlooP及其等价物的语言了。这个假说在30年代被两个人互相独立地表述出来：阿兰·图灵——关于他，后面还会进一步介绍——和阿朗佐·丘奇，二十世纪杰出的逻辑学家之一。他们的结果被称为“丘奇-图灵论题”。
图灵测验与人工智能
在1950年的论文《计算机器与智能》中，图灵提出了著名的“图灵测验”，作为判断机器是否具有概念-智能的一种操作性方法。这个测验至今仍是人工智能领域的核心议题之一。
我准备考虑一个问题：‘机器能思维吗？’”。正像他所指出的，这些词都太复杂了，易于挑起争端，因此我们显然应当寻找一种更好的方式来接近这个问题，即给出一种限定其含义的过程，而非一个定义。他认为这种方式就包含在他所谓的“模拟游戏”之中——今天我们称之为“图灵测验”。