Ambas obras abordan la lógica matemática y el formalismo, centrándose en el establecimiento de sistemas axiomáticos y la teoría de la demostración.

por David Hilbert · 1928
Ver sugerenciasSinopsis
Un trabajo clásico que presenta el programa de Hilbert para sentar los fundamentos de las matemáticas sobre bases axiomáticas y lógicas, explorando la consistencia y completitud de los sistemas formales.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1893

1897

1899

1899

1899

1899

1899

1899

1899

1899

1899

1899

1899

1899

1899
Libros relacionados según distintos criterios de búsqueda
Ambas obras abordan la lógica matemática y el formalismo, centrándose en el establecimiento de sistemas axiomáticos y la teoría de la demostración.
Este libro recopila el programa de Hilbert para bases axiomáticas en matemáticas, similar a los fundamentos lógicos que presenta en su obra principal.
Los ensayos de Hilbert exploran la consistencia de las matemáticas, alineándose con su enfoque de lógica axiomática y teoría de la demostración en 'Principios de Lógica Teórica'.
Esta obra refleja el programa formalista de Hilbert, abordando la consistencia de las matemáticas mediante métodos finitistas, en sintonía con su lógica axiomática.
El texto establece fundamentos de lógica matemática y sistemas axiomáticos, abarcando temas de consistencia y completitud que resuenan con su obra de referencia.
Este texto fundacional se centra en la formalización del cálculo de predicados, sirviendo como una base teórica cohesiva para los sistemas formales discutidos por Hilbert.