In college, we were shown that Hilbert's Tenth Problem has no solution, and this was shown using Turing machines.

I was also told that this can be proven through Lambda Calculus, and has been.

Can anyone either link me to a proof of this, or show me?