 Достижения: внес серьезный вклад в развитие информатики; создатель теории лямбда-исчислений
Дата рождения: 14 июня 1903 г.
Место рождения: Вашингтон, США
Биография
Алонзо родился 14 июня 1903 г. в Вашингтоне (сейчас 92 года). В 21 год становится обладателем диплома бакалавра и через три года заканчивает аспирантуру в Принстонском университете. В 1929 года в этом же университете встает на должность профессора высшей математики.
Алонзо Черч стал известным благодаря опубликованной им статье в 1936 году, в которой говорилось о существовании так называемых «неразрешимых задач», что последовало дальнейшему созданию теории λ-исчислениий (лямбда-исчислений). Новая теория положила начало развитию функционального программирования.
В 1967 году профессор заканчивает работу в университете и переезжает в Калифорнию.
|
