Алонзо Черч
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.

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

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

11.08.1995

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

2
Американский Математик
Доктор Философских Наук
Дата рождения: 14 июня 1903 года (116 лет назад)
Дата смерти: 11 августа 1995 года (24 года назад)
  • Показать статью

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


    Алонзо Черч родился 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.

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

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

ruspekh.ru
Яндекс.Метрика
© 2012-2019 ruspekh.ru, РИА «Руспех». Электронное периодическое издание: Российское информационное агентство Руспех. Зарегистрировано в Федеральной службе по надзору в сфере связи, информационных технологий и массовых коммуникаций. Свидетельство о регистрации СМИ: ЭЛ №ФС77-70166 от 16.06.2017. Учредитель: ООО "Руспех". Главный редактор: Гриднев Андрей Игоревич. На сайте распространяется информация Российского информационного агентства «Руспех» . Зарегистрировано в Федеральной службе по надзору в сфере связи, информационных технологий и массовых коммуникаций. Свидетельство о регистрации СМИ: ИА №ФС77-70090 от 16.06.2017. Учредитель: ООО "Руспех".
Адрес редакции: 121170, Москва, ул. 1812 года, 8к1, 6й подъезд, телефон: +7 (495) 24-10-100, email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра..
При полном или частичном использовании и воспроизведении материалов сайтов ссылка на РИА «Руспех» обязательна. Для веб-сайтов интерактивная ссылка на сайт ruspekh.ru обязательна. Мнение авторов публикаций может не совпадать с позицией редакции агентства.