Otro de los resultados más importantes de esta teoría es la existencia de las máquinas universales de Turing.