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?
