NEWSarium.org - Новостной информационный портал Портал женских новостей Экономические новости Армении Отдых и туризм 

Алонзо Черч

14 июня 1903 —   11 августа 1995Работы Черча относятся к различным областям логики. Он развивал функциональный подход в основаниях математики, ввел понятия лямбда-оператора и лямбда-определимости, построил вариант лямбда-исчисления.

Алонзо Черч родился 14 июня 1903 года в Вашингтоне, США. Получил степень бакалавра в Принстонском университете в 1924 году, и защитил кандидатскую в 1927 году под руководством Освальда Веблена. В 1926 году Черч становится профессором математики в Принстоне.

С 1936 года Черч являлся также редактором журнала «The Journal of Symbolic Logic». В этот период он исследует проблемы логической семантики и математической логики. Примерно в это же время им составлена знаменитая «Библиография математической логики», ставящая себе целью дать свод всей литературы по математической логике от времени зарождения этой науки до 1935 года включительно.

Слава пришла к Черчу после разработки теории лямбда-исчислений. Эта теория последовала за его знаменитой статьей 1936 года, в которой он показал существование так называемых «неразрешимых задач». Статья предшествовала знаменитому исследованию Алана Тьюринга на тему проблемы остановки, в котором также было продемонстрировано существование задач, неразрешимых механическими способами.

Впоследствии Черч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как тезис Черча – Тьюринга.



HEALTH & LIFESTYLE EXPOСайты и порталы

Комментарии

нет комментариев

Написать комментарий

Комментарии может оставить только зарегистрированный пользователь.
Вам необходимо авторизоваться или зарегистрироваться
Неправильный логин/пароль
Почта
Пароль
 
Имя (обязательно)
Почта (обязательно)
Пароль (обязательно)
 

Авторизоваться

Регистрация      Забыли пароль?
Некоторые функции сайта доступны только авторизованным пользователям
Баннерная сеть СИП-ДБ©
Ежегодный Международный фотоконкурс Общества им. И.К. Айвазовского
Dragobarzini
Читальный зал Международной электронной библиотеки им. И.К. Айвазовского
Представительство в Армении
Собственная Сеть Информационных Порталов для группы компаний и СМИ
ЦЕНТР КАРЬЕРЫ
СОВРЕМЕННЫЙ КОНСТРУКТОР САЙТОВ И ПОРТАЛОВ МЕДИАПРОВАЙДЕР DB - DBMP
СОВРЕМЕННЫЙ КОНСТРУКТОР ЭЛЕКТРОННЫХ ИЗДАНИЙ ePublisherDB
КОРПОРАТИВНЫЙ СТИЛЬ КОМПАНИИ
Регистрация и юридическое сопровождение организаций в Крыму
    Женский журнал «Сила Притяжения» Журнал-дайджест «Экспедиция длиною в жизнь» Научно и популярно о главном - журнал-дайджест «Неизведанная Планета» Журнал-дайджест «Премьера Сезона» - загляни в своё будущее
  • Экономические новости Армении
  • Союз Промышленников и Предпринимателей (Работодателей) Армении
  • Prom Expo LLC
  • PR-Агентство «Delta Beta»
  • Общество содействия меценатству и благотварительности им. И.К.Айвазовского
  • НИИ курортологии и физической медицины
  • МЦ «Сурб Аствацамайр»
  • Офтальмологический Центр имени С. Малаяна
  • ПОСОЛЬСТВО РОССИЙСКОЙ ФЕДЕРАЦИИ В РЕСПУБЛИКЕ АРМЕНИЯ
  • ՀՀ Առողջապահության Նախարարության  «Ավան» հոգեկան առողջության կենտրոն
  • Հոգեսոցիալական կարգավորման կենտրոն
Cеть информационных порталов СИП-ДБ
ЭКСПЕДИЦИЯ ДЛИНОЮ В ЖИЗНЬ - журнал-дайджест NEWSarium - Новостной информационный портал Экономические новости Армении Агентство новостей «Медиаинформ» Научно-популярный журнал «Неизведанная планета» Компания маркетинговых коммуникаций (КМК)  Драго Барзини