十五、阿兰图灵

图灵1912年出生于伦敦，数学、科学能力惊人。他对计算机科学的建树始于1935年，当时他还是剑桥国王学院的硕士生。他开始解决德国数学家大卫·希尔伯特提出的问题——“可判定性问题(decision problem)”。是否存在一种算法，能够输入一个以形式逻辑(formal logic)书写的语句，输出准确的“是”与“否”的答案？如果这样的算法存在，可以回答比如“是否有一个数大于所有数”——答案为“否”。我们主要关注的是这样的一个算法是否存在。Alonzo Church在1935年首先提出解决方法，他开发了一种叫“Lambda算子”得数学表达系统，证明了这样的算法不存在。虽然Lambda算子能够表示任何计算，但它使用的数学技巧是难度较高的。同时图灵想出了自己的办法来解决“可判定性问题”，他提出了一种假想的计算机叫做“图灵机”。图灵机提供了简单又强大的数学计算模型，虽然使用了完全不同的运算方法，但是图灵机的计算能力和Lambda算子一样强。同时因为图灵机更简单，所以在新兴的计算机领域更加受欢迎。
图灵机是一台理论计算设备，它有着无限长的纸带，纸带可以存储符号，它还有一个读写头，可以读取和写入纸带上的符号。它还有一个状态变量，保存当前状态。它还有一组规则，描述机器做什么。根据当前状态+读写头看到的符号，规则决定机器做什么。决定的结果可能是在纸带写入一个符号、改变机器的状态、把读写头移动一格，甚至执行上述动作的组合等等。