John McCarthy: Forskelle mellem versioner

Fra Wikipedia, den frie encyklopædi
Content deleted Content added
ArthurBot (diskussion | bidrag)
m robot Tilføjer: sk:John McCarthy
m robot Tilføjer: el:Τζον Μακάρθι
Linje 28: Linje 28:
[[cs:John McCarthy]]
[[cs:John McCarthy]]
[[de:John McCarthy]]
[[de:John McCarthy]]
[[el:Τζον Μακάρθι]]
[[en:John McCarthy (computer scientist)]]
[[en:John McCarthy (computer scientist)]]
[[eo:John McCarthy]]
[[eo:John McCarthy]]

Versionen fra 13. jan. 2010, 17:54

John McCarthy (født 4. september 1927 i Boston, Massachusetts) er amerikansk matematiker, og 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 i dag er pensioneret og professor emeritus. McCarthy har på Stanford arbejdet med alle aspekter af kunstig intelligens, herunder korrekthedsbeviser for programmer, 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.

Litteratur

  • John McCarthy: Inversion of Functions Defined by Turing Machines, 1956.
  • John McCarthy: Programs with Common Sense, 1958.
  • John McCarthy: Recursive Functions of Symbolic expressions and their Computation by Machine, Communications of the ACM, 1960.
  • John McCarthy: A Basis for a Mathematical Theory of Computation, 1963.
  • John McCarthy & Pat Hayes: Some Philosophical Problems from the Standpoint of Artificial Intelligence, 1969.
  • John McCarthy: Free Will - Even for Robots, 1999.
  • John McCarthy: Deterministic Free Will, 2003.

Eksterne adresser

John McCarthys hjemmeside

Wikimedia Commons har medier relateret til: