计算机之父 图灵_计算机之父是谁_计算机之父到底是谁呀

计算机科学之父：艾伦·麦席森·图灵

艾伦·麦席森·图灵，OBE， FRS（英语：Alan MathisonTuring；也常翻译成涂林或者杜林，1912年6月23日－1954年6月7日），英国数学家、逻辑学家，他被视为计算机科学之父。

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

图灵对于人工智能的发展有诸多贡献，例如图灵曾写过一篇名为《机器会思考吗？》（Can MachinesThink?）的论文，其中提出了一种用于判定机器是否具有智能的试验方法，即图灵试验。至今，每年都有试验的比赛。此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。

大学和可计算性的工作

图灵在他的重要论文《论可计算数及其在判定问题上的应用》（On Computable Numbers, with anApplication to theEntscheidungsproblem）(1936年5月28日提交）里，对哥德尔1931年在证明和计算的限制的结果作了重新论述，他用现在叫做图灵机的简单形式装置代替了哥德尔的以通用算术为基础的形式语言。由于速度很慢，尽管没有一台图灵机会有实际用途，图灵还是证明了这样的机器有能力解决任何可想像的数学难题，如果这些难题是用一种算法来表达。现今，图灵机还是计算理论研究的中心课题。计算机之父是谁他继续证明了判定问题（Entscheidungsproblem）是没有答案的。他的证明首先展示了图灵机的停机问题(haltingproblem)是没有答案的，这是说不可能用一个算法来决定一台指定的图灵机是否会停机。尽管他的证明比阿隆佐·邱奇在λ演算方面相等的证明晚发表了几个月，图灵的著作是更易于理解和直观的。他的通用（图灵）机的概念也是新颖的。这一通用机能够完成任何其他机器所能做的任务。这篇论文还介绍了可定义数的概念。

图灵在普林斯顿大学度过了1937年和1938年的大部分时间，在邱奇指导下学习。1938年，他取得了博。他的论文介绍了超计算（hypercomputation）的概念。这里，图灵机给加上了启示器，因而，可以用于研究不能用算法解答的问题。

早

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

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

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

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

其他领域重大贡献

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

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

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/tongxinshuyu/article-31585-1.html