Un marco general para resultados sobre limitaciones de los sistemas formales
Mostrar el registro sencillo del ítem
dc.contributor.author |
Grimson, Rafael |
|
dc.date.accessioned |
2009-07-06T18:25:08Z |
|
dc.date.available |
2009-07-06T18:25:08Z |
|
dc.date.issued |
2002 |
|
dc.identifier.citation |
Grimson, R. (2002). Un marco general para resultados sobre limitaciones de los sistemas formales. Energeia, 1(2), 231-256. |
es |
dc.identifier.issn |
1666-5732 |
|
dc.identifier.uri |
http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/471 |
|
dc.description.abstract |
En este artículo se estudian diferentes limitaciones de los sistemas formales y se les da un marco común. Principalmente trabajaremos con limitaciones relacionadas con las nociones de expresabilidad en la aritmética de Peano y de computabilidad. Daremos un principio general que engloba una amplia gama de resultados sobre limitaciones de los formalismos. |
es |
dc.format.mimetype |
application/pdf |
es |
dc.language.iso |
es |
es |
dc.publisher |
Universidad de Ciencias Empresariales y Sociales (UCES) |
es |
dc.rights |
Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina |
es |
dc.rights.uri |
http://creativecommons.org/licenses/by-nc-nd/2.5/ar/deed.es_AR |
es |
dc.source |
Energeia, 1(2), 231-256 (2002) |
es |
dc.subject |
Matemáticas |
es |
dc.title |
Un marco general para resultados sobre limitaciones de los sistemas formales |
es |
dc.type |
Article |
es |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
Mostrar el registro sencillo del ítem
Excepto si se señala otra cosa, la licencia del ítem se describe como Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina