Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson) był amerykańskim logikiem oraz matematykiem.
Życiorys
Ukończył studia na Uniwersytecie Princeton (uzyskując tytuł magistra w 1924 roku oraz doktorat z wyróżnieniem w 1927 roku). Po zakończeniu nauki przez rok pracował na Uniwersytecie Harvarda, następnie spędził pół roku w Getyndze oraz kolejne pół roku w Amsterdamie, gdzie współpracował z Brouwerem. Po powrocie do Stanów Zjednoczonych objął w 1929 roku stanowisko profesora matematyki na Uniwersytecie Princeton, które zajmował do 1967 roku, kiedy to przeniósł się do Kalifornii, gdzie również został profesorem matematyki oraz filozofii.
Prace Churcha miały istotny wpływ na logikę matematyczną oraz informatykę. W 1930 roku opracował tzw. rachunek lambda, który jest odpowiednikiem uniwersalnej maszyny Turinga. Jego znane osiągnięcie stanowi twierdzenie z 1936 roku dotyczące nierozstrzygalności pełnego rachunku predykatów (zamieszczone w artykule: An unsolvable problem in elementary number theory, American Journal of Mathematics 58 (1936), 345-363). Twierdzenie to stanowi alternatywne rozwiązanie problemu Entscheidungsproblem, który został postawiony przez Davida Hilberta w 1928 roku. Twierdzenia Churcha i Turinga, będące kontynuacją badań Kurta Gödla, nazwane zostały Tezą Churcha-Turinga.
W 1936 roku Alonzo Church założył „Journal of Symbolic Logic” i redagował to czasopismo aż do 1979 roku. W 1956 roku opublikował książkę Introduction to Mathematical Logic.
W ciągu swojej kariery wypromował 31 studentów, wśród których znajdował się Alan Turing.
Przypisy
Bibliografia
Agnijo Banerjee, David Darling: Dziwna matematyka. Helion S.A., 2020. ISBN 83-283-5687-2.
Linki zewnętrzne
John J. O’Connor; Edmund F. Robertson: Alonzo Church w MacTutor History of Mathematics archive (ang.)
Alonzo Church w bazie Mathematics Genealogy Project (ang.) [dostęp 2021-10-30].
PeterP. Andrews PeterP., Church’s Type Theory, [w:] Stanford Encyclopedia of Philosophy, CSLI, Stanford University, 14 lutego 2014, ISSN 1095-5054 [dostęp 2017-12-31] (ang.). (Teoria typów Churcha)
Church, Alonzo (1903–95) (ang.), Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-09].
