Cегодня 22 августа, вторник

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

День Государственного флага Российской Федерации  Праздники России



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

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



Нажимая кнопку "Подписаться", вы подтверждаете согласие с политикой конфиденциальности сайта.

Сегодня, 22 августа в истории:

1922 В Зальцбурге (Австрия) открылся фестиваль театрального искусства
В Зальцбурге (Австрия) открылся фестиваль театрального искусства 22 августа 1922 года на соборной площади Зальцбурга пьесой австрийского драматурга-символиста Гуго фон Гофмансталя «Каждый человек» («ремейк» средневековой драмы) открылся фестиваль театрального искусства, ставший с тех пор традиционным ежегодным...
1941 «День рождения» знаменитых «наркомовских ста граммов»
«День рождения» знаменитых «наркомовских ста граммов» 22 августа 1941 года вошло в историю как «день рождения» знаменитых «наркомовских ста граммов». В этот день Председатель Государственного комитета обороны (ГКО) Советского Союза Иосиф Сталин подписал Постановление №562 «О введении водки на снабжение...
1991 Чрезвычайная сессия Верховного Совета РСФСР постановила считать официальным символом России красно-сине-белый флаг (триколор)
Чрезвычайная сессия Верховного Совета РСФСР постановила считать официальным символом России красно-сине-белый флаг (триколор) 31 января 1705 года император Петр Великий издал указ, повелевавший поднимать на торговых судах новый красно-сине-белый флаг. Царь сам нарисовал его образец и определил порядок расположения горизонтальных полос. До 1712 года такой же флаг был и на...
1920 Родился Рэй Брэдбери
Рэй Брэдбери Рэй Дуглас Брэдбери родился 22 августа 1920 года в городе Уокиган (штат Иллинойс, США). Полное имя – Раймонд Дуглас Брэдбери (второе имя в честь знаменитого актёра Дугласа Фэрбенкса). Отец – потомок англичан-первопоселенцев. Мать – шведка по...
1927 Родилась Ирина Скобцева
Ирина Скобцева Ирина Константиновна Скобцева родилась 22 августа 1927 года в Туле, в семье, далекой от искусства – отец был научным сотрудником Главного управления метеослужбы, мама работала в архиве. Ирина окончила среднюю школу и по примеру родителей решила...
1966 Умер Эрвин Коменда
Эрвин Коменда Эрвин Коменда родился 6 апреля 1904 года в маленькой деревушке Вайере в земле Верхняя Австрия близ города Штайр. С 1926 по 1929 год Эрвин работал в качестве автоконструктора на заводе Steyr-Daimler-Puch. В 1929 году на заводе он знакомится с...
1989 Умер Александр Яковлев
Александр Яковлев Выдающийся советский авиаконструктор, дважды Герой Социалистического Труда, лауреат шести Сталинских премий, он — создатель знаменитых самолётов «ЯК». Александр Сергеевич Яковлев родился (19 марта) 1 апреля 1906 года в Москве, в семье служащего....

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

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


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



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

По месяцам

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

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