Поиск
На сайте: 567989 статей, 285490 фото.

Чёрч, Алонзо

(Перенаправлено с Алонзо Чёрч)
Алонзо Чёрч

Дата рождения: 14 июня 1903 г.
Дата смерти: 11 августа 1995 г.

Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903, Вашингтон, США11 августа 1995, Хадсон, Огайо, США) — американский математик и логик, внесший вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и кандидатскую в 1927 под руководством Освальда Веблена. Чёрч стал профессором математики в Принстоне в 1929 году.

Чёрч прославился разработкой теории лямбда-исчислений, последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование т. н. «неразрешимых задач». Эта статья предшествовала знаменитому исследованию Алана Тьюринга на тему проблемы зависания, в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как тезис Чёрча-Тьюринга.

Чёрч оставался профессором математики в Принстоне до 1967 года, после чего он переехал в Калифорнию. Помимо прочего, его система лямбда-исчислений легла в основу функциональных языков программирования, в частности семейства Лисп (например, Scheme).

См. также


Первоначальная версия этой статьи была взята из русской Википедии на условиях лицензии GNU FDL.