Чёрч, Алонзо
Алонзо Чёрч | |
---|---|
англ. Alonzo Church | |
Дата рождения | 14 июня 1903[1][2][…] |
Место рождения | |
Дата смерти | 11 августа 1995[1][2][…] (92 года) |
Место смерти | |
Страна | США |
Род деятельности | математик, философ, преподаватель университета, специалист в области информатики |
Научная сфера | математика, логика |
Место работы | Принстонский университет |
Альма-матер | Принстонский университет |
Учёная степень | доктор философии (1927) |
Научный руководитель | Освальд Веблен |
Ученики | Леон Хенкин |
Произведения в Викитеке |
Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.
Получил степень бакалавра искусств в Принстонском университете в 1924 году, и докторскую (Ph.D.) в 1927 году под руководством Освальда Веблена за работу «Alternatives to Zermelo’s Assumption». Два года он был нацисследовательским стипендиатом (National Research Fellow), год провёл в Гарварде, затем — в Геттингене и Амстердаме. С 1929 года ассистент-профессор математики в альма-матер, с 1939 года Шаблон:Comm, с 1947 года профессор математики, с 1961 года профессор математики и философии.
Чёрч прославился разработкой теории лямбда-исчислений, последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование т. н. «неразрешимых задач» (теорема Чёрча — Тьюринга)[4]. Эта статья предшествовала знаменитому исследованию Алана Тьюринга на тему проблемы остановки, в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как тезис Чёрча — Тьюринга.
Помимо прочего, его система лямбда-исчислений легла в основу функциональных языков программирования, в частности семейства Лисп (например, Scheme).
Чёрч оставался профессором в Принстоне до 1967 года, после чего он переехал в Калифорнию, где стал профессором в университете в Лос-Анджелесе — до 1990 года. В 1992 году переехал в Хадсон, штат Огайо, где дожил свою жизнь.
Член НАН США (1978) и Американской академии искусств и наук, членкор Британской акад. (1966). Был удостоен почётных степеней альма-матер (1985) и др.
В 1926 году в Принстоне женился, трое детей.
- Произведения, переведенные на русский язык
- Введение в математическую логику. М., Издательство иностранной литературы, 1960.
См. также
- Лямбда-исчисление
- Тезис Чёрча — Тьюринга
- Функциональное программирование
- Теория вычислимости
- Теория алгоритмов
- Теорема Чёрча — Тьюринга
Примечания
- ↑ 1 2 Архив по истории математики Мактьютор — 1994.
- ↑ 1 2 Alonzo Church // Brockhaus Enzyklopädie (нем.)
- ↑ Introduction Alonzo Church: Life and Work
- ↑ Church, Alonzo (1936). "An Unsolvable Problem of Elementary Number Theory". American Journal of Mathematics. 58 (58): 345—363. doi:10.2307/2371045. JSTOR 2371045.
Ссылки
- Родившиеся 14 июня
- Родившиеся в 1903 году
- Родившиеся в Вашингтоне
- Умершие 11 августа
- Умершие в 1995 году
- Умершие в Хадсоне (Огайо)
- Персоналии по алфавиту
- Учёные по алфавиту
- Логики США
- Математики США
- Математики по алфавиту
- Математики XX века
- Учёные в области информатики США
- Выпускники Принстонского университета
- Доктора философии
- Профессора Принстонского университета
- Преподаватели Калифорнийского университета в Лос-Анджелесе
- Члены и члены-корреспонденты Национальной академии наук США
- Члены Американской академии искусств и наук
- Члены-корреспонденты Британской академии