David Hilbert

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 de Ferdinand
von Lindemann, titulada ber invariante Eigenschaften specieller binrer Formen,
insbesondere der Kugelfunctionen (Sobre las propiedades invariantes de formas
binariasespeciales, en particular las funciones circulares). Hermann Minkowski coincidi 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 aquel 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 de los 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
El texto Grundlagen der Geometrie (Fundamentos de la geometra), que Hilbert public
en 1899, sustituye los tradicionales axiomas de Euclides por sistema formal de 21 axiomas.
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
y congruencia de ngulos. Los axiomas unifican la geometra plana y la slida de Euclides
en un nico sistema.

Los 23 problemas
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? Cul 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

las actas. Extendi el panorama en una publicacin posterior, y con ella lleg
formulacin cannica actual de los 23 Problemas de Hilbert. El texto al completo
importante, dado que la exgesis de las cuestiones puede seguir siendo materia
debate inevitable, cada vez que se preguntan cuntas han sido resueltas:

en
la
es
de

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

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.

Johann Carl Friedrich Gauss

Naci en el ducado de Brunswick, Alemania, el 30 de abril de 1777, en una familia

campesina muy pobre: su abuelo era un humilde jardinero y repartidor. Su padre nunca pudo
superar la espantosa miseria con la que siempre convivi. De pequeo Gauss fue
respetuoso y obediente, y ya en su edad adulta nunca critic a su padre, quien muri poco
despus de que Gauss cumpliera 30 aos, por su rudeza y violencia para con l.
Desde muy pequeo, Gauss mostr su talento para los nmeros y para el lenguaje.
Aprendi a leer solo y, sin que nadie lo ayudara, aprendi muy rpido la aritmtica elemental
desde muy pequeo. En 1784, a los siete aos de edad, ingres a una de las escuelas de
primeras letras de Brunswick donde daba clases un maestro rural llamado Bttner, quien
corrigi rpidamente su lectura, le ense gramtica, ortografa y caligrafa y perfeccion su
talento matemtico y lo anim a continuar el bachillerato, como consta en su carta para que
lo aceptaran en el Lyceum; pero quien usaba unos mtodos severos y una estricta disciplina,
lo que desagradaba a alguien tan sensible. Se cuenta la ancdota de que, a los dos aos de
estar en la escuela, durante la clase de Aritmtica, el maestro propuso el problema de sumar
los nmeros de una progresin aritmtica.1 Gauss hall la respuesta correcta casi
inmediatamente diciendo Ligget se' ('ya est'). Al acabar la hora se comprobaron las
soluciones y se vio que la solucin de Gauss era correcta, mientras que no lo eran muchas
de las de sus compaeros.
A los 12 aos ya miraba con cierto recelo los fundamentos de la geometra, A los 14 aos,
fue presentado ante elduque de Brunswick. Este qued fascinado por lo que haba odo del
muchacho, y por su modestia y timidez, por lo que decidi hacerse cargo de todos los gastos
de Gauss que permiti asegurar que su educacin en el bachillerato llegara a buen fin. All

conoci al matemtico Martin Bartels quien fue su profesor y se aceleraron sus progresos en
Matemticas. Ambos estudiaban juntos, se apoyaban y se ayudaban para descifrar y
entender los manuales que tenan sobre lgebra yanlisis elemental. En estos aos se
empezaron a gestar algunas de las ideas y formas de ver las matemticas, que
caracterizaron posteriormente a Gauss. Se dio cuenta, por ejemplo, del poco rigor en
muchas demostraciones de los grandes matemticos que le precedieron,
como Newton, Euler, Lagrange y otros ms.
Al ao siguiente de conocer al duque, Gauss ingres al Collegium Carolinum para continuar
sus estudios, y lo que sorprendi a todos fue su facilidad para las lenguas. Aprendi y
domin el griego y el latn en muy poco tiempo. Estuvo tres aos en el Collegium y, al salir,
no tena claro si quera dedicarse a las matemticas o a la filologa. En esta poca ya haba
descubierto su ley de los mnimos cuadrados, lo que indica el temprano inters de Gauss por
la teora de errores de observacin y su distribucin.
A los 16 tuvo sus primeras ideas intuitivas sobre la posibilidad de otro tipo de geometra. A
los 17 aos, Gauss se dio a la tarea de completar lo que, a su juicio, haban dejado sin
concluir sus predecesores en materia de teora de nmeros. As descubri su pasin por la
aritmtica, rea en la que poco despus tuvo sus primeros triunfos. Su gusto por la
aritmtica prevaleci por toda su vida, ya que para l La matemtica es la reina de las
ciencias y la aritmtica es la reina de la .
En 1796 demostr que se puede dibujar un polgono regular de 17 lados con regla y
comps.

Fue el primero en probar rigurosamente el teorema fundamental del lgebra (disertacin

para su tesis doctoral en 1799), aunque una prueba casi completa de dicho teorema fue
hecha por Jean Le Rond d'Alembert anteriormente.
En 1801 public el libro Disquisitiones arithmeticae, con seis secciones dedicadas a
la Teora de nmeros, dndole a esta rama de las matemticas una estructura

sistematizada. En la ltima seccin del libro expone su tesis doctoral. Ese mismo ao predijo
la rbita de Ceres aproximando parmetros por mnimos cuadrados.

En 1809 fue nombrado director del Observatorio de Gotinga. En este mismo ao

public Theoria
motus
corporum
coelestium
in
sectionibus
conicis
Solem
ambientium describiendo cmo calcular la rbita de un planeta y cmo refinarla
posteriormente. Profundiz sobre ecuaciones diferenciales y secciones cnicas.
Gauss muri en Gotinga el 23 de febrero de 1855.

Ancdota
..cuando el famoso viajero y aficionado a las ciencias barn Alexander von Humboldt
pregunt a Laplace quin era el ms grande matemtico de Alemania, Laplace replic Plaff.
"Y entonces Gauss, qu?", pregunt el asombrado von Humboldt. "Oh, - dijo Laplace-,
Gauss es el mayor matemtico del mundo."

Aportaciones
Teora de los errores.
Mtodo general para la resolucin de las ecuaciones binomios.
Ide un heliotropo, para el envo de seales luminosas en las operaciones geodsicas
(operaciones de mediciones terrestres).
Formul la Teora general del magnetismo terrestre.
Campana de Gauss que es muy utilizada en el clculo de probabilidades.
Realiz aportaciones en la electricidad y en el magnetismo.
El teorema de Gauss-Bonnet
El mtodo de Gauss para triangular una matriz (y el mtodo de eliminacin de GaussJordan).
El mtodo de Gauss-Seidel (mtodo iterativo para resolver sistemas de ecuaciones
lineales).
El teorema de la divergencia, conocido tambin como teorema de Gauss (y por teorema de
Ostrogradsky-Gauss).

Publicaciones

1799: Disertacin sobre el teorema fundamental del lgebra, con el ttulo: Demonstratio
nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in
factores reales primi vel secundi gradus resolvi posse("Nuevas pruebas del teorema
donde cada funcin integral algebraica de una variable puede resolverse en factores
reales [i.e. polinomiales] de primer o segundo grado")

1801: Disquisitiones Arithmeticae

1809: Theoria Motus Corporum Coelestium in sectionibus conicis solem

ambientium (Theorie der Bewegung der Himmelskrper, die die Sonne in Kegelschnitten
umkreisen), trad. al ingls C. H. Davis, reimpreso en 1963, Dover, NY

1821, 1823 & 1826: Theoria combinationis observationum erroribus minimis obnoxiae.
Drei Abhandlungen betreffend die Wahrscheinlichkeitsrechnung als Grundlage des
Gau'schen Fehlerfortpflanzungsgesetzes. trad. al ingls G. W. Stewart, 1987, Society
for Industrial Mathematics.

1827: Disquisitiones generales circa superficies curvas, Commentationes Societatis

Regiae Scientiarum Gottingesis Recentiores. Volume VI, pp. 99-146. "General
Investigations of Curved Surfaces" (edicin de 1965) Raven Press, New York, trad.
A.M.Hiltebeitel & J.C.Morehead.

1843/44: Untersuchungen ber Gegenstnde der Hheren Geodsie. Erste

Abhandlung, Abhandlungen der Kniglichen Gesellschaft der Wissenschaften in
Gttingen. Zweiter Band, pp. 3-46

1846/47: Untersuchungen ber Gegenstnde der Hheren Geodsie. Zweite

Abhandlung, Abhandlungen der Kniglichen Gesellschaft der Wissenschaften in
Gttingen. Dritter Band, pp. 3-44

Mathematisches Tagebuch 17961814, Ostwaldts Klassiker, Harri Deutsch Verlag 2005,

mit Anmerkungen von Neumamn, ISBN 978-3-8171-3402-1 (es gibt auch engl. bers. mit
Anmerkungen von Jeremy Gray, Expositiones Math. 1984)

Obras colectivas de Gauss online, traducciones al alemn del texto en latn y

comentarios de varias autoridades