Ambos ensayos presentan el programa formalista de Hilbert, centrado en la axiomática para establecer una base sólida en matemáticas.

por David Hilbert · 1928
Ver sugerenciasSinopsis
Este ensayo seminal de Hilbert introduce el famoso programa de Hilbert para formalizar toda la matemática en un sistema axiomático, buscando una demostración de consistencia y completitud.
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
Ambos ensayos presentan el programa formalista de Hilbert, centrado en la axiomática para establecer una base sólida en matemáticas.
Este texto expone la lista de problemas de Hilbert, varios de los cuales son fundamentales para los fundamentos matemáticos que analiza en su obra principal.
La defensa del formalismo de Hilbert en este ensayo resalta su enfoque en la consistencia y completitud, temas centrales en 'El Problema Fundamental de la Lógica Matemática'.
En esta colección, Hilbert investiga los desafíos contemporáneos en matemáticas, manteniendo una conexión directa con su búsqueda de una base axiomática.
Este ensayo profundiza en la necesidad de una base axiomática, alineándose con el objetivo de Hilbert de formalizar las matemáticas de manera rigurosa.
El trabajo aborda la fundamentación axiomática y la consistencia en las matemáticas, reflejando las mismas preocupaciones que Hilbert plantea en su referencia.