John McCarthy
for nulevende --> | fødested = | dødsdato = | dødssted = | bopæl = | hvilested = | nationalitet = Amerikansk | beskæftigelse = | politik = | religion = | forældre = | ægtefælle = | partner = | partnertype = | børn = | kendtfor = | hæder = | hjemmeside = | signatur = }}John McCarthy (født 4. september 1927 i Boston, Massachusetts, død 24. oktober 2011) var en amerikansk matematiker, 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 senere blev pensioneret. McCarthy har på Stanford arbejdet med alle aspekter af kunstig intelligens, herunder korrekthedsbeviser for computerprogrammer, 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. Fra Wikipedia
1
Udgivet: [2016]
Superior document: Title is part of eBook package: De Gruyter Penn eBook Package Archive 1898-1999 (pre Pub)
2
3
Udgivet: 2019.
Superior document: Coastal Research Library ; v.31
4
Udgivet: 2007.
Superior document: Urban and regional planning and development series
5
Udgivet: 2006.
Superior document: Internationale Forschungen zur Allgemeinen und Vergleichenden Literaturwissenschaft ; 97
6
Udgivet: 2006.
Superior document: Internationale Forschungen zur allgemeinen und vergleichenden Literaturwissenschaft, 97
7
Udgivet: 2013
Free to read (incl. Open Access)
Links:
Volltext
8
Udgivet: [2014]
Superior document: Title is part of eBook package: De Gruyter Princeton Legacy Lib. eBook Package 1980-1999
Links: Få fuldtekst; Få fuldtekst; Cover
9
Udgivet: 2016.
Superior document: Internationale Forschungen zur Allgemeinen und Vergleichenden Literaturwissenschaft, Volume 189
Links: Få fuldtekst
10
Udgivet: 2016.
Superior document: Internationale Forschungen zur Allgemeinen und Vergleichenden Literaturwissenschaft, Volume 189
11
Udgivet: [2018]
Superior document: Amsterdamer Beitrage zur neueren Germanistik ; Volume 90
Links: Få fuldtekst
12
Udgivet: [2018]
Superior document: Amsterdamer Beitrage zur neueren Germanistik ; Volume 90
13
Udgivet: [2021]
Links: Få fuldtekst
14
Udgivet: 1990.
Superior document: Amsterdam studies in the theory and history of linguistic science. Series IV, Current issues in linguistic theory, v. 72
Links: Få fuldtekst
15
Udgivet: [2000]
Superior document: Internationale Forschungen zur allgemeinen und vergleichenden Literaturwissenschaft ; 43
16
Udgivet: c2005.
Links: Få fuldtekst
17
Udgivet: 1992.
Superior document: Amsterdam studies in the theory and history of linguistic science. Series IV, Current issues in linguistic theory, v. 85
Links: Få fuldtekst
18
Udgivet: 2020.
Superior document: Internationale Forschungen zur Allgemeinen und Vergleichenden Literaturwissenschaft; volume200
19
Udgivet: 2007.
Superior document: Internationale Forschungen zur allgemeinen und vergleichenden Literaturwissenschaft, 106
20
Udgivet: 2019.
Superior document: Coastal Research Library, 31