Thursday, October 17, 2002

Scooping the Loop Snooper

Thanks to Jose Balcazar for showing me this poem by Geoffrey K. Pullum giving a proof, in verse, that the halting problem is undecidable.
Posted by at

0 comments:

Post a Comment

Subscribe to: Post Comments (Atom)