Алонзо Черч
Alonzo Church

Американский математик. Логик. Внес значительный вклад в основы информатики. Доктор математических наук. Профессор Принстонского университета.

Алонзо Черч родился 14 июня 1903 года в городе Вашингтон, США. С детства проявил талант к изучению наук. Отличался отличной памятью, острым умом и целеустремленностью. В возрасте двадцати одного года получил степень бакалавра в Принстонском университете. Через три года там же защитил кандидатскую диссертацию под руководством Освальда Веблена. В 1926 году Черч становится профессором математики в Принстоне.

С 1936 года Черч являлся также редактором журнала «The Journal of Symbolic Logic». В этот период ученый исследует проблемы логической семантики и математической логики. Примерно в это же время им составлена знаменитая «Библиография математической логики», ставящая себе целью дать свод всей литературы по математической логике от времени зарождения этой науки до 1935 года включительно.

Известность пришла к Черчу после разработки теории лямбда-исчислений. Данная теория последовала за его знаменитой статьей 1936 года, в которой показал существование так называемых «неразрешимых задач».

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

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

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

    Умер Алонзо Черч 11 августа 1995 года в городе Хадсон, США.

Труды Алонзо Черча