【AI】一文了解72名图灵奖获得者的成就(2)

詹姆斯·维尔金森 James H. Wilkinson 贡献领域：数值分析，线性代数、向后误差分析 维尔金森在数值分析领域具有杰出贡献，尤其是在数值线性代数方面，发现很多有意义的算法。1960 年，他在研究矩阵计算误差时而提出“向后误差分析法”是计算机上各种数值计算最常用的误差分析手段。 在英国国家物理实验室，维尔金森一开始协助图灵设计计算机 Pilot ACE。图灵离开实验室后，他接手整个项目，使得 Pilot ACE 于 1950年 5 月10日，第一次正式试运行成功。 约翰·麦卡锡 John McCarthy 贡献领域：人工智能 麦卡锡是著名的 α-β 搜索发发明人，α-β 搜索法至今仍是解决人工智能问题中一种常用的高效方法。基本思想是根据倒推值的计算方法，或中取大，与中取小，在扩展和计算过程中，能剪掉不必要的分枝，提高效率。 他也是 LISP 语言发明人，LISP 语言是一种函数式的符号处理语言，其程序由一些函数子程序组成，是人工智能界第一个最广泛流行的语言。 艾兹格·迪科斯彻 Edsger Dijkstra 贡献领域：程序设计语言的科学与艺术 迪科斯彻被西方学术界称为“结构程序设计之父”和“先知”（Oracle），他一生致力于把程序设计发展成一门科学。科学研究的帅才最重要的素质是洞察力，能够发现有前景的新领域或在新领域内发现和解决最关键的问题。 查理士·巴赫曼 Charles W. Bachman 贡献领域：数据库技术 巴赫曼在数据库方面的主要贡献有两项，第一是主持设计与开发了最早的网状数据库管理系统IDS，而且它的设计思想和实现技术被后来的许多数据库产品所仿效。 第二是巴赫曼积极推动与促成了数据库标准的制定，那就是美国数据系统语言委员会 CODASYL 下属的数据库任务组 DBTG 提出的网状数据库模型以及数据定义和数据操纵语言即 DDL 和 DML 的规范说明，于 1971 年推出了第一个正式报告——DBTG 报告，成为数据库历史上具有里程碑意义的文献。 高德纳 Donald E. Knuth 贡献领域：算法分析、程序设计语言的设计、程序设计 算法和程序设计技术的先驱者，计算机排版系统 TeX 和字型设计系统METAFONT的发明者，他因这些成就和大量创造性的影响深远的著作而誉满全球。 《计算机程序设计艺术》堪称计算机科学理论与技术的经典巨著，被《美国科学家》杂志列为20世纪最重要的12本物理科学类专著之一，与爱因斯坦《相对论》、狄拉克《量子力学》、理查·费曼《量子电动力学》等经典比肩而立，因而荣获1974年度的图灵奖。 艾伦·纽厄尔 Allen Newell 赫伯特·西蒙 Herbert A. Simon 贡献领域：人工智能，人类认知心理学和列表处理 (list processing) 西蒙和纽厄尔给“物理符号系统” 下了定义，提出了“物理符号系统假说”PSSH（Physical Symbol System Hypothesis），成为人工智能中影响最大的符号主义学派的创始人和代表人物，而这一学说则鼓励着人们对人工智能进行伟大的探索。这也是两人在人工智能中做出的最基本的贡献。不仅如此，西蒙还是1978年诺贝尔经济学奖获得者。 迈克尔·拉宾 Michael O. Rabin 达纳·斯科特 Dana S. Scott 贡献领域：非确定性自动机 拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”（Finite Automata and Their Decision Problems）的论文，提出了非确定自动机的观点，被证明是（计算理论科学研究中的）一个非常重要的概念。拉宾和斯科特的这篇经典论文成为了这个领域后续研究的源泉。 约翰·巴克斯 John Backus 贡献领域：高级编程系统，程序设计语言规范的形式化定义 他提出了BNF（用来定义形式语言语法的记号法），发明函数式编程这个概念及实践该概念的计划生育语言，被誉为“Fortran 语言之父”。 罗伯特·弗洛伊德 Robert W. Floyd 贡献领域：设计高效可靠软件的方法学 前后断言法的创始人，堆排序算法和 Floyd-Warshall 算法的创始人之一，FPL（Floyd-Evans Production Language）语言发明者之一，FPL 用来编写计算机语言的语法分析程序。 肯尼斯·艾佛森 Kenneth E. Iverson 贡献领域：程序设计语言和数学符号，互动系统的设计，运用 APL 进行教学，程序设计语言的理论与实践 他发展了一套数学表达式来操作阵列，以便教授学生。在 IBM 工作时，他开发的数学表达式建立了 APL 语言。 APL 语言是一种表达能力很强的会话语言。应用范围包括数学统计、事务经营、信息检索、报表生成、财务预算等。它也可用于模拟计划管理、图形处理、正文编辑、计算机辅助教学等方面。