Hacker News new | ask | show | jobs
by tekne 318 days ago
This is just the Halting Problem, many good introductory expositions of the proof exist.