Cегодня 20 августа, понедельник

Растущая луна
 
Сегодня до 16:09 девятый день лунного цикла, после - десятый. Данные приведены для временного пояса Москвы. Не забудьте сделать поправку для своего места проживания!
 

День святого Иштвана в Венгрии  Праздники Венгрии

Завтра 21 августа, вторник

Растущая луна
 
Завтра до 17:06 десятый день лунного цикла, после - одиннадцатый. Данные приведены для временного пояса Москвы. Не забудьте сделать поправку для своего места проживания!
 

Курбан Байрам — праздник жертвоприношения Мусульманские праздники Праздники Абхазии Праздники Индии Праздники Казахстана Праздники Кыргызстана Праздники Ливана Праздники Турции



 
Создав личный календарь, вы сможете сформировать свою подборку событий из праздников, дней городов и памятных дат планеты. Вы сможете вносить в этот список свои персональные даты, добавлять к событиям комментарии, фото и видео, установить напоминания о событиях по e-mail и многое другое. Заведите личный календарь!
 

Алонзо Черч

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

115 лет назад 23 года назад


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

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



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

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

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

Также Черу принадлежит работа, в которой он доказал, что проблема для исчисления предикатов неразрешима (1966). Эти результаты оказали большое влияние на развитие математической логики. Существенен вклад Черча и в развитие комбинаторной логики: ему принадлежат исследования в области логической семантики и модальной логики.

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

Умер Алонзо Черч 11 августа 1995 года в Хадсон (Огайо, США).






  • Трансляции
Пр@здники и именины по e-mail!

Подпишитесь на рассылку «Праздники и именины сегодня и завтра», и вы всегда будете в курсе, кого из друзей следует поздравлять!



Нажимая кнопку "Подписаться", вы подтверждаете согласие с политикой конфиденциальности сайта.

Сегодня, 20 августа в истории:

1721 Пущены знаменитые фонтаны и каскады Петергофа
Пущены знаменитые фонтаны и каскады Петергофа Замысел создания летней резиденции, которая по своей роскоши не уступала бы знаменитому французскому Версалю, возник у Петра I в 1714 году после победы русского флота над шведами при Гангуте. Царь планировал создать дворцово-парковый ансамбль...
1812 Главнокомандующим всеми действующими российскими армиями назначен Михаил Кутузов
Главнокомандующим всеми действующими российскими армиями назначен Михаил Кутузов (8) 20 августа 1812 года главнокомандующим всеми действующими российскими армиями был назначен Михаил Кутузов. На этом посту он сменил своего тезку – генерала Барклая-де-Толли, автора плана стратегического отступления русских войск вглубь страны с...
1945 В СССР создан Специальный сверхсекретный комитет для руководства работами по использованию атомной энергии урана
В СССР создан Специальный сверхсекретный комитет для руководства работами по использованию атомной энергии урана 20 августа 1945 года, сразу же после взрывов атомных бомб в Хиросиме и Нагасаки, постановлением Государственного комитета обороны СССР был создан специальный сверхсекретный комитет при ГКО для руководства всеми работами по использованию атомной...
1833 Родился Бенджамин Гаррисон
Бенджамин Гаррисон Бенджамин Гаррисон родился 20 августа 1833 года в Северном Бенде (штат Огайо, США), в пресвитерианской семье. Он был внуком девятого президента США Уильяма Гаррисона. В юности Бенджамин Гаррисон стоял перед выбором: быть священником или учиться...
1937 Родился Андрей Михалков-Кончаловский
Андрей Михалков-Кончаловский За свою творческую жизнь знаменитый режиссер и сценарист Андрей Кончаловский написал более 30 сценариев, снял 28 фильмов, сделал несколько нашумевших театральных постановок и массовых представлений… К тому же он – публицист, ведущий блогов в...
1854 Умер Фридрих Шеллинг
Фридрих Шеллинг Фридрих Шеллинг — представитель немецкой классической философии. Главным понятием его философии можно считать идею свободы, которую он последовательно в течение всей своей жизни искал сначала в природе, затем в творчестве личности и, наконец, в...
1915 Умер Пауль Эрлих
Пауль Эрлих Пауль Эрлих родился 14 марта 1854 года в городе Штрелен (ныне Польша), в обеспеченной еврейской семье. На интересы Пауля уже в раннем детстве оказал влияние его дед, читавший лекции по физике и ботанике в местных учебных заведениях. В 1872 году...

В личный календарь

Добавьте это событие в свой личный календарь.



Памятные даты

По месяцам

Информер праздники сегодня
Установите на Вашем сайте или блоге этот информер
«Праздники сегодня».
Получить код этого информера →
Смотреть другие информеры →
 

Использование любой информации CALEND.RU на веб-сайтах возможно только при условии наличия у каждого скопированного материала активной гиперссылки на страницу-источник.
Использование информации сайта в оффлайн-СМИ (радио, телевидение, газеты и т.п.) требует особого согласования. Для согласования отправьте запрос.