Ambas obras de Hilbert y Bernays desarrollan la lógica matemática y la teoría de la demostración, enfocándose en la consistencia de los sistemas axiomáticos.
Grundlagen der Mathematik (Fundamentos de las Matemáticas)
por David Hilbert, Paul Bernays · 1934
Ver sugerenciasSinopsis
Este monumental trabajo aborda los fundamentos de las matemáticas desde una perspectiva logicista y formalista, explorando la consistencia y completitud de los sistemas axiomáticos.
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 clásico aborda sistemas axiomáticos y la relación entre teoremas y consistencia, alineándose con los fundamentos lógicos del libro de referencia.
Hilbert explora la formalización y los fundamentos de la matemática moderna, proponiendo una base axiomática que refleja las ideas de su obra principal.
Presenta una formalización axiomática de la geometría, demostrando la búsqueda de rigor y consistencia que caracteriza los fundamentos de la matemática.
Se refiere explícitamente al programa formalista de Hilbert, buscando establecer la consistencia en la aritmética, un objetivo central del libro de referencia.
Desarrolla la teoría de la demostración y el formalismo en lógica matemática, conectando conceptos fundamentales que aparecen en la obra de Hilbert y Bernays.