Esta obra profundiza en el programa formalista de Hilbert, similarmente a 'Die Grundlagen der Mathematik', enfocándose en la consistencia de las matemáticas.

por D. Hilbert · 1928
Ver sugerenciasSinopsis
Obra coescrita con Wilhelm Ackermann que aborda los fundamentos de la lógica matemática y la metamatemática, sentando las bases de la teoría de la demostración.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda
Esta obra profundiza en el programa formalista de Hilbert, similarmente a 'Die Grundlagen der Mathematik', enfocándose en la consistencia de las matemáticas.
Al ser coautorado por Ackermann, este libro complementa la exposición de los fundamentos de la lógica matemática y la teoría de la prueba.
Reúne escritos de Hilbert que refuerzan su propuesta formalista, abordando temas de consistencia y completitud que son centrales en la obra de referencia.
Explora los fundamentos de la aritmética y álgebra a través de un enfoque axiomatizado, lo que resuena con el propósito metamatemático de Hilbert.
Se trata de la misma obra original, que establece las bases lógica y axiomatiza el campo matemático, tal como lo hace 'Die Grundlagen der Mathematik'.
Recopila trabajos de Hilbert que desarrollan su enfoque axiomático, alineándose con la intención de 'Die Grundlagen der Mathematik' de fundamentar la lógica matemática.