![]() | Der er ingen kildehenvisninger i denne artikel, hvilket er et problem. Du kan hjælpe ved at angive kilder til de påstande, der fremføres. Hvis ikke der tilføjes kilder, vil artiklen muligvis blive slettet (marts 2018) (Lær hvordan og hvornår man kan fjerne denne skabelonbesked) |
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 | ![]() |
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 ![]() ![]() ![]() |
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.
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. | ![]() |
Autoritetsdata |
---|