John McCarthy: Forskelle mellem versioner
ZéroBot (diskussion | bidrag) m r2.7.1) (Robot tilføjer eu:John McCarthy |
Rezabot (diskussion | bidrag) m r2.7.1) (Robot ændrer fa:جان مککارتی (دانشمند علوم رایانهای) |
||
Linje 48: | Linje 48: | ||
[[es:John McCarthy]] |
[[es:John McCarthy]] |
||
[[eu:John McCarthy]] |
[[eu:John McCarthy]] |
||
[[fa:جان مککارتی]] |
[[fa:جان مککارتی (دانشمند علوم رایانهای)]] |
||
[[fi:John McCarthy]] |
[[fi:John McCarthy]] |
||
[[fr:John McCarthy]] |
[[fr:John McCarthy]] |
Versionen fra 30. nov. 2011, 10:07
John McCarthy (født 4. september 1927 i Boston, Massachusetts - 2011[1][2][3][4] ) var en 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 henvisninger
- ^ Stanford Engineering confirmed McCarthy's death on twitter.
- ^ Biggs, John (October 24, 2011). "Creator Of Lisp, John McCarthy, Dead At 84". TechCrunch.
- ^ Cifaldi, Frank (October 24, 2011). "Artificial Intelligence Pioneer John McCarthy Dies". Gamasutra.
- ^ Thomson, Iain (24 oktober 2011). "Father of Lisp and AI John McCarthy has died". The Register. San Francisco.
{{cite news}}
: CS1-vedligeholdelse: Dato automatisk oversat (link)
Wikimedia Commons har medier relateret til: |