La teoría de la recursión trata del estudio de los problemas de decisión en diversos campos de la matemática. La teoría busca dilucidar cuáles problemas de decisión son susceptibles de ser resueltos en forma algorítmica, clasificando además los problemas de decisión no resolubles de acuerdo a sus dificultades y circunstancias intrínsecas de irresolubilidad. Las herramientas básicas de la teoría son los diversos modelos de las nociones de computabilidad y de algoritmo, tales como las funciones parcialmente recursivas, las máquinas de Turing, los sistemas productivos de Post, el...
La teoría de la recursión trata del estudio de los problemas de decisión en diversos campos de la matemática. La teoría busca dilucidar cuáles p...