Алонзо Чёрч

Чёрч прославился разработкой теории лямбда-исчислений, последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование т. н. «неразрешимых задач». Эта статья предшествовала знаменитому исследованию Алана Тьюринга на тему проблемы остановки, в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как тезис Чёрча — Тьюринга.

Чёрч оставался профессором математики в Принстоне до 1967 года, после чего он переехал в Калифорнию. Помимо прочего, его система лямбда-исчислений легла в основу функциональных языков программирования, в частности семейства Лисп (например, Scheme).

Произведения, переведенные на русский язык

• Введение в математическую логику. М., Издательство иностранной литературы, 1960.