Советский философский словарь

ЧЁРЧ АЛОНЗО

(р. 14.6.1903, Вашингтон), амер. логик и математик. Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории вычислимых функций (т. н. тезис Чёрча). В 1935 привёл пример неразрешимой массовой проблемы, а в 1966 доказал, что проблема разрешения для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математич. логики. Ч. внёс существ. вклад в развитие комбинаторной логики; ему принадлежат исследования в области логич. семантики и модальной логики.

  1. чёрч алонзо—Чрчstrong Church Алонзо р . Вашингтон американский логик математик. Профессор Принстонского университета . С профессор математики и философии Калифорнийского университет...Большая Советская энциклопедия II
  2. чёрч алонзо—р. июня амер. логик философ математик проф. Принстонского унта с . Работы Ч. относятся к различным областям логики. Он развил высказанную ранее сов. математиком М. И. ...Философская Энциклопедия (в 5 томах)
  3. чёрч алонзо—р. июня амер. логик философ математик проф. Принстонского унта с . Работы Ч. относятся к различным областям логики. Он развил высказанную ранее сов. математиком М. И. ...Философская Энциклопедия (в 5 томах)