John McCarthy

John McCarthy (2006)

John McCarthy (s Syyskuu 4, 1927 vuonna Bostonissa , Massachusettsissa , † Lokakuu 23, 2011 in Palo Alto , Kalifornia ) oli amerikkalainen logician, tietokone tiedemies ja kirjailija. Hän on LISP- ohjelmointikielen keksijä . Merkittävästä panoksestaan tekoälyn alalla McCarthy sai Turing-palkinnon vuonna 1971 ja Kioton palkinnon vuonna 1988 . Vuonna 1991 hänelle myönnettiin kansallinen tiedemitali .

Elämä

McCarthy sai kandidaatiksi vuonna matematiikan alkaen California Institute of Technology vuonna 1948 . Hän sai tohtorin tutkinnon kolme vuotta myöhemmin vuonna 1951 Princetonin yliopistossa Solomon Lefschetzin johdolla ( Projektio-operaattorit ja osittaiset differentiaaliyhtälöt ). Vietettyään Stanfordin yliopistossa , Dartmouth Collegessa ja Massachusettsin teknillisessä instituutissa , hän oli professori Stanfordissa vuodesta 1962, josta hän jäi eläkkeelle vuonna 2000. Hän oli aktiivinen emeritusprofessorina Stanfordin yliopistossa kuolemaansa asti ja kommentoi usein maailman tapahtumia Internet-foorumeilla matemaattis-tieteellisestä näkökulmasta.

McCarthyn ensimmäinen tohtorikoulutettava oli Raj Reddy , joka myöhemmin voitti myös Turing-palkinnon. McCarthy oli myös Turing-palkinnon voittaja Barbara Liskovin tohtorin ohjaaja .

Vuosina 1957–1959 hänet ylennettiin fysiikan alan Sloan-stipendiaatiksi . Hän oli jäsenenä American Academy of Arts and Sciences (1974), American Association for the Advancement of Science , American Mathematical Society ja Association for Computing Machinery . Vuonna 1987 hänet otettiin kansalliseen teknilliseen akatemiaan ja vuonna 1989 kansalliseen tiedeakatemiaan . Hän oli Yhdysvaltojen tekoälyn järjestön puheenjohtaja vuosina 1983-1984 ja toimi Artificial Intelligence Journal -lehden toimitustoimikunnassa vuodesta 1975 .

Hän kirjoitti novelleja, joissa tekoälyn kehittämisellä on merkitystä.

McCarthy oli ateisti. Lainata:

"Vastauksena siihen, että Richard Dawkins häiritsee ateistejaan" tulemaan ", mainitsen, että olen todellakin ateisti. Jos haluat laskea itsesi ateistiksi, ei tarvitse väittää, että sinulla on todiste siitä, ettei jumalia ole olemassa. On vain ajatteltava, että todisteet jumalakysymyksestä ovat suunnilleen samassa tilassa kuin todisteet ihmissusi-kysymyksestä. "

Toimia

Ensimmäinen tekoälyä käsittelevä konferenssi , Dartmouth-konferenssi , pidettiin kesällä 1956. Vuonna 1955 McCarthy kehitti tekoälyn termin hakemuksessaan Rockefeller-säätiön rahoitusta tähän konferenssiin . McCarthy on LISP- ohjelmointikielen keksijä , jonka suunnittelun hän esitteli vuonna 1960 ACM- lehdessä . LISP oli yksi ensimmäisistä logiikkalaskennan toteutuksista tietokoneella.

Hänet hyvitetään myös keksimällä alfa-beeta-algoritmi , joka vaikutti ratkaisevasti shakkiohjelmien pelivoimaan, ja ensimmäisen automaattisen roskien keräys -ja-pyyhkäisy -algoritmin .

Muut

IJCAI n John McCarthy palkinto annetaan puolivälissä uransa tutkijat tekoälyyn.

kirjallisuus

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

nettilinkit

Commons : John McCarthy  - Kokoelma kuvia, videoita ja äänitiedostoja

asiaa tukevat dokumentit

  1. ↑ tweetti Stanford Engineeringiltä
  2. ↑ a b c ((Requiescat) (vauhdissa)): John McCarthyn kuolemasta . heise.de, 25. lokakuuta 2011; Haettu 25. lokakuuta 2011.
  3. ↑ jmc / henkilökohtainen Stanfordin yliopisto
  4. ^ McCarthy ym.: Ehdotus Dartmouthin kesätutkimushankkeeseen tekoälystä . ( Memento 30. syyskuuta 2008 Internet-arkistossa ) Elokuu 1955, s.1 (rahoitushakemus)
henkilökohtaiset tiedot
SUKUNIMI McCarthy, John
LYHYT KUVAUS Amerikkalainen tietojenkäsittelijä, LISP-ohjelmointikielen keksijä
SYNTYMÄAIKA 4. syyskuuta 1927
SYNTYMÄPAIKKA Boston , Massachusetts
KUOLINPÄIVÄMÄÄRÄ 23. lokakuuta 2011
Kuoleman paikka Palo Alto , Kalifornia