|
|
本帖最后由 xuyongchen 于 2012-6-23 11:36 编辑
竞赛时间：北京时间6月21日7：09 am-6月24日7：09 am
竞赛项目：PrimeGrid GFN子项目
艾伦·麦席森·图灵
出生 1912年6月23日
英国伦敦
逝世 1954年6月7日
英国
国籍 英国
研究领域 数学，逻辑学，计算机科学
任职于 剑桥大学
曼彻斯特大学
母校 剑桥大学
普林斯顿大学
博士导师 阿隆佐·邱奇
著名成就 图灵机，图灵试验
艾伦·麦席森·图灵，OBE， FRS（英语：Alan Mathison Turing；也常翻译成涂林或者杜林，1912年6月23日－1954年6月7日），英国数学家、逻辑学家，他被视为计算机科学之父。
1931年图灵进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位，二战爆发后回到剑桥，后曾协助军方破解德国的著名密码系统Enigma，对盟军取得了二战的胜利有一定的帮助。
图灵对于人工智能的发展有诸多贡献，例如图灵曾写过一篇名为《机器会思考吗？》（Can Machines Think?）的论文，其中提出了一种用于判定机器是否具有智能的试验方法，即图灵试验。至今，每年都有试验的比赛。此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。
图灵是著名的同性恋之一，并因为其同性恋倾向而遭到迫害，这使得他的职业生涯尽毁。他亦患有花粉过敏症。
图灵还是一位世界级的长跑运动员。他的马拉松最好成绩是2小时46分3秒，比1948年奥林匹克运动会金牌成绩慢11分钟。1948年的一次跨国赛跑比赛中，他跑赢了同年奥运会银牌得主汤姆·理查兹（Tom Richards）。[1]
孩童和年轻时代
图灵的父亲朱利斯·麦席森·图灵（Julius Mathison Turing）是一名英属印度的公务员。图灵的母亲Ethel 1911年在印度的Chatrapur怀了孕。他们希望艾伦在英国出生，所以回到伦敦，住在帕丁顿（Paddington）。结果就在那里诞下了艾伦。父亲的公务员委任使他在艾伦小时候经常来往于英伦和印度。由于担心印度的气候不利于儿童成长，他把家庭留在英伦与朋友同住。图灵很小的时候就表现出他的天才，后来就更加显著。他说他在三个星期里自己学会阅读，而且，就对数字和智力游戏着迷。
六岁的时候，他的父母为他在一间叫圣迈克尔的（St. Michael's）日间学校注了册。女校长很快就注意到他的天才，随后Marlborough学院的许多教育家也注意到这点。1926年，他十四岁的时候转到了在多塞特(Dorset)的Sherborne寄宿学校。开学的第一天，刚好遇上了大罢工。图灵决心要赶上第一天的课，于是他独自从南安普顿（Southampton）骑了六十英里的自行车去上学，途中还在一间旅社度过一宵。
图灵天生对科学的喜好并没有给他在Sherborne的老师留下好印象。他们对教育的定义是着重于人文学科而不是科学。虽然如此，图灵继续在他喜欢的学科表现出惊人的能力。还没有学过基础微积分，他就能够解答在他当时年龄来说是很高深的难题。
1928年，图灵十六岁，开始阅读阿尔伯特·爱因斯坦的著作。他不但能够理解，而且能够从一段并没有明示的文字里推导出爱因斯坦的运动定律。
大学和可计算性的工作
国王学院的电脑房现在以图灵为名
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）的讲座。他们激烈地争论，图灵为形式主义辩护，而维特根斯坦则认为把数学抬得太高而且不能发现任何绝对真理。
早期的计算机研究：图灵试验
1945年到1948年，图灵在国家物理实验室，负责自动计算引擎（ACE）的工作 。1949年，他成为曼彻斯特大学计算机实验室的副主任，负责最早的真正的计算机---曼彻斯特一号的软件工作。在这段时间，他继续作一些比较抽象的研究，如“计算机械和智能”。图灵在对人工智能的研究中，提出了一个叫做图灵试验的实验，尝试定出一个决定机器是否有感觉的标准。
1952年，图灵写了一个国际象棋程序。可是，当时没有一台计算机有足够的运算能力去执行这个程序，他就模仿计算机，每走一步要用半小时。他与一位同事下了一盘，结果程序输了。
后来美国新墨西哥州洛斯阿拉莫斯国家实验室的研究群根据图灵的理论，在MANIAC上设计出世界上第一个电脑程序的象棋。
[编辑]图案形成和数理生物学的研究
从1952年直到去世，图灵一直在数理生物学方面做研究。他在1952年发表了一篇论文《形态发生的化学基础》(英语：The Chemical Basis of Morphogenesis)。他主要的兴趣是斐波那契叶序列，存在于植物结构的斐波那契数。他应用了反应-扩散公式，现在已经成为图案形成范畴的核心。他后期的论文都没有发表，一直等到1992年《艾伦·图灵选集》出版，这些文章才见天日。
迫害和逝世
因为图灵的同性恋倾向而遭到的迫害使得他的职业生涯尽毁。1952年，他的同性伴侣协同一名同谋一起闯进了图灵的房子实施盗窃。图灵为此而报警。但是警方的调查结果使得他被控以“明显的猥亵和性颠倒行为”（请参看鸡奸法）。他没有申辩，并被定罪。在著名的公审后，他被给予了两个选择：坐牢或荷尔蒙疗法。他选择了荷尔蒙注射，并持续了一年。在这段时间里，药物产生了包括乳房不断发育的副作用。1954年，图灵因食用浸过氰化物溶液的苹果死亡。很多人相信他的死是有意的，并判决他的死是自杀。但是他的母亲极力争论他的死是意外，因为他在实验室里不小心堆放了很多化学物品。
苹果公司的标志有时被误认为源于图灵自杀时咬下的半个苹果。但该图案的设计师和苹果公司都否认了这一说法。
平反
在2009年9月10日，一份超过3万人的请愿签名，使英国首相戈登·布朗在《每日电讯报》撰文，因为英国政府当年以同性恋相关罪名起诉图灵并定罪，导致他自杀身亡，正式向艾伦·图灵公开道歉。
选自 维基百科
请所有希望获得竞赛积分的队员在此帖进行报名。竞赛委员的报名也将在此帖中进行。竞赛委员报名不需要格式，仅需在回帖中注明即可。
竞赛委员的职务与奖励可参考：http://www.equn.com/forum/thread-27437-1-1.html
竞赛积分的统计规则可参考：http://www.equn.com/forum/thread-27062-1-1.html
报名格式如下
论坛用户名 【项目用户名】
panda7456【panda7456】
ledled【ledled】
8cbx【8cbx】
xx070【xx070】
woaiwinnie2【woaiwinnie2】
fengkai【StevenYang】
Yin Gang【Youth】
litimetal【litimetal】
zflowers【zflowers】
saiz【saiz】
kittyjia【kittyjia】
Kevinwn【Kevinwn】
缘坠幻梦【Fantasy Jason Lee】
DrLingCN 【DrLingCN】
NERV【NERV】
panlm【panlm】
XU Yongchen 【xuyongchen】
碧城仙【Ding_Cong】
eruda【nekoko】 |
|
发表于 2012-4-24 08:26:28
发表于 2012-4-24 10:37:00
发表于 2012-4-24 11:32:09
发表于 2012-5-3 13:24:22
发表于 2012-5-18 20:04:31