今天是图灵诞辰100年的纪念日。阿兰·图灵拥有传奇的一生:

1936年,还在剑桥国王学院就读的阿兰·图灵发表重要论文《论可计算数及其在判定问题上的应用》(On Computable Numbers, with an Application to the Entscheidungsproblem),否定了希尔伯特判定问题,通俗来说,即我们不能用一个算法来判定一台给定的图灵机是否会停机,所以停机问题是一个无法判定的数学问题,并提出algorithms和computing machines两个核心概念。图灵也因为这论文被推荐到了普林斯顿大学同样研究希尔伯特判定问题的Church教授门下做博士生。博士期间图灵办公室对面就是冯•诺伊曼教授。在1930年代,世界上最了不起的计算机科学系无疑是普林斯顿大学数学系,因为丘奇的λ演算成为我们使用的程序设计语言的原型;图灵的机器成为由约翰·冯·诺伊曼在普林斯顿大学高级研究院研制出来的计算机的原型,其中的程序只是作为数据存放在这台计算机的存储器中。冯·诺伊曼提出了计算机的经典结构。他们共同奠定了计算机科学不可埋没的基础。

博士毕业后回到英国不久二战爆发,图灵投入破解德国密码的工作中,他用他的数学天赋拯救了数以万计的生命。

1950年他发表论文《计算机器与智能》( Computing Machinery and Intelligence),提出了图灵测试和人工智能,即如果第三者无法辨别人类与人工智能机器反应的差别,则可以论断该机器具备人工智能。到现在,还没有一台计算机能通过图灵测试。

然而图灵对于计算机界的贡献却因为他的英年早逝戛然而止,由于当时英国的法律认为同性恋属于违法行为,迫使图灵接收针对同性恋倾向的“治疗”。1954年,艾伦·图灵因食用浸过氰化物溶液的苹果死亡。直到2009年,英国首相布朗才向这位计算机之父和二战英雄做了官方道歉:“我们很抱歉。你本该被更好对待。(We are sorry. You deserved so much better.)”

美国计算机协会从1966年开始设立图灵奖,它是计算机界最负盛名、最崇高的一个奖项,被称为“计算机界的诺贝尔奖”。拿到图灵奖的都是大神orz...John McCarthy, Dijkstra, Donald E. Knuth, Edgar F. Codd, Ken Thompson & Dennis M. Ritchie, Niklaus Wirth, Alan Kay, RSA好基友等等orzorz

最后推荐两篇文章:
Google资深副总裁兼首席因特网专家、TCP/IP之父、2004年图灵奖得主Vint Cerf在BBC上发表的文章:
Alan Turing: why the tech world's hero should be a household name
果壳网上已有译文:为什么每个人都该知道阿兰·图灵

在豆瓣看到玑衡写的面对面的办公室——纪念艾伦•图灵百年诞辰 1912.6.23-2012.6.23