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. |
| Død | 11. august 1995 (92 år) Hudson |
| 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 | 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  hentes fra Wikidata. Kildehenvisninger foreligger sammesteds. | |
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. |  |
|
Medier brugt på denne side
Stylised atom with three Bohr model orbits and stylised nucleus.svg
Forfatter/Opretter:
Stylised atom. Blue dots are electrons, red dots are protons and black dots are neutrons.
Forfatter/Opretter:
SVG by Indolences.
Recoloring and ironing out some glitches done by Rainer Klute., Licens: CC BY-SA 3.0Stylised atom. Blue dots are electrons, red dots are protons and black dots are neutrons.