Чёрч (Сhurch) Алонзо
(род. 14 июня 1903, Вашингтон) – амер. Логик и математик. В математической логике развил гипотезы об отделении понятия функции от понятия множества, о вычислимых функциях (т. Н. Тезис Чёрча), много сделал для развития комбинаторной логики, логической семантики и модальной логики. В рус. Пер. Издано соч. Чёрча «Введение в математическую логику», т. 1, 1960..
Дополнительный поиск Чёрч (Сhurch) Алонзо
На нашем сайте Вы найдете значение "Чёрч (Сhurch) Алонзо" в словаре Философский словарь, подробное описание, примеры использования, словосочетания с выражением Чёрч (Сhurch) Алонзо, различные варианты толкований, скрытый смысл.
Первая буква "Ч". Общая длина 20 символа