一、John McCarthy 

John McCarthy 于 1927 年 9 月 4 日出生在美國馬薩諸塞州波士頓，2011 年 10 月 24 日逝世。他是一位杰出的計算機科學家與認知科學家。學術方面，1948 年在加州理工學院獲數學學士學位，1951 年于普林斯頓大學取得數學博士學位，先后在普林斯頓大學、斯坦福大學、達特茅斯學院和麻省理工學院等知名學府任職。他在計算機科學，尤其是人工智能領域成就斐然。
John McCarthy 成長于一個政治色彩濃厚且鼓勵學習與批判性思維的家庭，父親是愛爾蘭天主教移民，母親是立陶宛猶太移民。中學時他自學加州理工大學低年級微積分課程，大學時能免修頭兩年數學課程，學術興趣被馮?諾依曼的報告激發，踏上人工智能探索之路。

二、John McCarthy 的主要成就

1. 人工智能概念的提出

   • 1955 年為達特茅斯會議撰寫建議書（與他人合作），提出 “Artificial Intelligence”，被視為人工智能學科誕生標志。1956 年達特茅斯會議確立研究目標，使其從模糊概念成為獨立經驗科學。

2. Lisp 編程語言的發明

   • 1958 年發明 Lisp 編程語言，1960 年發表設計。Lisp 是最早廣泛用于人工智能的編程語言，基于 λ- 演算，有獨特特性，為人工智能編程提供靈活性，被廣泛使用，其創新被其他語言借鑒。

3. 推動項目發展與實驗室建立

   • 助力麻省理工學院的 MAC 項目，1962 年到斯坦福大學，協助建立斯坦福人工智能實驗室，1964 年成為主任，提出情景演算理論。

4. 技術概念的倡導

   • 1960 年左右提出計算機分時概念，是現代計算機操作系統多任務處理等特性的先驅。1959 年發表《具有常識的程序》，向常識邏輯推理難題進發。

三、John McCarthy 對計算機科學的影響

1. 對人工智能學科發展的奠基性影響

   • 20 世紀中葉提出人工智能概念，為計算機科學開辟新方向，吸引眾多科學家研究，使其成為重要分支，涉及眾多子領域，在科技發展中舉足輕重，應用廣泛。

2. 對編程語言發展的深遠影響

   • Lisp 語言為函數式編程語言樹立標桿，啟發新語言設計，帶動人工智能編程發展，為后續編程框架及工具奠定基礎，其特性對其他語言有啟示作用。

3. 在計算機理論和概念革新方面的突出貢獻

   • 分時概念改變計算機資源使用觀念，提高效率，推動操作系統發展，成為現代操作系統設計重要組成部分。對計算機常識推理的研究為其向更高級能力發展提供早期理論基礎和思想引領。

四、John McCarthy 的相關著作

以論文形式呈現成果，如 1959 年《具有常識的程序》，圖靈獎演說題為人工智能，對人工智能研究和探索有重要價值。

五、John McCarthy 的生平故事

1. 早期學習與啟發

   • 青少年時期自學大學低年級微積分課程，1944 年入學免修前兩年數學課程，1948 年獲數學學士學位。在校期間參加研討會，受諾伊曼報告激發，攻讀普林斯頓大學數學博士學位并研究機器智能。

2. 人工智能概念的萌芽與發展

   • 1955 年聯合他人發起達特茅斯項目，提出 “人工智能” 概念，1956 年項目啟動，雖未解決具體問題但確立目標，此后他持續鉆研，發明 Lisp 語言，發布《具有常識的程序》，應對常識邏輯推理難題。

3. 工作經歷與機構建設

   • 在多所學府工作，推動麻省理工學院的 MAC 項目，后到斯坦福大學協助建立實驗室，擔任主任，提出情景演算理論，在此期間開展多項研究，影響學術氛圍和研究方向，培養人才，使實驗室成為前沿陣地。

六、John McCarthy 獲得的獎項

1. 圖靈獎

   • 1971 年因在人工智能領域多方面貢獻獲獎，是對其成就的高度認可，象征卓越地位，推動行業發展，激勵后人探索。

2. 美國國家科學獎

   • 1991 年獲獎，是美國授予科學家的最高榮譽之一，彰顯其研究成果和貢獻的影響力，表明其對計算機科學技術體系構建的貢獻獲國家和科學界認可。

3. IJCAI 頒發的第一屆 Research Excellence Award

   • 1985 年獲獎，是國際人工智能聯合大會的獎勵，肯定其在國際人工智能界的影響力和長期貢獻，證明其權威地位，激勵年輕從業者。