Lisp語言發明者、「人工智慧之父」 John McCarthy與世長辭

2020-12-17 開源中國

Lisp語言發明者、「人工智慧之父」John Maccarthy今天與世長辭。

以下是關於這位計算機大師的簡介：

-1927年生於美國波士頓
-1948年，加州理工，數學學士
-1951年，普林斯頓大學，數學博士
-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)

 

青少年時的McCarthy聰慧過人，初中時他根據一份加州理工大學的課程目錄自學完大學低年級微積分課程，也因此在1944年上大學時可以免修頭兩年大學數學，之後去普林斯頓大學研究生院繼續深造。

馮·諾依曼報告引發的好奇心

McCarthy的學術人生如何步入人工智慧領域，還要從1948年9月的一次會議說起。當時普林斯頓大學主辦了「行為的大腦機制西克森研討會」，計算機大師馮·諾依曼在會議上發布了一篇關於自複製自動機的論文。這次報告激發了當時還是普林斯頓數學博士生麥卡錫的研究興趣，他敏銳地將機器智能與人的智能聯繫起來，打算從事更深入的研究。第二年，麥卡錫幸運地與馮·諾依曼一起工作，在大師的鼓勵和支持下，麥卡錫決定從在機器上模擬人的智能入手，主要研究方向定為計算機下棋。此後，為了減少計算機需要考慮的棋步，麥卡錫發明了著名的α-β搜索法，這一關鍵問題的解決有效減少了計算量，使其至今仍是解決人工智慧問題中一種常用的高效方法。

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

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

Lisp語言和分時概念創始人

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

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

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

via Hackernews and TC

文章來自36氪

相關焦點

  • [歷史上的今天]1927年人工智慧之父、Lisp之父John McCarthy誕生
    他因在人工智慧領域的貢獻而在1971年獲得圖靈獎，被譽為「人工智慧之父」。1958年，他發明了Lisp語言，這是人工智慧界第一個最廣泛流行的語言，至今仍有著廣泛應用。人工智慧之父、Lisp之父John McCarthy從政治青年到學術人生John McCarthy的人生像一幅波瀾壯闊的畫卷，政治和學術是兩抹最有特點的亮色。
  • 隨筆:code.org與python,FoxDot,Lisp
    image.png今天還熟悉了live coding，對於基於FoxDot的音樂編程有了初步的了解，SuperCollider是當前免費音樂編程軟體的基礎，SuperCollider本身語法會晦澀，但是基於python包裝的FoxDot則非常簡單易用，對SuperCollider中的各種函數進行了非常好的包裝，體現了python作為函數語言的優勢
  • 知錯能改的nodejs之父
    瀏覽器端的開發語言已經被JavaScript一統江湖。然而JavaScript還並未滿足，它還在繼續擴張著自己的領土。2008年，谷歌發布了V8引擎，這個高效地JavaScript解析引擎讓JS運行效率大大提升。
  • 2020年 Common Lisp 使用情況調查
    總的看來，如果有明確的使用場景，數據分析、機器學習和人工智慧相關的領域涉及到比較多。談及使用 Common Lisp 的原因，回答也是五花八門，不過有一條回復應該比較具有代表性，「因為 Lisp 和 Common Lisp 是一門非常有趣的語言，它是成熟而完整的。」
  • AlphaGo之父解答人工智慧八大疑問
    對於5月23日至27日與圍棋人工智慧程序AlphaGo(阿爾法狗)的對弈,目前世界排名第一的中國職業九段柯潔放出豪言。然而,AlphaGo(阿爾法狗)之父卻說,「我們發明阿爾法狗,並不是為了贏取圍棋比賽。」
  • 記住:where is the john 不是「約翰在哪裡」!千萬別理解錯了
    John 是個常見的英文名，但是 where is the john 可不是問約翰在哪裡，到底是什麼意思，聽吉米老師來講講吧「~背景音樂：Bravado---Chris Haugen那 where is the john 跟 John 有什麼關係呢？聽聽吉米老師怎麼說吧~Where is the john?廁所在哪兒？the john 跟廁所有什麼關係呢？這還要從馬桶的發明者講起。
  • 「人工智慧之父」艾倫·圖靈登上英國50英鎊新鈔
    圖源：BBC海外網7月15日電 英國廣播公司(BBC)報導，「計算機科學和人工智慧之父」艾倫圖靈登上英國50英鎊新鈔。艾倫圖靈(Alan Mathison Turing，1912年6月23日-1954年6月7日)，英國數學家、邏輯學家，被稱為「計算機科學之父」，「人工智慧之父」。1931年圖靈進入劍橋大學國王學院，畢業後到美國普林斯頓大學攻讀博士學位，第二次世界大戰爆發後回到劍橋，後曾協助軍方破解德國的著名密碼系統Enigma，幫助盟軍取得了二戰的勝利。
  • 不看不知道:程式語言都是外國人發明的,有鬍子的更熱門?
    熱門程式語言之父第一梯隊，老牌程式語言發明者：C語言之父，Dennis Ritchiec++語言之父，Bjarne Stroustrup >第二梯隊，大廠程式語言的發明者：java之父，James GoslingC#語言之父，Anders HejlsbergObjective-C之父，Brad Cox
  • 人工智慧之父論教育,跨界天才有何高見
    馬文·明斯基是人工智慧領域奠基人，被人們稱作「人工智慧之父」，在1969年獲得圖靈獎。不僅如此，擁有普林斯頓大學數學博士學位的他還是一位小有名氣的音樂家和發明家。即使在教育領域，馬文·明斯基也投入了很大一部分精力，投身於OLPC項目，致力於將計算機技術交到全世界的兒童手中。
  • C語言之父和Linux之父誰更偉大?
    一、Dennis Ritchie C語言之父，UNIX之父。 1） Dennis Ritchie（1941年- 2011年10月12日） 而編譯c語言的編譯器，就相當於建設大樓所需要的各種工具，丹尼斯不光親自設計了C語言，還親自從頭到尾設計這一整套的工具。 這個工作是創造性的，可參考內容並不是很多，其難度可想而知。 二、 Linus  Torvalds（1969年12月28日- ） Linux之父、Git之父。
  • 人工智慧機器人之父:艾倫·圖靈
    人工智慧之父：艾倫.圖靈
  • 科學網—「C語言之父」丹尼斯·裡奇辭世
  • Lisp 的本質(2)
    我們寫一組宏來把任務列表(to-do list)轉換為專用領域語言。這裡作者所用的記號是自己發明的一種Lisp方言Blaise, 和common lisp略有不同, 事實上, 發明方言是lisp高手獨有的樂趣, 很多狂熱分子都熱衷這樣做。比如Paul Graham就發明了ARC, 許多記號比傳統的Lisp簡潔得多, 顯得比較現代)單引號的用處是禁止對表求值。
  • 那些「爸」氣十足的程式語言之父,你知道幾個?
    程式語言的世界裡，沒有最好的語言，只有更合適的語言。今天就帶大家扒一扒程式語言及它們背後的開發者，希望可以站在巨人的肩膀上一睹各種程式語言的風採。C語言之父 Dennis Ritchie提到丹尼斯·裡奇（Dennis Ritchie），恐怕所有的IT geek都不陌生。
  • 在計算機軟體領域 C語言之父和Linux之父誰更偉大
    一、Dennis Ritchie C語言之父，UNIX之父。 1） Dennis Ritchie（1941年- 2011年10月12日）   Dennis Ritchie Dennis Ritchie曾擔任朗訊科技公司貝爾實驗室下屬的計算機科學研究中心系統軟體研究部的主任一職。
  • 「Fortran語言之父」病逝
    據新華社華盛頓3月20日電（記者張忠霞）被譽為「Fortran語言之父」的美國計算機先驅人物約翰·巴克斯3月17日因病逝世，享年82歲。　　據國際商用機器公司（IBM）20日公布的消息，巴克斯17日在俄勒岡州的阿什蘭病逝。他生於1924年，曾在IBM公司工作多年，1991年退休。
  • 看看9種程式語言的發明者是怎麼說的
    從Node.js到C++，看他們的發明者是如何評價他們的語言的未來。Ryan Dahl：Node.js問：它的主要優勢是什麼？
  • 從「神經網絡之父」到「人工智慧教父」|Geoffrey Hinton的傳奇...
    人工智慧領域有三大奠基人，分別是Geoffrey Hinton、Yann LeCun與Yoshua Bengio。本文主要圍繞「神經網絡之父」Geoffrey Hinton。
  • Scheme這種系統設計語言,還可以編譯機器碼,真的嗎?
    Scheme，一種系統設計語言，由LISP語言發展而來，屬於lisp的一種語言。與其他lisp不同的是，scheme是可以編譯成機器碼的。Scheme的一個主要特性是可以像操作數據一樣操作函數調用* Smalltalk 一種面向對象的程序設計語言 一種程序設計環境 一個應用開發環境(ADE)* Tcl/Tk 是一種 腳本語言* Visual FoxPro原名FoxBase，是美國Fox Software
  • 鑽木取火的發明者竟然是他?
    今天來跟大家聊聊華夏文明的開創者，同時也是鑽木取火的發明者~~~燧人氏。燧人氏雕塑人物簡介提到燧人氏，我們就不得不說三皇五帝了。妻子華胥氏，弇茲氏（yanzi），尊稱燧皇，伏羲與女媧之父。