John McCarthy | |
---|---|
engelsk John McCarthy | |
| |
Födelsedatum | 4 september 1927 [1] [2] [3] […] |
Födelseort | Boston , USA |
Dödsdatum | 24 oktober 2011 [4] [2] [3] (84 år) |
En plats för döden | Stanford , Kalifornien , USA |
Land | |
Vetenskaplig sfär | Datorteknik |
Arbetsplats | |
Alma mater | Princeton University , Caltech |
vetenskaplig rådgivare | Donald C. Spencer [d] |
Känd som | skaparen av Lisp |
Utmärkelser och priser | vinnare av Turing-priset, 1971; mottagare av Benjamin Franklin-medaljen i datavetenskap och kognitiv vetenskap, 2003 |
Hemsida | www-formal.stanford.edu/… |
Citat på Wikiquote | |
Mediafiler på Wikimedia Commons |
John McCarthy ( Eng. John McCarthy ; 4 september 1927 , Boston - 24 oktober 2011 [5] [6] [7] , Stanford ) - amerikansk datavetare , författare till termen " artificiell intelligens " (1956), uppfinnare av the Lisp language (1958), grundare av funktionell programmering , vinnare av Turing Award (1971) för hans enorma bidrag till forskningen om artificiell intelligens.
Medlem av US National Academy of Sciences (1989) [8] .
Född i en familj av invandrare - irländaren John Patrick McCarthy och litauiska judinnan Ida Glatt (1893-1957). Hans far var fackligt aktiv, hans mamma var journalist. Under den stora depressionen tvingades familjen att byta bostadsort ofta, tills McCarthys far slutligen hittade arbete i Los Angeles .
Han visade en tidig fallenhet för matematik, i sin ungdom studerade han den självständigt från universitetsläroböcker, som användes vid det närliggande California Institute of Technology . Som ett resultat, efter att ha kommit in på universitetet, kunde jag omedelbart hoppa över de första två åren i matematik [9] . 1948 fick han en kandidatexamen i matematik från California Institute of Technology , 1951 - en Ph.D. i matematik vid Princeton . Efter korta anställningar vid Princeton och Stanford University, Dartmouth College och Massachusetts Institute of Technology , blev han professor vid Stanford 1962 , där han stannade tills han gick i pension i slutet av 2000.
Förordade användningen av matematisk logik för artificiell intelligens . 1958 föreslog han ett system för att "ta råd", vilket senare inspirerade arbete med frågesvar och logikprogrammering .
Samma år utvecklade han programmeringsspråket Lisp [10] och publicerade dess beskrivning i Communications of the ACM i april 1960 [11] .
1961 föreslog han offentligt att tidsdelningsdatorteknik kunde leda till en framtid där datorresurser och till och med vissa applikationer kunde distribueras med hjälp av en affärsmodell för allmännyttiga tjänster (liknande vatten eller elektricitet). Denna idé var mycket populär i slutet av 1960-talet, men gick ur modet i mitten av 1970-talet när det stod klart att den tidens hårdvara, mjukvara och kommunikationsteknik helt enkelt inte var redo för det ännu. Men sedan 2000-talet har denna idé förkroppsligats i nya former, i synnerhet, såsom cloud computing [12] .
Tematiska platser | ||||
---|---|---|---|---|
Ordböcker och uppslagsverk | ||||
Släktforskning och nekropol | ||||
|
John McCarthy | |
---|---|
|
av Turingpriset | Vinnare|
---|---|
|