Известные математики и механики

Английский математик и инженер, член Лондонского королевского об-ва (с 1951). Р. в Лондоне. Окончил Кембриджский ун-т (1935), учился также в Принстонском унте (США; 1936—1938). В 1938— 1939 работал в Кембриджском унте, в 1939—1945 —в отделе коммуникаций министерства иностранных дел Великобритании, в 1945— 1948 — в Национальной физической лаборатории, в 1948—1954 — в Манчестерском ун-те.
Работы посвящены теории машин автоматического действия и математической логике. Создал теорию универсальных автоматов и первую в Англии универсальную вычислительную машину. Ввел понятие уточненного абстрактного эквивалента алгоритма, или вычислительной функции. В 1936 дал описание «машины Тьюринга», которая могла бы вывести все доказуемые формулы узкого исчисления предикатов. Получил ряд результатов в области аппроксимации групп Ли, конечных групп и в вычислении ^-функции Римана. Занимался (1950) проблемами применения математики к биологии. Разработал первый проект электронного мозга — автоматической вычислительной машины, подготовил ряд программ и поставил проблему обучения вычислительных машин (1948).