Problemas de Hilbert - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Problemas_de_Hilbert

Problemas de Hilbert
Los problemas de Hilbert conforman una lista de 23 problemas matemticos compilada por el matemtico
alemn David Hilbert para la conferencia en Pars del Congreso Internacional de Matemticos de 1900. Los
problemas estaban todos por resolver en aquel momento, y varios resultaran ser muy influyentes en la
matemtica del siglo XX. Hilbert present diez 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.

ndice
1 Naturaleza e influencia de los problemas
2 Los problemas como manifiesto de Hilbert
3 Dos docenas redondas
4 Resumen
5 Informacin tabulada
6 Vase tambin
7 Notas al pie
8 Referencias
9 Enlaces externos

Naturaleza e influencia de los problemas

Aunque se han producido intentos de repetir el xito de la lista de Hilbert, ningn otro conjunto tan variado
de problemas o conjeturas ha tenido un efecto comparable en el desarrollo del tema y obtenido una fraccin
importante de su celebridad. Por ejemplo, las conjeturas de Andr Weil son famosas pero fueron poco
publicitadas. Quiz su propio temperamento evit que l intentase ponerse en posicin de competir con
Hilbert. John von Neumann produjo una lista, pero no obtuvo reconocimiento universal.

A primera vista, este xito podra atribuirse a la eminencia del autor de los problemas. Hilbert estaba en la
cspide de su poder y reputacin en aquel momento y continu dirigiendo la sobresaliente escuela de
matemtica en la Universidad de Gttingen. Un examen ms cuidadoso revela que el asunto no es tan
simple.

La matemtica de aquel tiempo era an discursiva: la tendencia a sustituir palabras por smbolos y
apelaciones a la intuicin y conceptos mediante axiomtica pura segua subyugada, aunque se volvera
fuerte durante la siguiente generacin. En 1900, Hilbert no pudo acudir a la teora axiomtica de conjuntos,
la integral de Lebesgue, los espacios topolgicos o la tesis de Church, que cambiaran sus respectivos
campos de forma permanente. El anlisis funcional, fundado en cierto modo por el propio Hilbert como
nocin central de los testigos del espacio de Hilbert, no se haba diferenciado an del clculo de variaciones;
hay en la lista de problemas de matemtica variacional, pero nada, como podra asumirse inocentemente,
sobre teora espectral (el problema 19 tiene una conexin con la hipoelipticidad).

La lista no fue predictiva en ese sentido: no consigui plasmar o anticipar el fulgurante ascenso que
experimentaran la topologa, la teora de grupos y la teora de la medida en el siglo XX, as como no previ
la manera en que iba a avanzar la lgica matemtica. Por tanto, su valor documental es el de ensayo: una
visin parcial, personal. Sugiere algunos programas de investigacin y algunas direcciones por seguir sin fin
concreto.

De hecho, muchas de las preguntas daban una falsa idea del matemtico profesional del siglo XIX, o incluso

1 de 7 22/09/2017 20:36
Problemas de Hilbert - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Problemas_de_Hilbert

de 1950, en que la forma de una solucin a una buena pregunta tomara la forma de un artculo publicado en
una publicacin matemtica. Si este fuera el caso de todos los veintitrs problemas, se habra simplificado el
comentario hasta el punto de poder dar una referencia a una revista, o considera la pregunta como abierta
todava. En algunos casos el lenguaje usado por Hilbert se sigue considerando un tanto "negociable", en
cuanto al significado real de la formulacin del problema (en ausencia, repetimos, de fundamentos
axiomticos, basados en matemtica pura, empezando con el propio trabajo de Hilbert sobre geometra
euclidiana, pasando por el Principia Mathematica, y terminando con el grupo Bourbaki y el "terrorismo
intelectual" para terminar el trabajo). Los problemas Primero y Quinto se encuentran, quiz
sorprendentemente, en un estado de formulacin de una claridad menos que total (vanse las notas). En
casos como el Vigsimo, el problema se podra leer de forma razonable en una versin "interna",
relativamente accesible, en la que el lector puede saber a qu estaba apuntando Hilbert; o como una
penumbra "externa" y especulativa.

Dicho todo esto, por tanto, la razn ms importante es la gran rapidez con la que acept la lista de Hilbert la
comunidad matemtica de aquel momento (lo cual es una frmula menos convencional que ahora, ya que
por entonces haba pocos lderes investigadores, que generalmente se encontraban en unos pocos pases
europeos y se conocan todos entre ellos). Los problemas se estudiaron con gran atencin; resolver uno labr
reputaciones.

El estilo fue al menos tan influyente como el contenido de los problemas. Hilbert solicitaba clarificaciones.
Pidi soluciones en principio a preguntas algortmicas, no a algoritmos prcticos. Pidi un fortalecimiento
de los cimientos de partes de la matemtica que a los no practicantes an se antojaban guiadas por
intuiciones opacas (el clculo de Schubert y la geometra enumerativa).

Estas actitudes fueron adoptadas por muchos seguidores, aunque tambin fueron discutidas, y continan
sindolo. Treinta aos despus, Hilbert haba endurecido su postura: vase ignorabimus.

Los problemas como manifiesto de Hilbert

Est bastante claro que la lista de problemas, y su forma de discusin, estaban pensadas para ser influyentes.
Hilbert no fall a las expectativas de la academia Alemana en cuanto a construccin de imperios, verbo
programtico, y establecimiento explcito de una direccin y reclamo de territorio para una escuela. Nadie
habla ya de la 'escuela de Hilbert' en esos trminos; ni gozaron los problemas de Hilbert de su momento
como si hizo el programa de Erlangen de Felix Klein. Klein fue colega de Hilbert, y en comparacin la lista
de este ltimo era mucho menos prescriptiva. Michael Atiyah ha caracterizado el programa de Erlangen
como prematuro. Los problemas de Hilbert, por el contrario, mostraron la capacidad del experto de buscar el
momento adecuado.

Si la 'escuela de Hilbert' tiene un significado, posiblemente se refiera a la teora de operadores y al estilo de

la fsica terica que tom los volmenes Hilbert-Courant como cannicos. Como se seal antes, la lista no
establece directamente problemas sobre teora espectral. Tampoco le dio relevancia al lgebra conmutativa
(entonces se la conoca como teora de ideales), su contribucin algebraica ms importante y mayor
preocupacin en sus das de la teora de invariantes; lo cual, podra decirse, habra estado ms en la lnea de
Klein. Ni, al menos superficialmente, predic contra Leopold Kronecker, el oponente de Georg Cantor, del
que haba aprendido mucho pero cuyas actitudes casi detestaba (como queda documentado en la biografa de
Constance Reid). El lector podra extraer amplias conclusiones de la presencia de la teora de conjuntos en
cabeza en la lista.

La teora de funciones de variable compleja, la rama del anlisis clsico que todo matemtico puro debera
conocer, est bastante olvidada: ni la conjetura de Bieberbach ni otra cuestin interesante, aparte de la
hiptesis de Riemann. Uno de los objetivos estratgicos de Hilbert fue poner el lgebra conmutativa y la
teora de funciones complejas al mismo nivel; esto, sin embargo, llevara 50 aos (y an no ha resultado en
un cambio de lugares).

2 de 7 22/09/2017 20:36
Problemas de Hilbert - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Problemas_de_Hilbert

Hilbert tena un pequeo grupo de pares: Adolf Hurwitz y Hermann Minkowski eran ambos amigos
cercanos e iguales intelectuales. Hay un guio a la geometra de nmeros de Minkowski en el problema 18,
y a su trabajo en las formas cuadrticas en el problema 11. Hurwitz fue el gran desarrollador de la teora de
la superficie de Riemann. Hilbert us la analoga del cuerpo de funciones, una gua a la teora algebraica de
nmeros mediante el uso de anlogos geomtricos, para desarrollar la teora del cuerpo de clases dentro de
su propia investigacin, y esto queda reflejado en el problema 9, hasta cierto punto en el problema 12, y en
los problemas 21 y 22. Por otro lado, el nico rival de Hilbert en 1900 era Henri Poincar, y la segunda parte
del problema 16 es una cuestin de sistemas dinmicos al estilo de Poincar.

Dos docenas redondas

Originalmente Hilbert incluy 24 problemas en su lista, pero decidi excluir uno de ellos de la publicada. El
"problema vigsimo cuarto" (en la teora de la demostracin, sobre un criterio de simplicidad y mtodos
generales) lo redescubri en el ao 2000 el historiador alemn Rdiger Thiele, dentro de las notas
manuscritas originales de Hilbert.

Resumen
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.

El * en el 18 indica que la solucin a la ecuacin de Kepler es una demostracin asistida por computadora,
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 y 16 son demasiado vagos como para que algn da se les pueda declarar resueltos. El
problema 24 retirado tambin caera en esta clase.

Informacin tabulada
Los veintitrs problemas de Hilbert son los siguientes:

3 de 7 22/09/2017 20:36
Problemas de Hilbert - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Problemas_de_Hilbert

Problema Explicacin concisa Estado del problema

La hiptesis del continuo (esto es, no existe

Se ha probado la imposibilidad de probarlo como cierto o falso
conjunto cuyo tamao est estrictamente
1.er mediante los axiomas de Zermelo-Fraenkel. No hay consenso al
entre el de los racionales y el de los
respecto de considerar esto como solucin al problema.1
nmeros reales).

Parcialmente resuelto: hay quienes sostienen que se ha

Probar que los axiomas de la aritmtica son
demostrado imposible de establecer en un sistema consistente,
consistentes (esto es, que la aritmtica es
2 finitista y axiomtico;2 sin embargo, Gentzen prob en 1936 que
un sistema formal que no supone una
la consistencia de la aritmtica se deriva del buen fundamento del
contradiccin).
ordinal , un hecho sujeto a la intuicin combinatoria.

Dados dos poliedros de igual volumen, es

siempre posible cortar el primero en una
3.er cantidad finita de piezas polidricas que Resuelto. Resultado: no, probado usando invariantes de Dehn.
puedan ser ensambladas de modo que
quede armado el segundo?

Construir todas las mtricas cuyas rectas

4 Demasiado vago para decidir si se ha resuelto o no.3
sean geodsicas.

Son los grupos continuos grupos

5 Resuelto por Andrew Gleason (1952).
diferenciales de forma automtica?

La mecnica clsica: Hamel (1903).

6 Axiomatizar toda la fsica.
La termodinmica: Carathodory (1909).
La relatividad especial: Robb (1914) y Caratheodory
(1924) independientemente.
La teora de probabilidades: Kolmogrov (1930).
La teora cuntica de campos: Wightman a finales de los
aos 1950.

Es a b trascendental, siendo a 0,1 Resuelto. Resultado: s, ilustrado por el teorema de Gelfond o el

7
algebraico y b irracional algebraico? teorema de Gelfond-Schneider.

La hiptesis de Riemann (la parte real de

cualquier cero no trivial de la funcin zeta
de Riemann es ) y la conjetura de
8 Sin resolver.4
Goldbach (cada nmero par mayor que 2 se
puede escribir como la suma de dos
nmeros primos).

Encontrar la ley ms general del teorema de

9 reciprocidad en cualquier cuerpo numrico Parcialmente resuelto.5
algebraico.

Encontrar un algoritmo que determine si

una ecuacin diofntica polinmica dada Resuelto. Resultado: no, el teorema de Matiyasevich (1970)
10
con coeficientes enteros tiene solucin implica que no existe tal algoritmo.
entera.

Resolver las formas cuadrticas
11
coeficientes numricos algebraicos.
Parcialmente resuelto:
con
Sobre los nmeros racionales: Hasse (1923-1924).
Sobre los nmeros enteros: Siegel en los aos 1930.

Extender el teorema de Kronecker sobre

extensiones abelianas de los nmeros
12 Sin resolver.
racionales a cualquier cuerpo numrico de
base.

Resolver todas las ecuaciones de 7 grado Resuelto negativamente por Vladmir Arnold y Andri
13
usando funciones de dos parmetros. Kolmogrov en 1957.

4 de 7 22/09/2017 20:36
Problemas de Hilbert - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Problemas_de_Hilbert

Probar la finitud de ciertos sistemas Resuelto. Resultado: no, en general, debido a un contraejemplo,
14
completos de funciones. Nagata (1962).

Fundamento riguroso del clculo Parcialmente resuelto, Van der Waerden a finales de los aos
15
enumerativo de Schubert. 1930.

Topologa de las curvas y superficies

16 Sin resolver.
algebraicas.

Resuelto. Resultado: se estableci un lmite superior para el

Expresin de una funcin definida racional
17 nmero de trminos cuadrados necesarios, Pfister (1967). La
como cociente de sumas de cuadrados.
solucin negativa en general se debe a Du Bois (1967).

Existe un poliedro irregular y que

18 construya otros poliedros? Cual es el Resuelto.6
apilamiento compacto ms denso?

Son siempre analticas las soluciones de

19 Resuelto por Bernstein (1904). Resultado: s.
los Lagrangianos?

Tienen solucin todos los problemas Resuelto. Ha supuesto un rea importante de investigacin
20 variacionales con ciertas condiciones de durante el siglo XX, culminando con las soluciones al caso no
contorno? lineal.

Probar la existencia de ecuaciones lineales Resuelto. Resultado: s o no, dependiendo de una formulacin
21.er diferenciales que tengan un grupo ms exacta del problema. Segn Gray resuelto de forma negativa
monodrmico prescrito. por Anosov y Bolibruch (1994).

Uniformizacin de las relaciones analticas Resuelto por Koebe (1907) y Poincar independientemente
22
por medio de funciones automrficas. (1907).

Extensin de los mtodos del clculo de

23.er Sin resolver.
variaciones.

Vase tambin
Problemas de Smale
Problemas del milenio

Notas al pie
1. Se suele citar el resultado de independencia de Cohen, mostrando que la hiptesis del continuo es independiente
de ZFC (los axiomas de Zermelo-Fraenkel, extendidos para incluir el axioma de eleccin) se cita a menudo para
justificar que el primer problema ha sido resuelto. Un punto de vista contemporneo es que podra ser el caso de
que la teora de conjuntos debera tener axiomas adicionales, capaces de resolver la situacin.
2. Asunto de opinin, no compartida por todos. El resultado de Gentzen muestra de forma bastante precisa cunto
hace falta asumir para probar que los axiomas de Peano son consistentes. Se sostiene de forma general que el
teorema de la incompletitud de Gdel muestra que no hay demostracin finitista de que los AP sean consistentes
(aunque el propio Gdel rechaz haber hecho esta inferencia [se necesita mejor referencia para esto, pero cf
Dawson p.71ff "... Gdel crea tambin [como Hilbert] que ningn problema matemtico quedaba ms all del
alcance de la razn humana. Aun as sus resultados mostraron que el programa propuesto por Hilbert para validar
esa creencia su teora de la demostracin no podra llevarse a cabo tal como quera Hilbert" (p.71) Vase
tambin p.98ff para leer ms sobre el 'procedimiento finito').
3. De acuerdo a Rowe y Gray (vase la referencia ms adelante), la mayora de los problemas han sido resueltos.
Algunos no fueron definidos completamente, pero se ha progresado lo suficiente en ellos como para considerarlos
resueltos; Rowe y Gray listan el cuarto problema como demasiado vago para decidir si se ha resuelto.
4. El problema 8 contiene dos problemas famosos, ambos an sin resolver. El primero de ellos, la hiptesis de
Riemann es uno de los siete problemas premiados del milenio, que pretendan ser los "Problemas de Hilbert" del
siglo XXI.
5. El problema 9 ha sido resuelto en el caso abeliano, mediante el desarrollo de la teora de cuerpos de clases; el
caso no abeliano sigue sin resolver, si se interpreta eso como teora de cuerpos de clases no abelianas.

5 de 7 22/09/2017 20:36
Problemas de Hilbert - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Problemas_de_Hilbert

6. Rowe y Gray tambin listan el problema 18 como "abierto" en su libro de 2000, porque el problema de
apilamiento compacto (tambin conocido como conjetura de Kepler) estaba sin resolver, pero se ha propuesto una
solucin desde entonces (ver en referencias).

problema 2:

Lo que sigue viene de Nagel y Newman, pp. 96 y 97: "Este impresionante resultado del anlisis
de Godel no debera malinterpretarse: no excluye una demostracin metamatemtica de la
consistencia de la aritmtica. Lo que excluye es una demostracin de consistencia que se pueda
reflejar en las deducciones formales de la aritmtica- Nota al pie 29.[Esta nota da un ejemplo de
la triseccin de un ngulo (es posible, pero no con regla y comps)]. De hecho, se han
construido demostraciones metamatemticas de la consistencia de la aritmtica, siendo notable
la de 1936 de Gerhard Gentzen, miembro de la escuela de Hilbert, y por otros desde entonces
Nota al pie 30" [Nota 30: Describe la demostracin de Gentzen, que usa induccin transfinita;
"30: la demostracin de Gentzen depende de la disposicin de todas las demostraciones de la
aritmtica en orden lineal de acuerdo a su grado de 'simplicidad'... pero el argumento de
Gentzen no se puede mapear sobre el formalismo de la aritmtica. Ms an, aunque la mayora
de los estudiosos no cuestionan la cogencia de la demostracin, no es finitista en el sentido de
las estipulaciones originales de Hilbert de una demostracin absoluta de consistencia."[cursiva
aadida]..."Pero estas demostraciones [metamatemticas] no pueden representarse dentro del
clculo aritmtico; y, dado que no son finitistas, no alcanzan los objetivos proclamados por el
programa original de Hilbert."

Goldstein da una definicin de un "sistema formal finitista":

"...sistemas formales finitistas... sistemas formales con un alfabeto finito o numerable (o

contable) de smbolos, fbds [frmulas bien definidas] de tamao finito, y reglas de inferencia
que slo impliquen un nmero finito de premisas. (Los lgicos tambin trabajan con sistemas
formales de alfabetos no numerables, con fbds de tamao infinito, y con demostraciones de
infinitas premisas."(p. 144, nota al pie 7)

Referencias
Gray, Jeremy J. (2000). El reto de Hilbert. Crtica. ISBN 84-8432-465-6
Yandell, Benjamin H. (2002). The Honors Class. Hilbert's Problems and Their Solvers. A K Peters.
ISBN 1-56881-141-1
On Hilbert and his 24 Problems. En: Proceedings of the Joint Meeting of the CSHPM 13(2002)1-22
(26th Meeting; ed. M. Kinyon)
Nagel, Ernest and Newman, James R., Godel's Proof, New York University Press, 1958. Una
presentacin maravillosa (legible, extensiva) sobre la Demostracin de Gdel, con comentarios.
John Dawson, Jr Logical Dilemmas, The Life and Work of Kurt Gdel, AK Peters, Wellesley, Mass.,
1997. Gran cantidad de informacin relevante al "programa" de Hilbert y al impacto de Gdel en la
Segunda Pregunta, el impacto del Intuicionismo de Arend Heyting y Brouwer en la filosofa de
Hilbert. Dawson es Profesor de Matemticas en la U. Penn State, catalogador de los artculos de
Gdel para el Institute for Advanced Study de Princeton, y co-editor de los Trabajos Reunidos de
Gdel (Collected Works)
Rebecca Goldstein, Incompleteness: The Proof and Paradox of Kurt Gdel, Atlas Books, W. W.
Norton & Co., New York, 2005. Formalismo y Hilbert: su definicin de "demostracin finitista" est
en la nota 2 de su artculo. Los lectores deberan quedar avisados de que ella no es siempre correcta.
Felix E. Browder (editor), Mathematical Developments Arising from Hilbert Problems, Proceedings
of Symposia in Pure Mathematics XXVIII (1976), American Mathematical Society. Coleccin de
ensayos de estudios de expertos dedicados a cada uno de los 23 problemas dando nfasis a los

6 de 7 22/09/2017 20:36
Problemas de Hilbert - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Problemas_de_Hilbert

desarrollos actuales.
Yuri Matiyasvich, Hilbert's Tenth Problem, MIT Press, Cambridge, Massachusetts, 1993. Informe de
nivel universitario escrito por el matemtico que complet la solucin al problema.
Torkel Franzn, Gdel's Theorem: An Incomplete Guide to Its Use and Abuse, AK Peters, Wellesley,
Mass., 2005. Informe de un filsofo que ha dominado la matemtica y es capaz de explicarlo de una
manera clara y a un nivel bsico. El autor trata con los diferentes puntos de vista sobre los teoremas de
incompletitud.

Enlaces externos
Listado de los 23 problemas, con descripcin de los que han sido resueltos
(http://www.mathacademy.com/pr/prime/articles/hilbert_prob/index.asp?PRE=hilber&TAL=Y&
TAN=Y&TBI=Y&TCA=Y&TCS=Y&TEC=Y&TFO=Y&TGE=Y&TNT=Y&TPH=Y&TST=Y&
TTO=Y&TTR=Y&TAD=)
Texto original de la charla de Hilbert, en alemn (http://www.mathematik.uni-bielefeld.de/~kersten
/hilbert/rede.html)
Traduccin al ingls de la charla de Hilbert de 1900 (http://aleph0.clarku.edu/~djoyce/hilbert/toc.html)
Detalles sobre la solucin al problema 18 (http://www.math88.pitt.edu/articles/hilbert.html)
The Mathematical Gazette, Marzo de 2000 (pginas 2-8) "100 Years On" (http://web.archive.org
/web/http://www.mathsyear2000.org/resources/mathassoc/Maths_Gazette.pdf)
"On Hilbert's 24th Problem: Report on a New Source and Some Remarks." (http://www.ams.org
/amsmtgs/2025_abstracts/962-01-285.pdf)
Los problemas de Pars (http://web.archive.org/web/http://www.math.umn.edu/~wittman
/problems2.html)
Pgina del dcimo problema de Hilbert (http://logic.pdmi.ras.ru/Hilbert10)
[1] (http://www.sinewton.org/numeros/numeros/43-44/Articulo03.pdf) Informacin sobre los 23
Problemas de Hilbert.

Obtenido de https://es.wikipedia.org/w/index.php?title=Problemas_de_Hilbert&oldid=99055355

Se edit esta pgina por ltima vez el 11 may 2017 a las 15:01.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra
poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.

7 de 7 22/09/2017 20:36