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)

Ejemplares similares

Ejemplares similares