Alonzo Church
![]() | 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. | ![]() |
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 |
Universitetslærer, 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. | ![]() |
|