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 | ![]() |
Mor | Ida Glatt McCarthy ![]() |
Uddannelse og virke | |
Uddannelsessted | 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 ![]() |
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.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search