>Godel and Turing demonstrating the limits of some systems are actually giving philosophy of science results. The Halting Problem doesn't really touch on phil-

>Godel and Turing demonstrating the limits of some systems are actually giving philosophy of science results. The Halting Problem doesn't really touch on phil-of-sci concerns, which are chiefly about how to do empirical reasoning correctly. You don't need to deductively solve deductively unsolvable problems to do empirical prediction and control correctly.