Los problemas de Hilbert son 23 problemas matemáticos publicados por el matemático alemán David Hilbert en 1900. Todos ellos estaban sin resolver en su momento, y varios resultaron ser muy influyentes para las matemáticas del siglo XX. Hilbert presentó diez de los problemas (1, 2, 6, 7, 8, 13, 16, 19, 21 y 22) en la conferencia de París del Congreso Internacional de Matemáticos , hablando el 8 de agosto en la Sorbona . La lista completa de 23 problemas fue publicada más tarde, en traducción al inglés en 1902 por Mary Frances Winston Newson en el Bulletin of the American Mathematical Society . [1] Publicaciones anteriores (en el alemán original) aparecieron en Archiv der Mathematik und Physik . [2]
1. Problema de Cantor del número cardinal del continuo.
2. La compatibilidad de los axiomas aritméticos.
3. La igualdad de los volúmenes de dos tetraedros de bases iguales y alturas iguales.
4. Problema de la recta como distancia más corta entre dos puntos.
5. Concepto de Lie de un grupo continuo de transformaciones sin el supuesto de la diferenciabilidad de las funciones que definen el grupo.
6. Tratamiento matemático de los axiomas de la física.
7. Irracionalidad y trascendencia de ciertos números.
8. Problemas de números primos (La "Hipótesis de Riemann").
9. Prueba de la ley de reciprocidad más general en cualquier cuerpo de números.
10. Determinación de la solubilidad de una ecuación diofántica.
11. Formas cuadráticas con cualquier coeficiente numérico algebraico
12. Extensiones del teorema de Kronecker sobre campos abelianos a cualquier ámbito algebraico de racionalidad
13. Imposibilidad de la solución de la ecuación general de 7º grado mediante funciones de sólo dos argumentos.
14. Prueba de la finitud de ciertos sistemas completos de funciones.
15. Fundamentación rigurosa del cálculo enumerativo de Schubert.
16. Problema de la topología de curvas y superficies algebraicas.
17. Expresión de formas definidas mediante cuadrados.
18. Construcción del espacio a partir de poliedros congruentes.
19. ¿Las soluciones de problemas regulares en el cálculo de variaciones son siempre necesariamente analíticas?
20. El problema general de los valores en la frontera (Problemas de valores en la frontera en EDP).
21. Prueba de la existencia de ecuaciones diferenciales lineales que tienen un grupo de monodromía prescrito.
22. Uniformización de relaciones analíticas mediante funciones automórficas.
23. Desarrollo ulterior de los métodos de cálculo de variaciones.
Naturaleza e influencia de los problemas
Los problemas de Hilbert variaban mucho en cuanto a su temática y precisión. Algunos de ellos, como el 3.er problema, que fue el primero en ser resuelto, o el 8.º problema (la hipótesis de Riemann ), que aún permanece sin resolver, fueron presentados con la suficiente precisión como para permitir una respuesta afirmativa o negativa clara. Para otros problemas, como el 5.º, los expertos tradicionalmente han acordado una única interpretación, y se ha dado una solución a la interpretación aceptada, pero existen problemas estrechamente relacionados sin resolver. Algunas de las afirmaciones de Hilbert no eran lo suficientemente precisas como para especificar un problema particular, pero eran lo suficientemente sugerentes como para que ciertos problemas de naturaleza contemporánea parecieran aplicarse; por ejemplo, la mayoría de los teóricos de números modernos probablemente verían el 9.º problema como una referencia a la correspondencia conjetural de Langlands sobre representaciones del grupo absoluto de Galois de un cuerpo de números . [3] Aún otros problemas, como el 11.º y el 16.º, se refieren a lo que ahora son subdisciplinas matemáticas florecientes, como las teorías de las formas cuadráticas y las curvas algebraicas reales .
Hay dos problemas que no sólo no están resueltos, sino que, de hecho, pueden ser irresolubles según los estándares modernos. El sexto problema se refiere a la axiomatización de la física , un objetivo que los avances del siglo XX parecen hacer más remoto y menos importante que en la época de Hilbert. Además, el cuarto problema se refiere a los fundamentos de la geometría , de una manera que ahora se considera generalmente demasiado vaga para permitir una respuesta definitiva.
El problema 23 fue propuesto por Hilbert como una indicación general para destacar el cálculo de variaciones como un campo poco apreciado y poco estudiado. En la conferencia que presentó estos problemas, Hilbert hizo la siguiente observación introductoria al problema 23:
"Hasta ahora he mencionado en general problemas tan específicos y concretos como ha sido posible, en la opinión de que son precisamente estos problemas específicos y concretos los que más nos atraen y los que ejercen a menudo una influencia más duradera sobre la ciencia. Sin embargo, me gustaría terminar con un problema general, a saber, con la indicación de una rama de las matemáticas mencionada repetidamente en esta conferencia, que, a pesar del considerable avance que le ha dado recientemente Weierstrass, no recibe la apreciación general que, en mi opinión, se merece: me refiero al cálculo de variaciones."
Los otros 21 problemas recibieron una atención considerable y, a finales del siglo XX, el trabajo sobre ellos todavía se consideraba de la mayor importancia. Paul Cohen recibió la Medalla Fields en 1966 por su trabajo sobre el primer problema, y la solución negativa del décimo problema en 1970 por Yuri Matiyasevich (completando el trabajo de Julia Robinson , Hilary Putnam y Martin Davis ) generó una aclamación similar. Algunos aspectos de estos problemas siguen siendo de gran interés hoy en día.
Cognibilidad
Siguiendo a Gottlob Frege y Bertrand Russell , Hilbert buscó definir las matemáticas de manera lógica utilizando el método de sistemas formales , es decir, pruebas finitistas a partir de un conjunto acordado de axiomas . [4] Uno de los principales objetivos del programa de Hilbert era una prueba finitista de la consistencia de los axiomas de la aritmética: ese es su segundo problema. [a]
Sin embargo, el segundo teorema de incompletitud de Gödel da un sentido preciso en el que una prueba finitista de la consistencia de la aritmética es demostrablemente imposible. Hilbert vivió 12 años después de que Kurt Gödel publicara su teorema, pero no parece haber escrito ninguna respuesta formal al trabajo de Gödel. [b] [c]
El décimo problema de Hilbert no pregunta si existe un algoritmo para decidir la resolubilidad de ecuaciones diofánticas , sino que pide la construcción de dicho algoritmo: "idear un proceso según el cual se pueda determinar en un número finito de operaciones si la ecuación es resoluble en números enteros racionales ". El hecho de que este problema se resolviera demostrando que no puede existir tal algoritmo contradecía la filosofía de las matemáticas de Hilbert.
Al discutir su opinión de que cada problema matemático debería tener una solución, Hilbert permite la posibilidad de que la solución podría ser una prueba de que el problema original es imposible. [d] Afirmó que el punto es saber de una manera u otra cuál es la solución, y creía que siempre podemos saber esto, que en matemáticas no hay ningún " ignorabimus " (afirmación cuya verdad nunca puede ser conocida). [e] Parece poco claro si habría considerado la solución del décimo problema como un ejemplo de ignorabimus: lo que se demuestra que no existe no es la solución entera, sino (en cierto sentido) la capacidad de discernir de una manera específica si existe una solución.
Por otra parte, el estado del primer y segundo problema es aún más complicado: no hay un consenso matemático claro sobre si los resultados de Gödel (en el caso del segundo problema), o de Gödel y Cohen (en el caso del primer problema) dan soluciones negativas definitivas o no, ya que estas soluciones se aplican a una cierta formalización de los problemas, que no es necesariamente la única posible. [f]
El problema 24
Hilbert originalmente incluyó 24 problemas en su lista, pero decidió no incluir uno de ellos en la lista publicada. El "problema 24" (en teoría de la demostración , sobre un criterio de simplicidad y métodos generales) fue redescubierto en las notas del manuscrito original de Hilbert por el historiador alemán Rüdiger Thiele en 2000. [7]
Seguimientos
Desde 1900, los matemáticos y las organizaciones matemáticas han anunciado listas de problemas pero, con pocas excepciones, éstas no han tenido tanta influencia ni han generado tanto trabajo como los problemas de Hilbert.
Una excepción son las tres conjeturas formuladas por André Weil a finales de los años 1940 (las conjeturas de Weil ). En los campos de la geometría algebraica , la teoría de números y los vínculos entre ambas, las conjeturas de Weil fueron muy importantes. [8] [9] La primera de ellas fue demostrada por Bernard Dwork ; una demostración completamente diferente de las dos primeras, mediante la cohomología ℓ-ádica , fue dada por Alexander Grothendieck . La última y más profunda de las conjeturas de Weil (un análogo de la hipótesis de Riemann) fue demostrada por Pierre Deligne . Tanto Grothendieck como Deligne recibieron la medalla Fields . Sin embargo, las conjeturas de Weil eran, en su alcance, más como un único problema de Hilbert, y Weil nunca las concibió como un programa para todas las matemáticas. Esto es un tanto irónico, ya que se podría decir que Weil fue el matemático de los años 1940 y 1950 que mejor desempeñó el papel de Hilbert, pues conocía casi todas las áreas de las matemáticas (teóricas) y había desempeñado un papel importante en el desarrollo de muchas de ellas.
Paul Erdős planteó cientos, si no miles, de problemas matemáticos , muchos de ellos profundos. Erdős solía ofrecer recompensas monetarias; el tamaño de la recompensa dependía de la dificultad percibida del problema. [10]
El fin del milenio, que coincidió también con el centenario del anuncio de los problemas de Hilbert, brindó una ocasión natural para proponer "un nuevo conjunto de problemas de Hilbert". Varios matemáticos aceptaron el desafío, en particular el medallista Fields Steve Smale , quien respondió a una petición de Vladimir Arnold de proponer una lista de 18 problemas.
Al menos en los medios de comunicación tradicionales, el análogo de facto de los problemas de Hilbert en el siglo XXI es la lista de siete problemas del Premio del Milenio elegidos durante el año 2000 por el Instituto de Matemáticas Clay . A diferencia de los problemas de Hilbert, donde el premio principal era la admiración de Hilbert en particular y de los matemáticos en general, cada problema premiado incluye una recompensa de un millón de dólares. Al igual que con los problemas de Hilbert, uno de los problemas premiados (la conjetura de Poincaré ) se resolvió relativamente pronto después de que se anunciaran los problemas.
La hipótesis de Riemann es notable por su aparición en la lista de problemas de Hilbert, la lista de Smale, la lista de problemas del Premio del Milenio e incluso en las conjeturas de Weil, en su forma geométrica. Aunque ha sido atacada por los principales matemáticos de nuestros días, muchos expertos creen que seguirá formando parte de las listas de problemas sin resolver durante muchos siglos. El propio Hilbert declaró: "Si me despertara después de haber dormido durante mil años, mi primera pregunta sería: ¿Se ha demostrado la hipótesis de Riemann?" [11]
En 2008, DARPA anunció su propia lista de 23 problemas que esperaba pudieran conducir a importantes avances matemáticos, "fortaleciendo así las capacidades científicas y tecnológicas del Departamento de Defensa ". [12] [13] La lista de DARPA también incluye algunos problemas de la lista de Hilbert, por ejemplo, la hipótesis de Riemann.
Resumen
De los problemas de Hilbert claramente formulados, los números 3, 7, 10, 14, 17, 18, 19 y 20 tienen resoluciones que son aceptadas por consenso de la comunidad matemática. Los problemas 1, 2, 5, 6, [g] 9, 11, 12, 15, 21 y 22 tienen soluciones que tienen una aceptación parcial, pero existe cierta controversia en cuanto a si resuelven los problemas.
Esto deja sin resolver la hipótesis 8 (la hipótesis de Riemann ), la 13 y la 16 [h] , y la 4 y la 23 son demasiado vagas como para que alguna vez se las pueda describir como resueltas. La hipótesis 24, que fue retirada, también estaría en esta clase.
Tabla de problemas
Los 23 problemas de Hilbert son (para más detalles sobre las soluciones y referencias, consulte los artículos enlazados en la primera columna):
^ Véase Nagel y Newman revisado por Hofstadter (2001, p. 107), [5] nota al pie 37: "Además, aunque la mayoría de los especialistas en lógica matemática no cuestionan la coherencia de la prueba [de Gentzen], no es finitista en el sentido de las estipulaciones originales de Hilbert para una prueba absoluta de consistencia". Véase también la página siguiente: "Pero estas pruebas [de Gentzen et al.] no pueden reflejarse dentro de los sistemas a los que se refieren y, dado que no son finitistas, no logran los objetivos proclamados del programa original de Hilbert". Hofstadter reescribió ligeramente la nota al pie original (1958), cambiando la palabra "estudiantes" por "especialistas en lógica matemática". Y este punto se vuelve a discutir en la página 109 [5] y no fue modificado allí por Hofstadter (p. 108). [5]
↑ Reid informa que al enterarse de la obra de Gödel por boca de Bernays, se sintió "algo enojado"... Al principio sólo estaba enojado y frustrado, pero luego comenzó a tratar de lidiar constructivamente con el problema..... Todavía no estaba claro qué influencia tendría finalmente la obra de Gödel" (p. 198-199). [6] Reid señala que en dos artículos de 1931 Hilbert propuso una forma diferente de inducción llamada "unendliche Induktion" (p. 199). [6]
^ La biografía de Hilbert escrita por Reid durante la década de 1960 a partir de entrevistas y cartas, informa que "Godel (que nunca tuvo correspondencia con Hilbert) siente que el esquema de Hilbert para los fundamentos de las matemáticas 'sigue siendo muy interesante e importante a pesar de mis resultados negativos' (p. 217). Obsérvese el uso del tiempo presente: ella informa que Gödel y Bernays, entre otros, "respondieron mis preguntas sobre el trabajo de Hilbert en lógica y fundamentos" (p. vii). [6]
^ "Esta convicción de la resolubilidad de todo problema matemático es un poderoso incentivo para el trabajador. Oímos dentro de nosotros el llamado perpetuo: ahí está el problema. Buscad su solución. Podéis encontrarla por medio de la razón pura, pues en matemáticas no existe el ignorabimus ." (Hilbert, 1902, p. 445)
^ Nagel, Newman y Hofstadter discuten esta cuestión: "La posibilidad de construir una prueba absoluta finitista de consistencia para un sistema formal como Principia Mathematica no queda excluida por los resultados de Gödel... Su argumento no elimina la posibilidad... Pero nadie parece tener hoy una idea clara de cómo sería una prueba finitista que no sea capaz de reflejarse dentro de Principia Mathematica (nota 39, página 109). Los autores concluyen que la perspectiva "es muy improbable". [5]
^ El número 6 ahora se considera un problema de física más que de matemáticas.
^ Algunos autores consideran que este problema es demasiado vago como para poder decir que está resuelto, aunque todavía hay investigaciones activas al respecto.
^ Según Gray, la mayoría de los problemas han sido resueltos. Algunos no fueron definidos completamente, pero se ha avanzado lo suficiente como para considerarlos "resueltos"; Gray menciona el cuarto problema como demasiado vago para decir si ha sido resuelto.
^ No es difícil demostrar que el problema tiene una solución parcial dentro del espacio de funciones analíticas univaluadas (Raudenbush). Algunos autores sostienen que Hilbert pretendía una solución dentro del espacio de funciones algebraicas (multivaluadas), continuando así su propio trabajo sobre funciones algebraicas y siendo una cuestión sobre una posible extensión de la teoría de Galois (véase, por ejemplo, Abhyankar [19] Vitushkin, [20] Chebotarev, [21] y otros). De uno de los artículos de Hilbert [22] se desprende que esta era su intención original para el problema. El lenguaje de Hilbert allí es " Existez von algebraischen Funktionen " ("existencia de funciones algebraicas "). Como tal, el problema aún está sin resolver.
^ Gray también enumera el problema 18 como "abierto" en su libro de 2000, porque el problema del empaquetamiento de esferas (también conocido como la conjetura de Kepler ) no estaba resuelto, pero ahora se ha afirmado que tiene solución.
^ Hilbert, David (1900). "Problema matemático". Göttinger Nachrichten : 253–297.y Hilbert, David (1901). "[sin título citado]". Archiv der Mathematik und Physik . 3. 1 : 44–63, 213–237.
^ Weinstein, Jared (25 de agosto de 2015). "Leyes de reciprocidad y representaciones de Galois: avances recientes". Boletín de la American Mathematical Society . 53 (1). American Mathematical Society (AMS): 1–39. doi : 10.1090/bull/1515 . ISSN 0273-0979.
^ van Heijenoort, Jean, ed. (1976) [1966]. De Frege a Gödel: un libro de consulta sobre lógica matemática, 1879-1931 (edición (pbk.)). Cambridge MA: Harvard University Press. pp. 464ff. ISBN978-0-674-32449-7Una fuente confiable del sistema axiomático de Hilbert, sus comentarios sobre ellos y sobre la "crisis" fundacional que estaba en curso en ese momento (traducidos al inglés), aparece en "Los fundamentos de las matemáticas" de Hilbert (1927).
^ abcd Nagel, Ernest; Newman, James R.; Hofstadter, Douglas R. (2001). Hofstadter, Douglas R. (ed.). Demostración de Gödel (ed. rev.). Nueva York: New York University Press. ISBN978-0-8147-5816-8.
^ abc Reid, Constanza (1996). Hilberto . Nueva York, Nueva York: Springer-Verlag. ISBN978-0387946740.
^ Thiele, Rüdiger (enero de 2003). "El vigésimo cuarto problema de Hilbert" (PDF) . American Mathematical Monthly . 110 : 1–24. doi :10.1080/00029890.2003.11919933. S2CID 123061382.
^ Browder, Felix E. (1976). Desarrollos matemáticos derivados de los problemas de Hilbert . Providence: American Mathematical Society. ISBN0-8218-1428-1.OCLC 2331329 .
^ Chung, Fan RK; Graham, Ronald L. (1 de junio de 1999). Erdös y los gráficos: su legado de problemas sin resolver . Natick, Mass: AK Peters/CRC Press. ISBN978-1-56881-111-6.OCLC 42809520 .
^ Clawson, Calvin C. (8 de diciembre de 1999). Misterios matemáticos: la belleza y la magia de los números . Libros básicos. pág. 258. ISBN9780738202594. Número de serie LCCN 99-066854.
^ Cooney, Michael (30 de septiembre de 2008). «Las 23 preguntas de matemáticas más difíciles del mundo». Network World . Consultado el 7 de abril de 2024 .
^ "Desafíos matemáticos de DARPA". 26 de septiembre de 2008. Archivado desde el original el 12 de enero de 2019. Consultado el 31 de marzo de 2021 .
^ Corry, L. (1997). "David Hilbert y la axiomatización de la física (1894-1905)". Arch. Hist. Exact Sci . 51 (2): 83-198. doi :10.1007/BF00375141. S2CID 122709777.
^ Gorban, AN ; Karlin, I. (2014). "El sexto problema de Hilbert: variedades hidrodinámicas exactas y aproximadas para ecuaciones cinéticas". Boletín de la Sociedad Matemática Americana . 51 (2): 186–246. arXiv : 1310.0406 . doi : 10.1090/S0273-0979-2013-01439-3 .
^ Von Neumann, John (2018). Wheeler, Nicholas A. (ed.). Fundamentos matemáticos de la mecánica cuántica. Traducido por Beyer, Robert T. Princeton Oxford: Princeton University Press. ISBN978-0-691-17856-1.
^ Houston-Edwards, Kelsey (25 de mayo de 2021). "Los matemáticos encuentran los bloques de construcción largamente buscados para polinomios especiales".
^ Abhyankar, Shreeram S. (1997). El decimotercer problema de Hilbert (PDF) . Seminarios y Congresos. vol. 2. Sociedad Matemática de Francia.
^ Vitushkin, Anatoliy G. (2004). "Sobre el decimotercer problema de Hilbert y cuestiones relacionadas". Encuestas matemáticas rusas . 59 (1). Academia Rusa de Ciencias: 11–25. Código Bibliográfico :2004RuMaS..59...11V. doi :10.1070/RM2004v059n01ABEH000698. S2CID 250837749.
^ Morozov, Vladimir V. (1954). "О некоторых вопросах проблемы резольвент" [Sobre determinadas cuestiones del problema de los resolutivos]. Actas de la Universidad de Kazán (en ruso). 114 (2). Universidad de Kazán: 173–187.
^ Hilbert, David (1927). "Über die Gleichung neunten Grados". Matemáticas. Ana . 97 : 243–250. doi :10.1007/BF01447867. S2CID 179178089.
^ Kleiman, SL ; Laksov, Dan (1972). "Cálculo de Schubert". American Mathematical Monthly . 79 (10). Sociedad Matemática Americana: 1061–1082. doi :10.1080/00029890.1972.11993188. ISSN 0377-9017.
^ Gilbarg, David; Trudinger, Neil S. (12 de enero de 2001). Ecuaciones diferenciales parciales elípticas de segundo orden . Berlín, Nueva York: Springer Science & Business Media. ISBN978-3-540-41160-4.
^ Serrin, James (8 de mayo de 1969). "El problema de Dirichlet para ecuaciones diferenciales elípticas cuasilineales con muchas variables independientes". Philosophical Transactions of the Royal Society of London. Serie A, Ciencias Físicas y Matemáticas . 264 (1153): 413–496. Bibcode :1969RSPTA.264..413S. doi :10.1098/rsta.1969.0033. ISSN 0080-4614.
^ Mawhin, Jean (1 de enero de 1999). "Grado Leray-Schauder: medio siglo de extensiones y aplicaciones". Métodos topológicos en análisis no lineal . 14 (2). Universidad Nicolás Copérnico de Toruń, Centro Juliusz Schauder de Estudios No Lineales: 195–228. doi :10.12775/TMNA.1999.029. ISSN 1230-3429 . Consultado el 8 de abril de 2024 .
^ Plemelj, Josip (1964). Radok., JRM (ed.). Problemas en el sentido de Riemann y Klein. Interscience Tracts in Pure and Applied Mathematics. Vol. 16. Nueva York-Londres-Sydney: Interscience Publishers John Wiley & Sons Inc. ISBN9780470691250.Sr. 0174815 .
^ Anosov, DV; Bolibruch, AA (1994). El problema de Riemann-Hilbert . Aspectos de las Matemáticas, E22. Brunswick: Friedr. Vieweg y Sohn. doi :10.1007/978-3-322-92909-9. ISBN978-3-528-06496-9.Señor 1276272 .
^ Bolibrukh, AA (1990). "El problema de Riemann-Hilbert". Akademiya Nauk SSSR I Moskovskoe Matematicheskoe Obshchestvo. Uspekhi Matematicheskikh Nauk (en ruso). 45 (2): 3–47. Código Bib : 1990RuMaS..45Q...1B. doi :10.1070/RM1990v045n02ABEH002350. ISSN 0042-1316. SEÑOR 1069347. S2CID 250853546.
^ Bolibrukh, AA (1992). "Condiciones suficientes para la solubilidad positiva del problema de Riemann-Hilbert". Matematicheskie Zametki (en ruso). 51 (2): 110–117. doi :10.1007/BF02102113. MR 1165460. S2CID 121743184.
^ Katz, NM (1976). "Una visión general del trabajo de Deligne sobre el vigésimo primer problema de Hilbert". Actas de simposios sobre matemáticas puras . 28 : 537–557. doi :10.1090/pspum/028.2/9904. ISBN .9780821814284.
Dawson, John W.; Gödel, Kurt (1997). Dilemas lógicos: la vida y obra de Kurt Gödel (edición reimpresa). Wellesley, Mass.: Peters. ISBN 978-1-56881-256-4. Una gran cantidad de información relevante sobre el "programa" de Hilbert y el impacto de Gödel en la Segunda Pregunta, el impacto del intuicionismo de Arend Heyting y Brouwer en la filosofía de Hilbert.
Browder, Felix Earl (1976). "Desarrollos matemáticos derivados de los problemas de Hilbert". En Browder, Felix E. (ed.). Actas de los simposios sobre matemáticas puras XXVIII . Providence (RI): Sociedad Americana de Matemáticas. ISBN 978-0-8218-1428-4. Una colección de ensayos de investigación realizados por expertos dedicados a cada uno de los 23 problemas, haciendo hincapié en los avances actuales.
Matijasevič, Jurij V.; Matijasevič, Jurij V. (1993). El décimo problema de Hilbert . Fundamentos de la informática (3. ed.). Cambridge, Massachusetts: MIT Press. ISBN 978-0-262-13295-4. Un relato a nivel de pregrado del matemático que completó la solución del problema.
Enlaces externos
Wikisource tiene el texto original relacionado con este artículo: