Filosofía en español 
Filosofía en español

David Hilbert

no figura

Diccionario filosófico marxista · 1946

no figura

Diccionario filosófico abreviado · 1959

David Hilbert (1862-1943)

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 filosófico · 1965:216

David Hilbert (1862-1943)

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).

Diccionario de filosofía · 1984:207