Alonzo Church
amerikansk matematiker
Der er ingen kildehenvisninger i denne artikel, hvilket er et problem. (marts 2018) (Lær hvordan og hvornår man kan fjerne denne skabelonbesked) |
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 | |
| Uddannelsessted |
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. | |
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. |  |