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