Алонзо ЧерчАмериканский математик и логик, внесший вклад в основы информатики
Дата рождения: 14.06.1903
Страна: США |
Содержание:
- Американский математик и логик
- Развитие функционального подхода в математике
- Биография
- Редактор журнала и исследования
- Теория лямбда-исчислений и тезис Черча-Тьюринга
Американский математик и логик
Алонзо Черч был американским математиком и логиком, известным своим вкладом в основы информатики. Он стал одним из ведущих ученых в области логики и функционального подхода в математике.
Развитие функционального подхода в математике
В своих работах Черч развивал функциональный подход в основаниях математики. Он ввел понятия лямбда-оператора и лямбда-определимости, а также построил вариант лямбда-исчисления. Эти новые концепции внесли значительный вклад в развитие математики и информатики.
Биография
Алонзо Черч родился 14 июня 1903 года в Вашингтоне, США. Он получил степень бакалавра в Принстонском университете в 1924 году и защитил кандидатскую степень в 1927 году под руководством Освальда Веблена. В 1926 году Черч стал профессором математики в Принстоне.
Редактор журнала и исследования
С 1936 года Черч также стал редактором журнала "The Journal of Symbolic Logic". В это время он проводил исследования в области логической семантики и математической логики. Он также составил знаменитую "Библиографию математической логики", которая была целью дать обзор всей литературы по математической логике до 1935 года.
Теория лямбда-исчислений и тезис Черча-Тьюринга
Слава пришла к Черчу после разработки теории лямбда-исчислений. В его знаменитой статье 1936 года он показал существование "неразрешимых задач". Эта статья предшествовала исследованию Алана Тьюринга о проблеме остановки, в котором также было продемонстрировано существование задач, неразрешимых механическими способами.
Впоследствии Черч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства, что доказало, что различные "механические процессы вычислений" могли иметь одинаковые возможности. Эта работа была оформлена как тезис Черча-Тьюринга.