Proof Theory
1988·ensayo
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.
SF
SF
Solomon Feferman
estadounidense
Solomon Feferman fue un destacado matemático y filósofo estadounidense, conocido por sus contribuciones a la lógica y la filosofía de las matemáticas. Su trabajo en los fundamentos de la matemática y su investigación sobre la teoría de la prueba son altamente influyentes.
Obras en el archivo
2 títulos
La Sintaxis de la Verdad
2006·filosofia
Una profunda exploración de la lógica y la filosofía de las matemáticas, analizando el trabajo de Gödel y Tarski, y discutiendo las limitaciones inherentes a los sistemas formales, así como los diferentes conceptos de verdad.
Autores relacionados
Aparecen junto a Solomon Feferman en búsquedas del archivo