As we know some algebraic problem may be presented or interpret into algebraic geometry or geometry, so we can understand the problem throughly.
Now, how to interpret Matiyasevich–Robinson–Davis–Putnam in term of algebraic geometry or geometry? What does the "there is no algorithm to decide $\cdots$" mean in term of geometry?