Надо Знать

добавить знаний



Алан Тьюринг


Alan Turing photo.jpg

План:


Введение

Алан Матисон Тьюринг
англ. Alan Mathison Turing
Alan Turing photo.jpg
Родился 23 июня 1912 ( 1912-06-23 )
Лондон, Англия
Умер 7 июня 1954 ( 1954-06-07 ) (41 год)
Уилмслоу, Чешир, Англия
Гражданство Великобритания
Область научных интересов математика, логика, криптоанализ, информатика
Alma mater Кембриджский университет,
Принстонский университет
Научный руководитель Алонзо Черч
Известные ученики Робин Ганди ( англ. Robin Gandy )
Известен благодаря: Машина Тьюринга,
Премия Тьюринга,
Тест Тьюринга
Награды Орден Британской империи

Алан Матисон Тьюринг ( англ. Alan Mathison Turing ) ( * 23 июня 1912 - ? 7 июня 1954) - английский математик, логик и криптограф. Тьюринг часто считается отцом современной информатики.

К войны учился в британском университете Кембридж и в американском университете Принстон.

Во время войны работал над взломом шифров германского командования вместе с американскими учеными и военными в английском секретном институте Блетчли Парк. Согласно исторической литературой, только сейчас выходит после многолетнего засекречивания подробностей, эта работа, хотя и не всегда успешная, помогла выиграть некоторые военные кампании и сохранить тысячи людей.


1. Биография

Отец Алана Тьюринга - Юлиус Мэтисон - заведовал британским колониальным ведомством в Индии. Мать - Этель Сара Стоуни, была дочерью главного инженера Мадраських железных дорог.

Алан был вторым ребенком в семье. Он родился 23 июня 1912 года в лондонской больнице "Воррингтон-Лодж". Очень редко видел своих родителей, которые работали в Индии. Как сын аристократов учился в Шернборнський публичной школе (en: Sherborne School), где был одним из худших учеников в классе по гуманитарным предметам. 1929 года пытается поступить в Кембридж вместе со своим лучшим другом Кристофером Моркомом, но безуспешно. Однако, следующего, 1930 года, он все-таки поступает в Кингс-колледж Кембриджского универститета. Тогда многие математики пытались создать алгоритм для определения истинности высказываний. Гедель удалось доказать, что любая полезная математическая система аксиом неполна в смысле, что в ней существует выражение, истинность которого нельзя ни опровергнуть, ни подтвердить. Это побудило Тьюринга доказать, что нет общего метода определения истинности и, таким образом, математика будет содержать недоказуемые высказывания.

В своей работе Тьюринг предложил проект простого устройства, имеющего все основные свойства современной информационной системы: программное управление, память и пошаговый способ действий. Эта воображаемая машина, получившая название "Машина Тьюринга", используется в теории автоматов или компьютеров.

Когда Тьюринг с США вернулся в Англию, началась вторая мировая война. Одним из важнейших вооружений этой войны была ЭВМ "Колос" по проекту "Ультра", начавшая в 1943 взламывать сверхсложные шифры немцев. Работа этой системы значительно помогла в борьбе с фашистской Германией и ее союзниками.


2. После войны

После войны в 1945 Алан возглавил проект создания компьютера "ТУЗ" (ACE, Automatic Computing Engine), а в 1948 Тьюринг стал работать с "МАДАМ" (MADAM, Manchester Automatic DigitAl Machine), компьютером с наибольшей памятью в мире на тот время. Работы Алана по сооружению первых ЭВМ и развитию методов программирования имели неоценимую важность, дав основу большинства исследований в области искусственного интеллекта. Он считал, что компьютеры, в конце концов, смогут мыслить как человек, и предложил простую проверку, известную как тест Тьюринга, оценивающий способность машины мыслить: поговорить с ЭВМ, и пусть она убедит вас, что она - человек.

В 1952 Тьюринг издал первую часть его теоретического учения развития форм живых организмов. Но эта работа осталась незавершенной.

Того же года обокрали квартиру Тьюринга, и в ходе расследования полиция выяснила, что кражу совершил один из его любовников. Скандал получил широкую огласку. 30 марта 1953 года состоялся судебный процесс, на котором Тьюринг был обвинен в гомосексуализме, ведь в то время это рассматривалось британским правосудием как преступление. На выбор ему было предложено два приговора - либо заключение, либо подавление либидо с помощью инъекций эстрогена. Ученый выбрал второе, по сути, это является химическим кастрацией. Один из ведущих криптографов Великобритании перестал появляться на публике, потому что "лечение" привело к росту груди и ожирение. Атлет, который ранее много лет ездил на велосипеде, настоящее Тьюринг стал способен к простейшим спортивных упражнений.

Последствия суда были катастрофическими - Алана Тьюринга уволили из шифроаналитичного бюро и Манчестерского университета. Позже ему все же вернули возможность преподавать. Ученый до 1954 г. прожил в одиночестве, играя в свою любимую игру "Необитаемый остров", которая заключалась в получении всевозможных химических веществ из популярных продуктов. Через два года он умер в возрасте 41 года после того, как съел яблоко с цианидом. По официальной версии, смерть Тьюринга считается самоубийством.

8 июня 1954 Алан Мэтисон Тьюринг был найден мертвым в своем доме. Смерть наступила в результате отравления цианидом. Яблоко, пропитанное цианидом, лежало рядом на ночном столике. Точно не известно, было ли это самоубийством, или Тьюринга погубили завистники. Его мать считала, что он отравился случайно, так всегда небрежно работал с химикатами.

В 2009 году премьер-министр Великобритании Гордон Браун принес официальные извинения за то, что тогдашняя британские власти осудила умершего 55 лет назад математика Алана Тьюринга к принудительному лечению от гомосексуализма. [1] В Тьюринга не осталось живых родственников, поэтому извинения носили символический характер. В сообщении Браун называет математика одной из самых известных жертв гомофобии в Великобритании.


3. Научные достижения и открытия

3.1. Проблема остановки

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

3.2. Расшифровка кода "Энигмы"

Дешифрующего машина "Бомба"

Во время Второй мировой войны Тьюринг работал в Блетчли-парке - британском криптографической центре, где возглавлял одну из пяти групп, Hut 8, занимавшихся в рамках проекта "Ультра" расшифровкой закодированных немецкой шифровальной машиной "Энигма" сообщений кригсмарине и люфтваффе. Вклад Тьюринга в работы по криптографической анализа алгоритма, реализованного в "Энигма", основывался на более раннем криптоанализа предыдущих версий шифровальной машины, выполненных в 1938 польским криптоаналитик Марианом Реевським.

В начале 1940 он разработал дешифровальну машину "Бомба", которая позволяла читать сообщения люфтваффе. Принцип работы "Бомбы" состоял в переборе возможных вариантов ключа шифра и попыток расшифровки текста, если была известна часть открытого текста или структура розшифровуваного сообщения. Перебор ключей выполнялся за счет вращения механических барабанов, сопровождавшийся звуком, похожим на тиканье часов, из-за чего "Бомба" и получила свое название. Для каждого возможного значения ключа, заданного положениями роторов (количество ключей равнялось примерно 10 19 для сухопутной "Энигмы" и 10 22 для шифровальных машин, используемых в подводных лодках), "Бомба" выполняла сверку с известным открытым текстом. Первая в Блетчли "Бомба" Тьюринга была запущена 18 марта 1940. Дизайн "Бомб" Тьюринга так же был основан на дизайне одноименной машины Реевського.

Блетчли Парк

Через полгода удалось взломать и устойчивый шифр Кригсмарине. Позже, 1943, Тьюринг внес ощутимый вклад в создание более совершенной дешифрующего электронно-вычислительной машины "Колос", используемый в тех же целях.


3.3. Машина Тьюринга

Любая интуитивно вычислимая функция является частично рекурсивной, или, эквивалентно, может быть вычислена с помощью некоторой машины Тьюринга. Алан Тьюринг высказал предположение (известное как тезис Черча - Тьюринга), что любой алгоритм в интуитивном смысле этого слова может быть представлен эквивалентной машиной Тьюринга. Уточнения представления о обчислюванисть на основе понятия машины Тьюринга (и других аналогичных ему понятий) открыло возможности для строгого доказательства алгоритмической неразрешимости различных массовых проблем (то есть проблем о нахождении единого метода решения некоторого класса задач, условия которых могут варьироваться в известных пределах). Простейшим примером алгоритмически неразрешимой массовой проблемы является так называемая проблема применимости алгоритма (называется также проблемой остановки). Она заключается в следующем: нужно найти общий метод, который позволял бы для произвольной машины Тьюринга (заданной посредством своей программы) и произвольного начального состояния ленты этой машины определить, завершится ли работа машины за конечное число шагов, или же будет продолжаться неограниченно долго.


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

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

3.5. Тест Тьюринга

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

3.6. Морфогенез

В 1952 Тьюринг опубликовал работу под названием "Химические основы морфогенеза" (The chemical basis of morphogenesis), где впервые математически описывается процесс самоорганизации материи.

4. Память о Алана Тьюринга

Окно google.com 23 июня 2012
  • Одна из ежегодных наград Ассоциации вычислительной техники называется Премия Тьюринга.
  • Алан Тьюринг упоминается в историческом романе "Криптономикон" Нила Стивенсона и фигурирует в романе Роберта Харриса "Энигма".
  • Известный писатель-фантаст Гарри Гаррисон в соавторстве с американским ученым в области искусственного интеллекта Марвином Мински написал роман "Выбор за Тьюринга" ("The Turing Option", 1992).
  • В романе Уильяма Гибсона "Нейромант" фигурирует "полиция Тьюринга" ("регистр Тьюринга"), которая занимается контролем и следит за развитием существующих искусственных интеллектов.
  • 23 июня 2012, через 100 лет со дня рождения Тьюринга на сайте google.com вместо логотипа была показана обликовувальна машина набивала двоичную систему.

5. Примечания

  1. Treatment of Alan Turing was "appalling" - www.number10.gov.uk/Page20571 (Англ.)

См.. также

Литература


Источники

п ? в ? р Искусственный интеллект
Философия Nuvola apps Talk.PNG
Направления
Применение
Исследователи
Норберт Винер ? Алан Тьюринг ? В.М.Глушков ? Г. С. Осипов ? Д. Е. Попов ? Д. А. Поспелов ? М. Г. Гаазе-Рапопорт ? Т. А. Гаврилова ? В. Ф. Хорошевском ? Г. С. Поспелов ? Марвин Мински ? Джон Маккарти ? Фрэнк Розенблат ? Чарлз Бэббидж ? Аллен Ньюэлл ? Герберт Саймон ? Авраам Хомский ? Сеймур Пейперт ? Клод Шеннон ? Джозеф Вейценбаум ? Патрик Уинстон ? В. К. Финн
Организации
Государственный университет информатики и искусственного интеллекта ? Singularity Institute for Artificial Intelligence
Портал ? Все статьи


Персоналии Это незавершенная статья о лицо.
Вы можете помочь проекту, исправив и дополнив ее.


код для вставки
Данный текст может содержать ошибки.

скачать

© Надо Знать
написать нам