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