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

Mostrar todas las versiones(2)

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

Ejemplares similares

Ejemplares similares