Тьюринг Алан Матисон

Определение "Тьюринг Алан Матисон" в Большой Советской Энциклопедии

Тьюринг (Turing) Алан Матисон (23.6.1912, Лондон, - 7.6.1954, Уилмслоу, близ Манчестера), английский математик. Член Королевского общества (1951). По окончании Кембриджского университета (1935) работал над докторской диссертацией в Принстонском университете в США (1936- 1938). В 1939-45 сотрудник Британской иностранной службы, в 1945-48 - Национальной физической лаборатории, в 1948-54 - Манчестерского университета. Основные работы по математической логике и вычислительной математике; в 1936-1937 ввёл математическое понятие уточнённого абстрактного эквивалента алгоритма, или вычислимой функции (получившее впоследствии название Тьюринга машина); в последние годы жизни работал над математическими проблемами биологии.

Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Машины Тьюринга и рекурсивные функции, пер. с нем., М., 1972; Трахтенброт Б. А., Алгоритмы и вычислительные автоматы, М., 1974; Апокин И. А., Майстров Л. Е., Развитие вычислительных машин, М., 1974.