Puede verse que esto es cierto simplemente porque hay máquinas universales de Turing capaces de ejecutar cualquier algoritmo.