Alonzo Church
yhdysvaltalainen matemaatikko From Wikipedia, the free encyclopedia
yhdysvaltalainen matemaatikko From Wikipedia, the free encyclopedia
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ä.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.