Ambas obras exploran la teoría de la demostración, siendo el texto de Hilbert fundamental en la metamatemática, al igual que el de Rosenbloom.
Principios de la Metamatemática
por Paul Rosenbloom · 1950
Ver sugerenciasSinopsis
Rosenbloom presenta una introducción detallada a la metamatemática, abordando los fundamentos de la lógica formal, la teoría de pruebas y la teoría de modelos de manera rigurosa y estructurada.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Fundamentos de la matemática: Problemas de la fundamentación matemática
Abraham Robinson
1966·filosofia
Robinson investiga los fundamentos matemáticos, similar a Rosenbloom, ofreciendo enfoques alternativos sobre los sistemas formales que enriquecen la lógica matemática.
Lorenzen presenta una mirada constructivista a la metamatemática, complementando la rigurosidad de Rosenbloom al enfocarse en las reglas básicas de la matemática.
Mendelson proporciona una introducción estructurada a la lógica matemática y la teoría de modelos, temas también tratados exhaustivamente en el libro de Rosenbloom.
Kleene aborda rigurosamente la metamatemática y la lógica matemática, alineándose con el enfoque formal y detallado del texto de Rosenbloom.
El ensayo de Kleene ofrece una visión completa de la lógica matemática y la metamatemática, similar en profundidad y rigor a la obra de Rosenbloom.