?
简介：
阿兰·麦席森·图灵（Alan Mathison Turing，1912.6.23—1954.6.7），英国数学家、逻辑学家，被称为人工智能之父。
阿兰·麦席森·图灵，1912年生于英国伦敦，1954年死于英国的曼彻斯特，他是计算机逻辑的奠基者，许多人工智能的重要方法也源自于这位伟大的科学家。他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念，对于人工智能，它提出了重要的衡量标准“图灵测试”，如果有机器能够通过图灵测试，那他就是一个完全意义上的智能机，和人没有区别了。他杰出的贡献使他成为计算机界的第一人，现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为“图灵奖”。上中学时，他在科学方面的才能就已经显示出来，这种才能仅仅限于非文科的学科上，他的导师希望这位聪明的孩子也能够在历史和文学上有所成就，但是都没有太大的建树。少年图灵感兴趣的是数学等学科。在加拿大他开始了他的职业数学生涯，在大学期间这位学生似乎对前人现成的理论并不感兴趣，什么东西都要自己来一次。大学毕业后，他前往美国普林斯顿大学也正是在那里，他制造出了以后称之为图灵机的东西。图灵机被公认为现代计算机的原型，这台机器可以读入一系列的零和一，这些数字代表了解决某一问题所需要的步骤，按这个步骤走下去，就可以解决某一特定的问题。这种观念在当时是具有革命性意义的，因为即使在50年代的时候，大部分的计算机还只能解决某一特定问题，不是通用的，而图灵机从理论上却是通用机。在图灵看来，这台机器只用保留一些最简单的指令，一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了，在当时他能够具有这样的思想确实是很了不起的。他相信有一个算法可以解决大部分问题，而困难的部分则是如何确定最简单的指令集，怎么样的指令集才是最少的，而且又能顶用，还有一个难点是如何将复杂问题分解为这些指令的问题。1936年，图灵向伦敦权威的数学杂志投了一篇论文，题为“论数字计算在决断难题中的应用”。在这篇开创性的论文中，图灵给“可计算性”下了一个严格的数学定义，并提出著名的“图灵机”(Turing Machine)的设想。
生平：
1912年6月23日，出生于英国伦敦。
1931年-1934年，在英国剑桥大学国王学院（King's College）学习。
1932年-1935年，主要研究量子力学、概率论和逻辑学。
1935年，年仅23岁的图灵，被选为剑桥大学国王学院院士。
1936年，主要研究可计算理论，并提出“图灵机”的构想。
1936年-1938年，主要在美国普林斯顿大学做博士研究，涉及逻辑学、代数和数论等领域。
1938-1939年，返回剑桥从事研究工作，并应邀加入英国政府破译二战德军密码的工作。
1940年-1942年，作为主要参与者和贡献者之一，在破译纳粹德国通讯密码的工作上成就杰出，并成功破译了德军U-潜艇密码，为扭转二战盟军的大西洋战场战局立下汗马功劳。德国有一个名为“Enigma”（谜）的通信密码机的破译工作。
1943年-1945年，担任英美密码破译部门的总顾问。
1945年，应邀在英国国家物理实验室从事计算机理论研究工作。
1946年，这个时候，图灵在计算机和程序设计原始理论上的构思和成果，已经确定了他的理论开创者的地位。由于图灵的杰出贡献，年轻的他被英国皇室授予OBE爵士勋衔。
1947年-1948年，主要从事计算机程序理论的研究，并同时在神经网络和人工智能领域做出开创性的理论研究。
1948年，应邀加入英国曼彻斯特大学从事研究工作，担任曼彻斯特大学计算实验室副主任。
1949年，成为世界上第一位把计算机实际用于数学研究的科学家。
1950年，发表论文“计算机器与智能”，为后来的人工智能科学提供了开创性的构思。提出著名的“图灵测试”理论。
1951年，从事生物的非线性理论研究。年仅39岁的图林，被选为英国皇家学会会员。
1952年，在当年保守愚昧和冷战的时代，当警察得知图灵与同性朋友密切交往的消息之后，同性恋倾向的图灵被逮捕入狱。在法庭审判过程中，图灵明确告知人们，他认为自己没有做错什么事。在那个观念落后的年代，为了避免被判刑入狱，图灵被迫选择了为期一年的雌性激素注射的所谓“治疗”，才得以重新返回研究工作。
1953年-1954年，继续在生物和物理学等方面的研究。被迫承受的对同性恋倾向的“治疗”，致使原本热爱体育运动的图灵在身心上受到极大的伤害。
1954年6月7日，图灵被发现死于家中的床上。死因是氰化物中毒，警方调查结论是自。一代英灵，就此过早离去，成为人类科学史上的一大遗憾。
亡故：
1954年6月8日，图灵42岁，正逢进入他生命中最辉煌的创造顶峰。一天早晨，女管家走进他的卧室，发现台灯还亮着，床头上还有个苹果，只咬了一小半，图灵沉睡在床上，一切都和往常一样。但这一次，图灵是永远地睡着了，不会再醒来……经过解剖，法医断定是剧毒氰化物致死，那个苹果是在氰化物溶液中浸泡过的。图灵的母亲则说他是在做化学实验时，不小心沾上的，她的"艾伦"从小就有咬指甲的习惯。但外界的说法是服毒自杀，一代天才就这样走完了人生。著名的苹果电脑公司以那个咬了一口的苹果作为其商标图案，就是为纪念这位伟大的人工智能领域的先驱者——图灵。
图灵测试：
图灵在一篇题为《机器能思考吗？》的论文中提出“机器思维”的概念。他逐条反驳了机器不能思维的论调，做出了肯定的回答。他还对智能问题从行为主义的角度给出了定义，由此提出一假想：即一个人在不接触对方的情况下，通过一种特殊的方式，和对方进行一系列的问答，如果在相当长时间内，他无法根据这些问题判断对方是人还是计算机，那么，就可以认为这个计算机具有同人相当的智力，即这台计算机是能思维的。这就是著名的“图灵测试”(Turing Testing)。当时全世界只有几台电脑，根本无法通过这一测试。但图灵预言，在本世纪末，一定会有电脑通过“图灵测试”。终于他的预言在IBM的“深蓝”身上得到彻底实现。当然，卡斯帕罗夫和“深蓝”之间不是猜谜式的泛泛而谈，而是你输我赢的彼此较量灵。
图灵测试由计算机、被测试的人和主持试验人组成。计算机和被测试的人分别在两个不同的房间里。测试过程由主持人提问，由计算机和被测试的人分别做出回答。观测者能通过电传打字机与机器和人联系（避免要求机器模拟人外貌和声音）。被测人在回答问题时尽可能表明他是一个“真正的”人，而计算机也将尽可能逼真的模仿人的思维方式和思维过程。如果试验主持人听取他们各自的答案后，分辨不清哪个是人回答的，哪个是机器回答的，则可以认为该计算机具有了智能。这个试验可能会得到大部分人的认可，但是却不能使所有的哲学家感到满意。
图灵机：
???“图灵机”不是一种具体的机器，而是一种思想模型，可制造一种十分简单但运算能力极强的计算装置，用来计算所有能想象得到的可计算函数。“图灵机”与“冯·诺伊曼机”齐名，被永远载入计算机的发展史中。
图灵奖：
“图灵（Turing）奖”是美国计算机协会（ACM，Association for Computer Machinery）于1966年设立的，专门奖励那些对计算机科学研究与推动计算机技术发展有卓越贡献的杰出科学家。它被公认为计算机界的“诺贝尔奖”。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司赞助，奖金为100,000美元。每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
图灵奖获得者：
1966年 艾伦·佩利 Alan J. Perlis 高级程序设计技巧，编译器构造。
1967年 威尔克斯 Maurice V. Wilkes 内部存储程序, 程序库。
1968年 理查德·卫斯里·汉明 Richard Hamming 数值方法，自动编码系统，错误检测和纠错码。
1969年 马文·闵斯基 Marvin Minsky 人工智能。
1970年 詹姆斯·维尔金森 James H. Wilkinson 数值分析，线性代数，“倒退”错误分析。
1971年 约翰·麦卡锡 John McCarthy 人工智能 。
1972年 艾兹格·迪科斯彻 Edsger Dijkstra 程序设计语言的科学与艺术。
1973年 查理士·巴赫曼 Charles W. Bachman 数据库技术。
1974年 高德纳 Donald E. Knuth 算法分析和编程语言的设计。
1975年 艾伦·纽威尔和赫伯特·西蒙 Allen Newell,Herbert A. Simon 人工智能，人类认知心理学和列表处理 (list processing)。
1976年 迈克尔·拉宾和斯科特 Michael O. Rabin,Dana S. Scott 非确定性自动机。
1977年 约翰·巴克斯 John Backus 高级编程系统，程序设计语言规范的形式化定义。
1978年 罗伯特·弗洛易德 Robert W. Floyd 设计高效可靠软件的方法学。
1979年 肯尼斯·艾佛森 Kenneth E. Iverson 程序设计语言和数学符号，互动系统的设计，运用 APL 进行教学，程序设计语言的理论与实践。
1980年 安东尼·何珥 C. Antony R. Hoare 程序设计语言的定义与设计。
1981年 埃德加·科德 Edgar F. Codd 数据库系统，尤其是关系型数据库。
1982年 史提芬·古克 Stephen A. Cook 计算复杂度。
1983年 肯·汤普逊和丹尼斯·里奇 Ken Thompson,Dennis M. Ritchie 通用的操作系统理论，实现UNIX操作系统。
1984年 尼古拉斯·沃斯 Niklaus Wirth 计算机语言设计。
1985年 理查德·卡普 Richard M. Karp 算法理论，尤其是NP-完全性理论。
1986年 约翰·霍普克罗夫特和罗伯特·塔扬 John Hopcroft,Robert Tarjan 算法和数据结构的设计与分析。
1987年 约翰·科克 John Cocke 编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发。
1988年 伊凡·苏泽兰 Ivan Sutherland 计算机图形学。
1989年 威廉·卡亨 William (Velvel) Kahan 数值分析。
1990年 费尔南多·考巴托 Fernando J. Corbató CTSS和 Multics。
1991年 罗宾·米尔纳 Robin Milner LCF，ML语言，CCS。
1992年 巴特勒·兰普森 Butler W. Lampson 分布式，个人计算环境。
1993年 尤里斯·哈特马尼斯和理查德·斯特恩斯 Juris Hartmanis,Richard E. Stearns 计算复杂度理论。
1994年 爱德华·费根鲍姆和拉吉·瑞迪 Edward Feigenbaum,Raj Reddy 大规模人工智能系统。
1995年 曼纽尔·布卢姆 Manuel Blum 计算复杂度理论，及其在密码学和程序校验上的应用。
1996年 艾米尔·伯努利 Amir Pnueli 时序逻辑，程序与系统验证。
1997年 道格拉斯·恩格尔巴特 Douglas Engelbart 互动计算。
1998年 詹姆斯·尼古拉·格雷 James Gray 数据库与事务处理。
1999年 弗雷德里克·布鲁克斯 Frederick P. Brooks, Jr. 计算机体系结构，操作系统，软件工程。
2000年 姚期智 姚期智（Andrew Chi-Chih Yao）计算理论，包括伪随机数生成，密码学与通信复杂度。
2001年 奥利-约翰·达尔和克利斯登·奈加特 Ole-Johan Dahl,Kristen Nygaard 面向对象编程。
2002年 罗纳德·李维斯特，阿迪·萨莫尔和伦纳德·阿德曼 Ronald L. Rivest,Adi Shamir,Leonard M. Adleman 公钥密码学（RSA加密算法）。
2003年 阿伦·凯 Alan Kay 面向对象编程。
2004年 文特·瑟夫和罗伯特·卡恩 Vinton G. Cerf,Robert E. Kahn TCP/IP协议
2005年 彼得·诺尔 Peter Naur Algol 60语言。
2006年 法兰西斯·艾伦 Frances E. Allen 优化编译器。
2007年[1] 爱德蒙·克拉克、艾伦·爱默生和 约瑟夫·斯发基斯 Edmund M. Clarke，Allen Emerson和Joseph Sifakis 开发自动化方法检测计算机硬件和软件中的设计错误。