Trivial Reals
A Theory of Program Size Formally Identical to Information Theory