Alonzo Church
amerikansk matematiker / From Wikipedia, the free encyclopedia
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.
Hurtige fakta Født, Død ...
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. |
Luk
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. |