События

 

18 августа

Передача В. И. Ленину первого списка арестованных «писателей и профессоров», которым было объявлено постановление о высылке и предупреждение, что самовольный въезд в СССР карается расстрелом
Свадьба Маргариты Валуа и Генриха Наваррского
Отзыв из Китая советских специалистов в связи с «обострением идеологических разногласий»
В Санкт-Петербурге торжественно открыт памятник Петру I («Медный всадник»)
Первое выступление «Битлз» с новым барабанщиком - Ринго Старром. День рождения группы в ее классическом составе
Основано Русское географическое общество
Первая за 19 лет официальная встреча представителей Израиля и СССР в Хельсинки
Владимир Набоков опубликовал в США свой знаменитый роман «Лолита»
Произведено первое фотографирование лунной поверхности с американской селеноцентрической орбиты - «Лунар орбитер-1»
Родился Антонио Сальери
Скончался Александр VI
Родился Пьер Мартен
Умер Рени Гвидо
Родился Франц-Иосиф I
Скончалась Евдокия Стрешнева
Родилась Габриэль Шанель
Умер Оноре де Бальзак
Родился Марсель Карне
Скончался Дональд Биссет
Родился Роман Полански
Родился Роберт Редфорд
Родилась Беата Тышкевич
Родился Мартин Малл
Родился Патрик Суэйзи

все события дня
 
 
 
Сегодня: 18 августа 2018 года, суббота

Скончался Алонзо Черч

Дата события:  11 августа, 1995 года

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

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

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

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


Источник: rubricon.com



Все события

 
Copyright © 2007-2013 «byTime». Все права защищены.