John McCarthy: Forskelle mellem versioner
Content deleted Content added
Jummals (diskussion | bidrag) billede |
Glenn (diskussion | bidrag) m linkændr |
||
Linje 6:
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 senere blev pensioneret. McCarthy har på Stanford arbejdet med alle aspekter af kunstig intelligens, herunder [[korrekthedsbevis]]er for [[
McCarthy modtog i [[1971]] [[ACM]]'s [[Turing Award]] for sit arbejde med kunstig intelligens.
| |||