Cегодня 22 июня, пятница

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

День памяти и скорби — день начала Великой Отечественной войны (1941 год)  Праздники России  Праздники Украины  Праздники Беларуси  Праздники Хорватии

Завтра 23 июня, суббота

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

Международный Олимпийский день Международные праздники Праздники Армении



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

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



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

Сегодня, 22 июня в истории:

1668 Царские стрельцы начали осаду Соловецкого монастыря
Царские стрельцы начали осаду Соловецкого монастыря К середине 17 века Соловецкий монастырь, расположенный на Соловецких островах в Белом море, был не только одним из крупнейших старообрядческих монастырей на Руси, но и превратился в важный военный форпост для борьбы со шведской экспансией. Он был...
1941 Началась героическая оборона Брестской крепости
Началась героическая оборона Брестской крепости Героическая оборона Брестской крепости стала яркой страницей в истории Великой Отечественной войны. 22 июня 1941 года командование гитлеровских войск планировало полностью овладеть крепостью. В результате внезапного нападения гарнизон Брестской...
1941 Началась Великая Отечественная война
Началась Великая Отечественная война Двадцать второго июня, Ровно в четыре часа, Киев бомбили, нам объявили, Что началась война... (известная песня времен Великой Отечественной войны)
22 июня 1941 года фашистская Германия без объявления войны напала на Советский Союз....
1939 Родился Михаил Залиханов
Михаил Залиханов Михаил Чоккаевич Залиханов родился 22 июня 1939 года в поселке Эльбрус (ныне – Кабардино-Балкария). В 1962 году он с отличием окончил физико-математический факультет Кабардино-Балкарского государственного университета, а в 1965 и 1971 годах –...
1947 Родилась Наталья Варлей
Наталья Варлей Наталья Владимировна Варлей родилась в городе Констанца (Румыния) 22 июня 1947 года. Ее детство прошло в Мурманске, где служил капитаном дальнего плавания ее отец, Владимир Викторович. Наталья росла талантливым ребенком с разносторонними...
1990 Умер Илья Франк
Илья Франк Илья Михайлович Франк родился (10) 23 октября 1908 года в Петербурге. Окончил в 1930 году Московский университет. Еще студентом стал работать в лаборатории С.И. Вавилова, под руководством которого исследовал тушение люминесценции в жидкостях. В...
1995 Умер Леонид Дербенев
Леонид Дербенев Леонид Петрович Дербенев родился 12 апреля 1931 года в Москве. Его поэтический дебют состоялся еще в школе, в 7 классе, когда в «Пионерской правде» были напечатаны его стихи. Но профессионально на путь поэта он встал не сразу. Сначала Дербенев...

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

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



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

По месяцам

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

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