События

 

21 октября

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

все события дня
 
 
 
Сегодня: 21 октября 2018 года, воскресенье

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

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

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

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

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

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


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



Все события

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