牛人故事计算机科学之父-图灵摘选自维基百科

ko4est 2010-02-03 11:37:20

艾伦·麦席森·图灵，OBE（Alan Mathison Turing；也常翻译成涂林或者杜林，1912年6月23日－1954年6月7日，英语发音[ˈælən ˈmæθɪsṇ ˈtjʊəɹɪŋ]），英国数学家、逻辑学家，他被视为计算机科学之父。

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

图灵对于人工智能的发展有诸多贡献，例如图灵曾写过一篇名为《机器会思考吗？》（Can A Machine Think?）的论文，其中提出了一种用于判定机器是否具有智能的试验方法，即图灵试验。至今，每年都有试验的比赛。

此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。

图灵患有严重的花粉过敏症。他也是著名的同性恋之一。

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

孩童和年轻时代

图灵的父亲Julius Mathison Turing是一名英属印度的公务员。图灵的母亲Ethel1911年在印度的Chatrapur怀了孕。他们希望艾伦在英国出生，所以回到伦敦，住在帕丁顿（Paddington）。结果就在那里诞下了艾伦。父亲的公务员委任使他在艾伦小时候经常来往于英伦和印度。由于对于英属殖民地安全的忧虑，他把家庭留在英伦与朋友同住。图灵很小的时候就表现出它的天才，后来就更加显著。他说他在三个星期里自己学会阅读，而且，就对数字和智力游戏着迷。

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

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

1928年，图灵十六岁，开始阅读阿尔伯特·爱因斯坦的著作。他不但能够理解，而且能够从一段并没有明示的文字里推导出爱因斯坦的运动定律。

大学和可计算性的工作

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

图灵不愿意如他在科学和数学方面一样地努力去学习人文学科，他的期终考试曾经几次不及格，因此，他不能进入他的第一志愿三一学院，而是去了剑桥大学国王学院。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）的讲座。他们激烈地争论，图灵为形式主义辩护，而维特根斯坦则认为把数学抬得太高而且不能发现任何绝对真理。

早期的计算机研究：图灵试验

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

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

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

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

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

迫害和逝世

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

平反

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

...全文