Automated Science and the Halting Problem

3 points | by colijobles 10 hours ago