Cегодня 14 декабря, четверг

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

День чествования участников ликвидации последствий аварии на Чернобыльской АЭС  Праздники Украины



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

12+

Алонзо Черч

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

114 лет назад 22 года назад


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

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

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



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

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

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

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

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






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

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



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

Сегодня, 14 декабря в истории:

1720 Спасаясь от разоренных вкладчиков, из Парижа тайно бежал английский авантюрист-экономист Джон Ло
Спасаясь от разоренных вкладчиков, из Парижа тайно бежал английский авантюрист-экономист Джон Ло 14 декабря 1720 года, спасаясь от разоренных и разъяренных вкладчиков и бросив в Париже жену, дочь и брата, из французской столицы тайно бежал в Брюссель Джон Ло, английский авантюрист-экономист, сумевший поставить под свой контроль все финансы...
1893 В Москве на Красной площади торжественно открыты Верхние торговые ряды (сегодня - ГУМ)
В Москве на Красной площади торжественно открыты Верхние торговые ряды (сегодня - ГУМ) (2) 14 декабря 1893 года в присутствии генерал-губернатора Москвы великого князя Сергея Александровича Романова и великой княгини Елизаветы Фёдоровны состоялось торжественное открытие Верхних торговых рядов. Здание будущего ГУМа было построено в...
1911 Роальд Амундсен достиг Южного полюса, на месяц опередив английскую экспедицию Роберта Скотта
Роальд Амундсен достиг Южного полюса, на месяц опередив английскую экспедицию Роберта Скотта С детских лет Амундсен мечтал о путешествиях и экспедициях на север. В 1889 году его кумиром стал полярный исследователь Фритьоф Нансен, только что вернувшийся из своей Гренландской экспедиции. Юный Роальд был потрясен сообщениями о походе Нансена...
1546 Родился Тихо Браге
Тихо Браге Тихо (Тюге) Браге родился 14 декабря 1546 года в датском городе Кнудструп, в многодетной семье чиновника, где уже было 10 детей. По датской традиции Тихо отдали в бездетную семью брата отца, и мальчик воспитывался в семье адмирала королевского...
1924 Родился Радж Капур
Радж Капур Ранбир Радж Капур родился 14 декабря 1924 года в Пешаваре (ныне – Пакистан), в семье театрального деятеля Притхвираджа Капура. Впервые на сцену Радж вышел в 6 лет в театре своего отца, который стал подлинной школой мастерства для будущей звезды. Уже...
1591 Умер Иоанн Креста
Иоанн Креста Фундаментальный принцип богословия святого Иоанна состоит в утверждении, что Бог есть все, а человек — ничто. Следовательно, необходимо подвергнуть интенсивному и глубокому очищению все способности и силы души и тела, чтобы достичь совершенного...
1741 Умер Шарль Роллен
Шарль Роллен Шарль Роллен – классик французской историографии периода Просвещения. Наряду с Монтескье он являлся самым авторитетным в Европе историком античного мира. Вольтер высоко ценил сочинения историка. Шарль Роллен (фр. Charles Rollin) родился 30 января...

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

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


Calend.ru рекомендует



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

По месяцам

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

Полное или частичное воспроизведение материалов сайта возможно только при наличии активной гиперссылки на «Календарь событий»: http://www.calend.ru
Использование информации сайта в оффлайн-СМИ (радио, телевидение, газеты и т.п.) требует особого согласования. Для согласования отправьте запрос.