Church, Alonzo

Text hesla

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.

Popis ilustrácie

Alonzo Church

Text hesla

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.

Zverejnené v apríli 2010.

citácia

Church, Alonzo [online]. Encyclopaedia Beliana, ISBN 978-80-89524-30-3. [cit. 2019-11-18]. Dostupné na internete: https://beliana.sav.sk/heslo/church-alonzo