Los 23 problemas de Hilbert

Empecemos por algo bsico. Un poco de info biogrfica acerca de David Hilbert.

David Hilbert (23 de enero de 1862, Knigsberg, Prusia Oriental 14 de febrero de 1943,
Gttingen, Alemania) fue un matemtico alemn, reconocido como uno de los ms
influyentes del siglo XIX y principios del XX. Estableci su reputacin como gran matemtico y
cientfico inventando o desarrollando un gran abanico de ideas, como la teora de
invariantes, la axiomatizacin de la geometra y la nocin de espacio de Hilbert, uno de
los fundamentos del anlisis funcional. Hilbert y sus estudiantes proporcionaron partes
significativas de la infraestructura matemtica necesaria para la mecnica cuntica y la
relatividad general. Fue uno de los fundadores de la teora de la demostracin, la lgica
matemtica y la distincin entre matemtica y metamatemtica. Adopt y defendi
vivamente la teora de conjuntos y los nmeros transfinitos de Cantor. Un ejemplo famoso de
su liderazgo mundial en la matemtica es su presentacin en 1900 de un conjunto de
problemas que establecieron el curso de gran parte de la investigacin matemtica del
siglo XX.

En la pugna por demostrar correctamente algunos de los errores cometidos por

Einstein, en la teora general de la relatividad, David Hilbert se adelant a las
correcciones de Einstein, sin embargo nunca quiso otorgarse el mrito

O sea, fue un bocho enorme para la matemtica; que enriqueci la ciencia con numerosos
aportes. Pero este post hace especial hincapi en uno de ellos. Estamos hablando, de los 23
problemas de David Hilbert.
Fue en un da de 1900, en el marco de una conferencia en Pars para el congreso
internacional de matemticos de ese ao, que el mundo (un puado de entendidos sobre la
meteria en realidad nada ms) oy por primera vez de ellos. Lo que Hilbert en realidad hizo
fue compilar una serie de problemas que hasta ese da no haban hallado solucin, y cuyas
respuestas posibilitaran el salto evolutivo de la matemtica del siglo XX. Inicialmente,
present 10 de los problemas (1, 2, 6, 7, 8, 13, 16, 19, 21 y 22) en la conferencia, en un acto
el 8 de agosto en La Sorbona. La lista completa se public ms adelante.

Hoy en da, de los problemas de Hilbert claramente formulados, los problemas 3, 7, 10, 11, 13,
14, 17, 19 y 20 tienen una solucin aceptada por consenso. Por otro lado, los problemas 1, 2,
5, 9, 15, 18, 21 y 22 tienen soluciones de aceptacin parcial, pero existe cierta controversia al
respecto de si la solucin resuelve realmente el problema.

En el 18, la solucin a la ecuacin de Kepler es una demostracin asistida por computador,

una nocin anacrnica para un problema de Hilbert y controvertida hasta cierto punto debido a
que un lector humano no puede verificarla en tiempo razonable.

Esto deja sin resolver el 8 (la hiptesis de Riemann) y el 12, ambos dentro de la teora de
nmeros. En esta clasificacin los 4, 6, 16 y 23 son demasiado vagos como para que algn
da se les pueda declarar resueltos.

Paso a mostrar algunos de los problemas, y su solucin (o intento de solucin. Aclaro de

antemano que tales soluciones no son como encontrar las races de una ecuacin cuadrtica,
o calcular el rea de un pentgono: son matemtica muy pero muy avanzada. Solo me limito a
mostrar principalmente el (o los) procedimientos empleados para llegar a la solucin, o por
quin fueron resueltos. Los paso a clasificar en 3 grupos: en primer lugar, los cuales cuya
solucin es aceptada por consenso general. Solo voy a poner 2 o 3. El resto se puede
encontrar en Wikipedia.

Problema III: dados dos poliedros de igual volumen, es siempre posible cortar el primero en
una cantidad finita de piezas polidricas que puedan ser ensambladas de modo que quede
armado el segundo?
Resultado: no, probado usando invariantes de Dehn

Problema VII: Es a elevado a la b trascendental, siendo a 0,1 algebraico y b irracional

algebraico?
Resultado: s, ilustrado por el teorema de Gelfond o el teorema de Gelfond-Schneider

Problema XVII:Expresar de una funcin definida racional como cociente de sumas de

cuadrados
Resultado: se estableci un lmite superior para el nmero de trminos cuadrados necesarios,
Pfister (1967). La solucin negativa en general se debe a Du Bois (1967).

Por otro lado, estn los problemas que tienen soluciones de aceptacin parcial, pero existe
cierta controversia al respecto de si la solucin resuelve realmente el problema.

Problema I: La hiptesis del continuo (esto es, no existe conjunto cuyo tamao est
estrictamente entre el de los enteros y el de los nmeros reales)
Se ha probado la impibilidad de probarlo como cierto o falso mediante los axiomas de
Zermelo-Fraenkel. No hay consenso al respecto de considerar esto como solucin al
problema.

Problema XV: Fundamento riguroso del clculo enumerativo de Schubert.

Parcialmente resuelto, Van der Waerden a finales de los aos treinta.

Problema II: Probar que los axiomas de la aritmtica son consistentes (esto es, que la
aritmtica es un sistema formal que no supone una contradiccin).
Parcialmente resuelto: hay quienes sostienen que se ha demostrado imposible de establecer
en un sistema consistente, finitista y axiomtico. Sin embargo, Gentzen prob en 1936 que la
consistencia de la aritmtica se deriva del buen fundamento del ordinal 0, un hecho sujeto a
la intuicin combinatoria.

Tambin estn los problemas demasiado vagos como para hallarsele una solucin

Problema IV: Construir todas las mtricas cuyas rectas sean geodsicas.
Problema VI: Axiomatizar toda la fsica
Problema XVI: Topologa de las curvas y superficies algebraicas.

Y finalmente, aquellos problemas que an hoy permanecen abiertos y sin solucin.

Problema VIII: La hiptesis de Riemann (la parte real de cualquier cero no trivial de la funcin
zeta de Riemann es ) y la conjetura de Goldbach (cada nmero par mayor que 2 se puede
escribir como la suma de dos nmeros primos).
Problema XII: Extender el teorema de Kronecker sobre extensiones abelianas de los nmeros
racionales a cualquier cuerpo numrico de base.

Hoy por hoy, el ms importante y competente es el VIII, la hiptesis de Riemann. Es el nico

de los 23 problemas de Hilbert que fue includo dentro de los 7 problemas del milenio. Se
ofrece una suma de U$S 1000000 para quien logre resolverlo.