dc.contributor.author | de Campos Sanz, Wagner | |
dc.date.accessioned | 2016-08-17T13:52:35Z | |
dc.date.available | 2016-08-17T13:52:35Z | |
dc.date.issued | 1998-10 | |
dc.identifier.uri | http://hdl.handle.net/11086/3191 | |
dc.description.abstract | 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. | es |
dc.language.iso | spa | es |
dc.publisher | Universidad Nacional de Córdoba | es |
dc.rights | Atribución-NoComercial-SinDerivadas 2.5 Argentina | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ | * |
dc.subject | Epistemología | es |
dc.subject | Historia de la ciencia | es |
dc.title | O problemático sentido finitário das proposições da aritmética | es |
dc.type | conferenceObject | es |
dc.description.fil | Fil: de Campos Sanz, Wagner. Universidad Católica de Pelotas; Brasil. | es |
dc.conference.city | Córdoba | es |
dc.conference.country | Argentina | es |
dc.conference.event | Jornada Epistemología e Historia de la Ciencia | es |
dc.conference.eventdate | 1998 | |