Could Matiyasevich's result be viewed in the same vein as Turing’s Halting Problem, but in an even more compact form regarding the limits of mathematics and logic? Diophantine equations are expressed in a simpler form than Turing machines, which makes the size and expressiveness of the problem particularly interesting for study.