图灵，A．M．

【生卒】：1912～1954

【介绍】：

英国数学家、逻辑学家。1934年获英国剑桥大学国王学院学士学位，1935年因毕业论文《论高斯的误差函数》被选为该学院的研究员，1936～1938年在美国普林斯顿大学A．丘奇的指导下从事研究工作，1938年获该大学博士学位，1939～1945年在英国外交部任职，1945～1948年在英国国家物理实验室从事自动计算机(ACE)的逻辑设计工作，1948年到曼彻斯特大学任高级讲师兼自动数字计算机设计的助理主任，1948～1951年任英国皇家学会会员。图灵是现代计算机设计思想的创始人之一，在逻辑和应用数学领域也作出了重要贡献。1937年他发表了划时代的逻辑论文《论可计算数及其在可判定问题上的应用》，对计算一个数的过程进行了分析，提出了通用计算机的逻辑理论，证明了一阶谓词逻辑的判定问题的不可解性。虽然丘奇通过不同的方法也得到了相同的结果，但是图灵的方法却更具有普遍性。他在普林斯顿大学时还写了其它几篇重要的逻辑论文，其中的《建立在序数上逻辑系统》使他获得了博士学位。该文研究了对任一序数α构造一种逻辑系统La的问题，曾产生过较大影响。第二次世界大战期间，他参加了英国外交部的军事工作，由于他工作出色，曾获荣誉勋章。战后，虽然他把兴趣转向电子计算机的逻辑设计，但他没有放弃对逻辑的研究。他与M．H．A．纽曼合写的《类型论的实用形式》以一种可以应用于普通数学的形式对B．A．W．罗素的类型论进行了讨论。