所罗门诺夫归纳违反尼科德准则

尼科德准则指出，观察到一只黑乌鸦为假设 H（所有乌鸦都是黑的）提供了证据。我们证明所罗门诺夫归纳不满足尼科德准则：存在某些时间步，观察到黑乌鸦反而降低了对 H 的信念。此外，在观察任何与 H 相容的可计算无限字符串时，若使用未归一化的所罗门诺夫先验，对 H 的信念会无限次下降；但若使用归一化的所罗门诺夫先验，则仅会有限次下降。我们认为问题不在于所罗门诺夫归纳，相反，我们应当摒弃尼科德准则。