Nope. S_I has cardinality N, because it’s a subset of S, which is the set of computable functions, which has cardinality N.
Nope. S_I has cardinality N, because it’s a subset of S, which is the set of computable functions, which has cardinality N.