All Questions

I want to ask about decidability of exponential Diophantine equation: $z_12^{\eta_1} + \ldots + z_n2^{\eta_n} = z$, where $z_i,\eta_i,z \in \mathbb{Z}$, and $\eta_i$ - are variables. Can we find ...