Church, Alonzo
Alonzo Church
Church [čerč], Alonzo, 14. 6. 1903 Washington, D. C. – 11. 8. 1995 Hudson, Ohio — americký logik a matematik. R. 1929 – 67 pôsobil na Princetonskej univerzite (1947 profesor matematiky, 1961 profesor matematiky a filozofie), 1967 – 90 profesor matematiky a filozofie na Kalifornskej univerzite v Los Angeles. Zaoberal sa matematickou logikou, teóriou rekurzie a teoretickou počítačovou vedou (computer science). Autor tzv. lambda kalkulu (→ lambda počet) (1930), t. j. formalizovaného systému vhodného na skúmanie funkcií (používaného v počítačovej vede). R. 1936 dokázal tzv. Churchovu teorému (→ Churchova téza) a 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.