Завтра 7 декабря, среда

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

Международный день гражданской авиации  Профессиональный праздник Праздники ООН



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

12+

Алонзо Черч

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

113 лет назад 21 год назад


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

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

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



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

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

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

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

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








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

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

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

1240 После долгой осады монголо-татарские войска ворвались в Киев
После долгой осады монголо-татарские войска ворвались в Киев В 1239 году армия хана Батыя предприняла новый поход на Русь. До этого монголы разбили основные силы Владимиро-Суздальской земли, взяли и разграбили четырнадцать городов Северо-Восточной Руси. Батый мечтал об империи, протянувшейся от Тихого океана...
1741 В результате государственного переворота российской императрицей стала Елизавета Петровна
В результате государственного переворота российской императрицей стала Елизавета Петровна Елизавета Петровна (1709-1762), дочь Петра I и Екатерины I, в будущем российская императрица, росла веселой красавицей и была прекрасно образована. После брака родителей, и принятия в 1721 году Петром I императорского титула, дочери Анна и Елизавета...
1768 В Эдинбурге увидела свет первая тетрадка первого тома «Encyclopedia Britannica»
В Эдинбурге увидела свет первая тетрадка первого тома «Encyclopedia Britannica» 6 декабря 1768 года в Эдинбурге (Великобритания) вышла в свет первая тетрадка первого тома «Британской энциклопедии, или Словаря искусств и наук, составленного по новому плану». Идея проекта энциклопедии принадлежала издателю и книготорговцу Колину...
1927 Родился Владимир Наумов
Владимир Наумов Советский и российский режиссёр, сценарист, актёр, продюсер, педагог, Народный артист СССР, лауреат международных и национальных фестивалей, активный общественный деятель - Владимир Наумов всего себя посвящает кинематографу. «Вся моя жизнь, начиная...
1958 Родился Александр Балуев
Александр Балуев Александр Балуев – один из самых популярных и востребованных актёров современного российского кино, картины с его участием выходят на экраны одна за другой. Широта актёрского диапазона сделала Балуева поистине всенародно любимым актёром....
1974 Умер Роберт Бартини
Роберт Бартини Бартини, малоизвестный широкому кругу общественности, был не только выдающимся конструктором и учёным, но и тайным вдохновителем советской космической программы. Сергей Павлович Королев называл Бартини своим учителем. В разное время и в разной...
1985 Умер Уолтер Гибсон
Уолтер Гибсон Уолтер Гибсон родился 12 сентября 1897 года в Филадельфии (штат Пенсильвания, США). В 1920-х годах он работал репортером в газете «Philadelphia Ledger», был редактором журналов «Tales of Magic and Mystery» и «True Strange Stories». В эти годы он...

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

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


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



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

По месяцам

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

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