Ero sivun ”Alonzo Church” versioiden välillä

[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
Jotterbot (keskustelu | muokkaukset)
pEi muokkausyhteenvetoa
Rivi 1:
'''Alonzo Church''' ([[14. kesäkuuta]] [[1903]] – [[11. elokuuta]] [[1995]]) oli [[Yhdysvallat|yhdysvaltalainen]] [[matematiikka|matemaatikko]] ja [[logiikka|loogikko]], joka on teoreettisen [[tietojenkäsittelytiede|tietojenkäsittelytieteen]] perustajia. Hän valmistui [[Princetonin yliopisto]]sta vuonna [[1924]] ja väitteli tohtoriksi vuonna [[1927]]. Tämän jälkeen hän jatkoi opintojaan [[Göttingenin yliopisto]]ssa, sekä opetti Princetonissa (1929–1967) ja [[Kalifornian yliopisto]]ssa, [[Los Angeles|Kalifornian yliopistossa Los Angelesissa]]issa (1967–1990).
 
Church tunnetaan ennen kaikkea [[Churchin–Turingin teesi]]stä ja [[lambdakalkyyli]]n kehittämisestä.