Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing.