John McCarthy

John McCarthy (2006)

John McCarthy (született szeptember 4, 1927-ben a Boston , Massachusetts , † október 23-, 2011-es a Palo Alto , Kalifornia ) volt, egy amerikai logikus, számítógép tudós és író. A LISP programozási nyelv feltalálója . A mesterséges intelligencia területén tett jelentős hozzájárulásáért McCarthy 1971-ben megkapta a Turing-díjat és 1988-ban a Kiotó-díjat . 1991-ben megkapta a Nemzeti Tudományos Érmet .

Élet

McCarthy kapta Bachelor of Science fokozatot a matematika a California Institute of Technology 1948 . Három évvel később, 1951-ben, a Princetoni Egyetemen szerzett doktori címet Solomon Lefschetz ( vetítési operátorok és részleges differenciálegyenletek ) vezetésével . A Stanford Egyetemen , a Dartmouth Főiskolán és a Massachusettsi Műszaki Intézetben töltött idő után 1962-től a Stanford professzora volt, ahol 2000-ben nyugdíjba vonult. Haláláig tevékenykedett emeritus professzorként a Stanford Egyetemen, és matematikai-tudományos szempontból gyakran kommentálta a világ eseményeit az internetes fórumokon.

McCarthy első doktorandusa Raj Reddy volt , aki később elnyerte a Turing-díjat is. McCarthy a Turing-díjas Barbara Liskov doktori témavezetője is volt .

1957 és 1959 között a fizika területén Sloan ösztöndíjassá léptették elő . Tagja volt az Amerikai Művészeti és Tudományos Akadémiának (1974), az American Association for the Advancement of Science , az American Mathematical Society és a Association for Computing Machinery . 1987-ben felvették a Nemzeti Mérnöki Akadémiára, 1989-ben pedig a Nemzeti Tudományos Akadémiára . 1983 és 1984 között az Amerikai Mesterséges Intelligencia Szövetségének elnöke volt , 1975- től az Artificial Intelligence Journal szerkesztőségében dolgozott .

Novellákat írt, amelyekben szerepet játszik az AI fejlesztése.

McCarthy ateista volt. Idézet:

„Válaszul arra, hogy Richard Dawkins ateista társait„ kijönni ”kínozza, megemlítem, hogy valóban ateista vagyok. Ahhoz, hogy ateistának számítson, nem kell azt állítania, hogy bizonyítéka van arra, hogy nincsenek istenek. Csak azt kell gondolni, hogy az istenkérdés bizonyítékai nagyjából ugyanabban az állapotban vannak, mint a vérfarkas kérdésének bizonyítékai. "

törvény

Az első mesterséges intelligencia-konferenciára, a Dartmouth-konferenciára 1956 nyarán került sor. 1955-ben McCarthy kitalálta a mesterséges intelligencia kifejezést a Rockefeller Alapítvány e konferencia finanszírozására irányuló kérelmében . McCarthy a LISP programozási nyelv feltalálója , amelynek tervét 1960-ban mutatta be az ACM Communications folyóiratában . A LISP volt az egyik első megvalósítása a számítógépes logikai számításnak .

Neki köszönhetõ az alfa-béta algoritmus feltalálása is , amely döntõen hozzájárult a sakkprogramok játékerõjéhez, valamint az automatikus jelölõ és seprû algoritmus az automatikus szemétgyûjtéshez.

Mások

Az IJCAI John McCarthy-díját pályafutás közepén a mesterséges intelligencia tudósai kapják.

irodalom

  • Vladimir Lifschitz: John McCarthy (1927-2011). In: Nature , 480. évfolyam, 2011. 40. o.

web Linkek

Commons : John McCarthy  - Képek, videók és hangfájlok gyűjteménye

igazoló dokumentumok

  1. ↑ tweet a Stanford Engineering-től
  2. ↑ a b c ((Requiescat) (ütemben)): John McCarthy haláláról . heise.de, 2011. október 25 .; Letöltve: 2011. október 25.
  3. ↑ jmc / személyes Stanford Egyetem
  4. ^ McCarthy és mtsai: Javaslat a Dartmouth nyári kutatási projektjére a mesterséges intelligenciáról . ( Memento , 2008. szeptember 30., az Internetes Archívumban ) 1955. augusztus, 1. o. (Finanszírozási kérelem)
személyes adatok
VEZETÉKNÉV McCarthy, John
RÖVID LEÍRÁS Amerikai informatikus, a LISP programozási nyelv feltalálója
SZÜLETÉSI DÁTUM 1927. szeptember 4
SZÜLETÉSI HELY Boston , Massachusetts
HALÁL DÁTUMA 2011. október 23
Halál helye Palo Alto , Kalifornia