John McCarthy (informaticus)
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, 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/ | Caltech, Princeton-universiteit, Belmont High School | |
Leerling van | Solomon Lefschetz | |
Promotor | Donald C. Spencer | |
Militair | ||
Legeronderdeel | United States Army | |
Religie | ||
Religie | atheïsme | |
Familie | ||
Moeder | Ida Glatt McCarthy | |
Persoonlijk | ||
Talen | 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 workshop | |
Prijzen en onderscheidingen | Turing Award (1971), Benjamin Franklin Medal (2003), National Medal of Science (1990), Computer Pioneer Award (1985) | |
Website | Officiële website | |
De informatie in deze infobox is afkomstig van Wikidata. U kunt die informatie hier bewerken. |
John McCarthy (Boston, 4 september 1927 – Palo 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
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
- 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.
Noot
- ↑ (en) Biografie John McCarthy, op NNDB (Geraadpleegd op 25 oktober 2011). Gearchiveerd op 19 juli 2023.
Externe link
- John McCarthy's Home Page - De website van John McCarthy bij Stanford
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/25px-Commons-logo.svg.png)