共计 5837 个字符，预计需要花费 15 分钟才能阅读完成。
众人皆知，犹太人在迷信和艺术上的成就着实令人惊叹，他们以世界千分之二的人口，在简直所有迷信畛域都领有 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:lizhel@163.com
（欢送广大读者前来投稿，稿件一旦被驳回将有神秘礼物赠送）
