 Let
formula_48 and let formula_49 be a proper non-empty subset of formula_33.Davis proved that there is no algorithm to test a given Diophantine equation to determine whether the number of its solutions is a member of the set formula_49.Thus there is no algorithm to determine whether the number of solutions of a Diophantine equation
is finite, odd, a perfect square, a prime, etc.