|
psyoffice.ru » Словари и энциклопедии » Философия » Философский энциклопедический словарь /Ред.-сост.Е.Ф.Губский и др, 2003 г.
ЧЁРЧ (CHURCH) Алонзо(род. 14 июня 1903, Вашингтон) - амер. логик и математик. В математической логике развил гипотезы об отделении понятия функции от понятия множества, о вычислимых функциях (т. н. тезис Чёрча), много сделал для развития комбинаторной логики, логической семантики и модальной логики. В рус. пер. издано соч. Чёрча "Введение в математическую логику", т. 1, 1960.
Категория: Словари и энциклопедии » Философия » Философский энциклопедический словарь /Ред.-сост.Е.Ф.Губский и др, 2003 г. Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|