Un marco general para resultados sobre limitaciones de los sistemas formales
| 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 | https://dspace.uces.edu.ar/jspui/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 |
Files in this item
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina