Hilbert's 10th problem; exponential-growth relation; finite-fold Diophantine representation; rule-them-all equation; Pell's equation

The Davis-Putnam-Robinson theorem showed that every partially computable m-ary function f (a(1), ..., a(m)) = c on the natural numbers can be specified by means of an exponential Diophantine formula involving, along with parameters a(1), ..., a(m), …