Американский логик и математик, член Американской академии искусств и наук. Родился в Вашингтоне. Окончил Принстонский университет (1927). В 1927—1928 был стипендиатом по математике в Гарвардском университете,в 1928—1929 слушал лекции в Гёттингенском, в 1929 — в Амстердамском университетах. С 1929 работал в Принстонском университете (с 1939 — профессор математики, с 1961 — профессор философии). С 1967— профессор Калифорнийского университета в Лос-Анджелесе.                      Основные исследования относятся к математической логике. Разработал (1932—1933) систему аксиом для общей теории логики и дал первую формулировку теории, названной позже исчислением А-преобразования. Иссследовал (1936) класс исчислимых функций, выделив класс λ-определимых функций. В том же году сформулировал «тезис Черча», в котором утверждается, что для логики предикатов нельзя дать никакого общего метода решения вопроса относительно значимости некоторой формулы. Ряд работ по математической и символической логике.