Поделиться:

О знаменитости

Алонзо Чёрч: биография


Алонзо Чёрч биография, фото, истории - выдающийся американский математик и логик, внесший значительный вклад в основы информатики

выдающийся американский математик и логик, внесший значительный вклад в основы информатики

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

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

Произведения, переведенные на русский язык

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

Комментарии

Добавить комментарий
Комментарий
Отправить

Карл Якоби Карл Якоби

знаменитый немецкий математик

Симеон Пуассон Симеон Пуассон

французский математик

Джеймс Клерк Максвелл Джеймс Клерк Максвелл

английский физик и математик

Пифагор Самосский Пифагор Самосский

древнегреческий математик, философ, путешественник, создатель школы пифагорейцев

Шарль Эрмит Шарль Эрмит

французский математик, признанный лидер математиков Франции во второй половине XIX века

Агнер Краруп Эрланг Агнер Краруп Эрланг

датский математик, статистик и инженер, основатель научного направления по изучению трафика в телекоммуникационных системах и теории массового обслуживания

Шарль Эресманн Шарль Эресманн

французский математик, работавший в области дифференциальной топологии и теории категорий

Жак Эрбран Жак Эрбран

французский математик и логик

Олег Белай – жизненный путь основателя Инвестиционной группы ТРИНФИКО

Олег Белай – жизненный путь основателя Инвестиционной группы ТРИНФИКО

Дума ТВ

Дума ТВ

Евтушенков Владимир вкладывает в высокотехнологичное развитие агросектора

Евтушенков Владимир вкладывает в высокотехнологичное развитие агросектора