Людибиографии, истории, факты, фотографии

Алонзо Черч

   /   

Alonzo Church

   /
             
Фотография Алонзо Черч (photo Alonzo Church)
   

День рождения: 14.06.1903 года
Возраст: 92 года
Место рождения: Вашингтон, США
Дата смерти: 11.08.1995 года
Место смерти: Хадсон, Огайо, США

Гражданство: США

Биография

американский математик и логик, внесший вклад в основы информатики

Работы Черча относятся к различным областям логики. Он развивал функциональный подход в основаниях математики, ввел понятия лямбда-оператора и лямбда-определимости, построил вариант лямбда-исчисления.

VK Facebook Mailru Odnoklassniki Twitter Twitter Twitter Print

17.10.2011

Алонзо Черч родился 14 июня 1903 года в Вашингтоне, США. Получил степень бакалавра в Принстонском университете в 1924 году, и защитил кандидатскую в 1927 году под руководством Освальда Веблена. В 1926 году Черч становится профессором математики в Принстоне.

Алонзо Черч фотография
Алонзо Черч фотография

С 1936 года Черч являлся также редактором журнала «The Journal of Symbolic Logic». В этот период он исследует проблемы логической семантики и математической логики. Примерно в это же время им составлена знаменитая «Библиография математической логики», ставящая себе целью дать свод всей литературы по математической логике от времени зарождения этой науки до 1935 года включительно.

Реклама:

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

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




Ваш комментарий (*):
Я не робот...

Лучшие недели


Гангстер из Чикаго
Посетило:400
Аль Капоне
Вокалистка группы Sade
Посетило:538
  Шаде
Самый крупный в мире змееголов
Посетило:441
Калеб Ньютон

Добавьте свою новость

Здесь
Администрация проекта admin @ peoples.ru
history