Lo que se afirma es que no existe una manera automática computable de saber si todos los programas del mundo terminan.