Ambos textos abordan de manera rigurosa la teoría de la prueba, explorando conceptos fundamentales de la lógica matemática y su estructura formal.
Proof Theory
por Solomon Feferman · 1988
Ver sugerenciasSinopsis
Esta obra explora el desarrollo y el estado actual de la teoría de la prueba, una rama de la lógica matemática que trata las pruebas como objetos matemáticos, analizando su estructura y poder expresivo.
Sé el primero en valorar este libro.
Más de Solomon Feferman
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Prawitz formaliza en su obra la noción de prueba natural, lo que resuena con el análisis estructural que Feferman realiza en su ensayo.
Mientras que Kunen se centra en la teoría de conjuntos, también examina el estado de la axiomatización, complementando el contexto de los fundamentos matemáticos.
Kreisel enfoca su estudio en la teoría de modelos, un aspecto relevante que contribuye a la comprensión de la relación entre pruebas formales y estructuras.
Este texto de Prawitz ofrece un desarrollo detallado de la deducción natural, alineándose con el interés de Feferman en las propiedades de las pruebas matemáticas.
En su estudio sobre deducción natural, Prawitz profundiza en conceptos que son cruciales para la teoría de la prueba, similar a los análisis de Feferman.