Alonzo Church

Wikipedia
Loikkaa: valikkoon, hakuun

Alonzo Church (14. kesäkuuta 190311. elokuuta 1995) oli yhdysvaltalainen matemaatikko ja loogikko, joka 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ä.

Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.