約翰·麥卡錫
美國計算機科學家和認知科學家
約翰·麥卡錫(英語: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.