Computably inseparable
subject: Category:Computability theory
description: in computability theory, pairs of sets of natural numbers that cannot be \separated\ with a recursive set
label: 帰納的分離不能対 @ja