Knigsberg, Prusia Oriental Fallecimiento 14 de febrero de 1943(81 aos) Gotinga (Alemania) Nacionalidad Alemana Campo Matemtico Instituciones Universidad de Knigsberg Universidad de Gttingen Alma mter Universidad de Knigsberg Supervisor doctoral Ferdinand von Lindemann Estudiantes destacados Wilhelm Ackermann Otto Blumenthal Richard Courant Max Dehn Erich Hecke Hellmuth Kneser Robert Knig Emanuel Lasker Erhard Schmidt Hugo Steinhaus Teiji Takagi Hermann Weyl Ernst Zermelo Jos Agustn Prez del Pulgar Conocido por Teorema de la Base de Hilbert Axiomas de Hilbert Problemas de Hilbert Programa de Hilbert Accin Einstein-Hilbert Espacio de Hilbert David Hilbert (23 de enero de 1862, Knigsberg, Prusia Oriental 14 de febrero de 1943, Gotinga, Alemania) fue un matemticoalemn, 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 lamatemtica 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.1
Vida Hilbert naci en Knigsberg, en Prusia Oriental (actual Kaliningrado, Rusia). Se gradu en el liceo de su ciudad natal y se matricul en la Universidad de Knigsberg ("Albertina"). Obtuvo su doctorado en 1885, con una disertacin, escrita bajo supervisin deFerdinand von Lindemann, titulada ber invariante Eigenschaften specieller binrer Formen, insbesondere der Kugelfunctionen("Sobre las propiedades invariantes de formas binarias especiales, en particular las funciones circulares"). Hermann Minkowskicoincidi con Hilbert en la misma universidad y momento como doctorando, y llegaron a ser amigos ntimos, ejerciendo uno sobre el otro una influencia recproca en varios momentos de sus carreras cientficas. Hilbert permaneci como profesor en la Universidad de Knigsberg de 1886 a 1895, cuando, como resultado de la intervencin en su nombre de Felix Klein, obtuvo el puesto de Catedrtico de Matemtica en la Universidad de Gttingen, que en aqul momento era el mejor centro de investigacin matemtica en el mundo, donde permanecera el resto de su vida.
El teorema de finitud El primer trabajo de Hilbert sobre funciones invariantes le llev en 1888 a la demostracin en su famoso teorema de finitud. Veinte aos antes, Paul Gordan haba demostrado el teorema de la finitud de generadores para formas binarias usando un complejo enfoque computacional. Los intentos de generalizar este mtodo a funciones con ms de dos variables fallaron por la enorme dificultad de los clculos implicados. Hilbert se dio cuenta de que era necesario seguir un camino completamente diferente. Como resultado, demostr el teorema fundamental de Hilbert: mostrar la existencia de un conjunto finito de generadores, para las invariantes cunticas en cualquier nmero de variables, pero de forma abstracta. Esto es, demostr la existencia de dicho conjunto, pero no de forma algortmica sino mediante un teorema de existencia. Hilbert envi sus resultados a los Mathematische Annalen. Gordan, el experto en teora de invariantes para la Mathematische Annalen, no fue capaz de apreciar la naturaleza revolucionaria del teorema de Hilbert y rechaz el artculo, criticando la exposicin porque era insuficientemente comprensiva. Su comentario fue: Esto es teologa, no matemtica! Klein, por otro lado, reconoci la importancia del trabajo y se asegur de que fuese publicado sin alteraciones. Animado por Klein y los comentarios de Gordan, Hilbert extendi su mtodo en un segundo artculo, proporcionando estimaciones sobre el grado mximo del conjunto mnimo de generadores, y lo envi una vez ms a los Annalen. Tras leer el manuscrito, Klein le escribi, diciendo: Sin duda ste es el trabajo ms importante en lgebra general que los Annalen han publicado nunca. Ms adelante, cuando la utilidad del mtodo de Hilbert haba sido reconocida universalmente, el propio Gordan dira: He de admitir que incluso la teologa tiene sus mritos.
Axiomatizacin de la geometra Axiomas de Hilbert El texto Grundlagen der Geometrie (Fundamentos de la geometra), que Hilbert public en 1899, sustituye los tradicionales axiomas de Euclides por sistema formal de 21axiomas. Evitan las debilidades identificadas en los de Euclides, cuya obra clsica Elementos segua siendo usada como libro de texto en aquel momento. El enfoque de Hilbert marc el cambio al sistema axiomtico moderno. Los axiomas no se toman como verdades evidentes. La geometra puede tratar de cosas, sobre las que tenemos intuiciones poderosas, pero no es necesario asignar un significado explcito a los conceptos indefinidos. Como dice Hilbert, los elementos tales como el punto, la recta, el plano y otros, se pueden sustituir con mesas, sillas, jarras de cerveza y otros objetos. Lo que se discute y se desarrolla son sus relaciones definidas. Hilbert comienza enumerando los conceptos sin definicin: punto, recta, plano, incidencia (una relacin entre puntos y planos), estar entre, congruencia de pares de puntos ycongruencia de ngulos. Los axiomas unifican la geometra plana y la slida de Euclides en un nico sistema. Los 23 problemas Problemas de Hilbert Hilbert propuso una lista muy influyente de 23 problemas sin resolver en el Congreso Internacional de Matemticos de Pars en 1900. Se reconoce de forma general que esta es la recopilacin de problemas abiertos ms exitosa y de profunda consideracin producida nunca por un nico matemtico. Tras reescribir los fundamentos de la geometra clsica, Hilbert poda haberlo extrapolado al resto de las matemticas. Este enfoque difiere, sin embargo, de los posteriores logicistas Russel- Whitehead o el formalismo matemtico de su contemporneo Giuseppe Peano y ms recientemente del conjunto de matemticos Nicolas Bourbaki . La comunidad matemtica al completo podra embarcarse en problemas que l identific como aspectos cruciales en las reas de la matemtica que l consider como claves. Lanz el conjunto de problemas en la conferencia "Los problemas de la matemtica" presentada durante el curso del Segundo Congreso Internacional de Matemticos celebrado en Pars. Esta es la introduccin a la conferencia de Hilbert: Quin entre nosotros no estara contento de levantar el velo tras el que se esconde el futuro; observar los desarrollos por venir de nuestra ciencia y los secretos de su desarrollo en los siglos que sigan? Cual ser el objetivo hacia el que tender el espritu de las generaciones futuras de matemticos? Qu mtodos, qu nuevos hechos revelar el nuevo siglo en el vasto y rico campo del pensamiento matemtico? Present menos de la mitad de los problemas en el Congreso, que fueron publicados en las actas. Extendi el panorama en una publicacin posterior, y con ella lleg la formulacin cannica actual de los 23 Problemas de Hilbert. El texto al completo es importante, dado que la exgesis de las cuestiones puede seguir siendo materia de debate inevitable, cada vez que se preguntan cuntas han sido resueltas: 1. Problema de Cantor sobre el cardinal del continuo. Cul es el cardinal del continuo? 2. La compatibilidad de los axiomas de la aritmtica. Son compatibles los axiomas de la aritmtica? 3. La igualdad de los volmenes de dos tetraedros de igual base e igual altura. 4. El problema de la distancia ms corta entre dos puntos. Es la lnea recta la distancia ms corta entre dos puntos, sobre cualquier superficie, en cualquier geometra? 5. Establecer el concepto de grupo de Lie, o grupo continuo de transformaciones, sin asumir la diferenciabilidad de las funciones que definen el grupo. 6. Axiomatizacin de la fsica. Es posible crear un cuerpo axiomtico para la fsica? 7. La irracionalidad y trascendencia de ciertos nmeros como e, 2v2, etc. 8. El problema de la distribucin de los nmeros primos. 9. Demostracin de la ley ms general de reciprocidad en un cuerpo de nmeros cualesquiera. 10. Establecer mtodos efectivos de resolucin de ecuaciones diofnticas. 11. Formas cuadrticas con coeficientes algebraicos cualesquiera. 12. La extensin del teorema de Kronecker sobre cuerpos abelianos a cualquier dominio de racionalidad algebraica. 13. Imposibilidad de resolver la ecuacin general de sptimo grado por medio de funciones de slo dos argumentos. 14. Prueba de la condicin finita de ciertos sistemas completos de funciones. 15. Fundamentacin rigurosa del clculo enumerativo de Schubert o geometra algebraica. 16. Problema de la topologa de curvas algebraicas y de superficies. 17. La expresin de formas definidas por sumas de cuadrados. 18. Construccin del espacio de los poliedros congruentes. 19. Las soluciones de los problemas regulares del clculo de variaciones, son siempre analticas? 20. El problema general de condiciones de contorno de Dirichlet. 21. Demostracin de la existencia de ecuaciones diferenciales lineales de clase fuchsiana, conocidos sus puntos singulares y grupo monodrmico. 22. Uniformidad de las relaciones analticas por medio de funciones automrficas: siempre es posible uniformizar cualquier relacin algebraica entre dos variables por medio de funciones automorfas de una variable. 23. Extensin de los mtodos del clculo de variaciones.
Algunos se resolvieron en poco tiempo. Otros se han discutido durante todo el siglo XX, y actualmente se ha llegado a la conclusin de que unos pocos son irrelevantes o imposibles de cerrar. Algunos continan siendo actualmente un reto para los matemticos.
Formalismo Siguiendo la tendencia que se haba convertido en estndar a mitad de siglo, el conjunto de problemas de Hilbert tambin constitua una especie de manifiesto, que abri la va para el desarrollo de la escuela del Formalismo matemtico, una de las tres escuelas matemticas ms importantes del siglo XX. De acuerdo al formalismo, la matemtica es un juego carente de significado en el que uno lo practica con smbolos carentes de significado de acuerdo a unas reglas formales establecidas de antemano. Por tanto es una actividad de pensamiento autnoma. Sin embargo, hay margen para la duda al respecto de si la propia visin de Hilbert era simplistamente formalista en este sentido.
El programa de Hilbert Programa de Hilbert En 1920 propuso de forma explcita un proyecto de investigacin (en metamatemtica, como se llam entonces) que acab siendo conocido como programa de Hilbert. Quera que la matemtica fuese formulada sobre unas bases slidas y completamente lgicas. Crea que, en principio, esto poda lograrse, mostrando que: Toda la matemtica se sigue de un sistema finito de axiomas escogidos correctamente; y Que tal sistema axiomtico se puede probar consistente. Pareca tener razones tcnicas y filosficas para formular esta propuesta. Esto afirmaba su disgusto por lo que se haba dado a conocer como ignorabimus, que an era un problema activo en su tiempo dentro del pensamiento alemn, y que poda rastrearse en esa formulacin hasta Emil du Bois-Reymond. El programa sigue siendo reconocible en la filosofa de la matemtica ms popular, donde se le llama normalmente formalismo. Por ejemplo, el grupo Bourbaki adopt una versin selectiva y diluida como adecuada para los requisitos de sus proyectos gemelos de (a) escribir trabajos fundamentales enciclopdicos, y (b) dar soporte al sistema axiomticocomo herramienta de investigacin. Este enfoque ha tenido xito e influencia en relacin con el trabajo de Hilbert en el lgebra y el anlisis funcional, pero no ha conseguido cuajar igual con sus intereses en fsica y lgica.
El trabajo de Gdel Hilbert y los matemticos de talento que trabajaron con l en esta empresa estaban dedicados al proyecto. Su intento de dar soporte a la matemtica axiomatizada con principios definidos, que eliminara las incertidumbres tericas, iba sin embargo a acabar en derrota. Gdel demostr que no se poda demostrar la completitud de ningn sistema formal no contradictorio que fuera suficientemente amplio para incluir al menos la aritmtica, slo mediante sus propios axiomas. En 1931 su teorema de la incompletitud mostr que el ambicioso plan de Hilbert era imposible tal como se planteaba. El segundo requisito no poda combinarse con el primero de forma razonable, mientras el sistema axiomtico sea genuinamente finito. Sin embargo, el teorema de completitud no dice nada al respecto de la demostracin de la completitud de la matemtica mediante un sistema formal diferente. Los logros posteriores de la teora de la demostracin como mnimo clarificaron la relacin de la consistencia con las teoras de inters principal para los matemticos. El trabajo de Hilbert haba empezado lgico en su camino a la clarificacin; la necesidad de entender el trabajo de Gdel llev entonces al desarrollo de la teora de la computabilidad y despus de lalgica matemtica como disciplina autnoma en la dcada de 19301940. De este 'debate' naci directamente la base para la informtica terica de Alonzo Church y Alan Turing.
La escuela de Gttingen Entre los alumnos de Hilbert se encuentran Hermann Weyl, el campen mundial de ajedrez Emanuel Lasker, Ernst Zermelo y Carl Gustav Hempel. John von Neumann fue asistente suyo. En la Universidad de Gttingen, Hilbert se encontr rodeado por un crculo social constituido por algunos de los matemticos ms importantes del siglo XX, comoEmmy Noether y Alonzo Church.
Anlisis funcional Alrededor de 1909, Hilbert se dedic al estudio de ecuaciones diferenciales e integrales; su trabajo tuvo consecuencias directas en partes importantes el anlisis funcional moderno. Para poder llevar a cabo estos estudios, Hilbert introdujo el concepto de un espacio eucldeo de infinitas dimensiones, llamado ms tarde espacio de Hilbert. Su trabajo en esta parte del anlisis proporcion la base de importantes contribuciones a la fsica matemtica en las dos dcadas siguientes, aunque en direcciones que por entonces no se podan anticipar. Ms tarde, Stefan Banach amplific el concepto, definiendo los espacios de Banach. El espacio de Hilbert es por s misma la idea ms importante del anlisis funcional, que creci a su alrededor durante el siglo XX.
Fsica Hasta 1912, Hilbert fue de forma casi exclusiva un matemtico puro. Cuando planeaba hacer una visita a Bonn, donde estaba inmerso en el estudio de la fsica, su amigo y colega matemtico Hermann Minkowski haca chistes diciendo que tena que pasar 10 das en cuarentena antes de poder visitar a Hilbert. En realidad, Minkowski parece ser responsable de la mayora de investigaciones de Hilbert en fsica anteriores a 1912, incluido su seminario conjunto sobre el tema en 1905. En 1912, tres aos tras la muerte de su amigo, cambi su objetivo hacia este tema de forma casi exclusiva. Arregl que se le asignara un tutor en fsica.2 Empez estudiando lateora cintica de los gases y pas luego a la teora elemental de radiacin y a la teora molecular de la materia. Incluso tras el estallido de la guerra en 1914, continu celebrando seminarios y clases donde se seguan de cerca los trabajos de Einstein entre otros. Hilbert invit a Einstein a Gttingen para que impartiera una semana de lecciones entre junio y julio de 1915 sobre relatividad general y su teora de la gravedad en desarrollo (Sauer 1999, Folsing 1998). El intercambio de ideas llev a la forma final de las ecuaciones de campo de la Relatividad General, en concreto las ecuaciones de campo de Einsteiny la accin de Einstein- Hilbert. Aunque Einstein y Hilbert no llegaron nunca a enzarzarse en una disputa pblica sobre prioridad, ha habido algo de discusin sobre el descubrimiento de las ecuaciones de campo. Adems, el trabajo de Hilbert anticip y asisti a varios avances en la formulacin matemtica de la mecnica cuntica. Su trabajo fue clave para el de Hermann Weyl y John von Neumann sobre la equivalencia matemtica de la mecnica de matrices de Werner Heisenberg y la ecuacin de onda de Erwin Schrdinger, y su espacio de Hilbert juega un papel importante en la teora cuntica. En 1926, von Neumann mostr que si los estados atmicos se entendiesen como vectores en el espacio de Hilbert, entonces se corresponderan tanto con la teora de funcin de onda de Schrdinger como con las matrices de Heisenberg. Mediante esta inmersin en la fsica, trabaj en darle rigor a la matemtica que la sostiene. Aunque es muy dependiente de la matemtica avanzada, el fsico tiende a ser descuidado con ella. Para un matemtico puro como Hilbert, esto era feo y difcil de entender. Al empezar a comprender la fsica y la manera en que los fsicos usaban la matemtica, desarroll una teora matemticamente coherente para lo que encontr, principalmente en el rea de las ecuaciones integrales. Cuando su colega Richard Courantescribi el clsico Mtodos de fsica matemtica incluy algunas ideas de Hilbert, y aadi su nombre como coautor incluso aunque Hilbert no lleg a contribuir al escrito. Hilbert dijo que la fsica es demasiado dura para los fsicos, implicando que la matemtica necesaria estaba lejos de su alcance por lo general; el libro de Courant-Hilbert les facilit las cosas.
Teora de nmeroS Hilbert unific el campo de la teora algebraica de nmeros con su tratado de 1897 Zahlbericht (literalmente 'informe sobre nmeros'). Abati el problema de Waring en el sentido amplio. Desde entonces tuvo poco ms que decir sobre el tema; pero la emergencia de las formas modulares de Hilbert en la disertacin de un estudiante implica que su nombre est ms unido a un rea importante. Propuso una serie de conjeturas sobre la teora de cuerpos de clases. Los conceptos fueron muy influyentes, y su propia contribucin queda patente en los nombres del cuerpo de clase de Hilbert y el smbolo de Hilbert de la teora local de cuerpos de clases. Los resultados sobre estas conjeturas quedaron probados en su mayora sobre 1930, tras el importante trabajo de Teiji Takagi que lo estableci como el primer matemtico japons de nivel internacional. Hilbert no trabaj en las reas principales de la teora analtica de nmeros, pero su nombre qued unido a la conjetura de Hilbert-Plya, por razones anecdticas.
Charlas, ensayos y contribuciones miscelneas Su paradoja del Grand Hotel, una meditacin sobre las extraas propiedades del infinito, se usa a menudo en textos populares sobre nmeros cardinales infinitos.
ltimos aos Hilbert vivi para ver a los nazis purgar a la mayora de miembros facultativos sobresalientes de la Universidad de Gttingen, en 1933. . Entre aquellos forzados a marcharse estuvieron Hermann Weyl, que haba ocupado la ctedra de Hilbert al retirarse en 1930, Emmy Noether y Edmund Landau. Uno de los que hubo de dejar Alemania fue Paul Bernays, colaborador de Hilbert en lgica matemtica y coautor con l del importante libro Grundlagen der Mathematik (que acab presentndose en dos volmenes, en 1934 y 1939). sta fue una secuela del libro de Hilbert- Ackermann Fundamentos de lgica terica de 1928. Un ao despus, asisti a un banquete y lo sentaron al lado del nuevo Ministro de Educacin, Bernhard Rust. Rust le pregunt: Cmo va la matemtica en Gttingen ahora que ha sido liberada de la influencia juda? A lo que Hilbert contest, La matemtica en Gttingen? Ya no queda nada de eso. Para cuando Hilbert muri en 1943, los Nazis haban reestructurado casi por completo la universidad, ya que mucho del personal facultativo anterior era judo o estaba casado con judos. Al funeral de Hilbert asisti menos de una docena de personas, slo dos de los cuales eran colegas acadmicos.4 En su tumba, en Gttingen, se puede leer su epitafio: Wir mssen wissen, wir werden wissen ('Debemos saber, sabremos'). Irnicamente, el da antes de que Hilbert pronunciase esta frase, Kurt Gdel presentaba su tesis, que contena el famoso teorema de incompletitud: hay cosas que sabemos que son ciertas, pero que no podemos probar.