Cегодня 23 мая, вторник

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

Всемирный день черепахи  Международные праздники



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

1592 В Венеции инквизицией арестован Джордано Бруно, обвиненный в ереси
В Венеции инквизицией арестован Джордано Бруно, обвиненный в ереси Джордано Бруно (1548-1600) – итальянский философ и поэт, представитель пантеизма. Будучи католическим священником, развивал неоплатонизм в духе возрожденческого натурализма, пытался дать в этом ключе философскую интерпретацию учения Коперника....
1930 Первым орденом Ленина награждена газета «Комсомольская правда»
Первым орденом Ленина награждена газета «Комсомольская правда» Орден Ленина – высшая награда Советского Союза, занимавшая в орденской иерархии верхнюю ступень. Учрежден Постановлением Президиума ЦИК СССР от 6 апреля 1930 года. Орденом Ленина в СССР награждали за особо выдающиеся заслуги в революционном...
2003 Москва официально вступила в борьбу за право проведения Олимпийских игр 2012 года
Москва официально вступила в борьбу за право проведения Олимпийских игр 2012 года Принимать на своей территории Олимпийские игры - дело почетное, а грамотно спланированная и проведенная Олимпиада может стать толчком для развития не только города, но и страны в целом. А значит - и принести немалую прибыль инвесторам, принимающим...
1891 Родился Пер Лагерквист
Пер Лагерквист Пер Фабиан Лагерквист родился 23 мая 1891 года в небольшом городе Вексьё в Южной Швеции, в лютеранской семье. В семье было семеро детей, и Пер был младшим. Окончив школу, Пер стал изучать искусство и литературу в Упсальском университете. В 1912...
1945 Родился Михаил Багдасаров
Михаил Багдасаров Михаил Ашотович Багдасаров родился 23 мая 1945 года в Баку (Азербайджан). Он с детства обожал животных и хотел быть дрессировщиком. Чтобы стать поближе к своей мечте, он в шестнадцать лет пришел в цирк. Сначала Михаил работал униформистом, но...
1498 Умер Джироламо Савонарола
Джироламо Савонарола Джироламо Савонарола родился в Ферраре 21 сентября 1452 года. Он получил гуманистическое воспитание, занимался медициной, увлекался теологией. В юношеских поэмах Савонаролы уже просматривается характерная для него озабоченность нравственным...
1906 Умер Генрик Ибсен
Генрик Ибсен Генрик Иоганн Ибсен родился 20 марта 1828 года в маленьком городке Скиен, на берегу залива Христиании, в состоятельной датской семье судовладельцев, имеющей древние норвежские корни. Его отец представлял собой деятельную и здоровую натуру, мать,...

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

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


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



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

По месяцам

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

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