New top story on Hacker News: Scooping the Loop Snooper: Proof That the Halting Problem Is Undecidable (2000)

Scooping the Loop Snooper: Proof That the Halting Problem Is Undecidable (2000)
3 by lgessler | 1 comments on Hacker News.