" 的最小描述，则 codice_1(P) 将会返回字符串 "s"。而 "s" 的描述长度，是以下两项之和：以上证明了所需的上界。
历史与背景.算法信息论是计算机科学中的一个领域，研究柯氏复杂性和其他对于字符串（或者其他数据结构）的复杂性度量。柯氏复杂性的理论和概念基于的一些关键性理论。1960年，所罗门诺夫发表了《归纳推理的通用性理论导论》，作为他所创立的的一部分。在1964年发表的《信息与控制》的第一和第二部分 “归纳推理的正式理论” 中，他给出了一个更完整的描述。