ライスの定理は、帰納的可算集合(recursively enumerable sets)を決定可能なやりかたで二分することの不可能性について述べたものと考えられる。