Automated Science and the Halting Problem | Dark Hacker News