McCarthy, John

John McCarthy
engelsk  John McCarthy

McCarthy i 2006
Fødselsdato 4. september 1927( 04-09-1927 ) [1] [2] [3] […]
Fødselssted Boston , USA
Dødsdato 24. oktober 2011( 2011-10-24 ) [4] [2] [3] (84 år)
Et dødssted Stanford , Californien , USA
Land
Videnskabelig sfære Computerteknik
Arbejdsplads
Alma Mater Princeton University , Caltech
videnskabelig rådgiver Donald C. Spencer [d]
Kendt som skaberen af ​​Lisp
Præmier og præmier vinder af Turing-prisen, 1971; modtager af Benjamin Franklin-medaljen i datalogi og kognitiv videnskab, 2003
Internet side www-formal.stanford.edu/…
Wikiquote logo Citater på Wikiquote
 Mediefiler på Wikimedia Commons

John McCarthy ( Eng.  John McCarthy ; 4. september 1927 , Boston  - 24. oktober 2011 [5] [6] [7] , Stanford ) - amerikansk computerforsker , forfatter til begrebet " kunstig intelligens " (1956), opfinder af Lisp-sproget ( 1958), grundlægger af funktionel programmering , vinder af Turing-prisen (1971) for hans enorme bidrag til forskningen i kunstig intelligens.

Medlem af US National Academy of Sciences (1989) [8] .

Biografi

Født i en familie af immigranter - irske John Patrick McCarthy og litauiske jødinde Ida Glatt (1893-1957). Hans far var fagforeningsmand, hans mor var journalist. Under den store depression blev familien tvunget til at skifte bopæl ofte, indtil McCarthys far endelig fandt arbejde i Los Angeles .

Han viste en tidlig evne til matematik, i sin ungdom studerede han det uafhængigt fra universitetets lærebøger, som blev brugt på det nærliggende California Institute of Technology . Som et resultat, efter at have gået ind på universitetet, var jeg i stand til straks at springe de første to år i matematik over [9] . I 1948 modtog han en bachelorgrad i matematik fra California Institute of Technology , i 1951 - en ph.d. i matematik ved Princeton . Efter korte stillinger ved Princeton og Stanford Universiteter, Dartmouth College og Massachusetts Institute of Technology blev han professor ved Stanford i 1962 , hvor han forblev indtil sin pensionering i slutningen af ​​2000.

Fortaler for brugen af ​​matematisk logik til kunstig intelligens . I 1958 foreslog han et system med at "tage råd", som senere inspirerede arbejde med forespørgselsbesvarelse og logisk programmering .

Samme år udviklede han programmeringssproget Lisp [10] og offentliggjorde dets beskrivelse i Communications of the ACM i april 1960 [11] .

I 1961 foreslog han offentligt, at tidsdeling af computerteknologi kunne føre til en fremtid, hvor computerressourcer og endda visse applikationer kunne distribueres ved hjælp af en forsyningsvirksomhedsmodel (svarende til vand eller elektricitet). Denne idé var meget populær i slutningen af ​​1960'erne, men gik af mode i midten af ​​1970'erne, da det stod klart, at datidens hardware, software og kommunikationsteknologi simpelthen ikke var klar til det endnu. Siden 2000'erne er denne idé imidlertid blevet udmøntet i nye former, især såsom cloud computing [12] .

Priser

Noter

  1. ↑ John McCarthy // Great Soviet Encyclopedia : [i 30 bind] / red. A. M. Prokhorov - 3. udg. — M .: Soviet Encyclopedia , 1969.
  2. ↑ 1 2 3 http://amturing.acm.org/award_winners/mccarthy_0239596.cfm
  3. ↑ 1 2 John McCarthy // Internet Speculative Fiction Database  (engelsk) - 1995.
  4. ↑ http://news.stanford.edu/news/2011/october/john-mccarthy-obit-102511.html
  5. ↑ Creator Of Lisp, John McCarthy, Dead At 84 . Hentet 25. oktober 2011. Arkiveret fra originalen 11. april 2021.
  6. ↑ Morre John McCarthy, Pioneiro da Intelligência Artificial e pai do Lisp . Hentet 24. oktober 2011. Arkiveret fra originalen 9. november 2011.
  7. ↑ Stanford Engineering bekræftede McCarthys død på twitter Arkiveret 21. maj 2011 på Wayback Machine .
  8. ↑ John McCarthy Arkiveret 29. oktober 2018 på Wayback Machine 
  9. ↑ Hayes, Patrick J.; Leora Morgenstern. På John McCarthys 80-års fødselsdag, til ære for hans bidrag  (engelsk)  // AI Magazine: journal. - 2007. - Bd. 28 , nr. 4 .
  10. ↑ John McCarthy et al. LISP 1.5 programmeringsmanual. MIT Press, 1962.
  11. ↑ Rekursive funktioner af symbolske udtryk og deres beregning ved maskine, del I, 1960 .
  12. ↑ http://cs.stanford.edu/People/faculty Arkiveret 14. juni 2007 på Wayback Machine List for Stanford Computer Science Faculty-fakultetet på Stanfords websted
  13. ↑ http://www.fi.edu/winners/2003/mccarthy_john.faw?winner_id=4368 Arkiveret 29. september 2007 på Wayback Machine Franklin Institute-webstedet, 2003 Franklin Medal award side

Litteratur

Links

  Gå til Wikidata-elementet  Tematiske steder
Ordbøger og encyklopædier
Slægtsforskning og nekropolis
 Turing prisvindere