Результаты поиска

Философский энциклопедический словарь

ЧЁРЧ - (Church) Алонзо (род. 14 июня 1903, Вашингтон) – амер. логик и математик. В математической логике развил гипотезы об отделении понятия функции от понятия множества, о вычислимых функциях (т. н. тезис Чёрча), много сделал для развития комбинаторной логики, логической семантики и модальной логики. В рус. пер. издано соч. Чёрча «Введение в математическую логику», т. 1, 1960.