Induction, Algorithmic Learning Theory, and Philosophy