¿Qué es?
No se ha añadido ninguna twiki todavía.
Matemático y lógico alemán, nacido en Königsberg -la ciudad en que nació y vivió Kant-, profesor en Gotinga. Su nombre va unido, sobre todo, al de formalismo y al de metamatemática, ciencia que él funda y que puede entenderse como «teoría de la demostración» o estudio de los sistemas matemáticos formalizados, esto es, carentes de contenido significativo. Durante los años 1920-1930, se dedicó a desarrollar un programa de formalización del razonamiento matemático, con la esperanza de probar sobre todo la consistencia de la aritmética elemental y la teoría de conjuntos, esperanza desvanecida, más tarde, por el teorema de Gödel, en lo que se refiere a una teoría aritmética elemental.
En Fundamentos de geometría (1899), ofrece una axiomatización de la geometría y a él se deben también los primeros estudios sobre las propiedades formales de los sistemas axiomáticos.
En expresión de J. Dieudonné, Hilbert «ha enseñado a los matemáticos a pensar axiomáticamente». Entre sus obras destacan: Fundamentos de geometría (1899) y Elementos de lógica teórica (1928).
Relaciones geográficas