获得图灵奖的犹太风云人物（上）

众人皆知，犹太人在科学和艺术上的成就着实令人惊叹，他们以世界千分之二的人口，在几乎所有科学领域都拥有1/5到1/3的顶级学者。犹太人获得了全球22%的诺贝尔奖，获得概率远高于其他各个民族，除了诺贝尔奖独占鳌头外，这个民族在计算机领域最高荣誉奖图灵奖的获得上同样也占有一席之地。

电子计算机与信息技术是最近几十年人类科技发展最快的领域，无可争议地改变了每个人的生活。于1966年设立的有“计算机界诺贝尔奖”之称的图灵奖就是专门奖给那些在计算机领域具有持久而重大先进技术的贡献者。历届的图灵奖得主中，很多都是计算机理论和技术的“首创者”“奠基者”“之父”，从1996年至2019年共有73名获此殊荣，而这些人当中犹太人就占到了22名。

第一届图灵奖获得者就是犹太人，而最近2019年三位获奖者之一也是犹太人。提到计算机技术，相信不少人最先想到的会是计算机天才犹太人冯诺依曼，毋庸置疑，他为研制电子数字计算机提供了基础性方案。他设计的计算机基础结构仍然是我们今天计算机领域采用的标准，至今还写在最权威的教科书里。今天我们热烈讨论的AlphaGo、人工智能，可以说来源之一就是冯·诺依曼的贡献。除了冯诺依曼外，还有众多计算机领域的天才，接下来我们将详细介绍从1966年起至今所有获得过图灵奖、在计算机领域有所建树的22位犹太计算机风云人物。

1、计算机科学奠基人——艾伦佩利

1966年因其在新一代编程技术和编译架构方面的贡献而获奖

艾伦·佩利（Alan J. Perlis），美国国家工程学院院士，是现代计算机科学发展的主要人物之一，是程序设计语言的先驱开拓者，是ALGOL语言和计算机科学的“催生者”。由于在ALGOL语言的定义和扩充上所作出的重大贡献，以及在创始计算机科学教育，使计算机科学成为一门独立的学科上所发挥的巨大作用使其获得了1966年首届图灵奖。

艾伦·佩利出生于宾夕法尼亚州匹兹堡的一个犹太家庭，曾获化学学士学位（现卡内基梅隆大学）。二战期间在美国空军服役，期间对数学产生了兴趣，后来先后获得了麻省理工学院的数学硕士和博士学位。1951年他在美国陆军军械部设在马里兰州的阿伯丁试验基地内的“弹道研究实验室”工作了一年，后来回到母校MIT参加“旋风”（Whirlwind）计算机计划，为“旋风”编制程序。他还参与研发了世界上第一台电子计算机“ENIAC”、“EDVAC”。

作为建立计算机科学这门新兴学科的先驱之一，佩利做出了几项开创性的贡献。他在建立卡内基理工学院(现卡内基梅隆大学)卓越的计算机科学系方面发挥了重要作用。他是早期代数语言发展的领导者，也是制定有影响力的algore -60语言的国际委员会的一名强有力的成员。

2、人工智能之父——马文·明斯基

1969年因设计出第一台程序实现完全内存的计算机而获奖

马文·明斯（Marvin Lee Minsky)主要贡献在人工智能及其框架理论的创立，将认知心理学和计算机科学有机地结合起来。由于他的研究引领了人工智能、认知心理学、神经网络、图灵机理论和回归函数这些领域的理论与实践的发展潮流，并在图象处理领域、符号计算、知识表示、计算语义学、机器感知和符号连接学习领域作出了许多贡献，1969年，明斯基被授予图灵奖，成为了人工智能领域首位图灵奖获得者。

马文·明斯基出生于美国纽约犹太家庭，他从小在私立学校接受教育，高中毕业后遵循犹太传统应征入伍，在二战末期经历了两年海军生涯。退伍后，他在哈佛大学主修数学，同时选修了电气工程、遗传学、心理学等学科的课程。广泛的学科涉猎为他对人工智能研究发起挑战打下了基础。

1950年，也就是明斯基本科的最后一年，他和他的同学Dean Edmonds建造了世界上第一台神经网络神经网络模拟器SNARC，他还设计并制造了一些最早的视觉扫描仪，带有触觉传感器的机械手，最早的“海龟”标志之一，以及它们的软件和硬件接口。这些影响了后来的许多机器人项目。他是虚拟现实最早倡导者，也是世界上第一个人工智能实验室MIT人工智能实验室联合创始人，他还参与了探索太空的先进技术。

3、Lisp语言发明者、“人工智能之父”——约翰·麦卡锡

1971年因在人工智能领域的贡献于获奖

约翰·麦卡锡（John McCarthy）生于美国马萨诸塞州波士顿，父亲是爱尔兰裔美国人，母亲是立陶宛的犹太人。约翰·麦卡锡曾在达特茅斯学院（1955-58），麻省理工学院（1958-62）和斯坦福大学（1953-55和1962-2000）担任教授。

约翰·麦卡锡是美国计算机科学家和认知科学家，是人工智能(AI)、计算机科学和交互计算系统领域的先驱。因在人工智能领域的贡献而在1971年获得图灵奖，被誉为“人工智能之父”。

1956年发起达特茅斯会议，并提出了“人工智能”概念。在达特茅斯会议前后，麦卡锡的主要研究方向是计算机下棋。下棋程序的关键之一是：如何减少计算机需要考虑的棋步。麦卡锡经过艰苦探索，终于发明了著名的α-β搜索法，使搜索能有效进行。该搜索法至今仍是解决人工智能问题中一种常用的高效方法。

1958年约翰·麦卡锡与明斯基一起创建了世界上第一个人工智能实验室。1959年发明了LISP语言（该语言至今仍在人工智能领域广泛使用）。LISP是一种通用高级计算机程序语言，长期以来垄断人工智能领域的应用。1965年，麦卡锡成为斯坦福人工智能实验室（SAIL）的创始董事，该实验室研究机器智能，图形交互计算和自动驾驶汽车。

4、心理百家——赫伯特·西蒙

1975年因在人工智能、人类识别心理和表处理的基础贡献而获奖。

赫伯特·西蒙（汉名司马贺）（Herbert Simon）认知心理学奠基者，人工智能理论奠基人之一，是20世纪一位颇具影响力的计算机科学家和心理学家。因“对经济组织中的决策过程的开创性研究”而荣获1978年诺贝尔经济学奖。司马贺教授作为认知科学与人工智能的创始人之一，在计算机科学与心理学的结合方面做出了卓越的贡献，使认知心理学和计算机科学相结合产生了人工智能这一新学科，因此由1975年荣获图灵奖。

司马贺的父亲是德国犹太人，母亲的家庭是犹太、路德教派及天主教混合背景。他是现代一些重要学术领域的创建人之一，他创造了术语有限理性，也是第一个分析复杂性架构的人。他不仅创造了新观念，还创建了新机构，他帮助卡内基理工学院创建了工业管理研究所院，还率先将行为科学的概念和方法应用到了管理教育方面，司马贺和同事所倡导的思想及方法很快被应用到了几乎所有的商学院，促进了现代工商管理学硕士学位的诞生。他还是该所大学最著名的计算机科学系的创始人。

5、非确定性有限状态自动机理论的开创者——迈克尔·拉宾

1976年因论文"有限自动机与它们的决策问题"，被证明具有巨大的价值而获奖

迈克尔·拉宾（Michael Rabin） 是一名以色列数学家和计算机科学家，1959年，拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题的论文，提出了非确定自动机的观点。他们也因此获得了1976年的图灵奖。论文中引入了非确定自动机的概念，被证明是（计算理论科学研究中的）一个非常重要的概念。拉宾和斯科特的这篇经典论文成为了这个领域后续研究的源泉。

1969年，拉宾证明N successors的二阶逻辑是可判定的。证明的关键部分暗示了parity game的确定性。1975年，拉宾发明了米勒-拉宾检验，这是一个相当快速的随机算法（有较小的可能性错误），用于判断一个大数是否是素数。快速素数检验是目前大部分公钥密码体系的关键。1979年，拉宾发明了第一个非对称密码系统——拉宾密码系统。它的安全性被证明和整数因式分解的复杂度相同。1981年，拉宾提出了不经意传输（oblivious transfer）技术。 1987年，拉宾和理查德·卡普提出了一个著名的字符串搜索算法——拉宾-卡普算法。

6、发明“分枝届限法”的三栖学者——理查德·卡普

1985年因算法理论方面的贡献而获奖

理查德·卡普（Richard Manning Karp）是计算机科学家以及计算理论家，由于他对算法理论的持续贡献，包括开发有效的网络流算法和其他组合优化问题，用算法效率的直观概念识别多项式时间可计算性，最值得注意的是，对NP理论的贡献，因此获得了1985年的图灵奖。

理查德·卡普1935年出生于美国波士顿一个主要的犹太社区多尔切斯特，他曾在哈佛大学获得了应用数学博士学位。他的研究兴趣包括理论计算机科学，组合算法，离散概率，计算生物学和互联网算法。他是加州大学伯克利分校电气工程和计算机系、数学系、工业工程和运筹学系的教授，60年代提出了“分枝届限法”，成功求解含有65个城市的推销员问题，创当时的记录。分枝界限法”把问题的可行解展开如树的分枝，再经由各个分枝中寻找最佳解。

7、硕果累累的算法设计大师——罗伯特·陶尔扬

1986年因在算法及数据结构设计和分析方面的基础性成就而获奖

罗伯特·陶尔扬（(Robert E Tarjan)）是一名美国 计算机科学家和数学家，出生在加利福尼亚州波莫纳，获得了加州理工学院数学学士学位、斯坦福大学计算机科学硕士和博士学位。1986 年罗伯特 ·陶尔扬 约翰·爱德华·霍普克洛夫特与共同获得ACM图灵计算机科学奖，以表彰在算法和数据结构设计和分析方面取得的重要成就。

罗伯特·陶尔扬设计了求解的应用领域的许多问题的广泛有效的算法和数据结构，他继续在组合算法和数据结构领域工作。他以在数据结构和图论上的开创性工作而闻名。他的一些著名的算法包括 Tarjan最近共同祖先离线算法 ，Tarjan的强连通分量算法 以及Link-Cut-Trees算法等。Tarjan也开创了重要的数据结构如：斐波纳契堆和splay树（splay发明者还有Daniel Sleator）。另一项重大贡献是分析了并查集。他是第一个证明了计算反阿克曼函数的乐观时间复杂度的科学家。

8、浮点计算的先驱—— 威廉凯亨

1989年因其“对数值分析的基本贡献”而获奖

威廉凯亨出生于一个加拿大犹太人家庭，卡亨既在大学从事过教学和科研，又在一些著名的计算机整机厂和元器件厂从事过重要的技术工作和产品开发工作。同时在美国国家半导体公司兼职。这些经历使他积累了丰富的工程实践经验，并为计算机科学技术，尤其是在计算机运算技术的发展方面作出了重要贡献。1989年 因其“对数值分析的基本贡献”而于获得图灵奖。

在英特尔供职期间，凯亨主持设计与开发了8087芯片，成功地实现了高速、高效的浮点运算部件。直到目前，以80×86为CPU的计算机，若需完成科学与工程计算方面的课题，也必须同时配置8087这种数学协处理器。由于他的突出贡献，凯亨后来又受命主持制定了二进制的、与基数无关的浮点运算标准，即IEEE754标准和IEEE854标准。而这两个标准至今仍为绝大多数的计算机厂商所遵守。

9、驾驭知识——爱德华.费根鲍姆和他的专家系统

1994年因其计算复杂性理论杰出贡献和密码学和编程校验上的应用而获得图灵奖

爱德华 费根鲍姆（Edward Feigenbaum）出生在新泽西州一个犹太人家庭中，专长于人工智能，经常被人称为专家系统之父。1994年因其计算复杂性理论杰出贡献和密码学和编程校验上的应用而获得图灵奖。他的《计算机与思想》这本书被认为是世界上第一本有关人工智能的经典性专著。这本书中收录了人工智能领域各个研究方向的重要论文，是一部经典作品。

他的主要贡献在于最早倡导了“知识工程”，并使知识工程成为人工智能领域中取得实际成果最丰富、影响也最大的一个分支。1965年，他与其他合作者共同开发出了世界上第一个专家系统程序DENDRAL。METADENDRAL, 不仅能够应用已知的规则来推测化合物的结构，而且还能将已知的结构与数据库中的规则进行比较，从而得到全新的规则。DENDRAL的研究成功被认为是人工智能研究的一个历史性突破。费根鲍姆领导的研究小组后来又为医学、工程和国防等部门研制成功一系列实用的专家系统，其中尤以医学专家系统方面的成果最为突出，最负盛名。目前，学术界公认，在将人工智能技术应用于医学方面，斯坦福大学处于世界领先地位，这和费根鲍姆是分不开的。

10、计算复杂性理论的主要奠基人之一——曼纽尔·布卢姆

曼纽尔·布卢姆（Manuel Blum）是1995年因其计算复杂性理论杰出贡献和密码学和编程校验上的应用而获1995年图灵奖的一名计算机科学家。他是密码系统和程序检验先驱，计算复杂性理论的主要奠基人之一。Blum是卡内基梅隆大学计算机科学教授，也是世界上理论计算机学大师。他被选举成为美国国家科学院成员，这对于任何一位美国的科学家或是工程师来说都是最高的荣誉。

11、阿米尔·伯努利（Amir Pnueli）

1996年因“开创性地将时序逻辑引入计算机科学和对程序和系统验证领域的贡献”而获奖

以色列学者阿米尔·伯努利(Amir Pnueli)是著名的计算机科学家，他曾获得了海法以色列理工学院的数学学士学位和博士学位，是著名的以色列魏茨曼学院应用数学系教授。伯努利在斯坦福大学担任博士后研究员期间，他转到计算机科学专业。他的计算机科学着作侧重于时态逻辑和模型检查，特别是关于并发系统的公平性。他的论文主题是“海洋潮汐的计算”。1996年因“开创性地将时序逻辑引入计算机科学和对程序和系统验证领域的杰出贡献”而获得图灵奖，以彰显他把时态逻辑引入计算机科学所做的贡献。

总结

上面是从1966年到1996年的11位犹太科学家图灵奖获得者，剩下的11位我们将下次发表。

-END-

猜你喜欢

[](http://mp.weixin.qq.com/s?__b...引全球“围观”的创业国以色列再掀融资热潮？[](http://mp.weixin.qq.com/s?__b...

硬核！美国核计划背后的神秘犹太人

知以文化

知以成功搭建中以商业精英的交流学习与投融资平台，至今已组织60多个团组，近1000中国企业家访问以色列。知以同时积极参与中国资本对以色列投资，至今已经促成了双方的多项重要交易，对以色列投融资额度超过3500万美元。知以积极宣传以色列创业创新，致力于深层次提高中国企业家对以色列的认知，并促成双方的各种科技、资本与人文层面的合作。

长按扫码关注“知以”

投稿：mailto:[e-mail]

（欢迎广大读者前来投稿，稿件一旦被采纳将有神秘礼物赠送）