Por favor, use este identificador para citar o enlazar este ítem:
https://dspace.uces.edu.ar/jspui/handle/123456789/471
Título : | Un marco general para resultados sobre limitaciones de los sistemas formales |
Autor : | Grimson, Rafael |
Palabras clave : | Matemáticas |
Fecha de publicación : | 2002 |
Editorial : | Universidad de Ciencias Empresariales y Sociales (UCES) |
Citación : | Grimson, R. (2002). Un marco general para resultados sobre limitaciones de los sistemas formales. Energeia, 1(2), 231-256. |
Resumen : | 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. |
URI : | https://dspace.uces.edu.ar/jspui/handle/123456789/471 |
ISSN : | 1666-5732 |
Aparece en las colecciones: | Energeia. 2002, vol.1, n.2 |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Un_marco_general.pdf | 41.92 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons