约翰·麦卡锡
美國計算機科學家和認知科學家
约翰·麦卡锡(英語:John McCarthy,1927年9月4日—2011年10月24日[2][3]),生于美国马萨诸塞州波士顿,计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上,正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念。
约翰·麦卡锡 | |
---|---|
出生 | 美国马萨诸塞州波士顿 | 1927年9月4日
逝世 | 2011年10月24日 美国马萨诸塞州波士顿 | (84歲)
居住地 | 美国 |
国籍 | 美国 |
母校 | 加州理工学院 |
知名于 | 人工智能;限制;Situation calculus;Lisp |
信仰 | 无神论[1] |
奖项 | 图灵奖(1971) 京都奖 美国国家科学奖章 富蘭克林獎章 |
科学生涯 | |
研究领域 | 计算机科学 |
机构 | 麻省理工学院;斯坦福大学;达特茅斯学院;普林斯顿大学 |
博士導師 | 所羅門·萊夫謝茨 |
博士生 | 露勳娜·巴伊奇 芭芭拉·利斯科夫 Robert Moore Francis Morris 拉吉·瑞迪 |
履历
编辑1927年9月4日,约翰·麦卡锡出生於美國麻薩諸塞州波士頓。他的父親John Patrick是愛爾蘭裔美國人,母親Ida Glatt McCarthy是立陶宛的猶太人。
他于1948年获得加州理工学院数学学士学位,1951年获得普林斯顿大学数学博士学位。分别短暂地为普林斯顿大学、斯坦福大学、达特茅斯学院和麻省理工学院供职后,麦卡锡于1962年-2000年底在斯坦福担任教授,退休后成为名誉教授。
成就贡献
编辑麦卡锡发明了LISP并于1960年将其设计发表在《ACM通讯》上。他帮助推动了麻省理工学院的MAC项目。然而,他在1962年了离开麻省理工学院,前往斯坦福大学并在那里协助建立了斯坦福人工智能实验室,成为MAC项目多年来的一个友好的竞争对手。[5]
奖项荣誉
编辑哲学倾向
编辑约翰麦卡锡出生在一个共产主义家庭。约翰麦卡锡是一个读书狂,乐观主义者,他是言论自由的坚定支持者。约翰麦卡锡经常在Usenet论坛上发表对国际事务的看法。也可以在他自己的主页上[8]看到他的一些观点,主要是为了说明这个观点“人类的物质发展是可取的和可持续的”。
麦卡锡看到了数学和数学教育的重要性,他在自己的宝马车上有一条标语“不符合数学的,都是胡言乱语”。麦卡锡预言互联网文化和社交网络在今后10年将扮演重要角色。
参考文献
编辑- ^ McCarthy, John. Commentary on World, US, and scientific affairs. 2007-03-07 [2008-02-01]. (原始内容存档于2005-11-21).
By the way I'm an atheist.
- ^ “人工智能之父”约翰-麦卡锡去世. 新浪网. 2011-10-25 [2011-10-25]. (原始内容存档于2020-08-22) (中文(简体)).
- ^ Creator Of Lisp, John McCarthy, Dead At 84. TechCrunch. 2011-10-24 [2011-10-25]. (原始内容存档于2021-04-11) (英语).
- ^ John McCarthy: PROGRESS AND ITS SUSTAINABILITY. [2006-01-07]. (原始内容存档于2013-10-04).
- ^ 林一平. AI的奠基者:麥卡錫(二). 科學人. No. 254 (遠流出版公司): 28. [2023-05-05]. ISSN 1682-2811. (原始内容存档于2023-05-05).
- ^ 6.0 6.1 6.2 6.3 6.4 《2011 逝去的中外名人》. 环球时报. [2011-12-05]. (原始内容存档于2012-01-07) (中文(简体)).
- ^ Beckett, Jamie. Stanford School of Engineering names new engineering heroes. Stanford News. 12/02/2012 [12/02/2012]. (原始内容存档于2021-02-25).
- ^ 存档副本. [2006-01-07]. (原始内容存档于2013-10-04).
參閲
编辑- 斯坦福大學中心暨研究所(斯坦福人工智能實驗室 )
外部链接
编辑- Oral history interview with John McCarthy at Charles Babbage Institute, University of Minnesota, Minneapolis. McCarthy discusses his role in the development of time-sharing at the Massachusetts Institute of Technology. He also describes his work in artificial intelligence (AI) funded by the Advanced Research Projects Agency, including logic-based AI (LISP) and robotics.