Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | es |
| Published: |
Universidad Tecnológica de Pereira
2013
|
| Subjects: | |
| Online Access: | https://www.redalyc.org/articulo.oa?id=84927487032 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Operaciones recursivas en teoría de categorías Yuri A. Poveda Edgar Alirio Valencia Angulo Carlos Arturo Escudero Salcedo Ingeniería Categoría universo recursivo categoría cartesiana objeto números naturales representación categórica 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 propiedad es recursivas que no provengan de la aritmética y así entender desde otras perspectivas el teorema de incompletitud de Gödel. 2013 artículo científico 0122-1701 https://www.redalyc.org/articulo.oa?id=84927487032 es http://www.redalyc.org/revista.oa?id=849 Scientia Et Technica application/pdf Universidad Tecnológica de Pereira Scientia Et Technica (Colombia) Num.1 Vol.18