Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

Algorithmic Probability - What is the Levin's coding theorem?


The main theorem of this subsection intuitively states that if there are many long programs which output a string x, then there is a short program which outputs it. This result is known as the Coding Theorem. Theorem 3.3. 7 (Coding Theorem (Levin)).