约翰·麦卡锡
美國計算機科學家和認知科學家
约翰·麦卡锡（英語：John McCarthy，1927年9月4日—2011年10月24日[2][3]），生于美国马萨诸塞州波士顿，计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念。
| 约翰·麦卡锡 | |
|---|---|
 John McCarthy，2006年 | |
| 出生 | 1927年9月4日 美國马萨诸塞州波士顿 |
| 逝世 | 2011年10月24日（84歲） 美國马萨诸塞州波士顿 |
| 居住地 | 美國 |
| 国籍 | 美國 |
| 母校 | 加州理工学院 |
| 知名于 | 人工智能；限制；Situation calculus；Lisp |
| 奖项 | 图灵奖（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. ISSN 1682-2811.
- ^ 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.