Åbn hovedmenuen

Ændringer

23 bytes fjernet ,  for 7 år siden
emeritus virker overflødigt, når han er død
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 isenere dag erblev 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.
88.804

redigeringer