Hacker News new | ask | show | jobs
by frutiger 455 days ago
Isn't the halting problem about knowing all future states and not a future state?