艾伦·图灵

维基百科,自由的百科全书
跳转至: 导航搜索
艾伦·麦席森·图灵
Alan Turing cropped.jpg
出生 1912年6月23日(1912-06-23)
 英國伦敦
逝世 1954年6月7日(41歲)
 英國
国籍  英國
研究領域 数学逻辑学计算机科学
任职於 剑桥大学
曼彻斯特大学
母校 剑桥大学
普林斯顿大学
博士導師 阿隆佐·邱奇
著名成就 图灵机图灵测试(图灵试验)

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

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

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

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

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

孩童和年轻时代[编辑]

16岁的图灵

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

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

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

1928年,在图灵16岁的时候,開始閱讀阿尔伯特·爱因斯坦的著作。他不但能够理解,而且看出了愛因斯坦對牛頓運動定律存有質疑,即使愛因斯坦的著作中並沒有明白指出這點。[2]

大学和可计算性的工作[编辑]

剑桥大学國王學院的電腦房現在以圖靈為名

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

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

图灵在普林斯顿大学度过了1937年和1938年的大部分时间,在邱奇指导下学习。1938年,他取得了博士学位。他的论文介绍了超计算hypercomputation)的概念,在图灵机加上了預言機,讓研究圖靈機無法解的問題變得可能。

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

早期的计算机研究:图灵测试[编辑]

布萊切利園的图灵石像[3]

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

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

後來美国新墨西哥州洛斯阿拉莫斯國家實驗室的研究群根據圖靈的理論,在ENIAC上設計出世界上第一個電腦程序的象棋-洛斯阿拉莫斯象棋

图案形成和数理生物学的研究[编辑]

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

迫害和逝世[编辑]

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

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

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

平反[编辑]

在2009年9月10日,一份超过3万人的請愿签名,使英国首相戈登·布朗在《每日電訊報》撰文,因為英國政府當年以同性戀相關罪名起訴圖靈並定罪,導致他自殺身亡,正式向艾伦·图灵公開道歉。[12][13][14]

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

2013年12月24日,英国司法大臣宣布英国女王伊莉莎白二世赦免1952年因同性恋行为被定罪的艾倫·图灵。[16] [17]

参见[编辑]

参考文献[编辑]

引用[编辑]

  1. ^ A suburban runner,The Alan Turing Internet Scrapbook
  2. ^ Hodges 1992,第34页
  3. ^ Bletchley Park Unveils Statue Commemorating Alan Turing. [2007-06-30]. 
  4. ^ "Control Mechanism For Biological Pattern Formation Decoded" ScienceDaily, 30 November 2006
  5. ^ Turing's Last, Lost work,存于網際網路檔案館
  6. ^ Turing at 100: Legacy of a universal mind. Nature. 2012-02-22 [2012-06-23]. 
  7. ^ 電腦科學之父 慘遭去勢. 中國時報 (國立臺中教育大學). 2009-09-14 [2012-06-23]. 
  8. ^ Logos that became legends: Icons from the world of advertising. The Independent (London: www.independent.co.uk). 4 January 2008 [14 September 2009]. 
  9. ^ Interview with Rob Janoff, designer of the Apple logo. creativebits. [14 September 2009]. 
  10. ^ Leavitt 2007,第280页
  11. ^ "Science & Environment - Alan Turing: Separating the man and the myth". BBC. 2012-06-21 [2012-06-23]. 
  12. ^ Gordon Brown. Treatment of Alan Turing was “appalling” - PM. number10. 2009-09-10 (英文). 
  13. ^ matrix. 英国首相布朗正式向艾伦图灵道歉. Solidot. 2009-09-10 (中文(简体)‎). 
  14. ^ 不堪同性戀罪名數學家服毒自殺英相道歉還杜林清白. 中國時報 (財團法人台灣紅絲帶基金會). 2009-09-14 [2012-06-23]. 
  15. ^ Widespread Celebrations But No Pardon For Turing. I Programmer. 2012-02-06 [2012-06-23]. 
  16. ^ 因同性戀獲罪 英國特赦刷汙名,中央社,2013年12月24日
  17. ^ Jethro Mullen,"Alan Turing, British code-breaker castrated for homosexuality, receives pardon"[1],CNN.com,December 24, 2013 -- Updated 1205 GMT (2005 HKT).

书目[编辑]

  • Alexander, C. Hugh O'D., Cryptographic History of Work on the German Naval Enigma, The National Archives, Kew, Reference HW 25/1. circa 1945 
  • Copeland, B. Jack, Colossus: Its Origins and Originators, IEEE Annals of the History of Computing. 2004, 26 (4): 38–45, doi:10.1109/MAHC.2004.26 
  • Copeland, B. Jack, Colossus: The secrets of Bletchley Park's code-breaking computers, Oxford University Press. 2006, ISBN 978-0-19-284055-4 
  • Gannon, Paul, Colossus: Bletchley Park's Greatest Secret, London: Atlantic Books. 2007 [2006], ISBN 078 1 84354 331 2 
  • Hodges, Andrew, Alan Turing: the enigma, London: Burnett Books. 1992 [1983], ISBN 0-04-510060-8 
  • Leavitt, David, The man who knew too much: Alan Turing and the invention of the computer, Phoenix. 2007, ISBN 978-0-7538-2200-5 
  • Lewin, Ronald, Ultra Goes to War: The Secret Story, Classic Military History. Classic Penguin, London, England: Hutchinson & Co. 1978 (2001), ISBN 978-1-56649-231-7 
  • Mahon, A.P., The History of Hut Eight 1939–1945, UK National Archives Reference HW 25/2. 1945 [2009-12-10] 
  • Oakley, Brian., The Bletchley Park War Diaries: July 1939 — August 1945. 2.6, Wynne Press. 2006 
  • O'Connell, H; Fitzgerald, M, Did Alan Turing have Asperger's syndrome?, Irish Journal of Psychological Medicine. Irish Institute of Psychological Medicine. 2003, 20: 28-31, ISSN 0790-9667 

外部链接[编辑]