编者按本文根据新智元发布的《AI名人堂世界人工智能60年60位名人榜单》整理所得。排名不分先后。 艾尔弗雷德·诺思·怀特海艾尔弗雷德·诺思·怀特海（Alfred North Whitehead，1861-1947）是现代著名的数学家、哲学家和教育理论家。怀特海是“过程哲学”（也称“有机哲学”）的创始人。他受直觉主义的影响，反对“科学的唯物主义”，认为自然和宇宙不是由物质组成的，而是由连续不断的经验的事物和独立存在的“永恒客体”结合而成的，从而走上了唯心主义道路。他一方面强调现实世界的存在离不开个人感觉，认为在人的直接感受之外不可能有任何独立的客体存在，另一方面又承认上帝的存在，把主观唯心主义和客观唯心主义混合在一起。但在他的哲学思想中也含有不少合理因素，如强调事物的整体性和相互联系，承认事物的运动、变化、发展等。 伯特兰·罗素 伯特兰·罗素（Bertrand Russell，1872—1970）是二十世纪英国哲学家、数理逻辑学家、历史学家，无神论或者不可知论者，也是上世纪西方最著名、影响最大的学者和和平主义社会活动家之一，罗素也被认为是与弗雷格、维特根斯坦和怀特海一同创建了分析哲学。他与怀特海合著的《数学原理》对逻辑学、数学、集合论、语言学和分析哲学有着巨大影响。1950年，罗素获得诺贝尔文学奖 ，以表彰其“多样且重要的作品，持续不断的追求人道主义理想和思想自由”。他的代表作品有《幸福之路》、《西方哲学史》、《数学原理》、《物的分析》等。 诺伯特·维纳 诺伯特·维纳（Norbert Wiener）（1894年11月26日—1964年3月18日），美国应用数学家，控制论的创始人，在电子工程方面贡献良多。他是随机过程和噪声过程的先驱，又提出了“控制论”的一词。 Emil Leon Post Emil Leon Post（1897年2月11日–1954年4月21日）是波兰裔美国数学家和逻辑学家。 Warren Sturgis McCullochWarren Sturgis McCulloch (November 16， 1898 – September 24， 1969) was an American neurophysiologist and cybernetician ， known for his work on the foundation for certain brain theories and his contribution to the cybernetics movement. Along with Walter Pitts ， McCulloch created computational models based on mathematical algorithms called threshold logic which split the inquiry into two distinct approaches， one approach focused on biological processes in the brain and the other focused on the application of neural networks to artificial intelligence . 阿隆佐·邱奇阿隆佐·邱奇(1903年6月14日–1995年8月11日)是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。并且，他发明了著名的 λ 演算 。 约翰·冯·诺依曼 冯·诺依曼（John von Neumann，1903~1957），20世纪最重要的数学家之一，在现代计算机、博弈论、核武器和生化武器等诸多领域内有杰出建树的最伟大的科学全才之一，被后人称为“计算机之父”和“博弈论之父”。原籍匈牙利。布达佩斯大学数学博士。先后执教于柏林大学和汉堡大学。 1930年前往美国，后入美国籍。历任普林斯顿大学、普林斯顿高级研究所教授，美国原子能委员会会员。美国全国科学院院士。早期以算子理论、共振论、量子理论、集合论等方面的研究闻名，开创了冯·诺依曼代数。第二次世界大战期间为第一颗原子弹的研制作出了贡献。为研制电子数字计算机提供了基础性的方案。1944年与摩根斯特恩（Oskar Morgenstern）合著《博弈论与经济行为》，是博弈论学科的奠基性著作。晚年，研究自动机理论，著有对人脑和计算机系统进行精确分析的著作《计算机与人脑》。主要著作有《量子力学的数学基础》（1926）、《计算机与人脑》（1958）、《经典力学的算子方法》、《博弈论与经济行为》（1944）、《连续几何》（1960）等。 Kurt Friedrich Gödel Kurt Friedrich Gödel (April 28， 1906 – January 14， 1978) was an Austrian， and later American， logician ， mathematician ， and philosopher .Considered with Aristotle and Gottlob Frege to be one of the most significant logicians in history， Gödel made an immense impact upon scientific and philosophical thinking in the 20th century， a time when others such as Bertrand Russell ， A. N. Whitehead ，and David Hilbert were pioneering the use of logic and set theory to understand the foundations of mathematics .Gödel published his two incompleteness theorems in 1931 when he was 25 years old， one year after finishing his doctorate at the University of Vienna .The first incompleteness theorem states that for any self-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers (for example Peano arithmetic )， there are true propositions about the naturals that cannot be proved from the axioms .To prove this theorem， Gödel developed a technique now known as Gödel numbering ， which codes formal expressions as natural numbers.He also showed that neither the axiom of choice nor the continuum hypothesis can be disproved from the accepted axioms of set theory ， assuming these axioms are consistent.The former result opened the door for mathematicians to assume the axiom of choice in their proofs.He also made important contributions to proof theory by clarifying the connections between classical logic ， intuitionistic logic ， and modal logic . 雅克·埃尔布朗 雅克·埃尔布朗（Jacques Herbrand，1908～1931），法国数学家。生于巴黎。毕业于巴黎高等师范学校学习，21岁获博士学位，后出国到德国游学。游学期间与冯·诺伊曼、阿廷、诺特等人相识。1931年夏在阿尔卑斯山度假时，不幸遇险身亡，年仅23岁。埃尔布朗的主要贡献在数理逻辑和近世代数方面。他建立的埃尔布朗定理是量化理论的一个基本命题，已成为机器证明的基础。在近世代数方面，他发表了十几篇有关类域论的论文，丰富了代数数域的阿贝尔扩张理论。 艾伦·麦席森·图灵 艾伦·麦席森·图灵（Alan Mathison Turing，1912年6月23日－1954年6月7日），英国数学家、逻辑学家，被称为计算机之父，人工智能之父。1931年图灵进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位，二战爆发后回到剑桥，后曾协助军方破解德国的著名密码系统 Enigma，帮助盟军取得了二战的胜利。2013年12月24日，在英国司法部长克里斯·格雷灵（Chris Grayling）的要求下，英国女王向图灵颁发了皇家赦免。英国司法部长宣布，“图灵的晚年生活因为其同性取向（同性恋）而被迫蒙上了一层阴影，我们认为当时的判决是不公的，这种歧视现象现在也已经遭到了废除。为此，女王决定为这位伟人送上赦免，以此向其致敬。”图灵对于人工智能的发展有诸多贡献，提出了一种用于判定机器是否具有智能的试验方法，即图灵试验，至今，每年都有试验的比赛。此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。END紫数网互联网大数据观察平台连接你我 · 自由分享微信：zishu010新浪微博： @紫数网头条号：紫数网