約翰·麥卡錫（John McCarthy）為計算機科學領域做過的重要貢獻有哪些？

12-26

他於 2011 年 10 月 23 日去世。他是 Lisp 語言的發明者。

補充一個晚年最後的，現在識貨的人也很少 Elephant 2000: A Programming Language Based on Speech Acts http://www-formal.stanford.edu/jmc/elephant/elephant.html
現有公開的PL本質都是lisp，可能麥卡錫也感到喪氣吧，一個菜鳥滿天下的世界

為什麼要我回答。。。果斷搜索了。。。

約翰·麥卡錫（John McCarthy），計算機科學家。他因在人工智慧領域的貢獻而在1971年獲得圖靈獎。實際上，正是他在1955年的達特矛斯會議上提出了「人工智慧」這個概念。

麥卡錫發明了LISP並於1960年將其設計發表在《美國計算機學會通訊》上。他幫助推動了麻省理工學院的MAC項目。然而，他在1962年了離開麻省理工學院，前往斯坦福大學並在那裡協助建立了斯坦福人工智慧實驗室，成為MAC項目多年來的一個友好的競爭對手。

-1956年Dartmouth會議的發起人(該會議被視為AI作為一門學科誕生的標誌)

-1955年在為該會議寫的建議書中提出Artificial Intelligence一詞，從而被視為「人工智慧之父」

-1958，發明Lisp編程語言(該語言至今仍在人工智慧領域廣泛使用)

-1960左右，提出計算機分時(time-sharing)概念

-1971因對AI的貢獻獲圖靈獎

–1985獲得IJCAI(the International Joint Conference on Artificial Intelligence)頒發的第一屆」Research Excellence Award」(可看作是AI的終身成就獎)

-1990年獲得「美國國家科學獎」(National Medal of Science Award)
為了減少計算機需要考慮的棋步，麥卡錫發明了著名的α-β搜索法，這一關鍵問題的解決有效減少了計算量，使其至今仍是解決人工智慧問題中一種常用的高效方法。

一場會議中誕生的人工智慧

1952年，麥卡錫認識了貝爾實驗室的香農(資訊理論創始人)，在人工智慧方面的若干深入探討之後，他們萌生召開一次研討會的共識。在洛克菲勒基金會的一筆微薄的贊助下，他們邀請到當時哈佛大學的明斯基和IBM工程師羅徹斯特等幾位學者，參加這次具有里程碑達意義的達特茅斯會議。達特茅斯會議歷時兩個多月，首次提出「人工智慧」這一術語，並確立了可行的目標和方法，這使得人工智慧成為電腦科學一個獨立的重要分支，獲得了科學界的承認。

Lisp語言和分時概念創始人

1958年，麥卡錫組建了世界上第一個人工智慧實驗室。同年，麥卡錫發明了Lisp語言，這是人工智慧界第一個最廣泛流行的語言，至今仍有著廣泛應用。Lisp語言與後來由1973年實現的邏輯式語言PROLOG並稱為人工智慧的兩大語言。麥卡錫另一個卓越貢獻是1960年左右第一次提出將計算機批處理方式改造成分時方式，這使得計算機能同時允許數十甚至上百用戶使用，極大地推動接下來的人工智慧研究。他的研究成果最終實現了世界上最早的分時系統——基於IBM7094的CTSS和其後的MULTICS。

如今，人工智慧已經從實驗室走進日常生活，成為一門嚴肅經驗科學，引發了計算機使用方式的一場變革，其中McCarthy功不可沒，他深刻地改變了人們與電腦和互聯網的互動方式。

如今這位計算機大師已經離去，我們緬懷他、感謝他!

我搜索得真好