INVESTIGADORES
GRIMSON Rafael
artículos
Título:
Un marco general para resultados sobre limitaciones de los sistemas formales
Autor/es:
RAFAEL GRIMSON
Revista:
Energeia
Editorial:
UCES
Referencias:
Año: 2002 p. 233 - 242
ISSN:
1666-5732
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.
