52歌赋>历史上的今天>“计算机科学之父”阿兰图灵诞生

“计算机科学之父”阿兰图灵诞生

在112年前的今天,1912年6月23日(农历1912年5月9日),“计算机科学之父”阿兰图灵诞生。

艾伦·麦席森·图灵,OBE,FRS(英语:Alan Mathison Turing,又译阿兰·图灵,Turing也常翻译成涂林或者杜林,1912年6月23日-1954年6月7日),是英国数学家、逻辑学家,他被视为计算机科学之父。

1931年图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,二战爆发后回到剑桥,后曾协助军方破解德国的著名密码系统Enigma,对盟军获取了二战的胜利有一定的帮助。

图灵对于人工智能的发展有诸多贡献,例如图灵曾写过一篇名为《机器会思考吗?》(Can Machines Think?)的论文,其中提出了一种用于判定机器是否具有智能的试验方法,即图灵测试。至今,每年都有试验的比赛。此外,图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。

图灵是著名的男同性恋者,并因为其性倾向而遭到当时的英国政府迫害,职业生涯尽毁。他亦患有花粉过敏症。

图灵还是一位世界级的长跑运动员。他的马拉松最好成绩是2小时46分3秒,比1948年奥林匹克运动会金牌成绩慢11分钟。1948年的一次跨国赛跑比赛中,他跑赢了同年奥运会银牌得主汤姆·理查兹(Tom Richards)。

孩童和年轻时代

图灵的父亲朱利斯·麦席森·图灵(Julius Mathison Turing)是一名英属印度的公务员。1911年,图灵的母亲Ethel在印度的Chatrapur怀了孕。他们希望艾伦在英国出生,所以回到伦敦,住在帕丁顿(Paddington)。结果就在那里生下了艾伦。父亲的公务员委任使他在艾伦小时候经常来往于英伦和印度。由于担心印度的气候不利于儿童成长,他把家庭留在英伦与朋友同住。图灵很小的时候就表现出他的天才,后来就更加显著。他说他在三个星期里自己学会阅读,而且,就对数字和智力游戏着迷。

六岁的时候,他的父母为他在一间叫圣迈克尔的(St. Michael's)日间学校注了册。女校长很快就注意到他的才能,随后Marlborough学院的许多教育家也注意到这点。1926年,他十四岁的时候转到了在多塞特郡(Dorset)的Sherborne寄宿学校。开学的第一天,刚好遇上了大罢工。图灵决心要赶上第一天的课,于是他独自从南安普顿(Southampton)骑了六十英里的自行车去上学,途中还在一间旅社度过一宵。

图灵天生对科学的喜好并没有给他在Sherborne的老师留下好印象。他们对教育的定义是着重于人文学科而不是科学。虽然如此,图灵继续在他喜欢的学科表现出惊人的能力,还没有学过基础微积分的他,就已经能够解答以他年纪来说算是很高深的难题。

1928年,在图灵16岁的时候,开始阅读阿尔伯特·爱因斯坦的著作。他不但能够理解,而且看出了爱因斯坦对牛顿运动定律存有质疑,即使爱因斯坦的著作中并没有明白指出这点。

大学和可计算性的工作

剑桥大学国王学院的电脑房现在以图灵为名

1931年,图灵考入剑桥大学国王学院。1934年他以优异成绩毕业。1935年因为一篇有关中心极限定理的论文当选为国王学院院士。

图灵在他的重要论文《论可计算数及其在判定问题上的应用》(英语:On Computable Numbers, with an Application to the Entscheidungsproblem,1936年5月28日提交)里,对哥德尔1931年在证明和计算的限制的结果作了重新论述,他用现在叫做图灵机的简单形式设备代替了哥德尔的以通用算术为基础的形式语言。由于速度很慢,尽管没有一台图灵机会有实际用途,图灵还是证明了这样的机器有能力解决任何可想像的数学难题,如果这些难题是用一种算法来表达。现今,图灵机还是计算理论研究的中心课题。他继续证明了判定问题(Entscheidungsproblem)是没有答案的。他的证明首先展示了图灵机的停机问题(Halting problem)是没有答案的,这是说不可能用一个算法来决定一台指定的图灵机是否会停机。尽管他的证明比阿隆佐·邱奇在λ演算方面相等的证明晚发表了几个月,图灵的著作是更易于理解和直观的。他的通用(图灵)机的概念也是新颖的。这一通用机能够完成任何其他机器所能做的任务。这篇论文还介绍了可定义数的概念。

图灵在普林斯顿大学度过了1937年和1938年的大部分时间,在邱奇指导下学习。1938年,他获取了博士学位。他的论文介绍了超计算的概念,在图灵机加上了预言机,让研究图灵机无法解的问题变得可能。

1939年图灵回到剑桥,聆听了维特根斯坦关于数学基本原理(Foundations of mathematics)的讲座。他们激烈地争论,图灵为形式主义辩护,而维特根斯坦则认为把数学抬得太高而且不能发现任何绝对真理。

1939年图灵被英国海军招聘,并在英国军情6处监督下从事对德国机密军事密码的破译工作。两年后他的小组成功破译了德国的密码系统,从而使得军情六处对德国的军事指挥和计划了如指掌。但是军情六处以绝密为由隐瞒了图灵小组的存在和成就,将其所得情报据为己有。图灵小组的杰出工作,使得盟军提前至少两年战胜了纳粹军队。

早期的计算机研究:图灵测试

在布莱切利园的图灵石像

1945年到1948年,图灵在国家物理实验室负责自动计算引擎(ACE)的研究工作。1949年,他成为曼彻斯特大学计算机实验室的副主任,负责最早的真正的计算机---曼彻斯特一号的软件工作。在这段时间,他继续作一些比较抽象的研究,如“计算机械和智能”。图灵在对人工智能的研究中,提出了一个叫做图灵测试(Turing test)的实验,尝试定出一个决定机器是否有感觉的标准。

1952年,图灵写了一个国际象棋程序。可是,当时没有一台计算机有足够的运算能力去执行这个程序,他就模仿计算机,每走一步要用半小时。他与一位同事下了一盘,结果程序输了。

后来美国新墨西哥州洛斯阿拉莫斯国家实验室的研究群根据图灵的理论,在ENIAC上设计出世界上第一个电脑程序的象棋-洛斯阿拉莫斯象棋。

图案形成和数理生物学的研究

从1952年直到去世,图灵一直在生物数学方面做研究。他在1952年发表了一篇论文《形态发生的化学基础》(英语:The Chemical Basis of Morphogenesis)。他主要的兴趣是斐波那契叶序列,存在于植物结构的斐波那契数。他应用了反应-扩散公式,现在已经成为图案形成范畴的核心。他后期的论文都没有发表,一直等到1992年《艾伦·图灵选集》出版,这些文章才见天日。2012年,《自然》杂志称赞他是有史以来最具科学思想的人物之一。

迫害和逝世

图灵在Cheshire East威姆斯洛的家,挂有蓝色牌匾。

因为图灵的同性恋倾向而遭到的迫害使得他的职业生涯尽毁。1952年,他的同性伴侣协同一名同谋一起闯进图灵的房子盗窃,图灵为此而报警。但是英国警方的调查结果使得他被控以“明显的猥亵和性颠倒行为”罪(请参看鸡奸法)。他没有申辩,并被定罪。在著名的公审后,他被给予了两个选择:坐牢或女性荷尔蒙(雌激素)注射“疗法”(即化学阉割)。他最后选择了雌激素注射,并持续一年。在这段时间里,药物产生了包括乳房不断发育的副作用,也使原本热爱体育运动的图灵在身心上受到极大伤害。1954年,图灵因食用浸过氰化物溶液的苹果死亡。很多人相信他的死是有意的,并判决他的死是自杀。但是他的母亲极力争辩他的死是意外,因为他不小心在实验室里堆放了很多化学物品。

苹果公司的商标有时会被误认为是源于图灵自杀时咬下的半个苹果,但该图案的设计师和苹果公司都否认了这一说法。而公司创办人史蒂夫·乔布斯在接受英国广播公司(BBC)电视节目《QI》的主持人史蒂芬·弗莱问到此事时说:“这(LOGO向图灵致敬)不是真的,但是,上帝啊,我们希望它是真的。”("It isn't true, but God, we wish it were.")

平反

在2009年9月10日,一份超过 3万人的请愿签名,使英国首相戈登·布朗在《每日电讯报》撰文,因为英国政府当年以同性恋相关罪名起诉图灵并定罪,导致他自杀身亡,正式向艾伦·图灵公开道歉。

至2012年,有 21,000多人签名请愿,要求英国政府追授图灵死后赦免状,但被当局拒绝。英国上议院的麦克纳利勋爵解释说,死后赦免状是不合适的,因为图灵是根据当时的法律被定罪。

2013年12月24日,英国司法大臣宣布英国女王伊丽莎白二世赦免1952年因同性恋行为被定罪的艾伦·图灵,不过有抗议者指出应将此赦免令范围扩大到所有和图灵同时代且受到同样待遇的同性恋者。

2015年2月23日,图灵的家人向英国首相府邸发出了一份超过 50万人签名的请愿书,要求英国政府赦免 49,000个和图灵一样因同性恋而获罪的人。