Problema Explicacin breve er 1 La hiptesis del continuo (esto es, no existe conjunto cuyo tamao est estrictamente entre

el de los racionales y el de los nmeros reales) 2 Probar que los axiomas de la aritmtica son consistentes (esto es, que la aritmtica es un sistema formal que no supone una contradiccin). 3er 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? Construir todas las mtricas cuyas rectas sean geodsicas. Son los grupos continuos grupos diferenciales de forma automtica? Axiomatizar toda la fsica

Estado 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 solucin al problema.1 Parcialmente resuelto: hay quienes sostienen que se ha demostrado imposible de establecer en un sistema consistente, finitista y axiomtico2 Sin embargo, Gentzen prob en 1936 que la consistencia de la aritmtica se deriva del buen fundamento del ordinal , un hecho sujeto a la intuicin combinatoria. Resuelto. Resultado: no, probado usando invariantes de Dehn

4 5 6

Demasiado vago3 para decidir si se ha resuelto o no. Resuelto por Andrew Gleason (1952)

La mecnica clsica: Hamel (1903). 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.

7 8

Es a b trascendental, siendo a 0,1 algebraico y b irracional algebraico? La hiptesis de Riemann (la parte real de

Resuelto. Resultado: s, ilustrado por el teorema de Gelfond o el teorema de Gelfond-Schneider Abierto 4

10

11

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). Encontrar la ley ms general del teorema de reciprocidad en cualquier cuerpo numrico algebraico Encontrar un algoritmo que determine si una ecuacin diofntica polinmica dada con coeficientes enteros tiene solucin entera. Resolver las formas cuadrticas con coeficientes numricos algebraicos.

Parcialmente resuelto5

Resuelto. Resultado: no, el teorema de Matiyasevich (1970) implica que no existe tal algoritmo. Parcialmente resuelto:

Sobre los nmeros racionales: Hasse (1923-1924). Sobre los nmeros enteros: Siegel en los aos 1930

12

13 14 15 16 17

Extender el teorema de Kronecker sobre extensiones abelianas de los nmeros racionales a cualquier cuerpo numrico de base. Resolver todas las ecuaciones de 7 grado usando funciones de dos parmetros. Probar la finitud de ciertos sistemas completos de funciones. Fundamento riguroso del clculo enumerativo de Schubert. Topologa de las curvas y superficies algebraicas. Expresin de una funcin definida racional como cociente de sumas de cuadrados

Abierto

Resuelto negativamente por Vladmir Arnold y Andri Kolmogrov en 1957. Resuelto. Resultado: no, en general, debido a un contraejemplo, Nagata (1962). Parcialmente resuelto, Van der Waerden a finales de los aos 1930. Abierto Resuelto. Resultado: se estableci un lmite superior para el nmero de trminos cuadrados necesarios, Pfister (1967). La solucin negativa

18

19 20 21er

22 23er

Existe un poliedro irregular y que construya otros poliedros? Cual es el apilamiento compacto ms denso? Son siempre analticas las soluciones de los Lagrangianos? Tienen solucin todos los problemas variacionales con ciertas condiciones de contorno? Probar la existencia de ecuaciones lineales diferenciales que tengan un grupo monodrmico prescrito Uniformizacin de las relaciones analticas por medio de funciones automrficas Extensin de los mtodos del clculo de variaciones

en general se debe a Du Bois (1967). Resuelto6

Resuelto por Bernstein (1904). Resultado: s Resuelto. Ha supuesto un rea importante de investigacin durante el siglo XX, culminando con las soluciones al caso no lineal. Resuelto. Resultado: s o no, dependiendo de una formulacin ms exacta del problema. Segn Gray resuelto de forma negativa por Anosov y Bolibruch (1994). Resuelto por Koebe (1907) y Poincar independientemente (1907). Resuelto