Turing机

上世纪30年代，一个伟大的英国逻辑学家做出了一项推进人类社会发展进程的工作，此人正是Alan Turing。对于Turing本人的传奇经历我就不多说了。在现如今如此依赖计算机的生活中，人们有必要来了解这位计算机科学之父。可以说，没有Turing，计算机的出现还不知道要晚上多久才能来到我们的生活之中。那么，大家就要问，Turing到底做了些什么呢？别急，下面我就慢慢说来。

首先，我们看看Turing到底为何要设计出来这么一个“机器”，之所以打上引号，是因为Turing机仅仅是一个模型，不是一个真实的机器（如我们平时用的电脑）。说到这里，我们就必须介绍另外一个伟大的数学家——Alonzo Church。对于他，大家最熟悉的莫过于lambda演算了（现在的LISP和函数式程序设计语言正是基于lambda演算的），他通过这一工具证明了不可判定问题的存在。这个结论这是在Turing提出的有名的“停机问题”之前提出的。之后他们一起证明了lambda演算和Turing机在计算能力上是等价的。因此，我们可以这么说，Alonzo Church和Alan Turing通过不同的方式证明了不可判定（不可计算）问题的存在。