Hacker News new | ask | show | jobs
by andrewprock 1845 days ago
Understanding does not imply computability. The halting problem is the classic example of this.