Aborda la teoría de la demostración con un enfoque de consistencia y completitud, similar al planteamiento formalista de Hilbert y Bernays.
Grundzüge der theoretischen Logik
por David Hilbert, Paul Bernays · 1934
Ver sugerenciasSinopsis
Una obra fundamental en lógica matemática que presenta un planteamiento formalista de los fundamentos, desarrollando la teoría de la demostración y explorando la consistencia 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 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
Explora el programa de Hilbert para establecer fundamentos matemáticos mediante la lógica axiomática, alineándose con las ideas de formalismo en la obra de referencia.
Expone el programa formalista de Hilbert para la consistencia matemática, reflejando la importancia de los métodos finitistas en la lógica matemática propuesta por Hilbert.
Desarrolla un enfoque para establecer bases axiomáticas consistentes y completas en matemáticas, en línea con el objetivo central de Grundzüge der theoretischen Logik.
Reitera las bases de la lógica matemática formal y presenta sistemas axiomáticos, coincidiendo con la exploración de la consistencia y completitud de Hilbert.
Aborda los fundamentos de las matemáticas mediante una perspectiva logicista y formalista, reforzando los conceptos de consistencia y teoría de la demostración de Hilbert.