Resumen

Estudiar relaciones entre la teoría de la recursión y la teoría de categorías, permite encontrar propiedades del universo recursivo que pueden representarse por medio de propiedades universales. Es posible generalizar en algunos aspectos este universo para buscar ejemplos de propiedades recursivas que no provengan de la aritmética y así entender desde otras perspectivas el teorema de incompletitud de Gödel.

Palabras clave: Categoría objeto números naturales universo recursivo conjuntos primitivos recursivos representación categórica categoría cartesiana.

2013-12-05   |   625 visitas   |   Evalua este artículo 0 valoraciones

Vol. 18 Núm.1. Abril 2013 Pags. 218-224 Scientia et technica 2013; 18(1)