Search

Your search keyword '"Poveda, Yuri A."' showing total 1 results
Start Over Author "Poveda, Yuri A." Topic categories (mathematics)
1 results on '"Poveda, Yuri A."'

1. Operaciones recursivas en teoría de categorías.

Author

Poveda, Yuri A., Valencia Angulo, Edgar Alirio, and Escudero Salcedo, Carlos Arturo

Subjects
*RECURSION theory, *NATURAL numbers, *RECURSIVE functions, *CATEGORIES (Mathematics), *CARTESIAN coordinates
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]

Published
2013

Catalog

Books, media, physical & digital resources
See catalog results