Exploramos los criterios racionales formales e informales de consistencia, no trivialidad y redundancia en la investigación matemática actual. Desarrollamos la discusión paradigmática analizando las diferentes concepciones ...

Usando como motivación la objeción de H. Curry y una propuesta de L. Henkin, el artículo introduce los tableaux positivos, una forma de tableaux sin refutación construidos a partir de la idea de trivialidad implicativa. ...

1er. Cuatrimestre

Este ítem forma parte de la colección Archivo virtual Escritos en la Prisión en el marco de la investigación denominada Archivo de Artistas e Intelectuales Argentinos del Centro de Estudios Avanzados de la Facultad de ...