Tengo un vago recuerdo de un profesor de universidad explicándonos en el año 2000 un teorema que es algo así como una formalización de la navaja de Ockham.
Hoy me han apuntado que igual era la teoría de Solomonoff de inferencia inductiva (enlace a la Wikipedia inglesa):
https://en.wikipedia.org/wiki/Solomonoff%27s_theory_of_inductive_inference