Randomness conservation inequalities; information and independence in mathematical theories
The Fastest and Shortest Algorithm for All Well-Defined Problems
https://arxiv.org/pdf/cs/0207097.pdf#page=21&org=schmidhuber
https://arxiv.org/pdf/cs/0207097.pdf#page=26&org=schmidhuber
https://arxiv.org/pdf/cs/0207097.pdf#page=12&org=schmidhuber
The Speed Prior: A New Simplicity Measure Yielding Near-Optimal Computable Predictions
Wikipedia Bibliography: