Frontera de Computabilidad

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
La frontera que separa problemas de decisión, funciones o fragmentos de lenguaje que admiten soluciones algorítmicas efectivas de aquellos que no, en relación con un modelo formal de cómputo especificado y una noción de efectividad declarada.