Ero sivun ”Alonzo Church” versioiden välillä
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
p Botti muokkasi: ml:അലോൺസോ ചർച്ച് |
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
Church tunnetaan ennen kaikkea [[Churchin–Turingin teesi]]stä ja [[lambdakalkyyli]]n kehittämisestä.
|