Un marco general para resultados sobre limitaciones de los sistemas formales
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.
Colecciones
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