Великие люди: жизнеописания и биографии
ЖЗЛ :: Тьюринг Алан Матисон
Алфавитный указатель биографий
БиографииБиографии Все биографииВсе биографии Тьюринг Алан МатисонТьюринг Алан Матисон

Биография Тьюринга Алана Матисона - стр. 3

Тьюринг Алан Матисон - его биография и жизнеописание
Страница:  01   02   [03]   04  

Даже читая зашифрованные немецкие сообщения, в марте 1943 года Великобритания стояла на грани поражения в Битве за Атлантику и во всей Второй мировой войне. Вполне вероятно, что без расшифровки кода «Энигмы» ход этой войны был бы иным.

Любая интуитивно вычислимая функция является частично рекурсивной, или, эквивалентно, может быть вычислена с помощью некоторой машины Тьюринга.

Алан Тьюринг высказал предположение (известное как тезис Чёрча — Тьюринга), что любой алгоритм в интуитивном смысле этого слова может быть представлен эквивалентной машиной Тьюринга.

Уточнение представления о вычислимости на основе понятия машины Тьюринга (и других эквивалентных ей понятий) открыло возможности для строгого доказательства алгоритмической неразрешимости различных массовых проблем (то есть проблем о нахождении единого метода решения некоторого класса задач, условия которых могут варьироваться в известных пределах).

Простейшим примером алгоритмически неразрешимой массовой проблемы является так называемая проблема применимости алгоритма (называемая также проблемой остановки).

Она состоит в следующем: требуется найти общий метод, который позволял бы для произвольной машины Тьюринга (заданной посредством своей программы) и произвольного начального состояния ленты этой машины определить, завершится ли работа машины за конечное число шагов, или же будет продолжаться неограниченно долго.

Тьюринг является основателем теории искусственного интеллекта.

Машина Тьюринга является расширением модели конечного автомата и способна имитировать (при наличии соответствующей программы) любую машину, действие которой заключается в переходе от одного дискретного состояния к другому.

Тест Тьюринга — тест, предложенный Аланом Тьюрингом в 1950 году в статье «Вычислительные машины и разум» (англ. Computing Machinery and Intelligence) для проверки, является ли компьютер разумным в человеческом смысле слова. В этом тесте один или несколько людей должны задавать вопросы двум тайным собеседникам и на основании ответов определять, кто из них машина, а кто человек. Если не удавалось раскрыть машину, которая маскировалась под человека, предполагалось, что машина разумна.

Страница:  01   02   [03]   04  


Другие известные Математики

•   Уайлс Эндрю Джон
•   Жирар Альберт
•   Мандельброт Бенуа
•   Магницкий Леонтий Филиппович
•   Бэббидж Чарлз


Похожие фамилии и имена на букву Т

•   Тьер Адольф

Описания видов деятельности
Тьюринга Алана Матисона

•   Математики
•   Ученые
•   Преподаватели
•   Справочник профессий




Самые последние новости

Последние новости недели

Другие новости недели



главная|по алфавиту|новые биографии|по роду деятельности
добавить биографию|карта сайта|реклама на сайте|ваши отзывы
все статьи|интересные факты|самые известные|интервью
статьи по темам|опубликовать статью
Администрация не несет ответственность за достоверность информации, размещенной на правах рекламы и рекламных объявлений на сайте.
Rambler's Top100