admin管理员组

文章数量:1531942

2024年6月1日发(作者：)

人工智能机器人之父：艾伦·图灵

人工智能之父：艾伦.图灵人工智能之父：图灵提出计算机理论 可与牛顿比肩

图灵

艾伦·麦席森·图灵（Alan Mathison Turing，1912年6月23日－1954年6月7日），

英国数学家、逻辑学家，被称为计算机之父，人工智能之父。 1931年图灵进入剑桥大学

国王学院，毕业后到美国普林斯顿大学攻读博士学位，二战爆发后回到剑桥，后曾协助军

方破解德国的著名密码系统Enigma，帮助盟军取得了二战的胜利。2013年12月24日，

在英国司法部长克里斯·格雷灵（Chris Grayling）的要求下，英国女王向图灵颁发了皇家

赦免。英国司法部长宣布，“图灵的晚年生活因为其同性取向而被迫蒙上了一层阴影，我

们认为当时的判决是不公的，这种歧视现象现在也已经遭到了废除。为此，女王决定为这

位伟人送上赦免，以此向其致敬。” 图灵对于人工智能的发展有诸多贡献，提出了一种用

于判定机器是否具有智能的试验方法，即图灵试验，至今，每年都有试验的比赛。此外，

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

主要成就图灵在科学、特别在数理逻辑和计算机科学方面，取得了举世瞩目的成就，

他的一些科学成果，构成了现代计算机技术的基础。

计算性理论计算，可以说是人类最先遇到的数学课题，并且在漫长的历史年代里，成

为人们社会生活中不可或缺的工具．那么，什么是计算呢？直观地看，计算一般是指运用

事先规定的规则，将一组数值变换为另一(所需的)数值的过程．对某一类问题，如果能找

到一组确定的规则，按这组规则，当给出这类问题中的任一具体问题后，就可以完全机械

地在有限步内求出结果，则说这类问题是可计算的。这种规则就是算法，这类可计算问题

也可称之为存在算法的问题。这就是直观上的能行可计算或算法可计算的概念．

在20世纪以前，人们普遍认为，所有的问题类都是有算法的，人们的计算研究就是

找出算法来。似乎正是为了证明一切科学命题，至少是一切数学命题存在算法，莱布尼茨

(Leibniz)开创了数理逻辑的研究工作。但是20世纪初，人们发现有许多问题已经过长期

研究，仍然找不到算法，例如希尔伯特第10问题，半群的字的问题等．于是人们开始怀

疑，是否对这些问题来说，根本就不存在算法，即它们是不可计算的。这种不存在性当然

需要证明，这时人们才发现，无论对算法还是对可计算性，都没有精确的定义！按前述对

直观的可计算性的陈述，根本无法作出不存在算法的证明，因为“完全机械地”指什么？

“确定的规则”又指什么？仍然是不明确的。实际上，没有明确的定义也不能抽象地证明

某类问题存在算法，不过存在算法的问题一般是通过构造出算法来确证的，因而可以不涉

及算法的精确定义问题。

解决问题的需要促使人们不断作出探索。1934年，哥德尔(Godel)在埃尔布朗

(Herbrand)的启示下提出了一般递归函数的概念，并指出：凡算法可计算函数都是一般递

归函数，反之亦然。1936年，克林(Kleene)又加以具体化．因此，算法可计算函数的一般

递归函数定义后来被称为埃尔布朗-哥德尔-克林定义．同年，丘奇证明了他提出的λ可定

义函数与一般递归函数是等价的，并提出算法可计算函数等同于一般递归函数或λ可定义

函数，这就是著名的“丘奇论点”。

用一般递归函数虽给出了可计算函数的严格数学定义，但在具体的计算过程中，就某

一步运算而言，选用什么初始函数和基本运算仍有不确定性。为消除所有的不确定性，图

灵在他的“论可计算数及其在判定问题中的应用”一文中从一个全新的角度定义了可计算

函数。他全面分析了人的计算过程，把计算归结为最简单、最基本、最确定的操作动作，

从而用一种简单的方法来描述那种直观上具有机械性的基本计算程序，使任何机械(能行)

本文标签： 计算算法图灵人们问题

版权声明：本文标题：人工智能机器人之父:艾伦图灵 内容由热心网友自发贡献，该文观点仅代表作者本人， 转载请联系作者并注明出处：https://m.elefans.com/dongtai/1717223205a547946.html， 本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，一经查实，本站将立刻删除。