Martin Davis estudió problemas algorítmicos relacionados con el número de soluciones de una ecuación diofántica.