23 июня 1912 года в семье английского чиновника в Индии родился Алан Мэтисон Тьюринг. Образование он получал в США, Франции и Англии. Во время его обучения в математической среде был актуален вопрос об алгоритме, который вычислял бы истинность высказываний.