「帰納的可算集合」の版間の差分

'''帰納的可算集合'''（[[英語きのうてきかさんしゅうごう、{{lang-en-short|英]]: '''Recursively enumerable set'''}}）とは、[[計算理論]]または[[再帰理論]]におけるある種の[[集合]]に付与された名前。[[自然数]]の[[集合]] ''S'' について以下が成り立つ場合、その集合を指して'''帰納的可算'''、'''計算可枚挙'''、'''半決定可能'''、'''証明可能'''、'''チューリング-認識可能'''などと称する。