Тьюринг Алан

Тью́ринг А́лан, Алан Матисон Тьюринг (Alan Mathison Turing) (23.6.1912, Лондон – 7.6.1954, Уимслоу, близ Манчестера), английский математик, логик, криптограф, член Лондонского королевского общества (1951). Окончил Кембриджский университет (1934). В 1936 г. переформулировал теорему Гёделя о неполноте, заменив формальный арифметический язык К. Гёделя на простое гипотетическое устройство – машину Тьюринга. Предложенная им машина Тьюринга позволила формализовать понятие алгоритма и доныне используется в теоретических исследованиях. В 1936–1938 гг. работал в Принстоне у А. Чёрча. С 1938 г. в Центре правительственной связи Великобритании, во время Второй мировой войны участвовал в расшифровке немецких шифров. В 1942–1943 гг. в США, где вместе с криптоаналитиками Военно-морского флота продолжал работать над взломом немецких шифров и занимался шифрованием речи. В 1945–1947 гг. в Национальной физической лаборатории Великобритании предложил детальное описание ЭВМ с хранимой в памяти программой. С 1948 г. в Манчестерском университетезанимался проблемами искусственного интеллекта. В 1952 г. опубликовал работу «Химические основы морфогенеза», в которой дал математическое описание процесса самоорганизацииСамоорганизацияматерии.