October 25, 2012November 11, 2015 Yin Wang Undecidability proof of the halting problem using lambda calculus