Back to Search
Start Over
Operaciones recursivas en teorÃa de categorÃas.
- Source :
-
Scientia et Technica . abr2013, Vol. 18 Issue 1, p218-224. 7p. - Publication Year :
- 2013
-
Abstract
- Studying relationships between recursion theory and categorical theory, can find properties of the recursive universe that can be represented by universal properties. It is possible to generalize in some respects this universe to search examples of recursive properties that are not from the arithmetical universe and well understood from other perspectives, the Gödel's incompleteness theorem. [ABSTRACT FROM AUTHOR]
Details
- Language :
- Spanish
- ISSN :
- 01221701
- Volume :
- 18
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- Scientia et Technica
- Publication Type :
- Academic Journal
- Accession number :
- 89861727