ТЬЮРИНГ Алан

ТЬЮРИНГ Алан

ТЬЮ́РИНГ Алан (полн. Алан Матисон Тьюринг, Alan Mathison Turing) (23 июня 1912, Лондон — 7 июня 1954, Уилмслоу, Великобритания), британский математик, автор трудов по математической логике, вычислительной математике. В 1936—1937 годах ввел математическое понятие абстрактного эквивалента алгоритма, или вычислимой функции, получившее затем название «машины Тьюринга».
Сын колониального чиновника, служившего в Индии, Алан обучался в Шерборнской школе и в Кингс-колледже в Кембридже. Многие математики начала века были озабочены идеей исключения всех возможных математических ошибок путем создания алгоритма для установления истины. Однако математик Курт Гедель (1906—1978) затруднил эти попытки, доказав теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы математики. Он показал, что любая математическая теория является неполной, поскольку должны существовать теоремы, истинность которых не может быть доказана в пределах данной теории. Под воздействием идей Геделя Тьюринг начал разрабатывать алгоритмический метод, способный определить, является ли данная задача не имеющей решения с целью исключить такие задачи из математики. Однако вместо этого в своей работе «О вычислимых числах» (1936) он доказал, что не существует такого универсального метода для определения вычислимости, и, следовательно, в математике всегда будут задачи, не имеющие решения (в отличие от пока неразрешимых). Работа Тьюринга опровергла мнение Дэвида Хилберта и его школы о том, что любая математическая теория может быть выражена через набор аксиом и теорем.
Чтобы проиллюстрировать свою точку зрения, Тьюринг предложил гипотетический механизм, названный «машиной Тюринга». Это устройство, состоявшее из бесконечной бумажной ленты с записанными на ней символами и считывающей головки, могло решать любые математические или логические задачи. Таким образом, она обладала основными свойствами современного компьютера: пошаговым выполнением математических операций, запрограммированных во внутренней памяти. Эта машина открыла дискуссию по теории автоматов и создала теоретическую базу для работы цифровых компьютеров, которые появились в 1940-е годы.
Тьюринг продолжил учебу в США — в Принстонском университете, где под руководством американского математика А. Черча в 1938 получил степень доктора философии. Затем он вернулся в Великобританию, где был избран в совет Кингз-колледжа. Во время Второй мировой войны ученый служил в правительственной шифровальной школе в Блетчли, где с помощью первых вычислительных машин пытались расшифровать германские послания, закодированные шифровальной машиной «Энигма». В конце 1943 при участии Тьюринга была построена первая вычислительная машина, использовавшая вместо электромеханических реле 2 тыс электронных вакуумных ламп, — «Колосс», сыгравшая решающую роль в расшифровке шифров «Энигмы».
В 1945 Тьюринг был принят в Национальную физическую лабораторию в Лондоне, где возглавил разработку большого автоматического вычислительного устройства АСЕ (Automatic Computing Engine). В 1948 ученый был назначен заместителем М. Ньюмена, директора вычислительной лаборатории Манчестерского университета, где создавался компьютер с самой большой по тому времени памятью — манчестерская автоматическая цифровая машина, или «Мадам» (Manchester Automatic Digital Machine), как ее называли в прессе. Тьюринг написал для нее несколько программ, пользуясь буквенно-цифровым кодом.
Работы Тьюринга по ранней технике программирования имели первостепенное значение. Ему также принадлежит мысль о том, что рано или поздно будет создан компьютер, способный мыслить, и предложил простой тест для определения этой способности у компьютера, названный «тестом Тьюринга». Эти работы Тьюринга считаются основополагающими в теории искусственного интеллекта. В 1952 Тьюринг опубликовал первую часть своего учения о морфогенезе, развитии форм живых организмов. Эта работа осталась незаконченной, так как Тьюринг, впавший в депрессию в результате принудительного лечения гомосексуализма, покончил с собой.