John McCarthy：計算機科學領域的杰出人物
一、John McCarthy
John McCarthy 于 1927 年 9 月 4 日出生在美國馬薩諸塞州波士頓，2011 年 10 月 24 日逝世。他是一位杰出的計算機科學家與認知科學家。學術方面，1948 年在加州理工學院獲數(shù)學學士學位，1951 年于普林斯頓大學取得數(shù)學博士學位，先后在普林斯頓大學、斯坦福大學、達特茅斯學院和麻省理工學院等知名學府任職。他在計算機科學，尤其是人工智能領域成就斐然。
John McCarthy 成長于一個政治色彩濃厚且鼓勵學習與批判性思維的家庭，父親是愛爾蘭天主教移民，母親是立陶宛猶太移民。中學時他自學加州理工大學低年級微積分課程，大學時能免修頭兩年數(shù)學課程，學術興趣被馮?諾依曼的報告激發(fā)，踏上人工智能探索之路。
二、John McCarthy 的主要成就
-
人工智能概念的提出
-
1955 年為達特茅斯會議撰寫建議書（與他人合作），提出 “Artificial Intelligence”，被視為人工智能學科誕生標志。1956 年達特茅斯會議確立研究目標，使其從模糊概念成為獨立經驗科學。
-
-
Lisp 編程語言的發(fā)明
-
1958 年發(fā)明 Lisp 編程語言，1960 年發(fā)表設計。Lisp 是最早廣泛用于人工智能的編程語言，基于 λ- 演算，有獨特特性，為人工智能編程提供靈活性，被廣泛使用，其創(chuàng)新被其他語言借鑒。
-
-
推動項目發(fā)展與實驗室建立
-
助力麻省理工學院的 MAC 項目，1962 年到斯坦福大學，協(xié)助建立斯坦福人工智能實驗室，1964 年成為主任，提出情景演算理論。
-
-
技術概念的倡導
-
1960 年左右提出計算機分時概念，是現(xiàn)代計算機操作系統(tǒng)多任務處理等特性的先驅。1959 年發(fā)表《具有常識的程序》，向常識邏輯推理難題進發(fā)。
-
三、John McCarthy 對計算機科學的影響
-
對人工智能學科發(fā)展的奠基性影響
-
20 世紀中葉提出人工智能概念，為計算機科學開辟新方向，吸引眾多科學家研究，使其成為重要分支，涉及眾多子領域，在科技發(fā)展中舉足輕重，應用廣泛。
-
-
對編程語言發(fā)展的深遠影響
-
Lisp 語言為函數(shù)式編程語言樹立標桿，啟發(fā)新語言設計，帶動人工智能編程發(fā)展，為后續(xù)編程框架及工具奠定基礎，其特性對其他語言有啟示作用。
-
-
在計算機理論和概念革新方面的突出貢獻
-
分時概念改變計算機資源使用觀念，提高效率，推動操作系統(tǒng)發(fā)展，成為現(xiàn)代操作系統(tǒng)設計重要組成部分。對計算機常識推理的研究為其向更高級能力發(fā)展提供早期理論基礎和思想引領。
-
四、John McCarthy 的相關著作
以論文形式呈現(xiàn)成果，如 1959 年《具有常識的程序》，圖靈獎演說題為人工智能，對人工智能研究和探索有重要價值。
五、John McCarthy 的生平故事
-
早期學習與啟發(fā)
-
青少年時期自學大學低年級微積分課程，1944 年入學免修前兩年數(shù)學課程，1948 年獲數(shù)學學士學位。在校期間參加研討會，受諾伊曼報告激發(fā)，攻讀普林斯頓大學數(shù)學博士學位并研究機器智能。
-
-
人工智能概念的萌芽與發(fā)展
-
1955 年聯(lián)合他人發(fā)起達特茅斯項目，提出 “人工智能” 概念，1956 年項目啟動，雖未解決具體問題但確立目標，此后他持續(xù)鉆研，發(fā)明 Lisp 語言，發(fā)布《具有常識的程序》，應對常識邏輯推理難題。
-
-
工作經歷與機構建設
-
在多所學府工作，推動麻省理工學院的 MAC 項目，后到斯坦福大學協(xié)助建立實驗室，擔任主任，提出情景演算理論，在此期間開展多項研究，影響學術氛圍和研究方向，培養(yǎng)人才，使實驗室成為前沿陣地。
-
六、John McCarthy 獲得的獎項
-
圖靈獎
-
1971 年因在人工智能領域多方面貢獻獲獎，是對其成就的高度認可，象征卓越地位，推動行業(yè)發(fā)展，激勵后人探索。
-
-
美國國家科學獎
-
1991 年獲獎，是美國授予科學家的最高榮譽之一，彰顯其研究成果和貢獻的影響力，表明其對計算機科學技術體系構建的貢獻獲國家和科學界認可。
-
-
IJCAI 頒發(fā)的第一屆 Research Excellence Award
-
1985 年獲獎，是國際人工智能聯(lián)合大會的獎勵，肯定其在國際人工智能界的影響力和長期貢獻，證明其權威地位，激勵年輕從業(yè)者。
-
相關文章
