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 |