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

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

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



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

1868 Запатентована пишущая машинка
Запатентована пишущая машинка Работая в местной мастерской, Кристофер Шоулз и его компаньон Карлос Гидден придумали аппарат для последовательной нумерации книжных страниц. От этого простого устройства и ведет свое начало пишущая машинка. Машинка Шоулза, запатентованная 23...
1964 Артур Мерлин и Ричард Кнерр запатентовали гимнастический обруч - Hula-Hoop
Артур Мерлин и Ричард Кнерр запатентовали гимнастический обруч - Hula-Hoop Первые хула-хупы стали изготавливать игрушечники Ричард Кнерр и Артур Мерлин — основатели калифорнийской компания Wham-O. Не совсем обычное название Wham-O означало звук, который издавала их первая игрушка рогатка. Идею хула-хупа им подсказал...
1987 В Москве состоялась премьера фильма «Человек с бульвара Капуцинов»
В Москве состоялась премьера фильма «Человек с бульвара Капуцинов» 23 июня 1987 года в столичном кинотеатре «Мир» состоялась премьера фильма «Человек с бульвара Капуцинов», поставленного режиссером Аллой Суриковой по сценарию Эдуарда Акопова. Картина имела огромный успех. За год проката ее посмотрели 60 миллионов...
1912 Родился Алан Матисон Тьюринг
Алан Матисон Тьюринг Алан Тьюринг – выдающийся английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Сегодня в память о выдающемся ученом одна из ежегодных наград Ассоциации вычислительной техники называется Премия Тьюринга,...
1962 Родился Александр Любимов
Александр Любимов Телепродюсер, тележурналист, телеведущий, обладатель ордена Почета за освещение боевых действий в Чеченской Республике и ордена Дружбы за большой вклад в развитие отечественного телерадиовещания — Александр Любимов — яркий пример человека, который...
1852 Умер Карл Брюллов
Карл Брюллов Карл Павлович Брюллов родился (12) 23 декабря 1799 года в Петербурге, в семье академика орнаментальной скульптуры Павла Ивановича Брюллова. В 1809 году он становится воспитанником Петербургской Академии художеств, в которой в это время уже учились...
1859 Умерла Мария Романова
Мария Романова Казалось бы, у этой женщины было все для счастья и благополучной жизни. Но судьба никогда не была к ней милостивой. Не было таких бед, которые не довелось бы испытать Марии. Ей пришлось пережить смерть самых близких людей – родителей, ребенка,...

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

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


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



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

По месяцам

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

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