Por tanto, no existe ningún algoritmo que pueda determinar si el número de soluciones es finito o infinito, par o impar, primo o compuesto, cuadrado perfecto, etc.