Also known as decidability theory
Set where an algorithm can take a number as an input and can decide whether the number belongs to the set
En teoría de la computabilidad, un conjunto B es recursivo, computable o decidible (recurrente primitivo) cuando su es computable total. Esto significa que la función característica, la cual es un predicado, toma valor 1 (cierto) para todos los elementos del conjunto y 0 (falso) para el resto.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).
via Wikidata sitelinks · CC0