Alonzo Church
yhdysvaltalainen matemaatikko
Alonzo Church (14. kesäkuuta 1903 Washington – 11. elokuuta 1995 Hudson, Ohio) oli yhdysvaltalainen matemaatikko.[1] Church on teoreettisen tietojenkäsittelytieteen perustajia. Hän valmistui Princetonin yliopistosta vuonna 1924 ja väitteli tohtoriksi vuonna 1927. Tämän jälkeen hän jatkoi opintojaan Göttingenin yliopistossa, sekä opetti Princetonissa (1929–1967) ja Kalifornian yliopistossa Los Angelesissa (1967–1990).
Alonzo Church | |
---|---|
Henkilötiedot | |
Syntynyt | 14. kesäkuuta 1903 |
Kuollut | 11. elokuuta 1995 (92 vuotta) |
Koulutus ja ura | |
Väitöstyön ohjaaja | Oswald Veblen |
Tutkimusalue | Matemaattinen logiikka, Tietojenkäsittelyteoria, matematiikka ja logiikka |
Tunnetut työt | Churchin–Turingin teesi, lambdakalkyyli |
Church tunnetaan ennen kaikkea Churchin–Turingin teesistä ja lambdakalkyylin kehittämisestä.
Lähteet
muokkaa- ↑ Alonzo Church Encyclopaedia Britannica. Viitattu 16.9.2018. (englanniksi)