John McCarthy (informaticus): verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Sterfplaats toegevoegd
Kleuske (overleg | bijdragen)
-Juichtoontje
Regel 1:
[[Bestand:John McCarthy Stanford.jpg|thumb|John McCarthy.]]
'''John McCarthy''' ([[Boston]] ([[Massachusetts]]), [[Stanford_(Californië)|Stanford]] ([[Californië]]) [[4 september]] [[1927]] - [[23 oktober]] [[2011]]) is een prominent [[informaticus]]. Hijdie genietvooral veelbekend bekendheidis om zijn werk in de [[kunstmatige intelligentie]], maareen ookterm zijndie eerderehij werkgeopperd heeft, en is bijzonderde indrukwekkendbedenker van de taal [[Lisp]]. In [[1971]] ontving hij, voor zijn bijdragen aan de kunstmatige intelligentie, de [[Turing Award]].
 
McCarthy behoort tot de tweede generatie van [[wiskundige]]n (na mensen als [[Alonzo Church]] en [[Alan Turing]]) die zich in hun werk in het bijzonder richtten op vraagstukken uit het [[vakgebied]] van de [[informatica]] en tot de eerste generatie van mensen (samen met bijvoorbeeld [[Edsger Dijkstra]]) die met recht informaticus genoemd mogen worden en niet alleen gespecialiseerd wiskundige.
 
== Biografie ==
McCarthy studeerde 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-universiteit|Stanford]], Dartmouth en het [[Massachusetts Institute of Technology|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, dat jarenlang vriendschappelijk wedijverde met Project MAC.
 
McCarthy studeerde 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-universiteit|Stanford]], Dartmouth en het [[Massachusetts Institute of Technology|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, dat jarenlang vriendschappelijk wedijverde met Project MAC.
Tegenwoordig is McCarthy veelvuldig te vinden op forums op het [[Internet]], waar hij zich uitlaat over allerhande zaken -- veelal vanuit een [[rechts (politiek)|rechtse]] optiek.
 
== Wetenschappelijk werk ==
 
McCarthy is de persoon die de term "kunstmatige intelligentie" bedacht heeft. Hij introduceerde deze term tijdens een voordracht bij de [[Dartmouth Conference]] in [[1955]]. Het is dan ook niet verrassend dat McCarthy de bedenker is van de programmeertaal [[Lisp (programmeertaal)|LISP]], waarvan hij de specificaties in [[1960]] publiceerde in de ''Communications of the [[Association of Computing Machinery|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 visionaire paperspublicaties schetste hij de – volgens hem noodzakelijke – ontwikkeling voor een sterk formalistische, [[wiskunde|wiskundige]] basis voor de informatica. Meer dan 40 jaar later kunnen deze papers vrijwel dienst doen 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 taal|formele talen]]. In de eerder genoemde paperspublicaties introduceerde hij al het idee van een [[abstracte syntaxis]] voor formele talen, een concept dat zich sindsdien ontwikkeld heeft tot de kern van de [[compiler]]bouw en het begrip dat informatici van [[compilatie (informatica)|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.
 
== Externe links ==