Automated Science and the Halting Problem | Hacker News Reader