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

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

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