Чёрч, Алонзо: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
VolkovBot (обсуждение | вклад)
Нет описания правки
Строка 3:
'''Алонзо Чёрч''' ({{lang-en|Alonzo Church}}; [[14 июня]] [[1903]], [[Вашингтон]], [[США]] — [[11 августа]] [[1995]], [[Хадсон]], [[Огайо]], [[США]]) — американский [[Математик|математик]] и [[Логик|логик]], внесший вклад в основы [[Информатика|информатики]]. Получил степень бакалавра в [[Принстонский университет|Принстонском университете]] в [[1924]] году, и кандидатскую в [[1927]] под руководством [[Освальд Веблен|Освальда Веблена]]. Чёрч стал профессором математики в Принстоне в [[1929]] году.
 
Чёрч прославился разработкой теории [[Лямбда-исчисление|лямбда-исчислений]], последовавшей за его знаменитой статьёй [[1936]] года, в которой он показал существование т. н. «неразрешимых задач». Эта статья предшествовала знаменитому исследованию [[Алан Тьюринг|Алана Тьюринга]] на тему [[Проблема зависанияостанова|проблемы зависанияостанова]], в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и [[машина Тьюринга]] имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как [[тезис Чёрча — Тьюринга]].
 
Чёрч оставался профессором математики в Принстоне до [[1967]] года, после чего он переехал в [[Калифорния|Калифорнию]]. Помимо прочего, его система [[Лямбда-исчисление|лямбда-исчислений]] легла в основу [[Функциональное программирование|функциональных языков программирования]], в частности семейства [[Лисп]] (например, [[Scheme]]).