  In this paper we show that there is no algorithm to decide whether an
arbitrarily given polynomial equation $P(z_1,\ldots,z_{52})=0$ (with integer
coefficients) over the Gaussian ring $\mathbb Z[i]$ is solvable.
