Черч (Church) Алонзо (р 14.6.1903, Вашингтон), американський логік, математик. Професор Прінстонського університету (1947—1967). З 1967 професор математики і філософії Каліфорнійського університету (Лос-Анджелес). Роботи Ч. відносяться до різних областей логіки. Він розвинув думку про відділення поняття функції від поняття безлічі. У 1936 висунув основну гіпотезу теорії обчислюваних функцій (т.з. теза Черча): кожна ефективно обчислювана функція є загальнокурсивною (див. Рекурсивні функції ). У 1935 Ч. привів приклад нерозв'язної масової проблеми, а в 1966 довів, що дозволи проблема для числення предикатів нерозв'язна. Ці результати зробили великий вплив на розвиток математичної логіки. Ч. вніс істотний вклад до розвитку комбінаторної логіки: йому належать дослідження в області логічної семантики і модальної логіки.
Соч. у русявий.(російський) пер.(переведення): Введення в математичну логіку, т. 1, М., 1960.
