Алонзо Черч

Алонзо Черч

Американский математик и логик, внесший вклад в основы информатики
Дата рождения: 14.06.1903
Страна: США

Содержание:
  1. Американский математик и логик
  2. Развитие функционального подхода в математике
  3. Биография
  4. Редактор журнала и исследования
  5. Теория лямбда-исчислений и тезис Черча-Тьюринга

Американский математик и логик

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

Развитие функционального подхода в математике

В своих работах Черч развивал функциональный подход в основаниях математики. Он ввел понятия лямбда-оператора и лямбда-определимости, а также построил вариант лямбда-исчисления. Эти новые концепции внесли значительный вклад в развитие математики и информатики.

Биография

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

Редактор журнала и исследования

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

Теория лямбда-исчислений и тезис Черча-Тьюринга

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

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

© BIOGRAPHS