Cегодня 23 марта, четверг

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

Всемирный день метеорологии  Праздники ООН  Праздники Украины  Праздники Армении



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

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

Сегодня, 23 марта в истории:

1839 День рождения выражения «O.K.» (ныне — популярное «о’кей»)
День рождения выражения «O.K.» (ныне — популярное «о’кей») Считается, что именно 23 марта 1839 года впервые появилось выражение «O.K.» — сегодня весьма популярное «о’кей». По некоторым сведениям в бостонской газете «Morning Post» это выражение появилось как шуточное сокращение неправильно написанного...
1876 Павел Яблочков получил патент на изобретенную им «электрическую свечу»
Павел Яблочков получил патент на изобретенную им «электрическую свечу» В 1875 году русский инженер Павел Яблочков открыл так называемую «электрическую свечу» (в которой две угольные пластинки, разделенные фарфоровой вставкой, служили проводником электричества, накалявшего дугу), служившую источником света. Это...
2001 В Тихом океане затоплена орбитальная станция «Мир»
В Тихом океане затоплена орбитальная станция «Мир» Орбитальная космическая пилотируемая станция «Мир» – советская (затем – российская) орбитальная станция третьего поколения, представлявшая собой огромный и сложный многоцелевой комплекс, созданный для проведения научных исследований в космосе. «Мир»...
1910 Родился Акира Куросава
Акира Куросава Акира Куросава появился на свет 23 марта 1910 года в Токио. Семья, в которой родился мальчик, была многодетной, и из восьми детей он был самым младшим. Куросава с детства любил рисовать, и у него это неплохо получалось. Он получил художественное...
1931 Родился Виктор Корчной
Виктор Корчной Виктор Львович – легенда советских шахмат. Он четырехкратный чемпион СССР, победитель двух межзональных турниров на первенство мира, двукратный победитель матчей претендентов, сыграл три матча с А.Карповым за звание чемпиона мира по шахматам. В...
1994 Умерла Джульетта Мазина
Джульетта Мазина Джульетта Мазина (настоящее имя – Джулия Анна) родилась 22 февраля 1921 года близ Болоньи (Италия). Еще до окончания филологического отделения Римского Университета (1943) играла на самодеятельной сцене, в университетском и других театрах и на...
1995 Умер Владимир Ивашов
Владимир Ивашов Владимир Сергеевич Ивашов родился 28 августа 1939 года в Москве. Его отец был простым рабочим на авиационном заводе, мать – швеёй на фабрике. С малых лет Владимир умел и шить, и столярничать, и готовить. Во дворе он был хоть и не самым сильным...

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

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


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



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

По месяцам

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

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