discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Scooping the Loop Snooper: A proof that the Halting Problem is undecidable, by Geoffrey K. Pullum
http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html
4 comments
12/11/2012
philosophy