Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MIGUEL DE GUZMN
Hilbert fue ciertamente uno de los ltimos matemticos capaz de identificar, en los diversos campos de la matemtica de su tiempo, los problemas ms importantes. Su
objetivo de tratar de sealar con ellos lneas posibles de desarrollo para el futuro sigue siendo tan vlido hoy como
entonces. Por ello la Unin Matemtica Internacional decidi nombrar una comisin de expertos que hiciera para
nuestro tiempo lo que Hilbert hizo para el suyo. El fruto
de este trabajo conjunto de muchos de los ms eminentes matemticos de nuestros das ha sido una interesante
En 1900, en el Segundo Congreso Internacional de Matemticos que se celebr en Pars, David Hilbert tuvo ocasin de proponer, para todos los matemticos del mundo,
su visin sobre las lneas de desarrollo de la matemtica de
su tiempo a travs de una famosa coleccin de 23 problemas. Esta conferencia, que se encuentra disponible en
la red en su traduccin al ingls, tuvo el acierto de sealar una importante serie de lneas de desarrollo que en
buena parte ha marcado la investigacin realizada durante el siglo XX. Al principio de su conferencia, Hilbert
seala elocuentemente el papel de los problemas matemticos pendientes para el desarrollo de la matemtica:
A quin de nosotros no le complacera levantar el velo
bajo el que el futuro yace escondido, para echar una mirada
a los progresos venideros de nuestra ciencia y a los secretos de
su desarrollo durante los prximos siglos? Cules sern los objetivos especiales a los que los espritus matemticos ms influyentes de las generaciones futuras se consagrarn? Qu
nuevos mtodos y resultados descubrirn los nuevos siglos en
el amplio y rico campo del pensamiento matemtico?
La historia nos ensea la continuidad del desarrollo de la
ciencia. Sabemos que cada poca tiene sus propios problemas, los cuales son resueltos o bien echados a un lado como
intiles y los reemplaza por otros nuevos. Si queremos obtener una idea sobre el probable desarrollo del conocimiento
matemtico en el futuro inmediato tenemos que hacer pasar ante nuestra mente las cuestiones an no resueltas y contemplar los problemas que la ciencia de hoy propone y cuya
solucin esperamos del futuro. Para tal revisin el da de
hoy, a medio camino entre dos siglos, me parece especialmente adaptado. Porque el final de una gran poca no slo
nos invita a mirar hacia el pasado sino tambin dirige nuestro pensamiento hacia el desconocido futuro...
se tecogen sus observaciones relacionadas con este propsito. Cada uno de los autores ha respondido a su modo,
algunos desde la perspectiva de los problemas de su propio campo de especializacin, otros tratando de contemplar los problemas desde un punto de vista ms amplio,
otros tratando de identificar tendencias generales ms que
problemas concretos al modo de Hilbert. Pero de la lectura de este libro tanto el especialista como el que no lo
es puede obtenet una visin amplia de los problemas que
en el momento ocupan a la comunidad matemtica y as
barruntar por dnde discurrir el quehacer matemtico
en el futuro prximo.
Por orra parte, bajo el amparo de las celebraciones que
en todo el mundo estn teniendo lugar con motivo del
Ao Mundial de las Matemticas, como la Unin Matemtica Internacional, la Unesco y otros organismos internacionales declararon este ao 2000, han sido bastantes los matemticos eminentes que para diversos pblicos
han comentado su visin de los ms importantes logros de
la matemtica actual y sobre cules sern, previsiblemente, sus lneas de desarrollo para el futuro. Entre las magnficas exposiciones que se han hecho yo destacara, por
su claridad y accesibilidad, la de Phillip Griffiths, publicada originariamente en American MathematicalMonthly
y que ha sido traducida al castellano y publicada por la Real
Sociedad Matemtica Espaola en la Gaceta Matemtica.
Conducidos por stas y otras publicaciones interesantes
vamos a hacer aqu un pequeo recorrido en torno a algunos de los problemas que ocupan actualmente a la comunidad matemtica, para tratar as de vislumbrar algu-
245
MIGUEL DE GUZMN
pases divulg el hecho en primera plana. Era un problema muy fcil de entender y con una historia muy interesante que haba sido afrontado sin xito por muchos de entre los matemticos ms famosos de los ltimos tres siglos.
La historia de la solucin, anunciada en 1993, pas a ser
un drama cuando los expertos encontraron un fallo que
a muchos les pareca insalvable. Wiles y un alumno suyo,
R. Taylor, consiguieron solucionarlo tras un ao ms de
trabajo. Por fin, la demostracin publicada en 1995 contaba con la aprobacin de los expertos.
La conjetura de Fermat que Wiles demostr ser cierta
constituye claramente uno de esos casos en los que la comunidad matemtica ha trabajado con ahnco con la nica finalidad de coronar una cumbre que ella misma se ha
propuesto. Para quienes contemplan la actividad matemtica desde el exterior tal vez esto pueda parecer que corresponde a una imagen del matemtico encerrado en su
torre de marfil y resolviendo enigmas que nadie va a aplicar. Pero lo cierto es que al tratar de ascender, a veces,
como en este caso, bien penosamente hasta la cima, se
han ido creando herramientas potentsimas, en este caso
relacionadas con la geometra algebraica, muchas de las
cuales han encontrado o encontrarn aplicaciones prcticas bien interesantes.
Por otra parte el mtodo de trabajo de Andrew Wiles ha
venido a poner de manifiesto la plena vigencia de los mtodos tradicionales de investigacin. Una persona, voluntariamente aislada por ms de 7 aos, pone en conexin todo un mundo de herramientas mentales creadas
para diversos objetivos dando al fin con la solucin del
problema. Es claro que la solucin de Wiles sobrepasa con
mucho el conocimiento matemtico de la poca de Fermat y muchos piensan seriamente que la demostracin
que Fermat pens haber encontrado, como dej escrito en
el margen de su copia del libro de Diofanto que estaba
leyendo, tan slo fue un espejismo.
246
gunda fila sea tangente a dos de la primera y as sucesivamente se va ocupando el nivel inferior de la caja. Sobre este
nivel, utilizando los huecos que van quedando, se coloca
una naranja tangente a cada tres del primer nivel y as
se rellena el segundo nivel. Y as sucesivamente hasta que se
llega al nivel superior. Kepler pens que este apilamiento
era el que proporcionaba la mayor densidad, es decir, que
el volumen ocupado por las esferas dividido por el volumen de la caja sera as mximo. Sin embargo no dio de
ello ninguna demostracin.
Han sido muchos los matemticos que han tratado de
demostrar la conjetura de Kepler a lo largo de la Historia,
entre ellos nada menos que Gauss, en el siglo XIX, quien
demostr que entre los apilamientos reticulares ste es
efectivamente el ms denso, lo cual no llega a resolver el
problema del todo ya que hay apilamientos no reticulares
cuya densidad de empaquetamiento es muy prxima a
otros reticulares.
El resultado inicial ms importante en el siglo XX fue debido a Laszlo Toth, un matemtico hngaro que en 1953
consigui reducir el problema a una enorme coleccin de
clculos relativos a casos especficos. En 1994, ya con las capacidades de clculo del ordenador a su disposicin, Thomas Hales, de la Universidad de Michigan, se enfrent con
el problema siguiendo la lnea de pensamiento de Toth.
Trabajando junto con su estudiante de doctorado Samuel
Ferguson, pens por fin en 1998, tras cinco aos de trabajo, que haba conseguido una solucin satisfactoria del problema y la coloc en la red para que cualquiera pudiera recorrerla y verificar su correccin, una tarea nada sencilla
dada su complejidad y la cantidad de pasos que hay que
comprobar. Los expertos que la han examinado parecen estar
de acuerdo en que la demostracin tiene todos los indicios
de ser correcta, aunque tendr que pasar algn tiempo para
que se pueda tener plena seguridad de que as es.
Para ms informacin sobre este tema se puede acudir,
por ejemplo, a la propia pgina de Thomas Hales, y a las
exposiciones claras y sencillas, no tcnicas, de Keith Devlin o de Ivars Peterson.
El mtodo que Hales ha seguido en la construccin de
su resultado ha estado abierto a la inspeccin de muchas
personas durante el proceso de su elaboracin, por una
parte a travs de conferencias en las que el propio Hales
expona las fases de su trabajo y por otra proponiendo pblicamente sus resultados parciales en la red a fin de recibir las reacciones de todos los matemticos interesados en
el tema y enriqueciendo as sus ideas. Esta forma de trabajo posiblemente constituye un prenuncio de lo que en
el futuro ser cada vez ms frecuente. En aos recientes ha
habido inmensos equipos trabajando conjuntamente a
travs de Internet para resolver retos especficos muy curiosos, como por ejemplo la factorizacin del nmero conocido como RSA129 y la consiguiente descriptacin del
mensaje propuesto en 1977 por Rivest, Shamir y Adleman, los creadores de uno de los sistemas de encriptacin
ms usado actualmente, el sistema RSA, del que despus
se expondrn algunas ideas.
247
MIGUEL DE GUZMN
Como el mismo Andrew Wiles afirmaba en la presentacin de los premios ofrecidos por el Instituto Clay, est
Todo cero no trivial de la funcin t, de Riemann tiene claro que para la eleccin de un problema tras el que hay
una oferta de premio es necesario restringirse a campos
parte real igual a 1/2.
de la matemtica en los que se puedan identificar problemas muy bien definidos, de manera que se pueda deLa conjetura de Poincar
cidir con claridad que un trabajo presentado lo resuelve o
Toda variedad tridimensional simplemente conexa es no. Se equivocara quien pensara que la actividad matemtica actual est ms o menos concentrada alrededor de
homeomorfa a la superficie esfrica tridimensional.
los problemas del milenio.
Existen muchas zonas difusas de la matemtica actual de
La conjetura de Hodge
extraordinario inters en las que la eleccin de problemas
Toda clase de Hodge de una variedad algebraica pro- semejantes a los anteriores es por el momento muy difyectiva compleja es una combinacin lineal de clases de ci- cil, por no decir imposible. Por otra parte, est claro que
existen cuestiones que ataen de modo mucho ms proclos algebraicos.
fundo a la evolucin de la matemtica y de las que ni siquiera se pueden extraer problemas concretos. Por eso la
La conjetura de Birch y Swinnerton-Dyer
publicacin de una obra como la promovida por la Unin
Para cada curva elptica sobre los racionales el rango del Matemtica Internacional ya citada antes, Mathematics:
grupo de puntos racionales sobre la curva est determinado Frontiers and Perspectives, puede proporcionar una visin
por el comportamiento de la funcin t, asociada a la cur- sobre el previsible futuro del desarrollo de la matemtica
va en 1 de modo que, si t,(\) es 0 hay infinitos puntos ra- mucho ms rica. Efectivamente, en diversos artculos de
cionales sobre la curva, y si es distinto de cero hay un n- esta obra, como en los de Gowers, Mumford, Smale..., tienen cabida tales consideraciones de fondo.
mero finito de tales puntos.
Al tratar de identificar algunas de estas zonas difusas en
las que la actividad matemtica previsiblemente se ha de
Las ecuaciones de Navier-Stokes
desarrollar de una forma especial en el futuro ms o meDemostrar si se da o no la existencia y suavidad de solu- nos cercano, me gustara sealar la llamativa coincidencia
ciones de las ecuaciones tridimensionales de Navier-Stokes de algunos de los matemticos ms importantes en apuntar hacia tres puntos particulares que probablemente
bajo condiciones de contorno e iniciales razonables.
tendrn un desarrollo entrelazado: la interaccin de la
matemtica con las ciencias de la vida, el esfuerzo por
La teora de Yang-Mills
matematizar la comprensin de las funciones ms proDemostrar la existencia de campos cunticos de Yang- fundas de la mente humana y el desarrollo de nuevas forMills y que tienen un hueco de masa (gap mass theory). mas de computacin.
Con respecto al primer punto, interaccin con las cienPara una informacin ms detallada sobre los problemas cias de la vida, se puede afirmar que existe una gran canse puede consultar la pgina del Instituto Clay, donde tidad de problemas que parecen requerir nuevas formas de
cada problema aparece descrito por uno de los grandes matematizacin distintas de las que hasta ahora se estn
especialistas en el campo correspondiente.
usando, fundamentalmente basadas en el anlisis probaPara ms detalles sobre las circunstancias que han ro- bilstico y estadstico de corte tradicional. Tales procedideado la convocatoria de los premios del Instituto Clay mientos parecen funcionar correctamente en circunstancias
es interesante tambin el artculo de Allyn Jackson en en las que hay una notable ausencia de estructura, pero ste
las Notices ofthe American Mathematical Society (sep- no es exactamente el caso de los datos que provienen de
tiembre, 2000).
las observaciones acerca de los problemas relacionados
En relacin con esta oferta de premios lanzada por el Ins- con estructuras vitales. Parece que sera necesario desatituto Clay es interesante sealar que en este ao 2000, Ao rrollar nuevas ideas matemticas a fin de afrontar situaMundial de las Matemticas, ha habido tambin una con- ciones en las que hay una estructura peculiar, como en
vocatoria muy particular de un premio de un milln de los organismos vivos, que no se puede enmarcar adecuadlares para quien resuelva la conjetura de Goldbach an- damente con los mtodos matemticos tradicionales.
tes de marzo de 2002. La oferta proviene de la editorial
Observaciones muy interesantes sobre este punto se
Bloomsbury Publishing, en Estados Unidos, y Faber and pueden ver en el artculo de M. Gromov, PossibleTrends
Faber Limited, en el Reino Unido, que ha publicado una in the Corning Decades, publicado en 1998 en el Repon
famosa novela de Apostlos Doxiadis, El to Petros y la ofthe Snior Assessment Panel ofthe International Assessconjetura de Goldbach. La conjetura de Goldbach, eje de ment ofthe U. S. Mathematical Sciences.
la novela, afirma que todo nmero par mayor que 2 es
Y en esta direccin parecen muy acertadas las observasuma de dos nmeros primos.
ciones en el artculo de D. Mumford, The Dawning of
La conjetura de Riemann
248
PROBLEMAS DE F O N D O RELACIONADOS
C O N LA COMUNIDAD MATEMTICA
Para concluir quisiera mencionar algunos aspectos importantes de la actividad matemtica actual que estn ms
relacionados con el tejido social y cultural de la comunidad matemtica que con los problemas tcnicos concretos de su actividad a los que nos hemos estado refiriendo
hasta ahora. Es interesante observar que en la enumeracin
de los aspectos importantes de la matemtica hoy da son
muchos los matemticos que se hacen eco de algunos que
no parecen funcionar bien en la actualidad. En la seccin
final de su artculo sobre las matemticas ante el cambio
del milenio, Phillip Griffiths dedica amplio espacio a
proponer acciones importantes y novedosas en relacin
con las interacciones de la comunidad matemtica con la
sociedad, la educacin y la comunicacin, a fin de preservar el vigor de la matemtica en el futuro. Mikhail Gromov, en su breve artculo antes citado sobre las tendencias
de la matemtica en las prximas dcadas, dedica tambin su atencin a estos mismos aspectos. Yo quisiera, para
finalizar estas consideraciones, mencionar otro punto de
249
MIGUEL DE GUZMN
250