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: |
id |
I30-R136123456789-471 |
---|---|
record_format |
dspace |
institution |
Universidad de Ciencias Empresariales y Sociales (UCES) |
institution_str |
I-30 |
repository_str |
R-136 |
collection |
Repositorio Institucional (UCES) |
language |
Español |
topic |
Matemáticas |
spellingShingle |
Matemáticas Grimson, Rafael Un marco general para resultados sobre limitaciones de los sistemas formales |
topic_facet |
Matemáticas |
description |
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. |
format |
Article |
author |
Grimson, Rafael |
author_facet |
Grimson, Rafael |
author_sort |
Grimson, Rafael |
title |
Un marco general para resultados sobre limitaciones de los sistemas formales |
title_short |
Un marco general para resultados sobre limitaciones de los sistemas formales |
title_full |
Un marco general para resultados sobre limitaciones de los sistemas formales |
title_fullStr |
Un marco general para resultados sobre limitaciones de los sistemas formales |
title_full_unstemmed |
Un marco general para resultados sobre limitaciones de los sistemas formales |
title_sort |
un marco general para resultados sobre limitaciones de los sistemas formales |
publisher |
Universidad de Ciencias Empresariales y Sociales (UCES) |
publishDate |
2009 |
url |
http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/471 |
work_keys_str_mv |
AT grimsonrafael unmarcogeneralpararesultadossobrelimitacionesdelossistemasformales |
bdutipo_str |
Repositorios |
_version_ |
1764820523596906502 |