ЧЁРЧ
(Church) Алонзо (р 14.6.1903,
Вашингтон), американский логик, математик. Проф. Принстонского ун-та (1947-
1967). С 1967 проф. математики и философии Калифорнийского ун-та (Лос-Анджелес).
Работы Ч. относятся к различным областям логики. Он развил мысль об отделении
понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории
вычислимых функций (т. н. тезис Чёрча): каждая эффективно вычислимая функция
является общекурсивной (см. Рекурсивные функции). В 1935 Ч. привёл
пример неразрешимой массовой проблемы, а в 1966 доказал, что разрешения
проблема для исчисления предикатов неразрешима. Эти результаты оказали
большое влияние на развитие математич. логики. Ч. внёс существенный вклад
в развитие комбинаторной логики; ему принадлежат исследования в области
логической
семантики и модальной логики. С о ч. в рус. пер.: Введение в математическую
логику, т. 1, M., 1960.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я