Чёрч, Алонзо: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
обновление данных |
Vald (обсуждение | вклад) оформление |
||
Строка 25:
Помимо прочего, его система лямбда-исчислений легла в основу [[Функциональное программирование|функциональных языков программирования]], в частности семейства [[Лисп]] (например, [[Scheme]]).
Чёрч оставался профессором в Принстоне до 1967 года, после чего он переехал в Калифорнию, где стал профессором в [[Калифорнийский университет в Лос-Анджелесе|
Член НАН США (1978) и Американской академии искусств и наук, членкор Британской акад. (1966). Был удостоен почётных степеней альма-матер (1985) и др.
|