Алонзо Черч

Алонзо Черч (англ. Alonzo Church) — один из самых влиятельных математиков‑логиков XX века. Его работы охватывают широкие области логики, от семантики до теории вычислений, и легли в основу современных функциональных языков программирования.

Биография

Алонзо Чарльз Черч родился 14 июня 1903 года в Вашингтоне, США. После окончания средней школы он поступил в Принстон, где в 1924 году получил степень бакалавра, а в 1927 году защитил кандидатскую диссертацию под руководством известного философа‑логика Освальда Веблена. Уже в 1926 году Черч стал преподавателем математики в Принстоне, а к середине 1930‑х годов его имя стало неразрывно связано с журналом The Journal of Symbolic Logic, где он работал редактором.

В этот же период он участвовал в составлении «Библиографии математической логики» — попытки собрать воедино всю публикацию по этой науке от её зарождения до 1935 года включительно.

Научные интересы

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

Позднее Черч и Тьюринг независимо пришли к выводу, что их модели вычислений — лямбда‑исчисление и машина Тьюринга — эквивалентны по вычислительной мощности. Этот результат, известный как тезис Черча‑Тьюринга, стал краеугольным камнем теории вычислимости.

В 1966 году Черч опубликовал доказательство неразрешимости задачи исчисления предикатов, что дополнительно укрепило его статус в математической логике. Кроме того, он внёс значительный вклад в комбинаторную логику, а также изучал логическую семантику и модальную логику.

Наследие

Черч оставался профессором Принстона до 1967 года, после чего переехал в Калифорнию, где продолжил заниматься исследованиями. Его лямбда‑исчисление стало теоретической основой для целого семейства функциональных языков программирования, среди которых наиболее известен Lisp.

Алонзо Черч скончался 11 августа 1995 года в Хадсоне, Огайо, оставив после себя огромный научный след, который до сих пор ощущается в математике, информатике и философии.