On Diophantine equations over $\mathbb{Z}[i]$ with $52$ unknowns

Yuri Matiyasevich, Zhi-Wei Sun

In this paper we show that there is no algorithm to decide whether an arbitrarily given polynomial equation $P(z_1,\dots ,z_{52})=0$ (with integer coefficients) over the Gaussian r…