John McCarthy
John McCarthy | |
John McCarthy | |
Date personale | |
---|---|
Născut | 4 septembrie 1927 Boston, Massachusetts, SUA |
Decedat | (84 de ani) Stanford, California, SUA |
Cauza decesului | cauze naturale (infarct miocardic[1]) |
Părinți | Ida Glatt McCarthy[*] |
Cetățenie | Statele Unite ale Americii[2] |
Religie | Ateu[5] |
Ocupație | matematician informatician inginer cadru didactic universitar[*] cercetător al inteligenței artificiale[*] |
Limbi vorbite | limba engleză[6][7] |
Activitate | |
Rezidență | Statele Unite ale Americii |
Domeniu | informatician |
Instituție | MIT Universitatea Stanford Universitatea Princeton |
Alma Mater | California Institute of Technology[2] Universitatea Princeton[2] Belmont High School[*] |
Organizații | Academia Națională de Științe a Statelor Unite ale Americii[*] Academia Americană de Arte și Științe[*] Association for the Advancement of Artificial Intelligence[*] Association for Computing Machinery[3] Asociația Americană pentru Progresul Științei[*][4] |
Cunoscut pentru | Lisp |
Premii | Premiul Turing, 1971 |
Prezență online | |
Modifică date / text |
John McCarthy (n. 4 septembrie 1927, Boston, Massachusetts, SUA – d. 23 octombrie 2011,[8] Stanford, California, SUA) a fost un informatician american, laureat al Premiului Turing în 1971 pentru contribuțiile aduse în domeniul inteligenței artificiale. El este cel care a propus termenul de inteligență artificială la conferința de la Dartmouth din 1956 și a inventat limbajul de programare LISP.
Tinerețea și educația
modificareJohn McCarthy s-a născut la Boston, Massachusetts în ziua de 4 septembrie 1927 în familia unui imigrant irlandez căsătorit cu o imigrantă evreică din Lituania,[9] John Patrick și Ida Glatt McCarthy. Familia a fost obligată să se mute des în timpul Marii Crize Economice, până când tatăl lui McCarthy și-a găsit de lucru ca organizator pentru Amalgamated Clothing Workers din Los Angeles, California.
McCarthy a demonstrat de mic aptitudini deosebite pentru matematică; în adolescență, a învățat singur matematică studiind manualele universitare de la California Institute of Technology (Caltech). A fost, astfel, acceptat la Caltech după un an, și a trecut direct în anul trei la matematică.[10]
Licențiat în matematică în 1948, McCarthy și-a continuat studiile la început tot la Caltech. Doctoratul în matematică l-a primit de la Universitatea Princeton în 1951, conducător de doctorat fiind Solomon Lefschetz.
McCarthy s-a căsătorit cu programatoarea și alpinista Vera Watson, care a murit în 1978 în tentativa de a escalada Annapurna I.
Cariera și contribuțiile în informatică
modificareDupă ce a lucrat o perioadă la Princeton, la Universitatea Stanford, la Dartmouth și la MIT, a devenit profesor universitar la Stanford în 1962, unde a rămas până când s-a pensionat la sfârșitul lui 2000. Înainte de a pleca de la MIT era deja denumit „Unchiul John”.[11]
McCarthy a fost un susținător al logicii matematice pentru inteligența artificială. În 1958, a propus „sfătuitul” (în engleză advice taker), un program care a inspirat și alte eforturi de programare logică și răspuns automat la întrebări. Pe la 1959, a inventat conceptul de garbage collection pentru rezolvarea problemelor de alocare de memorie în LISP.[12][13] Bazat pe calculul lambda, LISP a devenit rapid limbajul de programare preferat pentru aplicații de IA după ce a fost publicat de McCarthy în 1960.[14] El a ajutat la crearea lui Project MAC la MIT, dar a plecat de la MIT la Universitatea Stanford în 1962, unde a contribuit la înființarea laboratorului de IA, mulți ani un „rival” al lui Project MAC.
În 1961, a fost primul care a susținut în public (într-un discurs ținut cu ocazia centenarului MIT) că tehnologia de partajare a cuantelor de timp de procesor va duce la un viitor în care puterea de calcul și chiar aplicațiile distincte se vor putea vinde prin modelul de business al utilităților (cum ar fi apa sau electricitatea). Ideea unei utilități informatice era foarte populară la sfârșitul anilor 1960, dar a dispărut prin anii 1990. După 2000 însă, ea a reapărut în forme noi (grid computing, cloud computing.)
Între 1978 și 1986, McCarthy a dezvoltat metoda circumscripției în domeniul raționamentelor nemonotone.
În 1982 se pare că el a venit cu ideea unei „fântâni spațiale” (o formă de „ascensor spațial”), care a fost apoi analizată de Roderick Hyde.[15]
McCarthy a comentat adesea problemele de actualitate pe forumurile Usenet. Unele din ideile lui se pot găsi pe pagina sa de web despre sustenabilitate,[16] al cărui scop este cel de a „arăta că progresul material uman este dezirabil și sustenabil”.
Povestirea sa „The Robot and the Baby” scrisă în 2001[17] a explorat detașat întrebarea dacă roboți ar trebui să aibă (sau să simuleze) sentimente, și a anticipat aspecte ale culturii Internetului și ale rețelelor sociale devenite evidente în deceniul ce a urmat.[18]
Note
modificare- ^ https://www.latimes.com/nation/la-xpm-2011-oct-27-la-me-john-mccarthy-20111027-story.html Lipsește sau este vid:
|title=
(ajutor) - ^ a b c http://amturing.acm.org/award_winners/mccarthy_0239596.cfm, accesat în Lipsește sau este vid:
|title=
(ajutor) - ^ https://awards.acm.org/fellows/award-recipients, accesat în Lipsește sau este vid:
|title=
(ajutor) - ^ Notable Names Database
- ^ McCarthy, John (). „Commentary on World, US, and scientific affairs”. Accesat în .
By the way I'm an atheist.
- ^ CONOR.SI[*] Verificați valoarea
|titlelink=
(ajutor) - ^ IdRef, accesat în
- ^ Metz, Cade (). „John McCarthy — Father of AI and Lisp — Dies at 84” [John McCarthy, părintele IA și al Lispului, a murit la 84 de ani]. Wired.
- ^ Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists, Dennis Shasha și Cathy Lazere, Springer 1998.
- ^ Hayes, Patrick J. (). „On John McCarthy's 80th Birthday, in Honor of his Contributions”. AI Magazine. Association for the Advancement of Artificial Intelligence. 28 (4): 93–102. Arhivat din original la . Accesat în .
- ^ Steven Levy, Hackers, Heroes of the Computer Revolution, p. 34
- ^ „Recursive functions of symbolic expressions and their computation by machine”. Communications of the ACM. aprilie 1960. Accesat în .
- ^ „Recursive functions of symbolic expressions and their computation by machine, Part I”. Accesat în .
- ^ McCarthy, John (). „Recursive Functions of Symbolic Expressions and Their Computation by Machine”. CACM. 3 (4): 184–195. doi:10.1145/367177.367199.
- ^ McCarthy, John (1 august 1994). "Re: SPACE BRIDGE SHORT" . Post pe in grupul de știri Usenet sci.space.tech.
- ^ McCarthy, John (4 februarie 1995). "Progress and its sustainability". formal.standard.edu.
- ^ McCarthy, John (28 iunie 2001). "The Robot and the Baby". formal.stanford.edu.
- ^ „WordswithMeaning! | The Death of TRUE Tech Innovators D. Ritchie & J. McCarthy – Yet The Death of Steve Jobs Overshadows All. - WordswithMeaning!”. Arhivat din original la . Accesat în .