Ambos libros son obras de Hilbert que exploran su programa formalista, centrándose en la lógica matemática y los fundamentos de las matemáticas.
Ensayos de metamatemática
por David Hilbert · 1934
Ver sugerenciasSinopsis
Una compilación de trabajos clave de Hilbert y su escuela sobre fundamentos de las matemáticas, teoría de la demostración y lógica matemática, que buscaban establecer la consistencia de las matemáticas a través de un enfoque formalista.
Sé el primero en valorar este libro.
Más de David Hilbert
Ver autor →Otras obras del mismo autor en el catálogo
Sobre el teorema de los ceros
1893
Die Theorie der algebraischen Zahlkörper
1897
Elemente der Mathematik
1899
Principios de la geometría
1899
Sobre los Fundamentos de la Geometría
1899
Über die Grundlagen der Geometrie
1899
Cuestiones fundamentales de la geometría
1899
Los Axiomas de la Geometría
1899
Ensayo sobre los fundamentos de la geometría
1899
Fundamentos de Geometría
1899
Principios de Geometría
1899
Sobre la Fundamentación de la Geometría
1899
Principios de la Geometría.
1899
Elementos de Hilbert para la geometría
1899
Los fundamentos de la geometría
1899
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este texto se alinea con el enfoque de Hilbert en la lógica axiomática, analizando la consistencia de los sistemas formales en la teoría de pruebas.
La obra resalta la importancia de establecer la consistencia de las matemáticas mediante métodos finitistas, similar a los temas tratados en los ensayos de metamatemática.
Ambos textos abordan la teoría de la demostración y la necesidad de una base lógica y consistente para las matemáticas, caracterizando el enfoque formalista de Hilbert.
Este conjunto de ensayos muestra cómo Hilbert plantea la formalización de la matemática, un objetivo central en 'Ensayos de metamatemática'.
Al igual que el libro de referencia, este aborda el desarrollo de una base axiomática, enfatizando la importancia de la lógica matemática en la metamatemática.