Un marco general para resultados sobre limitaciones de los sistemas formales
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 ga...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Artículo |
| Lenguaje: | Español |
| Publicado: |
Universidad de Ciencias Empresariales y Sociales (UCES)
2009
|
| Materias: | |
| Acceso en línea: | http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/471 |
| Aporte de: |
| Sumario: | 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. |
|---|