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?


A short program must exist that outputs the given string x if there are several long programs that do so, according to the primary theorem of this part. The name given to this outcome is the Coding Theorem. Coding Theorem (Levin)—Theorem 3.3.