John McCarthy (informaticus)

Uit Wikipedia, de vrije encyclopedie
Naar navigatie springen Naar zoeken springen
John McCarthy
John McCarthy
Algemene informatie
Land Verenigde Staten van Amerika
Geboortedatum 4 september 1927
Geboorteplaats Boston
Overlijdensdatum 24 oktober 2011
Overlijdensplaats Stanford
Doodsoorzaak hartinfarct
Wijze van overlijden natuurlijke dood
Werk
Beroep wiskundige, informaticus, ingenieur, academisch docent, kunstmatige intelligentie-onderzoeker
Werkveld kunstmatige intelligentie
Werkgever(s) Princeton-universiteit, Massachusetts Institute of Technology, Stanford-universiteit
Bekende werken kunstmatige intelligentie
Promovendi Raj Reddy, Ramanathan V. Guha, Barbara Liskov, Ruzena Bajcsy, Erik Sandewall, Randall Davis, Claude Cordell Green, James Allan Painter, Monti Don Callero, Donald Maurice Kaplan, Donald Arthur Waterman, Pierre Jules Louis Edmond Vicens, Gilbert Falk, Lynn Herman Quam, Rodney Albert Schmidt, Jr., Francis Lockwood Morris, Gunnar Rutger Grape, Bruce Guenther Baumgart, Norihisa Suzuki, Jerrold Martin Ginsparg, Brian Perry McCune, Tom Costello, Sasa Buvac, Marsha Jo Hannah, Robert Elliot Filman, Eyal Amir, Robert Carter Moore, Aarati Parmar Martino, Martin Fraser Brooks, Hans Moravec
Studie
School/universiteit Caltech, Princeton-universiteit, Belmont High School
Promotor Donald C. Spencer
Militair
Legeronderdeel United States Army
Religie
Religie atheïsme
Familie
Moeder Ida Glatt McCarthy
Persoonlijk
Talen Engels
Schrijftaal Engels
Diversen
Lid van National Academy of Sciences, American Academy of Arts and Sciences, Association for the Advancement of Artificial Intelligence, Association for Computing Machinery, American Association for the Advancement of Science
Deelnemer aan Dartmouth Summer Research Project on Artificial Intelligence
Prijzen en onderscheidingen Turing Award, Benjamin Franklin Medal, National Medal of Science, Computer History Museum fellow, IJCAI Award for Research Excellence, Kyoto Prize in Advanced Technology, Computer Pioneer Award, Programming Languages Achievement Award, Kyoto Prize, AAAI Fellow, CSS Fellow, ACM Fellow
Website http://www-formal.stanford.edu/jmc//
De informatie in deze infobox is afkomstig van Wikidata.
U kunt die informatie hier bewerken.

John McCarthy (Boston, 4 september 1927Palo Alto, 23 oktober 2011) was een Amerikaans informaticus die vooral bekend is om zijn werk in de kunstmatige intelligentie, een term die hij geopperd heeft. Hij was tevens de bedenker van de programmeertaal Lisp. In 1971 ontving hij de Turing Award voor zijn bijdragen aan de kunstmatige intelligentie.

Biografie[bewerken | brontekst bewerken]

McCarthy was de zoon van John Patrick en Ida Glatt McCarthy.[1] Na de Belmont High School in Los Angeles studeerde hij wiskunde aan de California Institute of Technology, waar hij in 1948 zijn Bachelor of Science behaalde. In 1951 promoveerde hij in hetzelfde vakgebied aan de Universiteit van Princeton. Hij werkte achtereenvolgens kortstondig te Princeton, Stanford, Dartmouth en het MIT. Bij deze laatste was hij medeoprichter van het Project MAC, een onderzoeksproject naar kunstmatige intelligentie. Hij verliet MIT echter in 1962 en werd aangesteld als hoogleraar aan de Stanford-universiteit. Hier bleef hij de rest van zijn loopbaan, tot zijn emeritaat in 2000. Hij werkte er onder meer aan het opzetten van het Kunstmatige Intelligentie-lab van Stanford.

Wetenschappelijk werk[bewerken | brontekst bewerken]

  • McCarthy introduceerde de term kunstmatige intelligentie tijdens een voordracht bij de Dartmouth Conference in 1955.
  • De specificaties van zijn programmeertaal Lisp publiceerde hij in 1960 in de Communications of the ACM.
  • In 1961 publiceerde McCarthy een paper getiteld A Basis for a Mathematical Theory of Computation, in 1962 uitgebreid met Towards a Mathematical Science of Computation. In deze publicaties schetste hij de — volgens hem noodzakelijke — ontwikkeling voor een sterk formalistische, wiskundige basis voor de informatica. Meer dan 40 jaar later kunnen deze papers vrijwel dienstdoen als plattegrond voor de ontwikkeling van de formele informatica zoals deze echt heeft plaatsgevonden.
  • In 1969 formuleerde hij samen met Patrick J. Hayes het frame-probleem in Some philosophical problems from the standpoint of artificial intelligence.
  • McCarthy heeft zich, als onderdeel van zijn interesse voor kunstmatig intelligente systemen, toegelegd op de behandeling van formele talen. In de eerder genoemde publicaties introduceerde hij al het idee van een abstracte syntaxis voor formele talen, een concept dat zich sindsdien ontwikkeld heeft tot de kern van de compilerbouw en het begrip dat informatici van compilatie hebben. Van McCarthy's hand is ook het paper Correctness of a Compiler for Arithmetic Expressions, wat mogelijk (maar niet zeker) het eerste, formele bewijs van correctheid is van een compiler voor een formele taal.
Zie de categorie John McCarthy (computer scientist) van Wikimedia Commons voor mediabestanden over dit onderwerp.