Чёрч, Алонзо

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Алонзо Чёрч
Alonzo Church
Alonzo Church Princeton.jpg
Дата рождения:

14 июня 1903({{padleft:1903|4|0}}-{{padleft:6|2|0}}-{{padleft:14|2|0}})

Место рождения:

Вашингтон

Дата смерти:

11 августа 1995({{padleft:1995|4|0}}-{{padleft:8|2|0}}-{{padleft:11|2|0}}) (92 года)

Место смерти:

Гудзон

Страна:

Флаг США

Научная сфера:

математика, логика

Место работы:

Принстонский университет

Альма-матер:

Принстонский университет

Научный руководитель:

Освальд Веблен

Известные ученики:

Леон Хенкин

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

Чёрч прославился разработкой теории лямбда-исчислений, последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование т. н. «неразрешимых задач» (теорема Чёрча — Тьюринга)[1]. Эта статья предшествовала знаменитому исследованию Алана Тьюринга на тему проблемы остановки, в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как тезис Чёрча — Тьюринга.

Чёрч оставался профессором математики в Принстоне до 1967 года, после чего он переехал в Калифорнию. Помимо прочего, его система лямбда-исчислений легла в основу функциональных языков программирования, в частности семейства Лисп (например, Scheme).

Произведения, переведенные на русский язык[править | править вики-текст]

  • Введение в математическую логику. М., Издательство иностранной литературы, 1960.

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

  1. Church, Alonzo (1936). «An Unsolvable Problem of Elementary Number Theory». American Journal of Mathematics 58 (58): 345–363. DOI:10.2307/2371045.