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.pdf41.92 kBAdobe PDFVisualizar/Abrir


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons