| 图灵 Alan Mathison Turing1912—1954 英国数学家、逻辑学家，现代计算机理论创始人之一。1931年就读于英国剑桥大学国王学院，1935年因《论高斯误差方程》论文被选为学院研究生，研究数理逻辑和递归函数论。1936年赴美普林斯顿大学随丘奇及冯·诺伊曼学习，1938年以《论可计算数及其在判定问题的应用》论文获哲学博士。1939年在英外交部通讯部布莱奇雷密码学校工作。1945年去英国国家物理研究所研究设计自动计算机(ACE)，1948年任曼彻斯特大学高级讲师，兼自动数字机(MADAM)设计组副组长。1951年成为英国皇家学会会员。主要贡献有：(1)提出理论上的通用计算机图灵机器模式。实际参加用于破译密码的电子计算机的研制工作，这种专用机于1943年制成。1945年，又提出自动计算机设计说明书，对计算机的研制作出重大贡献。(2)对序数逻辑问题的研究。(3)对群论的研究，改进波斯特(E.L. Post， 1897—1954)关于半群字的问题的不可解性的证明，构造一个满足消去律的半群，证明这个半群的字的问题是不可解的。(4)对机器进行思维能力的研究。1947年发表《思维机：异端理论》，1950年发表《计算机和智力》，从行为的角度阐述了智能的概念。在学术界引起了巨大反响，引起了关于机器能否思维的长期的、广泛的争论。还设计著名的“图灵测验”，作为判别机器能否思维的标准。另外还首先对生物发生的数学本质进行研究，引起人们广泛兴趣。美国计算机协会1966年设立图灵奖，奖励在计算机科学上获得突出成就的科学家。主要著作还有《以序数为基础的逻辑系统》(1939)、《形态发生的化学基础》(1952)等。 |