The Diophantine problem for rings of exponential polynomials

We prove unsolvability of the analogue of Hilbert's Tenth Problem for rings of exponential polynomials. The technique of proof consists of an interaction between Arithmetic, Analysis, Logic, and Functional Transcendence.