Biografia Church, Alonso
Alonso Church (1903-1995) – amerykański logik i matematyk.
Prace Churcha wywarły zasadniczy wpływ na logikę matematyczną i informatykę. W roku 1930 stworzył tzw. „rachunek lambda”, uznawany za potężne narzędzie badawcze.
Church został absolwentem Uniwersytetu Princeton w 1924, a w 1927 obronił doktorat z wyróżnieniem. Po studiach rok pracował na
Uniwersytecie Harvarda, a potem przez krótki okres czasu w Getyndze oraz w Amsterdamie, gdzie współpracował z Brouwerem. Po powrocie do Stanów w 1929 objął stanowisko profesora matematyki w Princeton, które zajmował do 1967, kiedy to przeniósł się do Kalifornii; tu z kolei został profesorem matematyki i filozofii.
Słynnym osiągnięciem Churcha jest jego twierdzenie z 1936 o nierozstrzygalności pełnego rachunku predykatów ("an unsolvable problem in elementary number theory"), które opublikowano w American Journal of Mathematics. Twierdzenie to uogólnia prace Goedla. Wśród osiągnięć Churcha należy także wymienić założenie w 1936 roku Journal of Symbolic Logic, nad którym sprawował redakcję aż do 1979 roku. W 1956 Church napisał ważną książkę Introduction to Mathematical Logic.
Church wypromował 31 prac doktorskich, w tym tak znamienitych postaci jak Foster, Turing, Kleene, Kemeny, Boone, czy Smullyan.
