Con ello sentaron los fundamentos operativos de la tecnología de la moderna computación, que fueran ulteriormente desarrollados por las teorías de Emil Post y el célebre matemático inglés Alan Turing (Inglaterra, 1912-1954), creador de la Automatic Digital Machine que por primera vez permitió realizar cálculos mecanizados mediante el empleo de algoritmos.