Búsqueda por
palabras:
  • Paraula 1
  • Paraula 2
  • Paraula 3
  • Paraula 4
Palabra exacta:
Filtrar por
temas:
Filtrar por
autores:

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 mate­má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 contri­bución de Hilbert a la lógica reside en su es­fuerzo para llevar a cabo todas las posibilida­des de la formalización. Por este motivo sus resultados más destacados se hallan en el te­rreno de la sintaxis, ya que las fór­mulas con las cuales opera Hilbert están to­madas 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

Este web utiliza "cookies" propias y de terceros para ofrecerle un mejor servicio, al navegar el usuario acepta su uso Más info
ACCEPTAR