Алан Мэтисон Тьюринг родился 23 июня 1912 года в Лондоне в семье чиновника, находящегося на службе в Индии. Уже в школе начал проявлять выдающиеся способности в математике, преподаватели отмечали его как одаренного ученика, который уже в 16 лет до такой степени разобрался с работой Эйнштейна, что смог экстраполировать из текста сомнения Эйнштейна относительно выполнимости законов Ньютона. В 1935 году защитил диссертацию на тему: "Центральная предельная теорема теории вероятности", стал членом Научного общества Кингз-колледжа. Спустя год Алан пишет работу "О вычислимых числах ,с приложением к проблеме разрешимости", в которой ввёл новое математическое понятие - "абстрактный эквивалент алгоритма". Позже оно получило другое название - "машина Тьюринга". Результат этой работы дал толчок к открытию дискуссии по теории автоматов и стал фундаментальной основой для цифровых компьютеров, появившихся в 40-ые годы XX века. После продолжил учебу в США, где под руководством логика и математика Алон