Alonzo Church

Wikipediasta
Siirry navigaatioon Siirry hakuun
Alonzo Church
Henkilötiedot
Syntynyt14. kesäkuuta 1903
Kuollut11. 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

Alonzo Church (14. kesäkuuta 1903 Washington11. 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).

Church tunnetaan ennen kaikkea Churchin–Turingin teesistä ja lambdakalkyylin kehittämisestä.

Lähteet[muokkaa | muokkaa wikitekstiä]

  1. Alonzo Church Encyclopaedia Britannica. Viitattu 16.9.2018. (englanniksi)
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.