Un marco general para resultados sobre limitaciones de los sistemas formales

Mostrar todas las versiones(2)

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Grimson, Rafael
Formato: Artículo
Lenguaje:Español
Publicado: Universidad de Ciencias Empresariales y Sociales (UCES) 2009
Materias:
Matemáticas
Acceso en línea:http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/471
Aporte de:
Repositorio Institucional (UCES) de Universidad de Ciencias Empresariales y Sociales (UCES)
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

Ejemplares similares