What I find fascinating is that Solomonoff Induction (and the related concepts from Kolmogorov complexity) very elegantly solves the classical philosophical problem of induction, as well as resolving a lot of other problems:

1. What is the correct "prior" in Bayesian inference, and isn't the choice of prior all subjective?
2. What does Occam's razor really mean, and what is a "simple" theory?
3. Why do physicists insist that their theories are "simple" when only they can understand them?

Despite this, it is almost unheard of in the general philosophical (analytic philosophy) community. I've read literally dozens of top-grade philosophers discussing these topics, with the implication that these are still big unsolved problems, and in complete ignorance that there is a very rich mathematical theory in this area. And the theory's not exactly new either... dates back to the 1960s.

Anyone got an explanation for the disconnect?