Чёрч, Алонзо: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Интерактивная навигация по истории
(Показать все непатрулированные изменения)
[отпатрулированная версия][отпатрулированная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
оформление
Строка 41: Строка 41:
* [[Теория алгоритмов]]
* [[Теория алгоритмов]]
* [[Теорема Чёрча — Тьюринга]]
* [[Теорема Чёрча — Тьюринга]]

⚫
== Примечания ==
{{примечания}}


== Ссылки ==
== Ссылки ==
⚫
* [http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Church.html Biography]
⚫
{{Примечания}}
⚫
* [http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Church.html]


{{Внешние ссылки}}
{{Внешние ссылки}}

Версия от 17:34, 10 июля 2016

Алонзо Чёрч
англ. Alonzo Church
Дата рождения 14 июня 1903(1903-06-14)[1][2][…]
Место рождения
Дата смерти 11 августа 1995(1995-08-11)[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. ↑ 1 2 Архив по истории математики Мактьютор — 1994.
  2. ↑ 1 2 Alonzo Church // Brockhaus Enzyklopädie (нем.)
  3. ↑ Introduction Alonzo Church: Life and Work
  4. ↑ Church, Alonzo (1936). "An Unsolvable Problem of Elementary Number Theory". American Journal of Mathematics. 58 (58): 345—363. doi:10.2307/2371045. JSTOR 2371045.

Ссылки

Источник — https://ru.wikipedia.org/w/index.php?title=Чёрч,_Алонзо&oldid=79485019