Leonid Levin developed the first stochastic conservation of information law, describing it as "torturing an uninformed witness cannot give information about the crime." Levin's law unifies both the deterministic and stochastic cases of conservation of information. A proof of Levin's law from Algorithmic Information Theory is given as well as a discussion of its implications in evolutionary algorithms and fitness functions.
Intelligence and Unambitiousness Using Algorithmic Information Theory
