Hilbert1.gif

Nacimiento:1 enero 1862en KönigsbergMuerte:1 enero 1943

No se ha añadido ninguna twiki todavía.

Hilbert3.gif
Hilbert4.gif
Hilbert5.gif
Hilbert6.gif

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

Cargando el mapa…