Esta obra expande el programa formalista de Hilbert, detallando la consistencia y metodologías finitistas de la matemáticas, al igual que 'Principios de la Metamátemática'.
Principios de la Metamátemática
por David Hilbert y Paul Bernays · 1934
Ver sugerenciasSinopsis
Una de las obras fundamentales de la metamatemática, que aborda la teoría de la demostración, la consistencia y la completitud de los sistemas formales, presentando el famoso programa de Hilbert.
Sé el primero en valorar este libro.
Más de David Hilbert y Paul Bernays
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 Geometría
1899
Sobre la Fundamentación de la Geometría
1899
Über die Grundlagen der Geometrie
1899
Ensayo sobre los fundamentos de la geometría
1899
Cuestiones fundamentales de la geometría
1899
Fundamentos de Geometría
1899
Principios de la geometría
1899
Los Axiomas de la Geometría
1899
Sobre los Fundamentos 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
Al igual que el libro de referencia, este texto aborda la teoría de la demostración y la consistencia desde un enfoque formalista en la lógica matemática.
Ambos libros desarrollan el programa de Hilbert, enfocándose en establecer fundamentos axiomáticos consistentes para las matemáticas, reflejando su influencia en la lógica matemática.
Hilbert explora la formalización de matemáticas en esta obra, similar al enfoque del libro de referencia sobre sistemas formales y su consistencia.
Tanto el 'Principios de la Metamátemática' como esta obra abordan la fundamentación de las matemáticas, buscando establecer la consistencia de sistemas complejos mediante métodos formales.
Este ensayo comparte el enfoque de Hilbert y Bernays en la lógica formal y la teoría de la demostración, abordando temas críticos sobre consistencia y completitud.