Словарь по логике

Чёрч

Алонзо Чёрч, Church (14.6.1903, Вашингтон - 1995): Американский математик и логик. Работы по теории функций, теории алгоритмов, логической семантике, модальной логике. Развивал функциональный подход в основаниях математики, ввел понятия лямбда-оператора и лямбда-определимости, построил вариант лямбда-исчисления. В 1935 (опубл. в 1936) привел первый пример неразрешимого перечислимого множества. В 1936 доказал неразрешимость (относительно доказательства) узкого исчисления предикатов первого порядка. В 1936 сформулировал тезис, получивший его имя, что совокупность всех частично-рекурсивных (общерекурсивных) функций совпадает с совокупностью всех эффективно вычислимых (вычислимых посредством алгоритмов) функций. Один из основателей (1936) и редактор (до 1979) "Journal of Symbolic Logic". Автор Библиографии математической логики от ее зарождения дл 1935 г. На русском - "Введение в математическую логику", т. 1 (1960).