Åbn hovedmenuen

Ændringer

48 bytes tilføjet ,  for 10 år siden
m
Bot: Adding {{Commonscat|John McCarthy (computer scientist)}}; kosmetiske ændringer
'''John McCarthy''' (født [[4. september]] [[1927]] i [[Boston]], [[Massachusetts]]) er [[USA|amerikansk]] [[matematiker]], og kendt som [[pioner]] inden for [[kunstig intelligens]] og skaberen af [[programmeringssprog]]et [[Lisp]].
 
McCarthy fik en [[bachelor]]grad 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 [[styresystem]]er. 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 [[korrekthedsbevis]]er for [[program]]mer, [[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: ''Deterministic Free Will'', 2003.
 
== Eksterne adresser ==
[http://www-formal.stanford.edu/jmc/ John McCarthys hjemmeside]
{{Commonscat|John McCarthy (computer scientist)}}
 
[[Kategori:Matematikere fra USA|McCarthy, John]]
235.040

redigeringer