El décimo problema de Hilbert reclama un algoritmo que decida si el número de soluciones es formula_54 o distinto de formula_54.