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

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: de Campos Sanz, Wagner
Formato: conferenceObject
Lenguaje:Español
Publicado: Horacio Faas 2016
Materias:
Epistemología
Historia de la ciencia
Acceso en línea:http://hdl.handle.net/11086/3191
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R14111086-3191
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Epistemología
Historia de la ciencia
spellingShingle Epistemología
Historia de la ciencia
de Campos Sanz, Wagner
O problemático sentido finitário das proposições da aritmética
topic_facet Epistemología
Historia de la ciencia
description 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.
format conferenceObject
author de Campos Sanz, Wagner
author_facet de Campos Sanz, Wagner
author_sort de Campos Sanz, Wagner
title O problemático sentido finitário das proposições da aritmética
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
publisher Horacio Faas
publishDate 2016
url http://hdl.handle.net/11086/3191
work_keys_str_mv AT decampossanzwagner oproblematicosentidofinitariodasproposicoesdaaritmetica
bdutipo_str Repositorios
_version_ 1764820395966332931

Ejemplares similares