Induction, Algorithmic Leaing Theory, and Philosophy