Alonzo Church

Alonzo Church (født 14. juni 1903, død 11. august 1995) var en amerikansk matematiker, som var ansvarlig for noget af det grundlæggende teoretiske datalogi.

Alonzo Church
Født	14. juni 1903 Washington D.C., District of Columbia, USA
Død	11. august 1995 (92 år) Hudson, Ohio, USA
Gravsted	Princeton Cemetery
Nationalitet	Amerikansk
Uddannelse og virke
Uddannelses­sted	Harvard Universitet (1927-1928), Georg-August-Universität Göttingen (1928-1928), Amsterdam Universitet (1929-1929), Princeton Universitet (1920-1927)
Medlem af	National Academy of Sciences, American Association for the Advancement of Science, American Academy of Arts and Sciences
Beskæftigelse	Universitetsunderviser, matematiker, filosof, datalog
Fagområde	Matematisk logik, teoretisk datalogi, matematik, logik
Arbejdsgiver	University of California, Los Angeles (1967-1990), Princeton Universitet (1929-1967)
Kendte værker	Church–Rosser læresætning, Church–Turing læresætning, lambdakalkyle, Church-Turing-tesen, Church–Turing–Deutsch princip med flere
Information med symbolet hentes fra Wikidata. Kildehenvisninger foreligger sammesteds.  [ redigér på Wikidata ]

I 1924 modtog han en kandidat fra Princeton University og færdiggjorde sin Ph.D. der i 1927. Efterfølgende underviste han samme sted i årene 1929 til 1967, samt ved University of California, Los Angeles i de følgende 13 år.

Spire Denne naturvidenskabelige biografi er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den.