图灵，阿兰·马西森

---

【生卒】：1912—1954

【介绍】：

英国数学家，提出图灵机的设想。

生于伦敦，就读于剑桥大学国王学院。1936年受聘为大学研究员。翌年出版了《论可计算的数》一书，这一著作很快使他获得国际声誉，并将图灵机的概念引进到数学中来。图灵的研究来源于戴维·希尔伯特于1900年所提出的第23个问题，即如何决定谓词逻辑的命题是真的还是假的这样一个发展问题。

图灵提出一种通用计算机能使计算过程模型化。它只包括分成许多单元的一个连续传动带。

机器能使带向左或向右移动，使之停止，打印数字0和1，并能消除这些数字。他证明了：存在著不能计算的函数。

接著他进一步将这一结果与一阶逻辑联系起来，并且证明：谓词逻辑本质上是不能决定的。

第二次世界大战时图灵在英国绝密机构工作，研究破译德国密码。战后(1945)他进入特丁顿的国家物理研究室，研制自动计算发动机。然而图灵发现，既然没有了战时的强制纪律，他不能屈从于行政机构的官僚方法，因此于1948年到曼彻斯特大学，从事曼彻斯特自动数字机(MADAM)的研制工作。

在那里他发表了受到广泛注意的论文《计算机器与智能》(1950)，在论文中他恳请读者们提出区别计算机与人类智能的方法。