Church, Alonzo
Alonzo Church
Church [čerč], Alonzo, 14. 6. 1903 Washington, D. C. – 11. 8. 1995 Hudson, Ohio — americký logik a matematik. V rokoch 1929 – 67 pôsobil na Princetonskej univerzite (1947 profesor matematiky, 1961 profesor matematiky a filozofie) a v rokoch 1967 – 90 bol profesorom matematiky a filozofie na Kalifornskej univerzite v Los Angeles. Zaoberal sa matematickou logikou, teóriou rekurzie a teoretickou počítačovou vedou (computer science). Bol autorom tzv. lambda kalkulu (→ lambda počet), t. j. formalizovaného systému vhodného na skúmanie funkcií (používaného v počítačovej vede). V roku 1936 dokázal tzv. Churchovu teorému (→ Churchova téza) a v roku 1940 sformuloval jednoduchú teóriu typov. Jeho monografia Úvod do matematickej logiky (Introduction to Mathematical Logic, 1956) bola vo svojej dobe najrozšírenejšou učebnicou matematickej logiky v USA.