HILBERT, DAVID (1862-1943)
Nac. en Königsberg, profesor desde 1893 en Königsberg y desde 1895 en Gottinga, es autor de muchas contribuciones importantes a la matemática y a la lógica matemática. Entre ellas destaca su labor de fundamentación de la geometría euclidiana, su teoría de la prueba, especialmente mediante la prueba de consistencia (véase Consistente) de sistemas deductivos, y sus trabajos para la formalización de la aritmética. En general, puede decirse que la más importante contribución de Hilbert a la lógica reside en su esfuerzo para llevar a cabo todas las posibilidades de la formalización. Por este motivo sus resultados más destacados se hallan en el terreno de la sintaxis, ya que las fórmulas con las cuales opera Hilbert están tomadas como puros signos, desprovistos de significación. Con frecuencia se considera a Hilbert como el más eminente representante de la dirección formalista o axiomática en la filosofía de la matemática
