John McCarthy

John McCarthy (2006)

John McCarthy (narozen 4. září 1927 v Bostonu , Massachusetts , † 23. října 2011 v Palo Alto v Kalifornii ) byl americký logik, počítačový vědec a autor. Je vynálezcem programovacího jazyka LISP . Za významné příspěvky do oblasti umělé inteligence získal McCarthy Turingovu cenu v roce 1971 a Kjótskou cenu v roce 1988 . V roce 1991 mu byla udělena Národní medaile vědy .

Život

McCarthy získal bakalářský titul z matematiky na California Institute of Technology v roce 1948 . Doktorát získal o tři roky později, v roce 1951, na Princetonské univerzitě u Solomona Lefschetze ( operátory projekce a parciální diferenciální rovnice ). Po pobytech na Stanfordské univerzitě , Dartmouth College a Massachusetts Institute of Technology byl profesorem na Stanfordu od roku 1962, kde v roce 2000 odešel do důchodu. Působil jako emeritní profesor na Stanfordské univerzitě až do své smrti a často komentoval světové události na internetových fórech z matematicko-vědeckého hlediska.

McCarthyho prvním doktorandem byl Raj Reddy , který později také získal Turingovu cenu. McCarthy byl také školitelem držitelky ceny Turing Prize Barbary Liskov .

V letech 1957 až 1959 byl povýšen na Sloan Fellow v oboru fyzikální vědy. Byl členem Americké akademie umění a věd (1974), Americké asociace pro rozvoj vědy , Americké matematické společnosti a Asociace pro výpočetní techniku . V roce 1987 byl přijat na Národní akademii inženýrství a v roce 1989 na Národní akademii věd . Byl prezidentem Americké asociace pro umělou inteligenci v letech 1983 až 1984 a od roku 1975 pracoval v redakční radě časopisu Artificial Intelligence Journal .

Psal povídky, ve kterých hraje roli vývoj AI.

McCarthy byl ateista. Citát:

"V reakci na to, že Richard Dawkins otravoval své kolegy ateisty, aby" vyšli ", zmiňuji, že jsem skutečně ateista. Aby se člověk mohl považovat za ateistu, nemusí tvrdit, že má důkaz, že žádní bohové neexistují. Stačí si jen myslet, že důkazy o božské otázce jsou přibližně ve stejném stavu jako důkazy o vlkodlačí otázce. “

Akt

První konference o umělé inteligenci, Dartmouthská konference , se konala v létě roku 1956. V roce 1955 vytvořil McCarthy v této žádosti termín umělá inteligence v žádosti o financování od Rockefellerovy nadace . McCarthy je vynálezcem programovacího jazyka LISP , jehož design představil v roce 1960 v časopise Communications of the ACM . LISP byla jednou z prvních implementací logického počtu na počítači.

Zasloužil se také o vynález algoritmu alfa-beta , který rozhodujícím způsobem přispěl k síle hraní šachových programů, a prvního algoritmu označování a rozmítání pro automatický sběr odpadků.

Ostatní

Cena Johna McCarthyho od IJCAI se uděluje vědcům v polovině kariéry v oblasti umělé inteligence.

literatura

  • Vladimir Lifschitz: John McCarthy (1927-2011). In: Nature , svazek 480, 2011, s. 40.

webové odkazy

Commons : John McCarthy  - Sbírka obrázků, videí a zvukových souborů

podpůrné dokumenty

  1. ↑ tweet od Stanford Engineering
  2. ↑ a b c ((Requiescat) v (tempo)): O smrti Johna McCarthyho . heise.de, 25. října 2011; Citováno 25. října 2011.
  3. ↑ jmc / osobní Stanford University
  4. ^ McCarthy et al: Návrh na Dartmouth Summer Research Project on Artificial Intelligence . ( Memento ze dne 30. září 2008 v internetovém archivu ) Srpen 1955, s. 1 (žádost o financování)
osobní data
PŘÍJMENÍ McCarthy, Johne
STRUČNÝ POPIS Americký počítačový vědec, vynálezce programovacího jazyka LISP
DATUM NAROZENÍ 4. září 1927
MÍSTO NAROZENÍ Boston , Massachusetts
DATUM ÚMRTÍ 23. října 2011
Místo smrti Palo Alto , Kalifornie