Back مجموعة قابلة للحساب Arabic Conjunt recursiu Catalan Татсапаруллă йыш CV Entscheidbarkeit German Αναδρομικό σύνολο Greek Computable set English Komputebla aro Esperanto Conjunto recursivo Spanish مجموعه بازگشتی Persian Ensemble récursif French
 | Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Dezembro de 2024) |
Na teoria da computabilidade, um conjunto de números naturais é chamado recursivo, computável ou decidível se existe um algoritmo que termina após uma quantidade finita de tempo e decide corretamente se um número pertence ou não ao conjunto.
Uma classe mais geral de conjuntos consiste nos conjuntos recursivamente enumeráveis, também chamados conjuntos semidecidíveis. Para estes conjuntos, somente é requerido que exista um algoritmo que decida corretamente quando um número está no conjunto; o algoritmo pode não dar resposta (mas não uma resposta errada) para números que não estão no conjunto.
Um conjunto que não é computável é chamado não computável ou indecidível.