图灵的父亲朱利斯·麦席森·图灵(Julius Mathison Turing)是一名英属印度的公务员。1911年,图灵的母亲Ethel Sara Stoney(德语:Ethel Sara Turing)在英属印度怀了孕。因为他们希望艾伦在英国出生,所以回到伦敦,住在帕丁顿,并在那里生下了艾伦。父亲的公务员委任使他在小时候经常来往于英伦和印度。由于担心印度的气候不利于儿童成长,他便把家庭留在英伦与朋友同住。图灵很小的时候就表现出他的天賦,后来越發明顯[7]。
图灵在他的重要论文《论可计算数及其在判定问题上的应用》(英語:On Computable Numbers, with an Application to the Entscheidungsproblem)里[14],对哥德尔1931年在证明和计算的限制的结果作了重新论述,他用现在叫做图灵机的简单形式的抽象裝置代替了哥德尔的以通用算术为基础的形式语言。雖然圖靈機過於緩慢的速度使其沒有實際用途,图灵还是证明了这样的机器有能力解决任何可想像的,並以數學式表達的数学难题。现今,图灵机还是计算理论研究的中心课题。他继续证明了判定问题是没有答案的。他的证明首先展示了图灵机的停机问题没有答案,这是说不可能用一个算法来决定一台指定的图灵机是否会停机。尽管他的证明比阿隆佐·邱奇在λ演算方面相等的证明晚发表了几个月,图灵的著作是更易于理解和直观。他的通用(图灵)机的概念也很新穎。这一通用机能够完成任何其他机器所能做的任务。这篇论文还介绍了可定义数的概念。[15]
1936年9月到1938年7月間,圖靈大部分時間都在普林斯頓大學的教堂下學習,第二年被評選爲簡·伊麗莎·寶潔獎學金客座教授(Jane Eliza Procter Visiting Fellow)。除了他的純數學工作外,他亦研究密碼學,並建造了機電二進制乘法器的四個階段中的其中三個。[16]1938年6月,獲普林斯頓數學系博士學位;[17]他的論文基於序數的邏輯系統[18][19] ,介紹了序數邏輯的概念和相對計算的概念,其中圖靈機增加了所謂的預言機,允許學者進一步研究圖靈機無法解決的問題。馮·諾依曼有意聘請圖靈做他的博士後助理,但他謝絕后又回到了英國。[20]
1939年图灵回到剑桥,聆听了维特根斯坦关于数学基本原理(Foundations of mathematics)的讲座。他们激烈地争论,图灵为形式主义辩护,而维特根斯坦則认为把数学抬得太高反而不能发现任何绝对真理。
通過使用統計技術來優化密碼破譯過程中不同可能性的試驗,圖靈為該課題做出了創新貢獻。他寫了兩篇有關數學計算方法的論文,題為 The Applications of Probability to Cryptography[25]和Paper on Statistics of Repetitions[26] , 對 GC&CS 及其繼任者GCHQ具有十分重要的價值,以至於它們直到2012年4月才被發布給英國國家檔案館,也就是他誕辰一百週年前不久。一位GCHQ數學家,“他只承認自己是理查德”,當時說,根據官方保密法,內容被封鎖了大約 70 年這一事實證明了它們的重要性,以及它們與戰後密碼分析的相關性:[27]
从1952年直到去世,图灵一直在生物数学方面做研究。他在1952年发表了一篇论文《形態發生的化学基础》(英語:The Chemical Basis of Morphogenesis)。[46]他主要的兴趣是斐波那契葉序列,存在于植物结构的斐波那契數。他应用了反应-扩散公式,现在已经成为图案形成范畴的核心。他后期的论文都没有发表,一直等到1992年《艾伦·图灵选集》出版,这些文章才见天日。[47]2012年,《自然》杂志称赞他是有史以来最具科学思想的人物之一。[48]
迫害和逝世
因为图灵的同性恋倾向而遭到的迫害使得他的职业生涯尽毁。1952年,他的同性伴侣协同一名同谋一起闯进图灵的房子行窃,但是英国警方的调查结果使得他被控以“明显的猥亵和性颠倒行为”罪(请参看性悖軌法)。他没有申辩,並被定罪。在著名的公審后,他被给予了两个選擇:坐牢或女性荷尔蒙注射“疗法”(即化学阉割)。他最后选择了雌激素注射[49],并持续一年。在这段时间里,药物产生了包括乳房不断發育的副作用,也使原本热爱体育运动的图灵在身心上受到极大伤害。1954年,图灵因食用浸过氰化物溶液的苹果而死亡。很多人相信他有意吃這蘋果,并判决他是自杀。但是他的母亲Ethel Sara Stoney(德语:Ethel Sara Turing)极力争辩他的死是意外,因為图灵工作室有很多化學品,而他不小心讓蘋果沾上氰化物溶液。
蘋果公司的商標有時會被誤認為是源於圖靈自殺时咬下的半個蘋果[59],但該圖案的设计师[60]和蘋果公司都否認了這一說法[61]。而公司创办人史蒂夫·賈伯斯在接受史蒂芬·弗莱问到此事时说:“上帝啊,我们希望它(LOGO向圖靈致敬)是真的。但它只是巧合。”("God we wish it were. It's just a coincidence.")[62]
^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. [2015-01-09]. (原始内容存档于2019-03-05). and Hodges, Andrew. Part 4: The Relay Race. Update to Alan Turing: The Enigma. [2015-01-09]. (原始内容存档于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. 2009-09-11 [2018-05-26]. (原始内容存档于2014-04-20). Update 13 February 2015
^See Section 3 of John Aldrich, "England and Continental Probability in the Inter-War Years", Journal Electronique d'Histoire des Probabilités et de la Statistique, vol. 5/2 Decembre 2009互联网档案馆的存檔,存档日期21 April 2018. Journal Electronique d'Histoire des Probabilités et de la Statistique
^John Von Neumann: The Scientific Genius Who Pioneered the Modern Computer, Game Theory, Nuclear Deterrence, and Much More, Norman MacRae, 1999, American Mathematical Society, Chapter 8
^Briggs, Asa. Britain's Greatest Codebreaker (TV broadcast). UK Channel 4. 21 November 2011.
^Copeland, Jack. Colossus and the Dawning of the Computer Age. Smith, Michael; Erskine, Ralph (编). Action This Day. Bantam. 2001: 352. ISBN 978-0-593-04910-5.
^Turing, Alan M. The Prof's Book: Turing's Treatise on the Enigma. 1940. In late 1940 Alan Turing wrote a report describing the methods he and his colleagues at Bletchley Park had used to break into the German Enigma cipher systems. At Bletchley it was known as 'the Prof's Book.' A copy of this handbook was at last released from secrecy by the American National Security Agency in April 1996, under the title Turing's Treatise on the Enigma. Subsequently, a much better original copy was released by the (British) National Archives, box HW 25/3. This also revealed a title which had been lost in the American copy: Mathematical theory of ENIGMA machine. (Though, oddly, the report does not actually have any mathematical theory.) 含有內容需登入查看的頁面 (link)
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, 19782001, ISBN 978-1-56649-231-7(英语)
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(英语)
柯利弗德·皮寇弗; 陳以禮(翻譯). 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(中文(繁體)).