Topicos De La Teoria De La Recursion

Publisher Marketing: La teoria de la recursion trata del estudio de los problemas de decision en diversos campos de la matematica. La teoria busca dilucidar cuales problemas de decision son susceptibles de ser resueltos en forma algoritmica, clasificando ademas los problemas de decision no resolubles de acuerdo a sus dificultades y circunstancias intrinsecas de irresolubilidad. Las herramientas basicas de la teoria son los diversos modelos de las nociones de computabilidad y de algoritmo, tales como las funciones parcialmente recursivas, las maquinas de Turing, los sistemas productivos de Post, el lambda-calculo de Church y algunos otros modelos. La teoria experimento su mas fuerte desarrollo en la segunda mitad del siglo XX, gracias a los grandes aportes iniciales de Godel, Church, Turing, Kleene y Post, entre otros. En esta obra se estudian algunas de las aplicaciones de la teoria a campos tan diversos como la teoria de los predicados, las logicas aritmeticas, los sistemas productivos, las logicas de primer orden, los calculos proposicionales parciales, la jerarquia aritmetica de Kleene, el decimo problema de Hilbert y las epicas batallas entre Hercules y la Hidra."