Чёрч
(Church) Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947—1967). С 1967 профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы Ч. Относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул основную гипотезу теории вычислимых функций (т. Н. Тезис Чёрча). Каждая эффективно вычислимая функция является общекурсивной (см. Рекурсивные функции). В 1935 Ч. Привёл пример неразрешимой массовой проблемы, а в 1966 доказал, что Разрешения проблема для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математической логики. Ч. Внёс существенный вклад в развитие комбинаторной логики.
Ему принадлежат исследования в области логической семантики (См. Логическая семантика) и модальной логики. Соч. В рус. Пер. Введение в математическую логику, т. 1, М., 1960.
Дополнительный поиск Чёрч
На нашем сайте Вы найдете значение "Чёрч" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Чёрч, различные варианты толкований, скрытый смысл.
Первая буква "Ч". Общая длина 4 символа