奥卡姆剃刀
With the advent of formal languages and computer programming Occam's razor was mathematically defined. Models of a given set of observations, encoded as bits of data, could be created in the form of computer programs that output that data. Occam's razor could then "formally" select the shortest program, measured in bits of this "algorithmic information", as the best model.