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

Алонзо Черч (1903-1995)

Alonzo Church

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


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

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

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

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

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

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

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

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

A Set of Postulates for the Foundation of Logic.- «Annal Mathe- mathic», 1932, ser. 2, v. 33, N 2; 1933, ser. 2, v. 34, N 4;

An Insolvable Problem of Elementary Number Theory.- «American Journal Mathemathic», 1936, v. 58, N 2;

The Calcul of Lambdacjnversion. Princeton, 1951;

Введение в математическую логику, т. 1. М., 1960.

Семья Алонзо Черча

Женат, имел троих детей.

Алонзо Черч. Alonzo Church
  • Американский Математик
    Доктор Философских Наук
  • Дата рождения: 14 июня 1903
  • Дата смерти: 11 августа 1995
  • Союз художников России

    Союз художников России

    Известные Певцы Мира

    Известные Певцы Мира

    Книга рекордов России

    Книга рекордов России

    Военная техника

    Военная техника

    Великие Изобретения и Технические новинки

    Великие Изобретения и Технические новинки