ТЬЮ́РИНГ АЛАН МАТИСОН

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