John McCarthy

John McCarthy
13. maj 2006
Personlig information
Født	4. september 1927 Boston, Massachusetts, USA
Død	24. oktober 2011 (84 år) Stanford, Californien, USA
Dødsårsag	Hjerteanfald
Nationalitet	Amerikansk
Mor	Ida Glatt McCarthy
Uddannelse og virke
Uddannelses­sted	California Institute of Technology (til 1948), Princeton Universitet (til 1951), Belmont High School
Elev af	Solomon Lefschetz
Medlem af	Association for Computing Machinery (fra 1994), National Academy of Sciences, Association for the Advancement of Artificial Intelligence, American Association for the Advancement of Science, American Academy of Arts and Sciences
Beskæftigelse	AI-forsker, universitetsunderviser, matematiker, ingeniør, datalog
Fagområde	Kunstig intelligens
Deltog i	Dartmouth Summer Research Project on Artificial Intelligence
Arbejdsgiver	Princeton Universitet, Stanford University (1962-2000), Massachusetts Institute of Technology (til 1962)
Kendte værker	kunstig intelligens
Nomineringer og priser
Udmærkelser	Turing-prisen (1971), ACM Fellow (1994), AAAI Fellow (1990), Computer History Museum fellow, Programming Languages Achievement Award (2002) med flere
Eksterne henvisninger
John McCarthys hjemmeside
Information med symbolet hentes fra Wikidata. Kildehenvisninger foreligger sammesteds.  [ redigér på Wikidata ]

John McCarthy (født 4. september 1927 i Boston, Massachusetts, død 24. oktober 2011^[1][2]) var en amerikansk matematiker, kendt som pioner inden for kunstig intelligens og skaberen af programmeringssproget Lisp.

McCarthy fik en bachelorgrad i matematik fra California Institute of Technology i 1948 og en Ph.d. i matematik fra Princeton University i 1951. McCarthy blev herefter ansat på Princeton og senere Stanford University. Han lagde i denne periode grundlaget for kunstig intelligens, og han var i 1955 den første til at bruge dette udtryk.

I slutningen af 1950'erne kom McCarthy til MIT, og han skabte her programmeringssproget Lisp; Lisp er begyndt i 1958 og offentliggjort i 1960. McCarthy var med til at grundlægge MIT's AI Lab, et førende forskningscenter for kunstig intelligens og styresystemer. McCarthy var i denne periode med til at udvikle styresystemer baseret på tidsdeling og teoretisk arbejde om beregnelighed.

I 1962 vendte McCarthy tilbage til Stanford, hvor han senere blev pensioneret. McCarthy har på Stanford arbejdet med alle aspekter af kunstig intelligens, herunder korrekthedsbeviser for computerprogrammer, ikke-monotone ræsonnering og formalisering af dagligdags viden og sund fornuft.

McCarthy modtog i 1971 ACM's Turing Award for sit arbejde med kunstig intelligens.

1. ^ Andrew Myers (2011-10-25). "Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84". Stanford University.
2. ^ Thomson, Iain (2011-10-24). "Father of Lisp and AI John McCarthy has died". The Register. San Francisco.