David Hilbert (1862-1943)
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:216
Matemático y lógico alemán. Desde 1886, dedicado a la enseñanza en
Königsberg; profesor de la Universidad de Gotinga desde 1895; fundador
de la escuela matemática de dicha ciudad. Sus trabajos fundamentales
versan acerca de la teoría de los invariantes algebraicos, de la
teoría de los números algebraicos, de los fundamentos de la matemática
y sobre la lógica matemática. En su obra Fundamentos de la geometría
(1899), Hilbert estructuró con todo rigor axiomático la geometría de
Euclides, lo cual predeterminó en gran medida el desarrollo ulterior
de las investigaciones relativas al saber axiomático (Método
axiomático). Son importantes los trabajos de Hilbert acerca del
cálculo proposicional y cálculo de predicados. A comienzos del siglo
XX, Hilbert expuso en varios artículos las bases de la nueva manera de
concebir la fundamentación de la matemática, manera que dio origen,
por una parte, a la concepción de formalismo en la estructuración de
dicha ciencia y, por otra parte, a la aparición de una nueva rama de
la matemática: la metamatemática.
Diccionario de filosofía · 1984:207
Matemático y lógico alemán, fundador de la escuela matemática de
Hoettingen. Los trabajos fundamentales de Hilbert se refieren a la
teoría de los números algebraicos y a los fundamentos de las
matemáticas y la lógica matemática. En la obra Fundamentos de
geometría (1899), Hilbert construyó con rigor axiomático la geometría
de Euclides, lo cual predeterminó en grado considerable el desarrollo
de las investigaciones sobre la axiomatización del conocimiento
científico (Método axiomático). Gran importancia tienen los trabajos
de Hilbert en la esfera del cálculo de los enunciados y cálculo de los
predicados. A principios del siglo 20, Hilbert formuló las bases del
nuevo enfoque de la fundamentación de las matemáticas, que condujo,
por una parte, a la aparición de la concepción de formalismo en las
fundamentaciones de las matemáticas y, por la otra, al surgimiento de
un nuevo apartado en éstas: las metamatemáticas (teoría de las
pruebas).