Завтра 21 октября, воскресенье

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

День работников пищевой промышленности  Профессиональный праздник Праздники России Праздники Украины



 
Создав личный календарь, вы сможете сформировать свою подборку событий из праздников, дней городов и памятных дат планеты. Вы сможете вносить в этот список свои персональные даты, добавлять к событиям комментарии, фото и видео, установить напоминания о событиях по 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 октября в истории:

1714 Петр I издал Указ о запрещении каменного строительства по всей России, кроме Санкт-Петербурга
Петр I издал Указ о запрещении каменного строительства по всей России, кроме Санкт-Петербурга 20 октября 1714 года царь Петр I издал Указ о запрещении каменного строительства по всей России, кроме Санкт-Петербурга. В городе же на Неве строго предписывалось возведение исключительно каменных «образцовых домов». Отныне во всех городах, кроме...
1740 Австрийская эрцгерцогиня Мария-Терезия объявлена наследницей Карла VI Габсбурга
Австрийская эрцгерцогиня Мария-Терезия объявлена наследницей Карла VI Габсбурга 20 октября 1740 года 23-летняя австрийская эрцгерцогиня Мария-Терезия была объявлена наследницей Карла VI Габсбурга, императора Священной Римской империи. Она получила чисто мужское воспитание, подготовившее ее к управлению обширным государством. В...
1880 Московский цирк на Цветном бульваре принял первых зрителей
Московский цирк на Цветном бульваре принял первых зрителей Cтарый Московский цирк на Цветном бульваре – один из самых старейших цирков России, он начал свою работу 20 октября 1880 года. Сначала в цирке было пять рядов кресел, ложи, бельэтаж, вторые места с деревянными ненумерованными лавками и стоячая...
1847 Родился Оскар Сван
Оскар Сван Трехкратный олимпийский чемпион Оскар Гомер Сван стал родоначальником небольшой олимпийской династии. Его сын Альфред Сван также имеет титул трехкратного олимпийского чемпиона в стрелковых видах спорта. Оскар Гомер Сван (швед. Oscar Gomer Swahn)...
1955 Родился Томас Ньюман
Томас Ньюман Томас Монтгомери Ньюман (англ. Thomas Montgomery Newman) родился 20 октября 1955 года в Лос-Анджелесе (штат Калифорния, США). Он - потомственный композитор, его отец – Альфред Ньюман. Томас получил образование в Йельском университете. В 1984 году...
1842 Умерла Грейс Дарлинг
Грейс Дарлинг Грейс Дарлинг родилась 24 ноября 1815 года в Бамбурге. Ее юность прошла на маяке Лонгстоун. Отец Грейс – Уильям Дарлинг – был хранителем маяка. Повзрослев, она стала помогать отцу. Часто проводила ночи на маяке, всматриваясь в темную даль. 7...
1994 Умер Сергей Бондарчук
Сергей Бондарчук Сергей Федорович Бондарчук родился 25 сентября 1920 года в селе Белозерка Одесской области. Детство Сережи прошло в Ейске и Таганроге, где он окончил среднюю школу в 1938 году. Учась в школе, Бондарчук посещал театральный кружок. Актерскую...

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

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






 

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

По месяцам

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

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