Тьюринг, Алан Матисон
| Алан Матисон Тьюринг | |
 | |
| Дата рождения: | 1912 г. |
| Дата смерти: | 1954 г. |
Алан Матисон Тьюринг (англ. Alan Mathison Turing; 23 июня 1912 — 7 июня 1954) — английский математик, логик, криптограф, изобретатель машины Тьюринга.
Содержание |
Проблема зависания 
Было обнаружено, что компьютеры всё-таки могут решить не любую математическую задачу. Алан Тьюринг доказал в 1936 году, что общий алгоритм для решения проблемы зависания для любых возможных входных данных не может существовать.
Расшифровка кода «Энигмы»
 | | |
|   | |
| | |
Во время Второй Мировой войны Тьюринг работал в Блечли Парке — британском криптографическом центре, где возглавлял одну из пяти групп, Hut 8, занимавшихся в рамках проекта «Ультра» расшифровкой закодированных немецкой шифровальной машиной «Энигма» сообщений Кригсмарине и Люфтваффе. В середине 1940 года он разработал дешифровальную машину «Бомба», позволявшую читать сообщения Люфтваффе. Через полгода удалось взломать и более стойкий шифр Кригсмарине. Позже, к 1943 году, Тьюринг внес ощутимый вклад в создание более совершенной дешифровальной электронно-вычислительной машины «Колосс», использующейся в тех же целях.
Даже читая закодированные немецкие сообщения, в марте 1943 года Великобритания стояла на грани поражения в Битве за Атлантику и во всей Второй мировой войне. Вполне вероятно, что без расшифровки кода «Энигмы» ход этой войны был бы иным.
Впервые код «Энигмы» был расшифрован в 1938-м году группой польских криптографов во главе с Марианом Реевским. Специалисты Блечли Парка не смогли достичь каких-либо успехов в расшифровке Энигмы, пока не создали машину «Бомба» на основе созданной поляками машины с тем же названнем.
Создание одного из первых компьютеров
В 1947 г. Тьюринг в Манчестере создал один из первых компьютеров в мире.
Машина Тьюринга
Любая интуитивно вычислимая функция является частично вычислимой, или, эквивалентно, может быть вычислена с помощью некоторой машины Тьюринга.
Алан Тьюринг высказал предположение (известное как тезис Чёрча-Тьюринга), что любой алгоритм в интуитивном смысле этого слова может быть представлен эквивалентной машиной Тьюринга. Уточнение представления о вычислимости на основе понятия машины Тьюринга (и других эквивалентных ей понятий) открыло возможности для строгого доказательства алгоритмической неразрешимости различных массовых проблем (т. е. проблем о нахождении единого метода решения некоторого класса задач, условия которых могут варьироваться в известных пределах). Простейшим примером алгоритмически неразрешимой массовой проблемы является так называемая проблема применимости алгоритма (называемая также проблемой остановки). Она состоит в следующем: требуется найти общий метод, который позволял бы для произвольной машины Тьюринга (заданной посредством своей программы) и произвольного начального состояния ленты этой машины определить, завершится ли работа машины за конечное число шагов, или же будет продолжаться неограниченно долго.
Основатель теории искусственного интеллекта
Тьюринг является основателем теории искусственного интеллекта.
Машина Тьюринга является расширением модели конечного автомата и способна имитировать (при наличии соответствующей программы) любую машину, действие которой заключается в переходе от одного дискретного состояния к другому.
Тест Тьюринга
Тест Тьюринга — тест, предложенный Аланом Тьюрингом в 1950 г. в статье «Вычислительные машины и разум» («Computing Machinery and Intelligence») для проверки, является ли компьютер разумным в человеческом смысле слова.
Фильмография
См. также
Ссылки
- Г. Далидович «Заметки об искусственном интеллекте: маргаритки Тьюринга, Энигма Тьюринга, Яблоко Тьюринга»
| Это незавершённая статья об учёном-математике. Вы можете помочь проекту, исправив и дополнив её. |
