John McCarthy (informaticus)
Van Wikipedia
John McCarthy (geboren 4 september 1927 te Boston in Massachusetts) is een prominent informaticus. Hij geniet veel bekendheid om zijn werk in de kunstmatige intelligentie, maar ook zijn eerdere werk is bijzonder indrukwekkend. In 1971 ontving hij, voor zijn bijdragen aan de kunstmatige intelligentie, de Turing Award.
McCarthy behoort tot de tweede generatie van wiskundigen (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.
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, waarvan hij de specificaties in 1960 publiceerde 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 visionaire papers 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 dienst doen als plattegrond voor de ontwikkeling van de formele informatica zoals deze echt heeft plaatsgevonden.
McCarthy heeft zich, als onderdeel van zijn interesse voor kunstmatig intelligente systemen, toegelegd op de behandeling van formele talen. In de eerder genoemde papers 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.
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, 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, 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 rechtse optiek.
[bewerk] Externe links
- John McCarthy's Home Page - De website van John McCarthy bij Stanford
