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

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

Сегодня, 25 апреля в истории:

1895 Подписан указ об учреждении «Русского музея императора Александра III» (ныне — Государственный Русский музей)
Подписан указ об учреждении «Русского музея императора Александра III» (ныне — Государственный Русский музей) Идея организации государственного музея национального искусства витала в русском обществе с середины 19 века. Александр III был ценителем искусства и очень хорошо разбирался в живописи. Именно ему принадлежит мысль создания всенародного музея...
1934 Принято постановление о переводе Академии наук СССР в Москву
Принято постановление о переводе Академии наук СССР в Москву 25 апреля 1934 года Совнарком СССР принял постановление о переводе Академии наук СССР из Ленинграда в Москву, с целью «дальнейшего приближения всей работы Академии наук к научному обслуживанию социалистического строительства». В России Академия...
1942 Основан Московский монетный двор Гознака
Основан Московский монетный двор Гознака Первые «Денежные дворы» появились в России еще в 14 веке и располагались в княжеских городах – Новгороде, Москве, Пскове, Рязани, Твери и других. Общая для всех княжеств денежная система берет начало со второй половины 15 века. При царе Алексее...
1907 Родился Василий Соловьев-Седой
Василий Соловьев-Седой Василий Павлович Соловьев-Седой родился (12) 25 апреля 1907 года в Петербурге, в семье выходцев из крестьян. Мать знала и любила народные песни, они сыграли большую роль в становлении Василия как музыканта. К искусству Василий впервые приобщился...
1928 Родился Юрий Яковлев
Юрий Яковлев Юрий Васильевич Яковлев родился 25 апреля 1928 года в Москве. После окончания вечерней школы в 1948 году он поступил в Театральное училище им. Б.В. Щукина, где учился вместе с Е.Федоровым, М.Ульяновым, Е.Симоновым. После окончания Щукинского...
1595 Умер Торквато Тассо
Торквато Тассо Торквато Тассо, один из крупнейших итальянских поэтов 16 века, родился 11 марта 1544 года в Сорренто. Отец Торквато – филолог и поэт Бернардо Тассо – был секретарем принца Салернского. Торквато получил блестящее образование и с детства находился при...
1943 Умер Владимир Немирович-Данченко
Владимир Немирович-Данченко Владимир Иванович Немирович-Данченко родился (11) 23 декабря 1858 года в Озургеты (Грузия), в русско-грузинско-армянской семье. С детства он мечтал о сцене, а в 19 лет начал успешно выступать в любительском театре. Однако продолжать актерскую...

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

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


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



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

По месяцам

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

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