LOS 23 PROBLEMAS DE HILBERT

Problem
Explicación concisa Estado del problema
a

La hipótesis del continuo (esto es, no existe conjunto cuyo
1.er tamaño esté estrictamente entre el de los racionales y el
de los números reales).
Se ha probado la imposibilidad de
probarlo como cierto o falso mediante
los axiomas de Zermelo-Fraenkel. No
hay consenso al respecto de considerar
esto como solución al problema.1

Parcialmente resuelto: hay quienes

sostienen que se ha demostrado
imposible de establecer en un sistema
consistente, finitista y axiomático;2 sin
Probar que los axiomas de embargo, Gentzenprobó en 1936 que la
2º la aritmética son consistentes(esto es, que la aritmética es consistencia de la aritmética se deriva
un sistema formal que no supone una contradicción).
del buen fundamento del ordinal ,
un hecho sujeto a la intuición
combinatoria.

Dados dos poliedros de igual volumen, ¿es siempre

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

Construir todas las métricas cuyas rectas Demasiado vago para decidir si se ha
4º
sean geodésicas. resuelto o no.3

¿Son los grupos continuos grupos diferenciales de forma

5º Resuelto por Andrew Gleason (1952).
automática?

 La mecánica clásica: Hamel (1903).

 La termodinámica: Carathéodory (1
909).
 La relatividad especial: Robb (1914)
y Caratheodory (1924)
6º Axiomatizar toda la física. independientemente.
 La teoría de
probabilidades: Kolmogórov (1930).
 La teoría cuántica de
campos: Wightman a finales de
los años 1950.
Resuelto. Resultado: sí, ilustrado por
¿Es a b trascendental, siendo a ≠
7º el teorema de Gelfond o el teorema de
0,1 algebraico y b irracionalalgebraico?
Gelfond-Schneider.
 La hipótesis de Riemann (la parte real de
cualquier cero no trivial de la función zeta de Riemann es
8º ½) y la conjetura de Goldbach (cada número par mayor Sin resolver.4
que 2 se puede escribir como la suma de dos números
primos).
Encontrar la ley más general del teorema de
9º Parcialmente resuelto.5
reciprocidad en cualquier cuerpo numérico algebraico.
Encontrar un algoritmo que determine si una ecuación Resuelto. Resultado: no, el teorema de
10º diofántica polinómica dada con coeficientes enteros tiene Matiyasevich (1970) implica que no
solución entera. existe tal algoritmo.
Parcialmente resuelto:

Resolver las formas  Sobre los números

11º
cuadráticas con coeficientes numéricos algebraicos. racionales: Hasse (1923-1924).
 Sobre los números
enteros: Siegel en los años 1930.
Extender el teorema de Kronecker-
12º Weber sobre extensiones abelianas de los números Sin resolver.
racionales a cualquier cuerpo numérico de base.
Resolver todas las ecuaciones de 7º Resuelto negativamente por Vladímir
13º
grado usando funcionesde dos parámetros. Arnold y Andréi Kolmogórov en 1957.
Resuelto. Resultado: no, en general,
Probar la finitud de ciertos sistemas completos de
14º debido a un
funciones.
contraejemplo, Nagata (1962).
Fundamento riguroso del cálculo enumerativo de Parcialmente resuelto, Van der
15º
Schubert. Waerden a finales de los años 1930.
16º Topología de las curvas y superficies algebraicas. Sin resolver.
Resuelto. Resultado: se estableció un
Expresión de una límite superior para el número de
17º función definida racional como cociente de sumas de cuad términos cuadrados necesarios, Pfister
rados. (1967). La solución negativa en general
se debe a Du Bois (1967).
¿Existe un poliedro irregular y que construya otros
18º Resuelto.6
poliedros? ¿Cual es el apilamiento compacto más denso?
¿Son siempre analíticas las soluciones de Resuelto por Bernstein (1904).
19º
los Lagrangianos? Resultado: sí.
Resuelto. Ha supuesto un área
¿Tienen solución todos los problemas variacionales con importante de investigación durante el
20º
ciertas condiciones de contorno? siglo XX, culminando con las soluciones
al caso no lineal.
Resuelto. Resultado: sí o no,
dependiendo de una formulación más
Probar la existencia de ecuaciones lineales
21.er exacta del problema. Según Gray
diferenciales que tengan un grupo monodrómico prescrito.
resuelto de forma negativa
por Anosov y Bolibruch (1994).
Uniformización de las relaciones analíticas por medio Resuelto por Koebe (1907)
22º
de funciones automórficas. y Poincaré independientemente (1907).
23.er Extensión de los métodos del cálculo de variaciones. Sin resolver.