O problemático sentido finitário das proposições da aritmética

Autores
de Campos Sanz, Wagner
Año de publicación
1998
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Fil: de Campos Sanz, Wagner. Universidad Católica de Pelotas; Brasil.
No artigo de 1936 "A consistência da teoria elementar de números", Gentzen oferece uma prova da consistencia dessa teoria usando técnicas que segundo ele enquadrar-se-iam como técnicas finitárias. Também afirma, no artigo citado, que tais técnicas ultrapassam as técnicas admissíveis na teoria elementar de números.
Fil: de Campos Sanz, Wagner. Universidad Católica de Pelotas; Brasil.
Materia
Epistemología
Historia de la ciencia
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/3191
Acceder
id RDUUNC_d25af77f40132efc9bcb176a35a59dfe
oai_identifier_str oai:rdu.unc.edu.ar:11086/3191
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling O problemático sentido finitário das proposições da aritméticade Campos Sanz, WagnerEpistemologíaHistoria de la cienciaFil: de Campos Sanz, Wagner. Universidad Católica de Pelotas; Brasil.No artigo de 1936 "A consistência da teoria elementar de números", Gentzen oferece uma prova da consistencia dessa teoria usando técnicas que segundo ele enquadrar-se-iam como técnicas finitárias. Também afirma, no artigo citado, que tais técnicas ultrapassam as técnicas admissíveis na teoria elementar de números.Fil: de Campos Sanz, Wagner. Universidad Católica de Pelotas; Brasil.Universidad Nacional de Córdoba1998-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://hdl.handle.net/11086/3191spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-10-23T11:19:08Zoai:rdu.unc.edu.ar:11086/3191Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-10-23 11:19:08.76Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv O problemático sentido finitário das proposições da aritmética
title O problemático sentido finitário das proposições da aritmética
spellingShingle O problemático sentido finitário das proposições da aritmética
de Campos Sanz, Wagner
Epistemología
Historia de la ciencia
title_short O problemático sentido finitário das proposições da aritmética
title_full O problemático sentido finitário das proposições da aritmética
title_fullStr O problemático sentido finitário das proposições da aritmética
title_full_unstemmed O problemático sentido finitário das proposições da aritmética
title_sort O problemático sentido finitário das proposições da aritmética
dc.creator.none.fl_str_mv de Campos Sanz, Wagner
author de Campos Sanz, Wagner
author_facet de Campos Sanz, Wagner
author_role author
dc.subject.none.fl_str_mv Epistemología
Historia de la ciencia
topic Epistemología
Historia de la ciencia
dc.description.none.fl_txt_mv Fil: de Campos Sanz, Wagner. Universidad Católica de Pelotas; Brasil.
No artigo de 1936 "A consistência da teoria elementar de números", Gentzen oferece uma prova da consistencia dessa teoria usando técnicas que segundo ele enquadrar-se-iam como técnicas finitárias. Também afirma, no artigo citado, que tais técnicas ultrapassam as técnicas admissíveis na teoria elementar de números.
Fil: de Campos Sanz, Wagner. Universidad Católica de Pelotas; Brasil.
description Fil: de Campos Sanz, Wagner. Universidad Católica de Pelotas; Brasil.
publishDate 1998
dc.date.none.fl_str_mv 1998-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11086/3191
url http://hdl.handle.net/11086/3191
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Nacional de Córdoba
publisher.none.fl_str_mv Universidad Nacional de Córdoba
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1846785321406038016
score 12.982451

Publicaciones similares