Ambas obras de Hilbert defienden su programa formalista, buscando establecer la consistencia de las matemáticas mediante sistemas axiomáticos y demostraciones rigurosas.

por David Hilbert · 1934
Ver sugerenciasSinopsis
Hilbert, uno de los matemáticos más influyentes del siglo XX, presenta una visión de los fundamentos de las matemáticas, abogando por la formalización y la demostración de la consistencia de los sistemas axiomáticos.
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 de Hilbert defienden su programa formalista, buscando establecer la consistencia de las matemáticas mediante sistemas axiomáticos y demostraciones rigurosas.
Al igual que en 'Conceptos Fundamentales de la Matématica', Hilbert presenta una axiomatización precisa que busca asegurar la lógica detrás de la geometría euclidiana.
Este texto expone el programa formalista de Hilbert y su deseo de establecer la consistencia en la aritmética y el análisis, alineándose con sus ideas fundamentales.
Hilbert aborda lagunas en las demostraciones euclidianas y presenta un conjunto de axiomas que refuerzan la lógica de la geometría, similar a su enfoque en la formalización.
Ambas obras exploran la formalización de las matemáticas y el establecimiento de bases axiomáticas, buscando un enfoque sólido a la lógica matemática subyacente.
En este ensayo, Hilbert reflexiona sobre la necesidad de una base axiomática, lo cual resuena con su defensa de la consistencia y formalización matemática.