Чёрч Алонзо

Чёрч Ало́нзо (Alonzo Church) (14.6.1903, Вашингтон – 11.8.1995, Хадсон, штат Огайо), американский математик и логик, член Национальной АН США (1978).

Окончил Принстонский университет (1927). В 1928–1929 гг. слушал лекции в Гёттингенском, в 1929 г. – в Амстердамском университетах. С 1929 г. работал в Принстонском университете (с 1939 г. профессор математики, с 1961 г. профессор философии). С 1967 г. профессор Калифорнийского университета в Лос-Анджелесе.

Внёс большой вклад в развитие математической логики и теории автоматов. Разработал (1932–1933) систему аксиом для общей теории логики. В 1936 г. исследовал классы вычислимых функций. В том же году сформулировал т. н. тезис Чёрча, который широко используется в теории алгоритмов и теории алгоритмических проблем.