Alan Turing | |
ā lán · tú líng | |
ài lún · mài xí sēn · tú líng ; tú lín ; dù lín | |
|
艾伦·麦席森·图灵,OBE,FRS(英语:Alan Mathison Turing,又译阿兰·图灵,Turing也常翻译成涂林或者杜林,1912年6月23日-1954年6月7日)是英国计算机科学家、数学家、逻辑学家、密码分析学家和理论生物学家,他被誉为计算机科学与人工智能之父。
二次世界大战期间, (Hut 8)小组,负责德国海军密码分析。 期间他设计了一些加速破译德国密码的技术,包括改进波兰战前研制的机器Bombe,一种可以找到恩尼格玛密码机设置的机电机器。 图灵在破译截获的编码信息方面发挥了关键作用,使盟军能够在包括大西洋战役在内的许多重要交战中击败纳粹,并因此帮助赢得了战争。
图灵对于人工智能的发展有诸多贡献,例如图灵曾写过一篇名为《计算机器和智能》的论文,提问“机器会思考吗?”(Can Machines Think?),作为一种用于判定机器是否具有智能的测试方法,即图灵测试。至今,每年都有试验的比赛。此外,图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。
图灵是著名的男同性恋者,并因为其性倾向而遭到当时的英国政府迫害,职业生涯尽毁。他亦患有花粉过敏症。
图灵还是一位世界级的长跑运动员。他的马拉松最好成绩是2小时46分03秒(手动计时),比1948年奥林匹克运动会金牌成绩慢11分钟。1948年的一次越野赛跑中,他跑赢了同年奥运会银牌得主汤姆·理查兹。
孩童和年轻时代
图灵的父亲朱利斯·麦席森·图灵(Julius Mathison Turing)是一名英属印度的公务员。1911年,图灵的母亲Ethel在印度的Chatrapur怀了孕。因为他们希望艾伦在英国出生,所以回到伦敦,住在帕丁顿,并在那里生下了艾伦。父亲的公务员委任使他在艾伦小时候经常来往于英伦和印度。由于担心印度的气候不利于儿童成长,他便把家庭留在英伦与朋友同住。图灵很小的时候就表现出他的天才,后来就更加显著。他说他在三个星期里自己学会阅读,而且,就对数字和智力游戏着迷。
六岁的时候,他的父母为他在一间叫圣迈克尔(St. Michael's)的日间学校注了册。女校长很快就注意到他的才能,随后Marlborough学院的许多教育家也注意到这点。1926年,他十四岁的时候转到了在多塞特郡的Sherborne寄宿学校。开学的第一天,刚好遇上了大罢工。图灵决心要赶上第一天的课,于是他独自从南安普顿骑了六十英里的自行车去上学,途中还在一间旅社度过一宵。
图灵天生对科学的喜好并没有给他在Sherborne的老师留下好印象。他们对教育的定义是着重于人文学科而不是科学。虽然如此,图灵继续在他喜欢的学科表现出惊人的能力,还没有学过基础微积分的他,就已经能够解答以他年纪来说算是很高深的难题。
1928年,在图灵16岁的时候,开始阅读阿尔伯特·爱因斯坦的著作。他不但能够理解,而且看出了爱因斯坦对牛顿运动定律存有质疑,即使爱因斯坦的著作中并没有明白指出这点。
大学和可计算性的工作
1931年,图灵考入剑桥大学国王学院。1934年他以优异成绩毕业。1935年因为一篇有关中心极限定理的论文当选为国王学院院士。
图灵在他的重要论文《论可计算数及其在判定问题上的应用》(英语:On Computable Numbers, with an Application to the Entscheidungsproblem(Orignal Paper),1936年5月28日提交)里,对哥德尔1931年在证明和计算的限制的结果作了重新论述,他用现在叫做图灵机的简单形式的抽象装置代替了哥德尔的以通用算术为基础的形式语言。虽然图灵机过于缓慢的速度使其没有实际用途,图灵还是证明了这样的机器有能力解决任何可想像的,并以数学式表达的数学难题。现今,图灵机还是计算理论研究的中心课题。他继续证明了判定问题是没有答案的。他的证明首先展示了图灵机的停机问题是没有答案的,这是说不可能用一个算法来决定一台指定的图灵机是否会停机。尽管他的证明比阿隆佐·邱奇在λ演算方面相等的证明晚发表了几个月,图灵的著作是更易于理解和直观的。他的通用(图灵)机的概念也是新颖的。这一通用机能够完成任何其他机器所能做的任务。这篇论文还介绍了可定义数的概念。
图灵在普林斯顿大学度过了1937年和1938年的大部分时间,在邱奇指导下学习。1938年,他取得了博士学位。他的论文介绍了超计算的概念,在图灵机加上了预言机,让研究图灵机无法解的问题变得可能。
1939年图灵回到剑桥,聆听了维特根斯坦关于数学基本原理(Foundations of mathematics)的讲座。他们激烈地争论,图灵为形式主义辩护,而维特根斯坦则认为把数学抬得太高反而不能发现任何绝对真理。
密码分析
1939年图灵被英国皇家海军招聘,并在英国军情六处监督下从事对德国机密军事密码的破译工作。两年后他的小组成功破译了德国的密码系统Enigma[注 1],从而使得军情六处对德国的军事指挥和计划了如指掌。但是军情六处以机密为由隐瞒了图灵小组的存在和成就,将其所得情报据为己有。后世科学家估计,图灵小组的杰出工作,使得盟军提前至少两年战胜了纳粹德军。
早期的计算机研究:图灵测试
1945年到1948年,图灵在国家物理实验室负责自动计算引擎(ACE)的研究工作。1949年,他成为曼彻斯特大学计算机实验室的副主任,负责最早的真正的计算机---曼彻斯特一号的软件工作。在这段时间,他继续作一些比较抽象的研究,如“计算机械和智能”。图灵在对人工智能的研究中,提出了一个叫做图灵测试的实验,尝试定出一个决定机器是否有感觉的标准。
1952年,图灵写了一个国际象棋程序。可是,当时没有一台计算机有足够的运算能力去执行这个程序,他就模仿计算机,每走一步要用半小时。他与一位同事下了一盘,结果程序输了。
后来美国新墨西哥州洛斯阿拉莫斯国家实验室的研究组根据图灵的理论,在ENIAC上设计出世界上第一个电脑程序的国际象棋-洛斯阿拉莫斯国际象棋。
图案形成和数理生物学的研究
从1952年直到去世,图灵一直在生物数学方面做研究。他在1952年发表了一篇论文《形态发生的化学基础》(英语:The Chemical Basis of Morphogenesis)。他主要的兴趣是斐波那契叶序列,存在于植物结构的斐波那契数。他应用了反应-扩散公式,现在已经成为图案形成范畴的核心。他后期的论文都没有发表,一直等到1992年《艾伦·图灵选集》出版,这些文章才见天日。2012年,《自然》杂志称赞他是有史以来最具科学思想的人物之一。
迫害和逝世
因为图灵的同性恋倾向而遭到的迫害使得他的职业生涯尽毁。1952年,他的同性伴侣协同一名同谋一起闯进图灵的房子行窃,但是英国警方的调查结果使得他被控以“明显的猥亵和性颠倒行为”罪(请参看性悖轨法)。他没有申辩,并被定罪。在著名的公审后,他被给予了两个选择:坐牢或女性荷尔蒙注射“疗法”(即化学阉割)。他最后选择了雌激素注射,并持续一年。在这段时间里,药物产生了包括乳房不断发育的副作用,也使原本热爱体育运动的图灵在身心上受到极大伤害。1954年,图灵因食用浸过氰化物溶液的苹果而死亡。很多人相信他有意吃这苹果,并判决他是自杀。但是他的母亲极力争辩他的死是意外,因为图灵工作室有很多化学品,而他不小心让苹果沾上氰化物溶液。
政府的道歉和平反
在2009年9月10日,一份超过3万人的请愿签名,使英国首相戈登·布朗在《每日电讯报》撰文,因为英国政府当年以同性恋相关罪名起诉图灵并定罪,让他自杀身亡,正式向艾伦·图灵公开道歉。
至2012年,有 2万多人签名请愿,要求英国政府追授图灵死后赦免状,但被当场拒绝。英国上议院的麦克纳利勋爵解释说:“死后赦免状是不合理的,因为图灵是根据当时的法律被定罪。图灵应当知道他的所做所为会触犯法律,他也应当意识到他有可能会受到迫害。图灵在当时的判罪在今天看来既残酷又荒唐,这无疑是一个悲剧,尤其我们应当知道他对战争胜利做出了卓越的贡献。然而,我们不应当脱离历史背景看待这一事件,在那时的法律这的确是重刑。我们不应该在纠结于把不正确的事强行拨乱反正,我们所能做的是确保今日的社会再也不要回到过去及重复历史。”
2013年12月24日,英国司法大臣宣布英国女王伊丽莎白二世赦免1952年因同性恋行为被定罪的艾伦·图灵,不过有抗议者指出应将此赦免令范围扩大到所有和图灵同时代且受到同样待遇的同性恋者。
2015年2月23日,图灵的家人向英国首相府邸发出了一份超过50万人签名的请愿书,要求英国政府赦免49,000个和图灵一样因同性恋而获罪的人。2017年1月31日,艾伦·图灵法案生效,约49,000位因同性恋定罪者被赦免。
奖项,荣誉,表彰和敬意
图灵被授予1946年大英帝国勋章。他在1951年还被选为皇家学会(FRS)的成员。有几件事情以他的名字命名:
自1966年以来,图灵奖每年由计算机协会颁发给计算机界,为其提供技术或理论贡献。 它被广泛认为是计算机科学世界的最高荣誉,相当于诺贝尔奖。
苹果公司的商标
苹果公司的商标有时会被误认为是源于图灵自杀时咬下的半个苹果,但该图案的设计师和苹果公司都否认了这一说法。而公司创办人史蒂夫·乔布斯在接受史蒂芬·弗莱问到此事时说:“上帝啊,我们希望它(LOGO向图灵致敬)是真的。但它只是巧合。”("God we wish it were. It's just a coincidence.")
显卡
图灵这名字也被英伟达用来命名新架构显卡核心名称。
流行文化
影视作品
参见
书目
- 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, 2006-01-10 , ISBN 978-184-354-330-5 (英语)
- Hodges, Andrew, Alan Turing: the enigma, London: Burnett Books, 1992 , 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 (英语)
- Andrew Hodges; Douglas Hofstadter. Alan Turing: The Enigma: The Book That Inspired the Film "The Imitation Game". Princeton University Press. 2014-11-10. ISBN 978-069-116-472-4 (英语).
- 柯利弗德·皮寇弗; 陈以礼(翻译). The Math Book:From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics [数学之书]. 时报文化. 2013-04-16. ISBN 978-957-135-699-0 (中文(繁体)).
注释
参考资料
- ^ Cooper, Prof S. Barry. The Imitation Game: how Benedict Cumberbatch brought Turing to life. The Guardian. Guardian News and Media Limited. 2014-10-07 [2017-04-17].
- ^ 2.02.1 艾伦·图灵在数学谱系计划的资料。
- ^ Copeland, Jack. Alan Turing: The codebreaker who saved 'millions of lives'. BBC News Technology. 18 June 2012 [26 October 2014]. (原始内容存档于2018-06-26).
- ^ A number of sources state that Winston Churchill said that Turing made the single biggest contribution to Allied victory in the war against Nazi Germany. However both The Churchill Centre and Turing's biographer Andrew Hodges have said they know of no documentary evidence to support this claim nor of the date or context in which Churchill supposedly said it, and the Churchill Centre lists it among their Churchill 'Myths', see Schilling, Jonathan. Churchill Said Turing Made the Single Biggest Contribution to Allied Victory. The Churchill Centre: Myths. [9 January 2015]. (原始内容存档于2019-03-05). and Hodges, Andrew. Part 4: The Relay Race. Update to Alan Turing: The Enigma. [9 January 2015]. (原始内容存档于2019-05-17). A BBC News profile piece that repeated the Churchill claim has subsequently been amended to say there is no evidence for it. See Spencer, Clare. Profile: Alan Turing. BBC News. 11 September 2009 [2018-05-26]. (原始内容存档于2014-04-20).
Update 13 February 2015
- ^ A.M. Turing. Computing Machinery and Intelligence (PDF). 1950 [2016-04-26] (英语).
- ^ A suburban runner Archived 2012-11-28 at WebCite,The Alan Turing Internet Scrapbook
- ^ Hodges 1992,第34页
- ^ 8.08.1 8.2 柯利弗德 2013,第190页
- ^ Bletchley Park Unveils Statue Commemorating Alan Turing. [2007-06-30]. (原始内容存档于2007-06-30).
- ^ "Control Mechanism For Biological Pattern Formation Decoded" ScienceDaily, 30 November 2006
- ^ Turing's Last, Lost work. [2011-11-28]. (原始内容存档于2003-08-23).
- ^ Turing at 100: Legacy of a universal mind. Nature. 2012-02-22 [2012-06-23].
- ^ 電腦科學之父 慘遭去勢 (PDF). 中国时报 (国立台中教育大学). 2009-09-14 [2012-06-23].[永久失效链接]
- ^ Gordon Brown. Treatment of Alan Turing was “appalling” - PM. number10. 2009-09-10. (原始内容存档于2011-07-03) (英语).
- ^ matrix. 英国首相布朗正式向艾伦图灵道歉. Solidot. 2009-09-10 (中文(简体)).
- ^ 不堪同性戀罪名數學家服毒自殺英相道歉還杜林清白. 中国时报 (财团法人台湾红丝带基金会). 2009-09-14 [2012-06-23].[永久失效链接]
- ^ Widespread Celebrations But No Pardon For Turing. I Programmer. 2012-02-06 [2012-06-23].
- ^ 因同性恋获罪 英国特赦刷污名,中央社,2013年12月24日
- ^ Jethro Mullen,"Alan Turing, British code-breaker castrated for homosexuality, receives pardon",CNN.com,December 24, 2013 -- Updated 1205 GMT (2005 HKT).
- ^ 《圖靈法案》生效英數萬名歷史罪人被赦免. BBC新闻. 2017-01-31 [2017-02-03] (中文(繁体)).
- ^ Geringer, Steven. ACM'S Turing Award Prize Raised To $250,000. ACM press release. 27 July 2007 [16 October 2008]. (原始内容存档于30 December 2008). 已忽略未知参数
|df=
(帮助) - ^ 登上£50新英镑的图灵:从“电脑之父”到同性恋平反的钞票意义
- ^ Logos that became legends: Icons from the world of advertising. The Independent (London: www.independent.co.uk). 2008-01-04 [2009-09-14]. (原始内容存档于2009-10-03).
- ^ Interview with Rob Janoff, designer of the Apple logo. creativebits. [2009-09-14]. (原始内容存档于2017-10-24).
- ^ Leavitt 2007,第280页
- ^ "Science & Environment - Alan Turing: Separating the man and the myth". BBC. 2012-06-21 [2012-06-23]. (原始内容存档于2012-06-23).
外部链接
- 2012艾伦·图灵年 页面存档备份,存于互联网档案馆
- CiE 2012:图灵诞辰百年会议
- 图灵相册
- Alan Turing 美国国会图书馆的存档,存档日期2011-08-27
- AlanTuring.net – Turing Archive for the History of Computing
- Jones, G. James. Alan Turing – Towards a Digital Mind: Part 1. System Toolbox (The Binary Freedom Project). 2001-12-11. (原始内容存档于2007-08-03).
- 谜样的计算机科学之父 - 中央研究院数学所、台大数学系
- 艾伦·图灵在数学家族谱网站上的条目
- 艾伦·图灵文件数字化项目
Alan Mathison Turing OBE FRS (/ˈtjʊərɪŋ/; 23 June 1912 – 7 June 1954) was an English mathematician, computer scientist, logician, cryptanalyst, philosopher, and theoretical biologist. Turing was highly influential in the development of theoretical computer science, providing a formalisation of the concepts of algorithm and computation with the Turing machine, which can be considered a model of a general-purpose computer. Turing is widely considered to be the father of theoretical computer science and artificial intelligence. Despite these accomplishments, he was never fully recognised in his home country during his lifetime due to the prevalence of homophobia at the time and because much of his work was covered by the Official Secrets Act.
During the Second World War, Turing worked for the Government Code and Cypher School (GC&CS) at Bletchley Park, Britain's codebreaking centre that produced Ultra intelligence. For a time he led Hut 8, the section that was responsible for German naval cryptanalysis. Here, he devised a number of techniques for speeding the breaking of German ciphers, including improvements to the pre-war Polish bombe method, an electromechanical machine that could find settings for the Enigma machine.
Turing played a crucial role in cracking intercepted coded messages that enabled the Allies to defeat the Nazis in many crucial engagements, including the Battle of the Atlantic, and in so doing helped win the war. Due to the problems of counterfactual history, it is hard to estimate the precise effect Ultra intelligence had on the war, but at the upper end it has been estimated that this work shortened the war in Europe by more than two years and saved over 14 million lives.
After the war Turing worked at the National Physical Laboratory, where he designed the Automatic Computing Engine. The Automatic Computing Engine was one of the first designs for a stored-program computer. In 1948, Turing joined Max Newman's Computing Machine Laboratory, at the Victoria University of Manchester, where he helped develop the Manchester computers and became interested in mathematical biology. He wrote a paper on the chemical basis of morphogenesis and predicted oscillating chemical reactions such as the Belousov–Zhabotinsky reaction, first observed in the 1960s.
Turing was prosecuted in 1952 for homosexual acts; the Labouchere Amendment of 1885 had mandated that "gross indecency" was a criminal offence in the UK. He accepted chemical castration treatment, with DES, as an alternative to prison. Turing died in 1954, 16 days before his 42nd birthday, from cyanide poisoning. An inquest determined his death as a suicide, but it has been noted that the known evidence is also consistent with accidental poisoning.
In 2009, following an Internet campaign, British Prime Minister Gordon Brown made an official public apology on behalf of the British government for "the appalling way he was treated". Queen Elizabeth II granted Turing a posthumous pardon in 2013. The "Alan Turing law" is now an informal term for a 2017 law in the United Kingdom that retroactively pardoned men cautioned or convicted under historical legislation that outlawed homosexual acts.