Слово, значение которого вы хотите посмотреть, начинается с буквы
А   Б   В   Г   Д   Е   Ё   Ж   З   И   Й   К   Л   М   Н   О   П   Р   С   Т   У   Ф   Х   Ц   Ч   Ш   Щ   Ы   Э   Ю   Я

ЧЁРЧ

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

будет выглядеть так: ЧЁРЧ


будет выглядеть так: Что такое ЧЁРЧ