所需要的长度，在不同的形式中是大致相同的，而且其柯氏复杂度比大部分实际的理论小。马库斯·胡特在对剃刀的规范化中，利用这一恒常性定义了“自然”图灵机，用来排除那些过于复杂的指令集。将通用程序的描述作为“假设”，将证据的表示作为“程序数据”，可以在策梅洛-弗兰克尔集合论中证明：“模型的普适概率的对数之和加上模型输入的数据的概率的对数之和应为极小”。可以将它解释为让由两个部分组成符号串达到最短，包括模型的符号和数据的符号，这样我们就得到了最小描述长度定律。将柯氏复杂性和奥卡姆剃刀的概念结合起来的可能结论之一是