Teoría de la Computabilidad
Natural & Formal Sciences Dictionary
Definición
El estudio de qué funciones, conjuntos y problemas son computables por procedimientos efectivos (algoritmos), clasificaciones de grados de insolubilidad, decidibilidad y variantes acotadas por recursos; a menudo formalizado mediante modelos de máquinas abstractas y formalismos de funciones recursivas.