Alonzo Church

Alonzo Church
Persoonlijke gegevens
Titelatuur/graad	Doctor of Philosophy
Geboortedatum	14 juni 1903
Geboorteplaats	Washington D.C.
Overlijdensdatum	11 augustus 1995
Overlijdensplaats	Hudson
Beroep	wiskundige, filosoof, academisch docent, informaticus
Lid van	American Academy of Arts and Sciences, American Association for the Advancement of Science,[1] Amerikaanse Nationale Wetenschapsacademie
Academische achtergrond
Alma mater	Harvard-universiteit (1927; 1928),[2] Princeton-universiteit (1920; 1927),[2] Georg-August-Universität Göttingen (1928; 1928),[2] Universiteit van Amsterdam (1929; 1929)[2]
Proefschrift	Alternatives to Zermelo's Assumption
Promotor(s)	Oswald Veblen[3]
Archieflocatie(s)	Princeton University Library, Universiteitsarchief van ETH Zürich[4]
Wetenschappelijk werk
Vakgebied(en)	wiskundige logica, theoretische informatica, wiskunde, logica
Bekend van	Church-Turing-hypothese, Church–Turing–Deutsch principle, Frege–Church ontology, Church–Rosser theorem, Church–Turing theorem, lambdacalculus

Alonzo Church (Washington D.C., 14 juni 1903 - Hudson (Ohio), 11 augustus 1995) was een Amerikaans wiskundige en logicus. Tot zijn verdiensten behoort een aantal van de meest fundamentele onderdelen van de theoretische informatica.

Church studeerde wiskunde aan de Princeton University, waar hij in 1924 zijn bachelor behaalde. Hij studeerde door aan dezelfde universiteit en promoveerde in 1927, onder begeleiding van Oswald Veblen. In 1929 werd hij te Princeton aangesteld als universitair docent.

Church bleef in Princeton (tot en met hoogleraarschap) tot 1967, toen hij naar Californië verhuisde.

Church geniet zijn voornaamste bekendheid door de door hem ontwikkelde lambdacalculus. Hij introduceerde deze calculus in zijn beroemde paper uit 1936^[5], waarin hij het bestaan van een onbeslisbaar probleem aantoonde. Met dit resultaat was hij net Alan Turing en diens beroemde werk aangaande het stopprobleem voor, waarin Turing op meer mechanische wijze hetzelfde aantoonde. Na hun wederzijdse bevindingen toonden Turing en Church aan dat hun mechanismes gelijkwaardig waren qua uitdrukkingskracht, gevolgd door dergelijke bewijzen van gelijkwaardigheid voor een aantal andere modellen van berekening die destijds de ronde deden. Het resultaat van deze inspanningen was de Church-Turing-hypothese. Omdat er onenigheid bestaat over wie nou precies als eerste op het idee kwam, wordt deze stelling her en der ook Stelling van Church of Stelling van Turing genoemd.

Church was ook de geestelijke grootvader van zeer substantiële ontwikkelingen in de theoretische informatica en wiskunde; tot zijn promovendi behoorden onder meer Stephen Kleene, J. Barkley Rosser, Leon Henkin, John George Kemeny, Michael Rabin, Dana Scott, Simon B. Kochen en Raymond Smullyan.

De praktische invloed van Church' lambdacalculus is direct voelbaar in het ontwerp van veruit de meeste, functionele programmeertalen en in het bijzonder in de LISP-taal.