Ambas obras presentan el programa formalista de Hilbert, centrándose en la consistencia y fundamentación de las matemáticas mediante métodosaxiomáticos.

por David Hilbert y Paul Bernays · 1934
Ver sugerenciasSinopsis
Una obra clave que expone el programa formalista de Hilbert para la fundamentación de las matemáticas, buscando establecer la consistencia de la aritmética y el análisis.
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 presentan el programa formalista de Hilbert, centrándose en la consistencia y fundamentación de las matemáticas mediante métodosaxiomáticos.
Este texto recopila escritos de Hilbert que refuerzan su enfoque formalista para establecer la lógica y consistencia de las matemáticas, al igual que el libro de referencia.
En este trabajo, Hilbert enfatiza la importancia de la formalización y la teoría de la demostración, aspectos que son centrales en los Fundamentos de las matemáticas.
Hilbert explora la axiomaticización de la aritmética y la consistencia de los sistemas matemáticos, temas fundamentales también en la obra de referencia.
Este texto es una recopilación que establece una base axiomática consistente para la matemática, alineándose con las ideas de Hilbert en los Fundamentos de las matemáticas.
El enfoque logicista y formalista de este ensayo complementa la búsqueda de consistencia y completitud en sistemas axiomáticos, al igual que la obra de Hilbert.