Алонзо Черч: известный человек отмечает свой день рождения 14 июня, биография жизни знаменитости, кто еще из известных людей родился, умер 14 июня
R
Ваш город
Ашберн
Алонзо Черч
Полное имя: Алонзо Черч
Дата рождения: 14 июня 1903
Дата смерти: 11 августа 1995
Полных лет: 92 года
Род деятельности: Известные люди

Биография:

Работы Черча относятся к различным областям логики.

Он развивал функциональный подход в основаниях математики, ввел понятия лямбда-оператора и лямбда-определимости, построил вариант лямбда-исчисления.Алонзо Черч (англ. Alonzo Church) родился 14 июня 1903 года в Вашингтоне (США). Получил степень бакалавра в Принстонском университете в 1924 году и защитил кандидатскую в 1927 году под руководством Освальда Веблена.

В 1926 году Черч становится профессором математики в Принстоне.

С 1936 года Черч являлся также редактором журнала «The Journal of Symbolic Logic» .

В этот период он исследует проблемы логической семантики и математической логики. Примерно в это же время им составлена знаменитая «Библиография математической логики» , ставящая себе целью дать свод всей литературы по математической логике от времени зарождения этой науки до 1935 года включительно.Слава пришла к Черчу после разработки теории лямбда-исчислений. Эта теория последовала за его знаменитой статьей 1936 года, в которой он показал существование так называемых «неразрешимых задач» . Статья предшествовала знаменитому исследованию Алана Тьюринга на тему проблемы остановки, в котором также было продемонстрировано существование задач, неразрешимых механическими способами.Впоследствии Черч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как тезис Черча – Тьюринга.Также Черу принадлежит работа, в которой он доказал, что проблема для исчисления предикатов неразрешима (1966). Эти результаты оказали большое влияние на развитие математической логики. Существенен вклад Черча и в развитие комбинаторной логики: ему принадлежат исследования в области логической семантики и модальной логики.Черч оставался профессором математики в Принстоне до 1967 года, после чего он переехал в Калифорнию. Помимо прочего, его система лямбда-исчислений легла в основу функциональных языков программирования, в частности семейства Лисп.Умер Алонзо Черч 11 августа 1995 года в Хадсон (Огайо, США).

Вы знали, что 14 июня также

1946 - (73 года)
Известные люди

1924 - 1997 (72 года)
Известные люди

1928 - 1967 (39 лет)
Известные люди

1951 - (68 лет)
Известные люди

1823 - 1900 (76 лет)
Известные люди

1969 - (50 лет)
Чемпионы

1936 - 2018 (82 года)
Известные люди

1864 - 1920 (56 лет)
Политики

1937 - 1995 (58 лет)
Писатели

1899 - 1986 (86 лет)
Известные люди

1899 - 1986 (86 лет)
Писатель

2018 - 1597 (420 лет)
Известные люди