今天股沟的图标挺有意思，是纪念阿伦.图灵，据说苹果电脑的商标也是为了纪念他

艾伦·图灵

维基百科，自由的百科全书

汉漢▼

艾伦·麦席森·图灵
出生	1912年6月23日  英國伦敦
逝世	1954年6月7日 （41歲）  英國
国籍	英國
研究領域	数学、逻辑学及计算机科学
任职於	剑桥大学 曼彻斯特大学
母校	剑桥大学 普林斯顿大学
博士導師	阿隆佐·邱奇
著名成就	图灵机、图灵测试（图灵试验）

艾伦·麦席森·图灵，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）。^[1]

目录   [隐藏]  1 孩童和年轻时代 2 大学和可计算性的工作 3 早期的计算机研究：图灵测试 4 图案形成和数理生物学的研究 5 迫害和逝世 6 平反 7 参见 8 注释 9 参考文献 10 外部链接

[编辑]孩童和年轻时代

图灵的父亲朱利斯·麦席森·图灵（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年，他取得了博士学位。他的论文介绍了超计算（hypercomputation）的概念。这里，图灵机给加上了启示器，因而，可以用于研究不能用算法解答的问题。

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

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

在布萊切利園的图灵石像^[2]

主条目：图灵测试

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

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

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

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

从1952年直到去世，图灵一直在数理生物学方面做研究。他在1952年发表了一篇论文《形態發生的化学基础》(英语：The Chemical Basis of Morphogenesis)。他主要的兴趣是斐波那契葉序列，存在于植物结构的斐波那契數。他应用了反应-扩散公式，现在已经成为图案形成范畴的核心。他后期的论文都没有发表，一直等到1992年《艾伦·图灵选集》出版，这些文章才见天日。

[编辑]迫害和逝世

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

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

苹果公司的商标有时会被误认为是源于图灵自杀时咬下的半个苹果^[4]，但该图案的设计师^[5]和苹果公司都否认了这一说法^[6]。

[编辑]平反

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

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