$f$ is a polynomial of integral coefficient. Now suppose we have a computer program to find out its output taken in $\mathbb{Z}$. Is it possible for us to find out this polynomial in finitely many steps?
I know the answer is Yes if all the coefficients of $f$ is non-negative. In fact, we only need two steps. First, we input $1$.Then we can find out $f(1)=a_n+a_{n-1}+...+a_0$. Then let $k$ be any integer greater than $f(1)$. Secondly, we input $k$ and from the uniqueness of integer representation of $f(k)$ we know all the coefficients $a_i$.
Can we determine the polynomial in finitely many steps if all the coefficients are just integers?