События

 

09 декабря

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

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

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

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

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

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

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

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


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



Все события

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