2/12/11 Gil's LotD: Halting problem
Submitted by gil on Sat, 02/12/2011 - 6:00pm
http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html A poetic proof of the undecidability of the halting problem.
Tags:
http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html A poetic proof of the undecidability of the halting problem.