图灵的故事

        今年是是计算机和计算机科学的理论奠基人，英国著名数学家、逻辑学家， 阿兰?图灵诞辰100周年。

        图灵的天赋在他非常年轻的时候就展露无遗， 图灵在他1936年5月28日提交的重要论文《论可计算数及其在判定问题上的应用》里，对哥德尔1931年在证明和计算的限制的结果作了重新论述，他用现在叫做 图灵机的简单形式装置代替了哥德尔的以通用算术为基础的形式语言。图灵还是证明了这样的机器有能力解决任何可想像的数学难题，如果这些难题是用一种算法来表达，至今图灵机还是计算理论研究的中心课题。1937年，其发表的另一篇文章“可计算性与λ可定义性”则拓广了丘奇(1903-1995,美国逻辑学家）提出的“丘奇论点”，形成“丘奇-图灵论点”，对计算理论的严格化，对计算机科学的形成和发展都具有奠基性的意义。

        1947年，图灵就提出过自动程序设计的思想，1948年，图灵接受了曼彻斯特大学的高级讲师职务，并被指定为曼彻斯特自动数字计算机（Madam）项目的负责人助理，具体领导该项目数学方面的工作。作为这一工作的总结，1950年图灵编写并出版了《曼彻斯特电子计算机程序员手册》，童年他提出关于机器思维的问题，他的论文“计算机和智能引起了广泛的注意和深远的影响。 1956年，在收入一部文集时此文改名为《机器能够思维吗？》，至今仍是研究人工智能的首选读物之一。

        图灵思想活跃，他的创造力也是多方面的。据同事们回忆，他在战时的秘密工作中，曾创造好几种新的统计技术，但都未形成论文发表，后来又重新为他人所创建，由A．瓦尔德(美籍罗马尼亚数理统计学家）重新发现并提出的“序贯分析”就是其中之一，图灵是一位科学史上罕见的具有非凡洞察力的奇才：他的独创性成果使他生前就已名扬四海，而他深刻的预见使他死后倍受敬佩，苹果公司的标志一度被误认为源于图灵自杀时咬下的半个苹果。但该图案的设计师和苹果公司都否认了这一说法。

        随着时代的进步，英国的法律不再视×××为违法行为并开始允许同性伴侣民事结合。在这一大环境下，2009年9月10日，在三万民众的联名请愿下，英国当时的首相戈登·布朗正式代表英国政府向图灵因为×××被定罪并导致其被强行“治疗”，在被迫注射大量雌性激素后，不堪屈辱而自杀公开道歉。图灵的英年早逝，令人扼腕叹息，一代天才就这样走完了人生。为了纪念他对计算机科学的巨大贡献，美国计算机协会从20世纪60年代起设立一年一度的 图灵奖，以表彰在计算机科学中做出突出贡献的人。

        图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由Google公司赞助，奖金为100,000美元。

        1912年6月23日生于英国帕丁顿，1931年进入剑桥大学国王学院，1938年在美国普林斯顿大学取得博士学位，二战爆发后返回剑桥协助军方破解德国的著名密码系统Enigma，帮助盟军取得了二战的胜利，他就是阿兰·麦席森·图灵，这位英国著名数学家、逻辑学家、密码学家，被称为计算机科学之父、人工智能之父，计算机逻辑的奠基者，其提出了“图灵机”和“图灵测试”等重要概念至今仍被沿用学习。计算机界除了从年初就开始举行一系列对于他对于计算机科学伟大贡献的活动，并定2012年是图灵年。

------------------------------------------------------------------

我的微博： http://weibo.com/192jiang

我的豆瓣： http://www.douban.com/people/fulmination/