Cегодня 27 февраля, понедельник

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

День Сил специальных операций в России  Профессиональный праздник  Праздники России



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

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

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

1598 Земский собор избрал царем Бориса Годунова и принес ему присягу на верность
Земский собор избрал царем Бориса Годунова и принес ему присягу на верность Путь к трону для Годунова был нелегким. В удельном городе Угличе подрастал наследник престола Дмитрий, сын седьмой жены Ивана Грозного. Но в мае 1591 года царевич при невыясненных обстоятельствах погиб. Летопись обвиняет в убийстве Бориса Годунова,...
1879 Получен искусственный подсластитель сахарин
Получен искусственный подсластитель сахарин Сахарин (saccharine) – низкокалорийное подслащивающее вещество в 400 раз слаще сахара. Он широко используется в качестве подсластителя для больных сахарным диабетом и лиц, придерживающихся диеты с низким содержанием калорий. При нагревании сахарин...
1964 Спущен на воду первый в мире туристический подводный аппарат
Спущен на воду первый в мире туристический подводный аппарат Мезоскаф «Огюст Пикар», первый туристический подводный аппарат, был сконструирован Жаком Пикаром в 1964 году для швейцарской выставки. Аппарат назван в честь отца конструктора, выдающегося швейцарского учёного Огюста Пикара. Идея мезоскафа,...
1873 Родился Энрико Карузо
Энрико Карузо Энрико Карузо родился в Неаполе 27 февраля (по другим данным 25 февраля) 1873 года. Его семья была небогатой, и Энрико не получил какого-либо достойного образования. Петь он стал еще ребенком, в церковном хоре. Придя к пониманию, что пение – это...
1899 Родился Чарлз Бест
Чарлз Бест Чарлз Герберт Бест родился 27 февраля 1899 года в американском городе Уэст-Пембруке штата Мэн. Обучался юноша в Торонтском университете, где в 1921 году получил степени бакалавра, а затем степень магистра и доктора медицины. В годы учебы он работал...
1425 Умер Василий I
Василий I Василий I, сын Дмитрия Донского и отец Великого князя московского Василия II Темного, родился 30 декабря 1371 года. За годы своего правления он сделал много для объединения русских земель - присоединил к Московскому Великому княжеству Нижний...
1936 Умер Иван Павлов
Иван Павлов Иван Петрович Павлов, создатель учения о высшей нервной деятельности, родился (14) 26 сентября 1849 года в Рязани, в семье священника. Учился в церковно-приходском училище, а после его окончания – в духовной семинарии. В 1870 году Павлов...

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

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


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



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

По месяцам

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

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