John McCarthy

John McCarthy (2006)

John McCarthy (nascut cu 4 luna septembrie, anul 1927 în Boston , Massachusetts , † de 23 Septembrie Octombrie Noiembrie, 2011 de la Palo Alto , California ) a fost un american logicianul, om de știință de calculator și de autor. El este inventatorul limbajului de programare LISP . Pentru contribuțiile sale semnificative în domeniul inteligenței artificiale , McCarthy a primit premiul Turing în 1971 și un premiu Kyoto în 1988 . În 1991 a primit Medalia Națională a Științei .

Viaţă

McCarthy a obținut diploma de licență în matematică de la Institutul de Tehnologie din California în 1948 . Și-a obținut doctoratul trei ani mai târziu, în 1951, la Universitatea Princeton sub conducerea lui Solomon Lefschetz ( Operatori de proiecție și ecuații diferențiale parțiale ). După sejururi la Universitatea Stanford , Colegiul Dartmouth și Institutul de Tehnologie din Massachusetts , a fost profesor la Stanford din 1962, unde s-a retras în 2000. A fost activ ca profesor emerit la Universitatea Stanford până la moartea sa și a comentat adesea evenimente mondiale în forumurile de pe Internet dintr-o perspectivă matematic-științifică.

Primul doctorand al lui McCarthy a fost Raj Reddy , care mai târziu a câștigat și premiul Turing. McCarthy a fost, de asemenea, conducătorul de doctorat al laureatului Premiului Turing, Barbara Liskov .

Din 1957 până în 1959 a fost promovat la funcția de Sloan Fellow în domeniul științelor fizice. A fost membru al Academiei Americane de Arte și Științe (1974), al Asociației Americane pentru Avansarea Științei , al Societății Americane de Matematică și al Asociației pentru Mașini de Calcul . În 1987 a fost admis la Academia Națională de Inginerie și în 1989 la Academia Națională de Științe . A fost președinte al Asociației Americane de Inteligență Artificială din 1983 până în 1984 și a servit în comitetul editorial al Artificial Intelligence Journal din 1975 .

A scris nuvele în care dezvoltarea AI joacă un rol.

McCarthy era ateu. Citat:

„Răspunzând faptului că Richard Dawkins îi deranjează pe colegii săi atei să„ iasă ”, menționez că sunt într-adevăr un ateu. Pentru a vă considera un ateu, nu trebuie să susțineți că există o dovadă că nu există zei. Trebuie doar să ne gândim că dovezile referitoare la întrebarea zeului se află aproximativ în aceeași stare cu dovezile legate de întrebarea vârcolacului. "

act

Prima conferință despre inteligența artificială, Conferința de la Dartmouth , a avut loc în vara anului 1956. În 1955, McCarthy a inventat termenul de inteligență artificială în cererea de finanțare de la Fundația Rockefeller pentru această conferință . McCarthy este inventatorul limbajului de programare LISP , al cărui design a prezentat-o ​​în 1960 în revista Communications of the ACM . LISP a fost una dintre primele implementări ale unui calcul logic pe un computer.

De asemenea, i se atribuie inventarea algoritmului alfa-beta , care a adus o contribuție decisivă la puterea de joc a programelor de șah și primul algoritm de marcare și măturare pentru colectarea automată a gunoiului.

Alții

IJCAI lui John McCarthy Premiul este dat de oamenii de stiinta de la mijlocul carierei în inteligență artificială.

literatură

  • Vladimir Lifschitz: John McCarthy (1927-2011). În: Natura , volumul 480, 2011, p. 40.

Link-uri web

Commons : John McCarthy  - Colecție de imagini, videoclipuri și fișiere audio

documente justificative

  1. ↑ tweet de la Stanford Engineering
  2. ↑ a b c ((Requiescat) în (ritm)): La moartea lui John McCarthy . heise.de, 25 octombrie 2011; Adus la 25 octombrie 2011.
  3. ↑ jmc / personal Universitatea Stanford
  4. ^ McCarthy și colab: O propunere pentru proiectul de cercetare de vară Dartmouth privind inteligența artificială . ( Memento din 30 septembrie 2008 în Arhiva Internet ) august 1955, p. 1 (cerere de finanțare)
date personale
NUME DE FAMILIE McCarthy, John
SCURTA DESCRIERE Informatician american, inventator al limbajului de programare LISP
DATA DE NASTERE 4 septembrie 1927
LOCUL NASTERII Boston , Massachusetts
DATA MORTII 23 octombrie 2011
Locul decesului Palo Alto , California