(Turing)
Алан Матисон (23.6.1912, Лондон, — 7.6.1954, Уилмслоу, близ Манчестера), английский математик. Член Королевского общества (1951). По окончании Кембриджского университета (1935) работал над докторской диссертацией в Принстонском университете в США (1936— 1938). В 1939—45 сотрудник Британской иностранной службы, в 1945—48 — Национальной физической лаборатории, в 1948—54 — Манчестерского университета. Основные работы по математической логике и вычислительной математике; в 1936—1937 ввёл математическое понятие уточнённого абстрактного эквивалента Алгоритма, или вычислимой функции (См. Вычислимая функция) (получившее впоследствии название Тьюринга машина); в последние годы жизни работал над математическими проблемами биологии.
Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Машины Тьюринга и рекурсивные функции, пер. с нем., М., 1972; Трахтенброт Б. А., Алгоритмы и вычислительные автоматы, М., 1974; Апокин И. А., Майстров Л. Е., Развитие вычислительных машин, М., 1974.
ТЬЮРИНГ (Turing) Алан Матисон (1912 - 54), английский математик. В 1936 - 1937 ввел математическое понятие абстрактного эквивалента алгоритма, или вычислимой функции, получившее затем название "машина Тьюринга".
Turing
p.n.Turing; машина Тьюринга, Turing machine
ТЬЮРИНГ (Turing) Алан (1912-54), английский математик и логик, который сформулировал теории, ставшие впоследствии основой компьютерной техники. В 1937 г. придумал машину Тьюринга - гипотетическую машину, способную преобразовывать набор вводимых команд. Она была предвестницей современных компьютеров. Тьюринг также использовал идею компьютера, чтобы дать альтернативное и более простое доказательство теоремы ГЕДЕЛЯ о неполноте. Тьюринг сыграл основную роль в разгадке «Энигмы» (Enigma) - комплексного метода шифрования, который использовала Германия во время Второй мировой войны. В 1948 г. участвовал в создании одного из первых в мире компьютеров. В 1950 г. придумал тест Тьюринга - предполагалось, что это тест на способность компьютера «мыслить». По существу в нем утверждалось, что человек не сможет отличить диалог с машиной от диалога с другим человеком. Это работа проложила путь к созданию ИСКУССТВЕННОГО ИНТЕЛЛЕКТА. Тьюринг также занимался теоретической биологией. В работе «Химическая основа морфогенеза» (1952) он предложил модель, описывающую происхождение различных схем строения организмов в биологии. С тех пор такие модели часто применяются для описания и объяснения многих систем, наблюдаемых в природе. Тьюринг покончил с собой, будучи официально обвинен в гомосексуализме.
(Turing), Алан Матисон (23 июня 1912 – 7 июня 1954) – англ. логик и математик. В 1936–37 предложил идеализированную машинную модель вычислит. процесса – вычислительную схему, близкую к действиям человека, производящего вычисления, и выдвинул тезис ("тезис Т. "), согласно к-рому каждая функция, вычислимая в обычном, естественном смысле, может быть вычислена с помощью такой модели ("машины Т. "). "Машина Т. " явилась одним из первых уточнений понятия алгоритма. Другие такие уточнения подтвердили справедливость тезиса Т. в том смысле, что всякая функция, вычислимая по Т., вычислима и при др. уточнениях понятия алгоритма, и наоборот. "Машина Т. " предвосхитила ряд черт появившихся позднее универсальных цифровых машин. Большое внимание Т. уделял проблемам, связанным с изучением мышления. В частности, Т. указал на необходимость создания машин, моделирующих процесс обучения, поскольку обучение играет решающую роль в развитии мышления у человека. Т. занимался также вопросами, связанными с разрешения проблемой и проблемой сводимости в предикатов исчислении первой ступени.
Соч.: On computable numbers, with an application to the Entscheidungsproblem, "Proc. London. Math. Soc", 1937, 2 ser., v. 42–43; Computability and λ-definability, "J. Symb. Logic", 1937, v. 2, No 4; Systems of logic based on ordinals, "Proc. London. Math. Soc", 1939, 2 ser., v. 45, pt 3; в рус. пер. – Может ли машина мыслить?, М., 1960.
В. Донченко. Москва.