Черч Алонзо (Church Alonzo) (р.14.6.1903, Вашингтон) - американский логик и математик, проф. Принстонского и Калифорнийского универститетов. Внес большой вклад в развитие математической логики и теории автоматов; В математической логике большую роль играет ТЕЗИС ЧЕРЧА. На русский язык переведна его книга "Введение в математическую логику", М., 1960.
