MATEMTICAS, CIENCIA Y TECNOLOGA

MATEMTICAS, CIENCIA Y TECNOLOGA: UNA RELACIN PROFUNDA Y DURADERA

Por Juan Luis Vzquez Departamento de Matemticas. Universidad Autnoma de Madrid

1. ESENCIA Y PAPEL DE LAS MATEMTICAS

La Matemtica es una disciplina intelectual autnoma, uno de los exponentes ms claros del poder creativo de la mente humana. Por otra parte, juega un papel fundamental en la Ciencia moderna, tiene una marcada influencia sobre ella y a su vez se ve influenciada por la ciencia de una manera esencial. Estas son, brevemente presentadas, las dos concepciones que simbolizan las maneras diferentes de ver el gran edificio que es la Matemtica actual. Estas opciones se reflejan en las populares denominaciones de Matemtica Pura y Aplicada. Pero entonces, es que existen dos matemticas diferentes? y, si esto es verdad, pueden coexistir pacficamente e interactuar recprocamente, o es que viven de hecho separadas e incluso hostiles una a la otra? En el presente artculo intentaremos mostrar que, hoy como ayer, ambas visiones de la matemtica son las caras de una misma moneda, que nos parecen a veces tan diferentes, a veces tan semejantes.

Un arte puro
Una primera dimensin de las matemticas es en efecto el aspecto puro, la matemtica como un arte por derecho propio, un juego que se juega en nuestras mentes. La Matemtica es un arte que expresa la belleza en forma de axiomas, teoremas y relaciones lgicas o numricas y atrae al investigador precisamente por su perfeccin lgica, siendo uno de los ejemplos ms claros y convincentes de la capacidad humana para el razonamiento y el anlisis. Ella impone orden y armona donde solo veamos desorden y caos. sta es la dimensin ms prxima al investigador y, como toda forma pura de arte, tiene una fascinacin que explica porque los profesionales consagramos una parte enorme y bastante exclusiva de nuestras vidas a ella. Resulta natural que los matemticos profesionales tiendan a ver su ciencia desde este punto de vista del arte en s mismo, con sus conceptos, conjeturas, resultados y mtodos de prueba, con sus reas venerables: la aritmtica, el lgebra, la geometra y el anlisis, y los nuevos retoos: la estadstica, el clculo de probabilidades, la lgica matemtica, la computacin,... Y estimen sobre todo sus perfectas deducciones lgicas. Grandes sabios han profundizado en esta direccin: Pitgoras ve en los nmeros la clave de la realidad y Platn ve en el mundo de las ideas un mundo de orden ms perfecto que el mundo fsico cotidiano. De hecho, pocos matemticos profesionales han sido totalmente ajenos al sentimiento de que la verdadera Matemtica habita ms all, en un mundo ideal, esperando a ser descubierta por el artista. En sus fabulosos 13 libros de Los Elementos, Euclides de Alejandra (325-265 A.C.) estableci a la vez la teora y las reglas de un juego que sigue sus pautas hoy como hace 22
1

MATEMTICAS, CIENCIA Y TECNOLOGA

siglos. Pocos artistas a lo largo de la Historia podrn decir lo mismo sobre la repercusin y perennidad de su obra: las demostraciones de Euclides son aun hoy da \las demostraciones" en los temas por l tratados. Tal es su influencia intelectual que en el siglo XX, los matemticos asociados bajo el nombre de guerra de Nicols Bourbaki osaron repetir la histrica gesta con unos actuales Elementos de Mathmatique. La matemtica es pues un arte autnomo que halla la verdad dentro de s misma. Recordemos a Carl G. J. Jacobi que sostuvo que la matemtica solo existe \para honor del espritu humano". Claro que de ah tambin se deriva una cierta concepcin popular, con su halo romntico pero hoy da un tanto descaminada, que ve al matemtico como un sabio irremediablemente distrado, con poca o ninguna mente practica.

Otra visin, otro papel

Refleja lo anterior el cuadro completo de la Matemtica? En absoluto, la Matemtica es eso y mucho ms, hay un modo totalmente distinto de verla y de hacerla que queremos presentar. Junto con el mtodo experimental, las matemticas son la base sobre la que se asienta la Ciencia moderna y, como consecuencia, en ellas se apoya el desarrollo tecnolgico de nuestras sociedades. Penetra hoy todos los aspectos de la sociedad contempornea desde la ingeniera a la informacin, el mundo de la empresa, la salud, la administracin y las finanzas, sin olvidar el movimiento de las disciplinas sociales hacia el estatus de ciencias, que significa en otros trminos y con los matices apropiados, el uso combinado en estas disciplinas de los mtodos matemticos y experimentales. La importancia prctica de las matemticas en las ciencias es indiscutible, y no est de hecho en discusin pues la mayora aplastante de los cientficos es bien consciente del valor instrumental de unas buenas dosis de matemticas en la ciencia. As, una parte cuantitativamente importante de las matemticas que son enseadas en las universidades de todo el mundo se consagra a la educacin de ingenieros, fsicos, qumicos, bilogos, informticos, economistas y profesionales de otras varias disciplinas. Sin embargo, creemos que tal aprecio no hace justicia al papel que las matemticas juegan en la sociedad. Sostenemos que el papel de la Matemtica que es aplicada en diversos contextos sociales va ms all de esta descripcin, es ms esencial. De hecho: I. Las matemticas han jugado un papel fundamental en la formulacin de la ciencia moderna desde sus comienzos; una teora cientfica es una teora que dispone de un modelo matemtico adecuado; II. Las matemticas que se pueden aplicar hoy da abarcan todos los campos de la ciencia matemtica y no solo ciertos temas especiales; se trata de matemticas de todos los niveles de dificultad y no solo de resultados y argumentos sencillos; III. Las ciencias exigen hoy como ayer nuevos resultados de la investigacin y plantean nuevas direcciones de estudio a los investigadores. Pero el ritmo de la sociedad contempornea hace los plazos sustancialmente ms cortos y la exigencia ms urgente; IV. Las capacidades del clculo cientfico han hecho de la simulacin numrica una herramienta indispensable en la comprensin, diseo y control de los procesos industriales. V. Cuando se habla de la utilidad de las matemticas para las ciencias se incluye implcitamente en este nombre la tcnica y la ingeniera. Pero hoy da los contornos son mucho ms amplios y difusos; este es un aspecto de gran importancia en el presente y el futuro de las matemticas. En este artculo trataremos de este aspecto en que la Matemtica es el idioma en que estn escritas las pginas de la ciencia; gracias a ella ha habido un desarrollo del combinado ciencia-tecnologa que ha cambiado la vida del ciudadano de las sociedades tecnolgicamente avanzadas en los ltimos cuatro siglos de una manera ms radical que la Revolucin Neoltica haba hecho en los noventa siglos precedentes, y el cambio ha sido ms dramtico en las ltimas dcadas que en siglos enteros anteriores. Es un hecho bien conocido por los expertos que la prctica diaria de las ciencias fsicas y la ingeniera utiliza cantidades enormes de matemtica del ms alto nivel. Es ms, los mismos conceptos con que se formulan sus teoras son esencialmente los conceptos matemticos. En las ltimas dcadas hemos presenciado como la tendencia hacia la matematizacin alcanza a otras disciplinas, como la Economa, particularmente el mercado financiero, ramas de la Qumica, la Biologa y la Medicina, e incluso las ciencias sociales. Es un hecho comprobado que la maquinaria matemtica, sea imponente o no lo sea, se oculta muy a menudo cuidadosamente al pblico en los manuales o en los escritos de divulgacin, como si no existiese, pues se supone que no ser bien vista por el lector (o que este no la comprendera). Pero los nuevos tiempos traen cambios saludables: gracias a la simpata del pblico por las proezas del clculo y la informtica, las matemticas subyacentes van saliendo a la luz.

MATEMTICAS, CIENCIA Y TECNOLOGA

Repercusin de la Matemtica
En manos del cientfico, la Matemtica debe permitir asimilar los datos y entender los fenmenos. En manos del ingeniero, es la herramienta que hace posible construir un modelo numrico o cualitativo cuyo anlisis permitir tomar decisiones, disear artefactos y controlar procesos de manera eficaz y fiable. Esta actividad es lo que, a falta de un nombre mejor, llamamos Matemtica aplicada. Cubre las reas clsicas como la Fsica Matemtica y los Mtodos Matemticos para la Ingeniera, pero tiene hoy da contornos ms amplios con el advenimiento del clculo cientfico y la simulacin numrica. La modelizacin, la simulacin computacional y el anlisis de datos son herramientas esenciales en la ciencia y la industria modernas. La Matemtica aplicada es simplemente la Matemtica de la realidad, es decir, del mundo real, sea lo que sea lo que esta frase significa para cada lector individual. Sealemos que hay aun otras visiones complementarias de las matemticas: su aspecto cultural, su importancia en la enseanza como vehculo del pensamiento racional, su importancia para comprender el mundo diario (las \matemticas para el hombre de la calle"), su aspecto de juego intelectual (el reto de resolver un problema). La Matemtica es al mismo tiempo la ciencia de lo exacto y el clculo de lo probable. Es la ciencia del razonamiento abstracto y simblico. Es, tambin, hoy da, sinnimo de virtuosismo computacional, de capacidad y efectividad de procesar informacin, tan importante para el mundo que se gesta. Es el mundo del cientfico que trabaja con un trozo de papel y hoy, tambin, el mundo de la modelizacin, el clculo y el control de procesos industriales. Todo ello forma tambin parte del mltiple legado de las matemticas. A continuacin dirigimos nuestra atencin hacia el pasado y presente de la Matemtica Aplicada. El lector puede encontrar conveniente saltar en una primera lectura la informacin contenida en las notas a pie de pgina. Adems, varias formulas famosas y ecuaciones importantes aparecern aqu y all en las pginas. ! El propsito no es en absoluto que sean estudiadas como parte del texto es, ms bien, recordar al lector iniciado su belleza y relevancia, y al mismo tiempo, dejar claro que no existe ningn camino real (es decir, regio) de acceso a la Matemtica: la divulgacin tiene sus lmites y una comprensin real de los temas aqu perfilados implica un estudio serio. En el captulo final volveremos a tratar de las opiniones que se debaten y los hechos que sustentan tales opiniones.

2. HEREDEROS DE GALILEO Y NEWTON

Dos grandes figuras histricas fijaron el futuro papel estelar de las matemticas en los momentos en que naca la Ciencia moderna. Galileo lo formul, Newton lo demostr. No les faltaron precursores. Habra que recordar que en la Historia Antigua, Pitgoras de Samos (569A.C.475A.C.) sostuvo que todo es nmero y encontr la maravillosa conexin entre la Msica y la Aritmtica, mientras Arqumedes de Siracusa uni Geometra y Mecnica en el siglo III a.C. (m. 212 a.C.). Y un siglo antes de Galileo, el genio universal de Leonardo da Vinci intuy el papel central de la Matemtica en la Ciencia. Una plyade de grandes matemticos, los hroes de nuestro relato, los siguieron. Se puede decir con Newton que los matemticos que se ocupan de la aplicacin de su arte otean el futuro desde los hombros de gigantes. Procedamos por partes: es verdad que desde la ms remota antigedad, las matemticas han estado relacionadas, incluso motivadas, por problemas prcticos. La Aritmtica se origina con las actividades de contar y sumar, la Geometra proviene de medir lneas, superficies y cuerpos. Pero tambin es verdad que la Matemtica, como ciencia lgicodeductiva, tal como fue elaborada y nos fue legada por los griegos, de Pitgoras a Euclides, tuvo una base netamente intelectual, digamos ideal, que siempre ha conservado desde entonces y que es parte fundamental de la matemtica pura, es decir, de las matemticas en s mismas. Este proceso intelectual vive en su propio mundo y no debe nada de su merito o belleza a la posible utilidad o aplicacin prctica, no ms que un poema, una sinfona o un cuadro. Un silogismo fcil y demasiado frecuente nos llevara de aqu a concluir que la autentica matemtica vive esencialmente ajena a la aventura de la ciencia y la tecnologa. Este silogismo es falso por mucho que haya sido sostenido por no pocos matemticos, y nos proponemos demostrarlo usando la obra y las opiniones de las grandes guras.

MATEMTICAS, CIENCIA Y TECNOLOGA

Pues la historia nos muestra que la simbiosis con la ciencia y la tecnologa ha sido fundamental y fructfera y que las matemticas deben mucho de su ser actual y de sus temas estrella a sus compaeras de aventura. Y viceversa.

Los dos pilares

Como es bien sabido, la Ciencia moderna surgi en Europa al final del periodo del Renacimiento. No se basa solo en las matemticas. El pilar fundamental del edificio en germen fue formulado por el filsofo y poltico ingls Francis Bacon hacia 1620 y consiste en el mtodo experimental. El objeto preferente de la filosofa se orienta hacia la Naturaleza, que debemos leer y comprender, y eventualmente controlar; la observacin es el medio para la comprensin y el experimento es el test de nuestras predicciones. Las ciencias se formaron alrededor de este mtodo, primero la fsica, luego las dems: biologa, geologa y qumica. Las matemticas son desde el principio el otro pilar de las ciencias. Fue Galileo Galilei (1564-1642) quien ms claramente sealo a principios del siglo XVII ese rumbo para las nacientes ciencias. Suya es la famosa cita tomada de su carta "Il saggiatore" que reproducimos aqu en detalle: La filosofa est escrita en ese gran libro que constantemente est abierto ante nuestros ojos, el Universo, pero no puede entenderse a menos que se aprenda primero a comprender el idioma en que est escrito, a entender sus caracteres. Est escrito en el lenguaje matemtico, y sus caracteres son tringulos, crculos y otras guras geomtricas...". Galileo era un claro defensor del mtodo experimental, al que contribuyo con sus famosas observaciones astronmicas y mecnicas. Como hemos dicho, la actitud de Galileo tena precedentes, siendo los ms notables los de Pitgoras y Arqumedes en la Antigedad y el de Leonardo da Vinci (1452-1519)10 un siglo antes, pero la formulacin de Galileo fue decidida y su propuesta fue puesta en prctica, pues sucedi en el contexto histrico adecuado; corroy las bases del aristotelismo y la escolstica dominantes hasta entonces en el mundo intelectual. Dio fruto en breve tiempo y los cientficos nos vemos reflejados en el. De hecho, las filosofas son poca cosa si se quedan en palabras y polmicas, si no son llevadas a trmino. La gloria del siglo XVII reside en una serie de grandes filsofos-cientficos (llamados en aquel entonces filsofos naturales), quienes, sin olvidarse de la metafsica, se lanzaron decididamente en pos del conocimiento de la Naturaleza y de la invencin matemtica: Ren Descartes estudio los principios del arte de razonar, as como la mecnica y el universo; lig la geometra al algebra y escribi El Discurso del Mtodo; Blaise Pascal escribi sus filosficas cas Penses pero tambin investig los principios de los fluidos (como la presin), la geometra, el clculo y las probabilidades. Y anlogamente hicieron Pierre de Fermat, Edmond Halley, Christiaan Huygens y Gottfried W. Leibniz, un matemtico, lgico y filsofo del mayor renombre. Estamos ya listos para conocer a uno de los caracteres y de los momentos ms cruciales en la historia de la ciencia. En efecto, el siglo alcanza su culminacin con la figura de Isaac Newton (1642-1727), quien demuestra el xito indiscutible de la propuesta de Galileo aplicada a la mecnica. Ataca los problemas bsicos debatidos durante el siglo y I. Concluye que el movimiento de cuerpos slidos sigue una ley matemtica simple que relaciona la segunda derivada del espacio (respecto al tiempo) con una entidad invisible pero real, la fuerza. En trminos matemticos, F=ma; II. Al aplicar esta teora a los cuerpos celestes, concluye que se mueven en sus rbitas de acuerdo con la ley de atraccin universal. En frmulas, F = Gmm 0=r. Para estudiar matemticamente los movimientos resultantes de estas leyes, descubre lo que nosotros llamamos Clculo Infinitesimal y resuelve las ecuaciones diferenciales. Es ms, la formulacin misma de sus leyes no es posible sin los nuevos conceptos tomados del Clculo Diferencial e Integral, que lleva los nombres de Newton y Leibniz, y que fue inventado combinando las intuiciones de la mecnica y de la geometra. En 1687, en que se publica su trabajo monumental, los Principia, la mecnica queda slidamente fundamentada sobre las mismas bases que tiene hoy da. La matemtica no es solo una herramienta indispensable, en realidad es el idioma en que se concibe y expresa la Ciencia, esta es la razn del ttulo del libro. Desde ese momento, la descripcin de la dinmica y la evolucin de los sistemas mecnicos es una parte esencial de las
4

MATEMTICAS, CIENCIA Y TECNOLOGA

matemticas. Sigue un periodo de enorme desarrollo, durante el cual, la matemtica intenta cumplir este nuevo papel fundamental. Newton es considerado generalmente el cientfico ms influyente en la historia de la humanidad. Permtasenos aportar algunos datos adicionales para entender bien la grandeza de su legado. Podemos anotar a su crdito los fundamentos de la mecnica y la astronoma, del clculo diferencial e integral y las ecuaciones diferenciales; pero tambin estudio la naturaleza de la luz, puso los fundamentos a la ptica y contribuyo con notables adelantos tcnicos como el telescopio de refraccin. Adems de todo esto, estudio los fluidos que se llaman hoy da newtonianos, explic y calcul el funcionamiento de mareas por medio de la atraccin lunar, comput la velocidad del sonido (y tambin se interes por la teologa, la alquimia y la astrologa, rasgo bastante comn de esos tiempos que no debe extraarnos en un gran cientfico). Su prestigio entre sus contemporneos era enorme y los filsofos ms brillantes del siglo XVIII (Hume, Kant, Voltaire) estudiaron su trabajo y creyeron posible extender su fabuloso xito a todos los campos de la filosofa, tarea que ha resultado ser de una dificultad extrema. De hecho, todava estamos ocupados en ella. La inmensidad de la tarea de entender la Naturaleza no escap a una persona tan penetrante como Newton, con todo su xito. Una de sus opiniones ms famosas dice como sigue: I do not know what I will look like to others; to myself, I seem to have been only like a boy playing on the seashore, and diverting myself in now and then finding a smoother pebble or a prettier shell than ordinary, whilst the great ocean of truth lay all undiscovered before me".

3. EL SIGLO DE LA RAZN Y DE LAS LUCES

Durante los tres siglos siguientes, una parte de ese ocano se ha visto colmado de verdad, ciencia y matemticas. La ciencia y la tecnologa, bases de la Revolucin Industrial, han progresado con las teoras, razonamientos y experimentos. Como consecuencia, la sociedad del siglo XX ha cambiado ms radicalmente con respecto al siglo XVII que todo lo que haba pasado en varios miles de aos antes, desde el inicio de las grandes civilizaciones agrcolas. El confort de la casa, el transporte, y las comunicaciones, la salud del ciudadano actual, descansan sobre bases tcnicas completamente desconocidas para las personas del Siglo XVII. Quienes prefieran contemplar el panorama de las matemticas actuales, al final del largo camino, son invitados a saltar las prximas 3 secciones y proceder con las matemticas del siglo XX. Ms an, quienes quieran slo asomarse al futuro haran bien en avanzar hasta la seccin 7. Para quienes se interesan por qu pas entre tanto, el relato contina en el comienzo del siglo XVIII. Empezando con el ya citado Leibniz, gran filsofo y rival de Newton en la famosa y un poco triste disputa del clculo", una serie de brillantes matemticos (diramos mejor fsico-matemticos), como la familia Bernoulli, Euler, D'Alembert,... aprovecharon el potencial del nuevo clculo y formularon matemticamente todo tipo de problemas mecnicos: problemas de disparo, problemas sobre la cada de los cuerpos, sobre el movimiento de los fluidos, de vibraciones mecnicas, de minimizacin,... Los mtodos infinitesimales son igualmente poderosos en su aplicacin a la geometra, una disciplina que vive en simbiosis ntima con la mecnica. Los sabios estudian el Clculo de Variaciones, un nombre para el clculo de valores mnimos de los llamados \funcionales" que florecera en el siglo XX como un captulo ni siquiera previsto. Jean Le Rond D'Alembert estudi la vibracin de las cuerdas y escribi la ecuacin de ondas que lo llev a descomponer una funcin en suma de ondas elementales, tarea tambin emprendida por Leonhard Euler (1707-1783), quien realiz la descomposicin en suma posiblemente infinita de funciones sinusoidales. Euler es quizs el matemtico ms prolfico de la historia, hizo contribuciones fundamentales a la Geometra, el Anlisis y la Teora de Nmeros, pero tambin a diferentes ramas de la Mecnica, la Elasticidad, la Hidrodinmica, la Acstica, y hasta la Msica. Su latn no es difcil y sus libros de texto pueden leerse hoy con provecho y placer (<preferentemente traducidos). Vivi una gran parte de su vida en San Petesburgo, por lo que se le atribuye la fundacin de la matemtica rusa, junto con Daniel Bernoulli. El problema de las sumas infinitas preocupara a los matemticos en el futuro prximo pero no en estos momentos de descubrimiento y euforia, y menos an a L. Euler cuya intuicin parece no tener lmites.

MATEMTICAS, CIENCIA Y TECNOLOGA

Algunas de las glorias y penas de la matemtica como idioma de la mecnica pueden observarse en el estudio de los fluidos. Una teora sistemtica escap incluso al genio de Newton. De hecho, el aspecto ms difcil de esta teora consiste precisamente en encontrar las hiptesis matemticas justas que permitan construir un modelo matemtico, es decir, matematizarla tal como realmente es. Hacia el ao 1738, Johann y Daniel Bernoulli establecen la ciencia terica de la Hidrodinmica sobre la base idealizada de los llamados fluidos perfectos. El estudio fue continuado por Euler que escribe las famosas ecuaciones (1755) (en la notacin actual) cuya resolucin analtica general ha resistido al paso del tiempo. Es ms, D' Alembert puso en evidencia las limitaciones de la idealizacin implcita en el concepto de fluido perfecto mostrando que un obstculo slido sometido a un "viento" perfecto no sufrira ningn arrastre neto y ninguna sustentacin neta. Esta dificultad nos devuelve al problema filosfico original, el papel de las matemticas. De hecho, la dificultad se origina porque la mecnica terica no trata de la Naturaleza, que escapa en su ms pura esencia a nuestra curiosidad, sino que trata ms bien del modelo matemtico que nosotros nos podemos formar de ella. La concordancia experimental nos permite confirmar que una teora es buena como modelo del mundo fsico, pero nunca que es un modelo perfecto. La modelizacin matemtica es un aspecto fundamental de la matemtica actual y clave de su posible utilidad. A pesar del fracaso relativo con los fluidos, cuando termina el Siglo de las Luces una sensacin de optimismo invade las mentes de los mejores matemticos - mecnicos, como son Joseph Louis Lagrange, autor de la Mecanique analytique, y Pierre Simon Laplace. El ltimo publica su monumental libro Mecanique celeste (1788). Es tambin autor de la Theorie Analytique des Probabilites (1812), una de las ms importantes referencias en el desarrollo de la teora de las probabilidades. La ecuacin de Laplace, , es una de las ms famosas de la Fsica. Basndose en sus estudios mecnicos pens que el universo funciona como un reloj (determinismo) y declar que los problemas matemticos ms importantes estaban ya propuestos y resueltos, o a punto de ser resueltos en un corto tiempo. Afortunadamente, la Historia demostrara que el gran hombre erraba en este tema. No recuerda esto algunos recientes y acalorados debates sobre el fin de la Fsica o de la Historia?

4. EL SIGLO XIX, EL GRAN SIGLO DE LA CIENCIA

La contribucin del siglo XIX a la Matemtica, tanto pura como aplicada, es sorprendente por su novedad, por lo inesperado de su evolucin y por su riqueza y amplitud de temas. Empecemos por las matemticas que vinieron de la fsica. La electricidad y el magnetismo De Michael Faraday a J.C. Maxwell, experimentos y leyes parciales cubren un camino que cuenta con los nombres de Gauss, Ampere, Oersted, Biot, Savart, Lenz,... hasta llegar al (impresionante) sistema de ecuaciones diferenciales en James C. Maxwell derivadas parciales que relaciona los campos elctricos y magnticos (1863), obra cumbre de James Clerk Maxwell. Las ecuaciones de Maxwell (que no detallaremos en este momento por su complejidad, aunque sin duda merecen lugar de honor en este texto) son uno de los logros mayores de la Matemtica en el siglo XIX. Gracias a James Maxwell, una nueva rama de la ciencia, cuya existencia era insospechada un siglo antes, alcanz el nivel de perfeccin matemtica que Newton haba otorgado a la mecnica. La teora electromagntica tendr profundas repercusiones no slo sobre las ecuaciones diferenciales y el anlisis funcional, sino adems sobre la naciente topologa (a travs de conceptos como la homologa). Elaborando las ecuaciones de Maxwell se llega a la ecuacin de ondas, que es la herramienta que nos permite describir la propagacin de los
6

MATEMTICAS, CIENCIA Y TECNOLOGA

fenmenos electromagnticos en forma de ondas, caracterizadas por tres parmetros: primero, la amplitud A; segundo, la velocidad, c, que depende del medio (y es por consiguiente constante en el vaco); tercero, la frecuencia de oscilacin w, que es una cantidad que vara con el tipo de onda. En breve, y para una dimensin espacial, la ecuacin y su solucin se escriben donde u es la intensidad de la oscilacin, k=w/c se llama nmero de onda y es una constante, la fase, de la que no debemos preocuparnos por ahora, y los subndices indican derivadas parciales. Pero veamos, es tan necesaria esta frmula para proceder? La respuesta es que s, pues poco despus, y como reflejo de la generalidad del parmetro en el modelo matemtico, Heinrich R. Hertz predice y descubre las ondas electromagnticas fuera del rango visible (las ondas de radio, 1888), y Guglielmo Marconi descubre la telegrafa sin hilos, es decir, la radio (1895), introducindonos as al mundo de las comunicaciones que son el alma del siglo XX. Y otra gran sorpresa: aparece una incompatibilidad con la mecnica de Newton sobre la que hablaremos en un momento. Quede dicho esto sobre las consecuencias de la formulacin matemtica en la evolucin de la ciencia. Los fluidos reales de Claude Louis Navier a George Gabriel Stokes, 1821 a 1856 y despus. Las ecuaciones de Navier-Stokes describen los fluidos reales y gobiernan el comportamiento de los fenmenos atmosfricos (el clima, la Meteorologa, la Hidrologa, la futura Aeronutica). La formulacin correcta de las ecuaciones que describen el movimiento de los fluidos reales tard por consiguiente unos 180 aos tras los esfuerzos de Newton, las matemticas profundas no se hacen en dos das. Una serie de brillantes matemticos figuran entre los modelizadores, como S. Poisson y J. C. Saint Venant, as como el mdico J. L. M. Poiseuille, que investig el flujo sanguneo. Lord Kelvin y H. Helmholtz ponen las bases para el estudio matemtico de la vorticidad y los torbellinos. La comprensin matemtica de los fluidos turbulentos, ya mencionados por Leonardo, es todava un problema abierto. Para no alargar excesivamente nuestro texto mencionaremos slo dos teoras fsicas ms de gran importancia y repercusin matemtica: La Termodinmica, que estudia los intercambios de calor, adquiere una fundamentacin matemtica slida con James Joule, Saadi Carnot, J. R. Mayer,... Tiene una profunda repercusin sobre el clculo en derivadas parciales y el concepto de diferencial exacta. Esta teora incluye la famosa Segunda Ley de la Termodinmica (la ley del crecimiento de la entropa en el Universo), una ley fundamental en la ciencia. Mientras que su declaracin matemtica es simple, su interpretacin prcticatiene implicaciones profundas que ocupan a generacin tras generacin de estudiosos. Por ltimo, mencionemos la Mecnica Estadstica, asociada a los nombres de Maxwell, L. Boltzmann y W. J. Gibbs, que tallaron toda una rama de la Fsica Matemtica basada en el Clculo de Probabilidades, rama de las matemticas que haba permanecido un tanto al margen de esta aventura cientfica. Esta idealizacin matemtica del azar haba sido elaborada en el fabuloso siglo XVII (ca. 1650) por B. Pascal, P. Fermat y C. Huygens para comprender los juegos de azar, y avanzada luego por Buffon, Bernoulli, De Moivre y Laplace entre otros. De repente, el concepto de probabilidad cobra vida para la ciencia fsica a la hora de modelar el comportamiento de cantidades enormes de partculas. Veamos por qu: las partculas estn sujetas evidentemente a las leyes de la mecnica de Newton. Pero, dado que hoy se sabe que el nmero de molculas de un gas por litro alcanza la fantstica cifra de 2, 69 x10 en condiciones normales (0 C de temperatura y 1 atm. De presin), es del todo imposible seguir sus trayectorias individuales. La mecnica estadstica propone un comportamiento medio con efectividad sorprendente: de ella es inmediato predecir la relacin de la temperatura con la energa y la presin para un gas perfecto, y la prediccin ideal resulta ajustada a los datos experimentales! La distribucin de Maxwell-Boltzmann, , T es un objeto matemtico que tiene en mecnica estadstica un papel tan importante como la distribucin gaussiana en la ciencia estadstica usual. Cambiemos de escena para retratar a otro de nuestros hroes, una vida ejemplar". Bernhard Riemann (1826- 1866) es una de esas figuras sorprendentes cuya obra contiene lo mejor de la matemtica pura y aplicada. El gran matemtico alemn, muerto
7

MATEMTICAS, CIENCIA Y TECNOLOGA

joven, es bien conocido como un gigante de la matemtica ms pura. Nos leg la hiptesis sobre los ceros de la funcin zeta"(Hiptesis de Riemann) cuya demostracin es quiz el problema abierto de las matemticas ms famoso al entrar el siglo XXI, tras la reciente resolucin de la conjetura de Fermat. La hiptesis de Riemann afirma que las soluciones (o ceros) interesantes de la ecuacin (s) = 0, estn situadas sobre una misma lnea recta en el plano complejo, precisamente la de ecuacin Re(s) = 1=2. Esto se ha verificado para las primeras 1.500.000.000 soluciones. Una prueba de que el aserto es verdad para toda solucin aclarara muchos misterios, desde la distribucin de nmeros primos a cuestiones de fsica terica. Riemann fue un investigador de mente geomtrica que lig la suerte del anlisis complejo a las transformaciones conformes y pens en los espacios generales de varias dimensiones definidos a partir de su geometra local. Hoy da, llamamos a esas geometras riemannianas y son la base a partir de la cual se construye la fsica terica. Pues bien, el mismo Riemann estudi la propagacin de gases compresibles y lleg a la conclusin de que el modelo matemtico, entendido en el sentido de las soluciones clsicas, era contradictorio (porque prevea lneas caractersticas que se cortan, y sobre las cuales, las variables fsicas - densidad, presin y velocidad - tomarn valores distintos simultneamente). Sin embargo, aventur que la teora era correcta si se cambiaba radicalmente el punto de vista y se admitan como soluciones de una ecuacin diferencial funciones que no sean derivables, ni siquiera continuas. Ante tal atrevimiento, tan tpico de las mejores matemticas de los siglos XIX y XX, recordamos de nuevo a Newton: Riemann no se inventaba esa teora. La teora de las ondas de choque es hoy da un tema fundamental de la dinmica de gases y de su aplicacin a la aeronutica, y es por ello una de las reas ms activas de investigacin matemtica en ecuaciones en derivadas parciales y de la ingeniera.

La Evolucin Interna
Pero, incluso tras el elogio de Riemann, esta visin sera totalmente injusta si no tuviera en cuenta la evolucin interna de las matemticas, que haban llegado a un alto nivel de madurez tras 300 aos de intenso desarrollo. Solo comentaremos aqu muy brevemente este importante captulo, pues es ms conocido por el pblico matemtico. Varios son los temas estrella, tan inesperados como cargados de futuro: geometras no eucldeas de J. C. F. Gauss, Janos Bolyai y N. I. Lobachevski, fundamentacin del clculo infinitesimal de Augustin L. de Cauchy, la teora de funciones de Karl Weierstrass, la lgica matemtica de George Boole, la teora de conjuntos de Georg Cantor, por citar slo un nombre al lado de cada gran captulo. Existen campos de investigacin en que las matemticas toman claramente el relevo a la fsica en la tarea de extraer el jugo de un concepto. Esto sucede con el problema de representacin de una funcin como una suma de funciones simples, resuelto por Brook Taylor y Colin McLaurin para las sumas de potencias y planteado por Daniel Bernoulli (1753) y Leonardo Euler para las sumas trigonomtricas que aparecen en las ecuaciones de ondas y el calor. Es gracias a la insistencia de Joseph Fourier (1822) que los matemticos se adentran en la aventura de dar un sentido riguroso a las sumas infinitas de funciones trigonomtricas generales. Este es el origen de un rea mayor de la teora de funciones, conocida como Anlisis de Fourier. La tarea estaba cargada de grandes dificultades y tuvo grandes xitos. As, cuando Paul du Bois Raymond construy (1873) una funcin real continua y peridica cuya serie de Fourier no converge puntualmente, pareca que algo iba realmente mal en el anlisis matemtico de los fenmenos oscilatorios. Tras cuidadoso examen, tres opciones se planteaban al investigador: I. Modificar la nocin de funcin, II. Modificar la definicin de convergencia, III. Reemplazar la base de senos y cosenos por candidatos mejores. Es mrito notable de la comunidad matemtica que los tres caminos hayan sido explorados con xito asombroso. El teorema fundamental de sumacin de series de Fourier se debe a L. Carleson, 196637, y necesita tiles como la convergencia en casi todo punto, los espacios L y la maquinaria del anlisis del siglo XX.
8

MATEMTICAS, CIENCIA Y TECNOLOGA

El Contexto Social
Es interesante decir dos palabras sobre la evolucin social de la ciencia en el siglo XIX. Este es el siglo en que las revoluciones industrial, burguesa y democrtica se asientan en Europa trayendo consigo la extensin de los estudios cientficos e industriales tanto en universidades como en otros centros especializados, con lo que aumenta exponencialmente el cuerpo de profesores investigadores. Los avances son tan impresionantes que el final de siglo vuelve a encontrar a los matemticos en franco optimismo, si uno se fa de la historia escrita por el gemetra alemn Felix Klein. Otra caracterstica de este perodo es la profunda separacin que se manifiesta entre matemticos, fsicos e ingenieros, consecuencia del enorme crecimiento de sus campos de estudio. Tal separacin, a veces divorcio, tendra consecuencias profundas sobre la evolucin de las matemticas en el siglo XX, e incluso sobre el mismo concepto de matemtica.

5. UN CAMBIO DE SIGLO REVUELTO

En todo caso, el cambio de siglo es espectacular tanto en fsica como en matemticas. En estas aparecen en el firmamento figuras extraordinarias como Henri Poincar (1854-1912) y David Hilbert (1862-1943), que marcarn profundamente las matemticas del siglo XX. Pero una gran parte del brillo en retrospectiva se debe a que el cambio de siglo fue una poca de crisis, pues las evidencias de fenmenos fuera del gran esquema se acumulaban. El experimento de Michelson-Morley (1887) prueba que la velocidad de la luz es efectivamente constante (independientemente del sistema de referencia inercial), como predeca la teora ondulatoria basada en las ecuaciones de Maxwell. El modelo mecnico del mundo de Euclides-Newton tiene por primera vez una gran grieta. La observacin de las partculas suspendidas en los gases revela un movimiento altamente irregular, el movimiento browniano (Robert Brown, 1827). Este es un golpe para la geometra de Euclides basada en puntos, rectas y curvas regulares (al menos regulares a trozos). Las sorpresas de la teora de funciones llevan a la teora de conjuntos (Georg Cantor), que junto con la lgica (George Boole, Gottlob Frege, Giuseppe Peano) son la base de un intento de fundamentar las matemticas rigurosamente de una vez por todas. Las matemticas proponen a la ciencia los conceptos de teora coherente y completa. Surgen las escuelas y las disputas: logicismo (Alfred N. Whitehead y Bertrand Russell), intuicionismo (Luitzen Brouwer) y formalismo (David Hilbert). Las paradojas (de Russell, de Burali-Forti, de Richard) siembran un caos notable en los espritus menos fuertes. No existen tiles analticos ni computacionales para abordar las complejidades de las ecuaciones de los medios continuos, como los fluidos. En consecuencia, las matemticas prcticas de la ingeniera se sumen en una serie de aproximaciones y recetas que las divorcian de la teora. Pero, incluso, el tema clsico de la integracin general de las ecuaciones del movimiento para tres o ms cuerpos celestes se muestra imposible. A grandes males, grandes remedios: H. Poicar propone los mtodos cualitativos y abre las puertas a la geometra algebraica y la topologa (llamada entonces Analysis Situs, 1895). Pero al tiempo, descubre con sus mtodos tericos una tremenda complejidad escondida en el modelo matemtico (que son los sistemas dinmicos). Uno de estos monstruos son las rbitas homoclnicas que sembrarn de caos la mecnica celeste cuando Poicar sea bien comprendido (lo que llev bastantes dcadas). Para mejor medir la estatura de nuestro hroe valga la siguiente cita: en sus cursos en la Facultad de Ciencias de Pars desde 1881, y de la Sorbona desde 1886 Poicar cambiaba de tema cada ao, tocando la ptica, la electricidad, la astronoma, el equilibrio de los fluidos, la termodinmica, la luz y la probabilidad".
9

MATEMTICAS, CIENCIA Y TECNOLOGA

Agreguemos algunas notas ms optimistas. As, la teora de la integracin de funciones se ve coronada por los trabajos de E. Borel y H. Lebesgue. En adelante el clculo posee un concepto de integral (la integral de Lebesgue) donde el proceso de tomar lmite es natural, el anlisis funcional puede crecer (espacios de Hilbert) y el famoso problema de Dirichlet tiene solucin (en un sentido an visto como raro). El precio a pagar es la construccin de una teora matemtica sofisticada que los estudiantes de ciencias e ingeniera deben estudiar y absorber, o al menos han de aprender a convivir con ella. Descubrimientos importantes de naturaleza matemtica ocurren en otras ciencias y darn fruto en el prximo siglo. El Cientfico ruso Dmitri Mendeleyev encontr el orden en el caos de los elementos qumicos y propuso la Tabla Peridica en 1869, que es hoy da la base del tratamiento fsico-matemtico de la Qumica. Por otro lado, el monje, botnico y experimentador de las plantas austriaco, Gregor J. Mendel formul las leyes racionales de la herencia, poniendo as los fundamentos matemticos de la ciencia de la Gentica.

6. EL SIGLO XX, UN SIGLO DE MARAVILLAS

A estas alturas, esperamos haber comunicado al lector la impresin de la profunda simbiosis de la Matemtica con la Fsica, de sus sorprendentes y en muchos casos inesperadas interacciones. La historia de tal simbiosis incluye ya aplicaciones tecnolgicas avanzadas, preludio de lo que ser el nuevo siglo. La explosin de la Matemtica y la Ciencia en el siglo XX hace aconsejable reducir nuestro texto a algunos de los temas ms importantes. Un rasgo sobresaliente es la matematizacin progresiva de las dems ciencias, que aparecen ya como nuevos horizontes para la Matemtica Aplicada.

Nuevas matemticas que nos llegaron de la Fsica

El comienzo del siglo XX es testigo de dos grandes revoluciones en la manera de concebir el mundo fsico, que cambiaron de forma radical el universo newtoniano". Comprobado el hecho de que la luz no se comporta como era esperado, la teora que lo explica trae consigo consecuencias dramticas sobre nuestro concepto de espacio-tiempo, que afectan en la prctica a la Astronoma y al comportamiento de las partculas que se mueven deprisa. Por otra parte, en el extremo de lo muy pequeo, se observ que los tomos, molculas y partculas subatmicas tampoco obedecen a las leyes de comportamiento tan cuidadosamente observadas por los entes macroscpicos, aunque por otras razones. Son dos grandes revoluciones cuya ms ntima esencia se expresa en frmulas matemticas. Examinemos con algn detalle el surgir de ambas teoras. La Teora de la Relatividad. Albert Einstein, el Hombre del Siglo segn la revista Time (ao 2000), propuso las dos versiones de la relatividad: en 1905 (la relatividad especial) y en 1916 (la relatividad general). Esperamos no sorprender al lector al afirmar que en ambos casos se trata de una profunda reflexin sobre las matemticas que sirven de base a la Fsica. La relatividad especial tiene como precursores a Lorentz, Poicar y Minkowski, que estudiaron el grupo de invariancia que corresponde a la nueva geometra del espacio-tiempo. La relatividad general usa los conceptos geomtricos que Riemann elabor ms de un siglo antes como un puro Gedankenexperiment, es decir, experimento mental, sobre las "hiptesis que subyacen a los fundamentos de la geometra", y que fue desarrollado por la escuela de geometra diferencial italiana de Ricci, Levi-Civita y Bianchi. La relatividad ser un gran campo de juego de la geometra diferencial en el siglo XX. De las ecuaciones de Einstein se llegar al Big Bang y a los agujeros negros (Oppenheimer y Snyder, 1939; Penrose y Hawking). Todo un ejercicio de matemtica pura como modelo de una rama de la fsica. Conviene, sin embargo, no olvidar la otra cara de la Relatividad: desde la primera confirmacin experimental de Lord A. Eddington en 1919, incesantes experimentos han servido para confirmar (mejor diramos, con la modestia de Einstein, no refutar) la teora de la Relatividad. Pues en la ciencia real no se inventan las hiptesis. Hagamos una pausa para echar una mirada a algunas de las
10

MATEMTICAS, CIENCIA Y TECNOLOGA

frmulas principales. En septiembre de 1905, Einstein public un corto artculo en que demostr la frmula fundamental sobre la equivalencia matemtica de masa y energa, que se ha convertido en un clsico de la cultura popular del siglo XX. Por otro lado, las leyes de transformacin de la Relatividad Especial, que reemplazan a las leyes de transformacin galileanas a velocidades relativas altas, conocidas como las leyes de transformacin de Lorentz, son: , donde la constante se llama factor de dilatacin del tiempo. Depende de la velocidad relativa v y viene dado por la expresin: Por consiguiente, la suma de velocidades sigue la sorprendente regla muy en contra de lo que estamos acostumbrados a creer (es decir, u= La frmula ms conocida de Einstein es sin duda , que forma con la frmula cuntica de Planck, , toda una nueva visin de la energa al principio del siglo. La energa haba sido uno de los conceptos clave de la evolucin de la fsica y las matemticas que la acompaan en el siglo XIX, y se ve sometida a profunda revisin matemtica en los comienzos del siglo XX. Precisamente, los quanta (o cuantos) son nuestro prximo tema. La Mecnica Cuntica describe el comportamiento de la materia y la luz a la escala atmica. En palabras del gran fsico R. Feynman, Things on the very small scale behave like nothing you have any direct experience about". En particular, asistimos a otra enorme brecha en el, hasta entonces, perfecto edificio de la mecnica newtoniana. El segundo recorrido mgico del comienzo del siglo XX nos lleva de la hiptesis de los quanta de Max Planck, 1900, a la ecuacin de Schrodinger (1926) pasando por N. Bohr, L. De Broglie, W. Heisenberg y P. A. M. Dirac. El acceso al mundo atmico queda codificado en la maravillosa ecuacin donde es la constante de Planck reducida, es el operador laplaciano y es el potencial. Todo ello parece realmente un trozo de la Cbala, y en el momento inicial se dudaba de qu representaba exactamente la variable llamada funcin de onda". Tal es el poder de la Matemtica, estos fsicos geniales haban encontrado un trozo del Cdigo Matemtico del Universo pero an haban de interpretar qu significaban las variables. En 1928, Max Born propuso la interpretacin probabilista, donde es la densidad de probabilidad de encontrar la partcula en el lugar x en el instante t, y aunque es mayoritariamente admitida, hay quienes se resistieron, siguiendo a Einstein en eso. Porque la Mecnica Cuntica es un desafo fundamental a la manera previamente admitida de mirar el mundo, al determinismo tradicional y a la causalidad. Se puede decir que el determinismo est basado en el supuesto de que el conocimiento exacto del presente permite calcular el futuro". No es ese el sueo de las ciencias exactas, y no es cierto que la Mecnica Cuntica subvierte esa creencia? Ponderando el problema, W. Heisenberg encontr en 1927 la respuesta siguiente: no es la conclusin [de la hiptesis determinista] lo que es falso, sino la hiptesis inicial". Dejando al lado el mundo de las interpretaciones, debemos informar que esta teora, aun estando basada en el ms alto nivel de abstraccin matemtica, es confirmada por todo un siglo de experimentos. La parte mgica, que tanto abunda, tiene un momento estelar cuando Dirac, usando la formulacin relativista, propone la existencia de los positrones (1932) porque las ecuaciones admiten el cambio de signo con respecto a la solucin que describe el electrn",. . . y el positrn fue debidamente descubierto por los fsicos experimentales poco despus (Anderson y Blacket, 1932-33). Dirac predijo la existencia del antiprotn que fue confirmado por Segre en 1955, y tambin el monopolo magntico, pero esta vez su existencia ha quedado sin confirmacin hasta el momento presente. Las predicciones de Dirac son un ejemplo notable, de ninguna manera nica, en que el modelo matemtico va delante de la evidencia
11

MATEMTICAS, CIENCIA Y TECNOLOGA

experimental. No nos recuerda todo esto a Hertz? La cosecha matemtica de la Mecnica Cuntica no es escasa: la teora de operadores autoadjuntos en espacios de Hilbert con su correspondiente teora espectral son desarrolladas por John von Neumann (Janos v. N., 1903-1957), uno de los genios ms polifacticos del siglo, con el objeto de dar sentido a los operadores que aparecen en la ecuacin, operadores laplacianos y dems. Su teora se basa en el trabajo precursor de S. Banach y los expertos italianos en clculo de variaciones, pero la Mecnica Cuntica tiene sus caprichos: necesita unos objetos de la segunda generacin, los \operadores lineales no acotados en espacios de Hilbert". Estamos, pues, en el borde o ms all de los temas de la licenciatura en Matemticas, lo cual es informacin interesante para quienes sostenan que toda matemtica til ha de ser muy fcil. Junto con el Clculo de Variaciones, la Mecnica Cuntica ha sido cantera inagotable de problemas para el Anlisis Funcional, rama de las matemticas que toma vuelo propio. Por otra parte, el comportamiento anmalo de las partculas cunticas respecto a las clsicas tiene aspectos matemticos simples y relevantes, como su distinto comportamiento estadstico, que lleva a las distribuciones de Bose-Einstein y Fermi-Dirac que corrigen" a Maxwell-Boltzmann.

Las matemticas que vinieron de la ingeniera

La Aeronutica. Tras los impresionantes avances de la fsica matemtica del siglo XIX y en particular de la mecnica de fluidos, pudiera parecer que un problema antiguo como el del vuelo, que ya haba ocupado a Leonardo da Vinci, debera estar resuelto. Y los experimentos con globos haban tenido xito un siglo antes. Adems, la teora de la variable compleja y de los lujos potenciales y vorticosos haba obtenido un notable progreso. Pero con todo este progreso, el vuelo propulsado (por un motor) no era entendido ni practicado, y un desanimado Lord Kelvin reconoca a finales de siglo XIX que el sueo del vuelo propulsado era quiz imposible. Es entonces cuando el mtodo experimental es reivindicado por los hermanos Wilbur y Orville Wright, fabricantes de bicicletas y consumados experimentadores, que logran volar en un artefacto propulsado en las inhspitas playas de Kitty Hawk, Carolina del Norte, en la desapacible maana del 17 de diciembre de 1903. Es el nacimiento de la Aeronutica. La reaccin de los tericos fue fulminante y a la altura del desafo. Durante el periodo 1905-10, los principales ingredientes matemticos que faltaban al modelo terico fueron comprendidos (N. E. Zhukovski, M. Kutta, L. Prandtl, S. A. Chaplygin). Se trata de los conceptos de sustentacin, circulacin, capa lmite, separacin, rgimen laminar y turbulento. Una ingeniera nace y nos llevara en 30 aos ms all de la barrera del sonido. Y nacen ramas de la matemtica aplicada, como la teora de las perturbaciones singulares, la teora de los flujos supersnicos y transnicos y la teora matemtica de la combustin. Resistimos aqu la tentacin de detallar las otras ramas de la ingeniera que tambin han tenido una interaccin activa con las matemticas. Lo cual no significa en absoluto que ignoremos su importancia, trataremos el tema en la seccin 8. Grandes novedades que vinieron de las matemticas Las matemticas han vivido el siglo XX muy pendiente del desarrollo interno de las ideas recibidas del fabuloso siglo anterior. Para ms fortuna, el siempre difcil y en general fallido intento de prever las lneas del futuro cont con una confirmacin en la famosa propuesta de D. Hilbert al II Congreso Internacional de Matemticos, celebrado en Pars. En 23 problemas, Hilbert resuma los principales retos con que se enfrentaban las matemticas, desde las ms puras a la fsica matemtica. Esos 23 problemas han sido de gran importancia en el transcurso de los aos, pero otras lneas inesperadas han venido a complementarlos y competir por las candilejas. Sealemos tres desarrollos importantes entre tantos. El clculo de probabilidades. Como respondiendo a la necesidad planteada por la mecnica cuntica, pero en realidad independientemente, Andrei N. Kolmogorov estableci en Mosc la probabilidad axiomtica sobre la teora de conjuntos y la teora de la medida, tarea a la que se asocian los nombres de P. Levy en Francia y N. Wiener en EE.UU. Hemos de recordar aqu que Boltzmann fue un estudioso del movimiento browniano, que L. Bachelier escribi su tesis en Paris en 1900 en un intento (infructuoso de momento) de modelar los mercados financieros, y que Einstein recibi el premio Nobel en 1921 no por la teora que le hizo famoso sino por sus estudios del efecto fotoelctrico y... del movimiento browniano. Las cadenas de Markov haban sido estudiadas desde 1900 por A. A. Markov. Hoy da, la teora de los procesos estocsticos, en particular los procesos de Markov, es una de las reas predilectas de esta floreciente rama de las matemticas, y el Clculo de Ito es una herramienta esencial del anlisis estocstico continuo que compite con el clculo infinitesimal clsico de Newton y Leibniz. Todo este desarrollo era completamente desconocido, incluso insospechado, hace poco ms de un siglo y se ocupa de informarnos sobre los fenmenos aleatorios y su evolucin probable, es decir, nos permiten hacer predicciones sobre lo no exacto. Como es ya usual en

12

MATEMTICAS, CIENCIA Y TECNOLOGA

nuestro relato, se trata de un empeo no slo acadmico, sino que tiene aplicaciones muy importantes en los procesos cientficos, industriales y financieros. El caos determinista. El estudio del caos generado por las ecuaciones diferenciales, ya anunciado por Poincar, cuyas matemticas haban madurado gracias al impulso de diversos matemticos, especialmente G. Birkhof, ha de esperar a la obra de un fsico dedicado a los estudios del clima para adquirir el impulso definitivo. En efecto, se atribuye a Edward Lorentz, del MIT, ese mrito. Preocupado por el estudio de los procesos convectivos en la atmsfera propone un simple modelo no lineal consistente en 3 ecuaciones diferenciales ordinarias que no me resisto a copiar

Para esta eleccin de los parmetros (es decir, los coeficientes de la ecuacin, que pueden ir variando en el problema) encuentra sorprendido que las trayectorias numricas que produce su ordenador no convergen a ninguna situacin peridica. El artculo de 12 pginas data de 1963. Surgen conceptos que llegarn al gran pblico, como caos determinista y atractores extraos, y toda una rama de las matemticas tanto tericas como experimentales, una gran novedad posible gracias al desarrollo de los ordenadores. Autores como S. Smale y M. Feigenbaum se hacen clebres. Entran en escena los conjuntos fractales de B. Mandelbrot, ya anunciados en la obra de G. Julia en los aos 2063. Hurgando en la historia se descubre como precursor la figura gigante de H. Poincar que haba previsto este caos en su cabeza. El estudio de los procesos caticos, fractales y turbulentos es una de las fronteras del pensamiento matemtico actual. Nuevos conceptos de solucin en las ecuaciones diferenciales. Hacia los aos 30 era claro para muchos investigadores que el concepto clsico de solucin era insuficiente para construir una teora de las ecuaciones diferenciales que satisfaga las necesidades de las ciencias a las que se aplican. En efecto, es natural en esta disciplina plantear problemas, es decir, conjuntos de ecuaciones y datos adicionales, que sean bien propuestos; siguiendo a J. Hadamard, ello quiere decir que tales problemas han de tener una solucin, que esta ha de ser nica si se dan datos suficientes, y que adems tal solucin ha de depender continuamente de los datos. No se trata ya de que la solucin sea clsica, pues sta puede no existir o puede que no sea el concepto de solucin cuya existencia resulta natural demostrar. Enfrentados con este reto, los matemticos han desarrollado diversas nociones de soluciones generalizadas con significado fsico. Quiz el ejemplo ms notable haya sido el problema de minimizacin de energa de Dirichlet ya mencionado, motivacin de los espacios de Hilbert. Otro ejemplo bsico es el problema de Riemann de la dinmica de gases, ya mencionado. Un tercer problema similar lo afronta J. Leray en 1933 en el estudio de las soluciones de las ecuaciones de Navier-Stokes de los fluidos reales (viscosos) en el espacio tridimensional. Gracias al trabajo de los analistas funcionales (S. L. Sbolev, L. Schwartz,...) se introducen los conceptos de solucin dbil y solucin en el sentido de las distribuciones. Resumiendo mucho, no se pide a las soluciones que posean todas las derivadas implcitas en la ecuacin sino que cumplan con ciertos tests. Con los expertos en leyes de conservacin (P. Lax, O. A. Oleinik, S. N. Kruzhkov) se llega a las soluciones de entropa, que no son siquiera continas (y se recupera as el legado de Riemann, Rankine y Hugoniot y sus ondas de choque). En nuestros das aparecen nuevos conceptos de solucin para satisfacer las crecientes necesidades, como las soluciones viscosas de M. G. Crandall, L. C. Evans y P. L. Lions. L. Caffarelli extiende este concepto a los problemas de cambio de fase o frontera libre, donde la discontinuidad es parte fundamental del planteamiento matemtico. Y la saga continua con las soluciones mild, soluciones de semigrupos, soluciones renormalizadas,... Uno de los aspectos ms llamativos de estos nuevos conceptos es su compatibilidad con las soluciones numricas propias de los mtodos discretos del clculo numrico. Se halla as una sorprendente alianza de los conceptos abstractos y los numricos contra \la rigidez de los clsicos". Por otra parte, el Anlisis Funcional pasa a formar parte del currculo bsico del matemtico aplicado y el ingeniero.

Las matemticas y la vida social: La teora de juegos

La teora de juegos analiza los \juegos", es decir, situaciones en que se da un conflicto de intereses. Parte de los juegos ms simples, pasatiempos que pueden ser analizados completamente; de ellos se pasa a los \juegos reales" como el pker o el ajedrez, y de ah a los complejos problemas de estrategias en reas de enorme inters social como la economa o la poltica. Vemos en ello un gran paralelismo con el proceder del clculo de probabilidades y la estadstica, que pasan de los juegos de azar con cartas o bolas a la estadstica industrial y social por un lado, y al comportamiento de los gases o los tomos por otro.

13

MATEMTICAS, CIENCIA Y TECNOLOGA

El primer teorema en teora de juegos es atribuido a E. Zermelo, fundador de la versin de la teora de conjuntos ZF hoy tomada por estndar, y se titula \Sobre una utilizacin de la teora de conjuntos en la teora del ajedrez", 1913. Yendo hacia atrs en el tiempo, el primer libro de las matemticas de la competicin parece ser de Augustin Cournot en 183867. Otro conocido matemtico, E. Borel, escribi sobre juegos de estrategia en el perodo 1921-27 y dio una prueba restringida del teorema del minimax, uno de los resultados ms importantes de la matemtica aplicada del siglo XX al decir de Casti. Pero son dos grandes figuras quienes asientan las matemticas de la competicin en el siglo XX. Uno es J. von Neumann, que demuestra en 1928 el teorema del minimax y analiza en su famoso libro con Morgenstern, 1944, los juegos cooperativos y de suma cero. El otro es J.F. Nash que en cuatro artculos fundamentales de 1950-53 establece la teora de los juegos no cooperativos. Los conceptos de equilibrio dominante y equilibrio de Nash son hoy da herramientas matemticas bsicas de la prctica econmica y poltica (en sus diversas vertientes de eleccin social) y deberan ser mejor conocidos por el gran pblico. J. Nash recibi el Premio Nobel de Economa en 1994 y es uno de los pocos Premios Nobel Matemticos, junto con los economistas J. Tinbergen, L. Kantorovich y Selten. La Economa Matemtica desborda evidentemente el tema de los juegos, la competicin y las estrategias, que forman el reino de las matemticas de la llamada Microeconoma. Despus hablaremos brevemente de las matemticas del mercado financiero. En la Teora de la Eleccin Social es importante el Teorema de Imposibilidad de Arrow, que pone un lmite a las capacidades de los sistemas axiomticos de eleccin, aplicando a la ciencia social las ideas de los clebres resultados de indecibilidad e incompletitud de Kurt Godel (1931) para la aritmtica formal, uno de los resultados ms notables de la Matemtica del siglo XX. El resultado de Godel trata de la indecidibilidad intrnseca a todos los sistemas formales que incluyan la aritmtica, tema de Lgica y Fundamentos de la Matemtica de apariencia eminentemente pura y por ello de nula interaccin con el mundo prctico si hemos de creer a los fervientes defensores del aislamiento esencial de las matemticas puras. Pues bien, volveremos a hablar de l en el prximo tema, que trata de ordenadores, de la mano de otro de nuestros hroes.

7. INGENIERA Y MATEMTICAS EN LA LTIMA REVOLUCIN DEL SIGLO. LOS ORDENADORES Y LA MATEMTICA COMPUTACIONAL
La realizacin prctica del viejo sueo de construir una mquina de calcular toma cuerpo en forma del moderno ordenador que acredita dos orgenes, la Tecnologa y las Matemticas, los cuales confluyen en un fantstico invento en el ao 1946. Por una parte tenemos el viejo proyecto de la mquina de calcular, pensada ya en el siglo XVII por B. Pascal y G. Leibniz, y que debe tanto a Ch. Babbage a principios del siglo XIX, proyecto que es realizable en el siglo XX de forma eficiente gracias al avance de la electrnica: primero el tubo de vaco y luego una espectacular saga de progresos tcnicos que nos llevan al semiconductor, a la miniaturizacin y al chip. Pero el ordenador o computadora no nace como mquina de calcular pasiva, sino que nace con un programa. Esta es la herencia de la lgica matemtica, desde G. Boole con su lgebra al programa de formalizacin de las matemticas de D. Hilbert, que lleva a la prueba de indecibilidad e incompletitud de Kurt Godel en 1931 que destruye el sueo de Hilbert de una matemtica de demostraciones automticas. Ello provoca el inters de otro matemtico genial, Alan Turing (1912-1954), que traduce el programa de formalizacin al lenguaje de las mquinas, 193781, e inventa con Alonzo Church la teora de la computabilidad, aos antes de que el ordenador viera la luz. Sigue un momento histrico: el esfuerzo de guerra, el desciframiento del cdigo alemn Enigma, : : : Entra en escena von Neumann con la idea del programa en memoria, y se construye el ENIAC en 1946. La computadora moderna surge como una mquina calculadora eficaz con cuatro caractersticas: es de utilidad general, electrnica, digital y programable; las dos ltimas propiedades se relacionan directamente con las matemticas. La primera computadora comercial, UNIVAC, funcion en 1951. En estos 50 aos se pasa de las grandes mquinas (armatostes) que manejan kilobytes o megabytes a los ordenadores personales con capacidad de decenas de Gigas y a la WWW. La dualidad en el mundo del ordenador contina en forma de la famosa pareja Hardware y Software.
14

MATEMTICAS, CIENCIA Y TECNOLOGA

El mundo computacional, un nuevo mundo para las matemticas El mundo del ordenador est cambiando poco a poco la vida diaria del ciudadano: las transacciones bancarias, el correo electrnico, la reserva de pasajes, ... Su efecto sobre las matemticas, menos conocido por el gran pblico, es an ms dramtico. Aparecen por un lado, las nuevas ramas de la Matemtica Computacional terica, como la teora de la computabilidad y la complejidad y la teora de autmatas y lenguajes formales. Pero todas las ramas de la matemtica pura y aplicada se contagian de la repentina capacidad para calcular efectivamente lo que antes era slo imaginable, y este nuevo gusto se propaga como una infeccin (potente pero benigna) en la prctica cotidiana de las matemticas: matemticos, cientficos e ingenieros calculan rbitas de satlites o trayectorias de sistemas dinmicos, distribuciones numricas o series temporales de procesos reales, mapas climatolgicos o estudios de singularidades, distribucin de temperaturas en un alto horno o propiedades estadsticas de los ceros de la funcin Zeta de Riemann,... Y las finanzas y la administracin tambin calculan. Entre los notables cambios acaecidos, las matemticas tienen un papel importante en los procesos industriales u otros en que se combina la experimentacin en laboratorio con las nuevas herramientas matemticas: aparece la combinacin de modelizacin matemtica - anlisis matemtico - simulacin numrica y visualizacin - control, que forma una herramienta de uso habitual en los ms diversos campos: las comunicaciones, la prediccin del tiempo, la astrofsica, la ingeniera minera, industrial, la industria del automvil y del petrleo, los problemas medioambientales y la ecologa, la economa y las finanzas, las comunicaciones, y en este momento, la biologa y la medicina, como veremos con algn detalle en la seccin 8. Esta rea de las matemticas tiene como tarea aproximar de una manera eficaz las soluciones de modelos matemticamente muy sofisticados y complejos. El inters por su desarrollo y aplicacin da lugar a los grandes Institutos y Centros de Clculo. Los nuevos conceptos: modelo numrico, simulacin numrica, experimento o exploracin numrica, visualizacin dinmica,... se hacen de uso diario en el medio cientfico e industrial. El desarrollo de mtodos de formulacin numrica de los modelos continuos, como las ecuaciones diferenciales, es una rama fundamental de la matemtica computacional (a saber, los mtodos de diferencias finitas, y elementos finitos, los volmenes finitos,...). El estudio de las propiedades y la convergencia de estos mtodos constituyen el Anlisis Numrico, que tiene una conexin profunda con el lgebra. Por otra parte, la capacidad de clculo da nueva vida a la matemtica discreta, como la teora de grafos, con sus importantes aplicaciones (por ejemplo, a las redes telefnicas y en general al mundo de las comunicaciones). Un nuevo paradigma de la ciencia El broche final de esta evolucin vertiginosa es el surgimiento de un nuevo paradigma cientfico en que la Ciencia computacional es el tercer componente bsico del mtodo cientfico, junto con la Teora y el Experimento. Nos hallamos pues ante una alteracin profunda de la herencia cientfica de Galileo y Newton, que la enriquece en la direccin de las matemticas. Esta nueva visin, que comenz en la ingeniera y las ciencias fsicas, se practica hoy da intensamente en todas las ciencias, dando lugar a nuevas disciplinas o subdisciplinas, como la Fsica Computacional y la Dinmica de Fluidos Computacional, la Biologa Computacional o la Qumica Computacional. Programas de las licenciaturas (incluso nuevas titulaciones), programas de investigacin internacionales, centros de investigacin, congresos y revistas prestigiosas confirman la relevancia del tercer rostro de la ciencia en los albores del siglo XXI. La ventaja del camino computacional queda perfectamente reflejada en la siguiente declaracin de los Reviews in Computational Chemistry: As a technique, Computational Chemistry has the advantage of producing answers cheaply and quickly (compared to e.g. thermodynamic measurements)". Es decir, que cuesta menos calcular que medir (y es fiable). Y aade otro aspecto importante, la capacidad para examinar lo hipottico: and [it works] for hypothetical structures, like transition states". Lo anterior no se circunscribe a las ciencias clsicas, afecta incluso en mayor grado a la ingeniera y la ciencia econmica. La novedad del cambio, que sucede ante nuestros ojos, es un reto de enorme importancia para el futuro de las matemticas y resulta difcil de asimilar para muchos colegas. No hay nada malo en seguir anclado en un pasado glorioso,... pero se paga un precio. De la amplitud del panorama hablamos en la prxima seccin.

8. LOS RETOS Y TENDENCIAS DEL SIGLO XXI. MATEMTICAS EN LAS CIENCIAS, LA INDUSTRIA, LAS FINANZAS Y LA ADMINISTRACIN
En consonancia con los apuntes vistos de la reciente evolucin de la matemtica pura y aplicada, que combina la exigencia de una slida teora con una ambicin universal, el panorama que ofrece el mundo de las matemticas de cara al futuro es de una asombrosa variedad. Usando un idioma algo retrico, los expertos dicen que las matemticas son ubicuas, estn por todas

15

MATEMTICAS, CIENCIA Y TECNOLOGA

partes, y relevantes, importan. La modelizacin matemtica juega un papel mayor que nunca en la ciencia, la ingeniera, los negocios y las ciencias sociales. Mencionaremos solamente algunos de los principales temas de aplicacin que aparecen en la literatura, en los congresos, en los programas de los institutos de investigacin. Tambin hemos utilizado una serie de fuentes. En itlicas sealamos aspectos matemticos relacionados para comodidad del lector. Mecnica celeste. Problemas de la ciencia aeroespacial. Estabilidad y caos en sistemas dinmicos. Atractores extraos. Mecnica de slidos y fluidos en gravedad cero. Teora de fluidos. Aplicacin a la Meteorologa y la Climatologa. Ingeniera del ocano. Problemas medioambientales complejos, recalentamiento global y otros temas geosociales. Modelos de circulacin global, modelos de equilibrio; modelizacin estocstica del clima; jerarquas de modelos de complejidad intermedia, como los modelos geostrficos. Glaciologa. Acstica y aplicacin a la industria del sonido. Fluidos industriales, lubricacin. Turbulencia. Predecibilidad y caos. Estabilidad, bifurcacin. Problemas de frontera libre. reas de interseccin, como la interaccin fluidoestructura. Aeronutica. Problemas de la hidrodinmica. Vuelo supersnico y transnico. Problemas de la combustin (propagacin de llamas, detonacin). Ondas de choque y ecuaciones hiperblicas. Capas lmite y desarrollos asintticos. Ondas viajeras. Fsica fundamental. Las matemticas del mundo atmico y de las partculas elementales. El modelo estndar, la electrodinmica cuntica, la cromo-dinmica cuntica. Teora de grupos, renormalizacin, teoras gauge, supersimetra, ecuaciones de Yang-Mills, instantones, dilatones, \branes",.... Geometras y topologas exticas en dimensiones superiores. Astrofsica. Relatividad general, modelos estelares. Matemticas de la fsica de plasmas, magnetohidrodinmica. Ecuaciones cinticas (Boltzmann, Fokker-Planck, Vlasov, ...). Ciencias de la tierra. Problemas de recursos y minera. Problemas de conservacin del medio ambiente. Transporte de contaminantes en el aire y el suelo. Hidrologa computacional. Las ecuaciones de la extraccin de petrleo, de la filtracin en los suelos, de la difusin de contaminantes: sistemas no lineales de EDPs y problemas de frontera libre. Matemticas de los fenmenos ssmicos, propagacin de ondas, problemas inversos. Ciencia de materiales. Modelado y simulacin de materiales "composites", materiales magnticos, polmeros, cristal y papel. Propagacin de fracturas y otros mecanismos de fallos. Elasticidad lineal y no lineal. Teora de la homogeneizacin. Transiciones de fase, crecimiento de cristales, superconductividad e histresis. Nanotecnologa. pticas integradas, redes pticas. Electrnica y ptica cuntica. Tcnica de Nanoescalas en medicina, materiales porosos. Acoplamiento de modelos con estados cunticos, mesoscpicos y continuos. Teora de Boltzmann semiclsica, ecuacin de Wigner. Ingeniera industrial. Procesos de la siderurgia, altos hornos. Prototipos de la industria automovilstica (fluidos, aerodinmica, materiales y teora de la fractura). Comunicaciones. Telecomunicacin y redes pticas: anlisis, simulacin, optimizacin, optimizacin de la tasa de transmisin, diseo de redes. Antenas, radar y sonar. Teora de campos electromagnticos. Los hornos de microondas acoplan las ecuaciones de Maxwell con la teora del calor de Fourier. Matemtica Discreta. Teora de grafos, combinatoria. Aplicaciones a la administracin de empresas, programacin de tareas, rutas,... Informtica. Lgica matemtica, algoritmia, complejidad computacional. Paralelizacin. Autmatas finitos, lenguajes formales, lgebra. Aprendizaje de mquina, minera de datos, inteligencia artificial, proceso del idioma natural. El diseo de la computadora cuntica abrira un nuevo mundo a la computacin. Control. Control ptimo, control robusto, control no lineal. Control predictivo. Sistemas de control uzzy". Redes neuronales. Deteccin y diagnostico de fallos en los procesos industriales. Modelado y control de sistemas econmicos. Programacin con condiciones. Comunicacin y control de sistemas hbridos distribuidos. Automatizacin y Robtica. Geometra Algebraica y computacin. Visin por computadora y realidad virtual. Aprendizaje biolgico y computacional. Teora de la informacin. Codificacin de mensajes, cdigos correctores de errores. Las sorprendentes aplicaciones de la teora de nmeros y el lgebra. Proceso y compresin de imgenes. Ondculas, fractales, teoras de EDPs no lineales. Reconocimiento del habla y las imgenes. La estadstica en la ciencia, la industria, la empresa y el gobierno. Estimacin y tests de hiptesis, diseo de experimentos. Procesos estocsticos. Series temporales. Epidemiologa. Control de calidad. Anlisis de varianza. Anlisis multivariante. Muestreo, votaciones.
16

MATEMTICAS, CIENCIA Y TECNOLOGA

Teora de Optimizacin y Programacin Matemtica. Programacin entera, programacin no lineal, programacin convexa. Mtodos iterativos. Optimizacin del diseo industrial. Mtodos numricos, ecuaciones en derivadas parciales, clculo de variaciones, combinatoria, lgebra lineal. Problemas de transporte ptimo. Los problemas del trfico (modelos continuos y discretos). Planificacin de redes. El trfico en la Web. Economa. La matemtica financiera (valoracin de opciones, comercio de derivados, riesgo,...) une las ecuaciones diferenciales estocsticas con las ecuaciones en derivadas parciales y problemas de frontera libre. Modelos para la economa global. Qumica. Qumica cuntica: simulacin de estructuras atmicas y moleculares a travs de las ecuaciones fundamentales. Modelos de Schrodinger, Hartee-Fock, Thomas-Fermi, Born-Oppenheimer,... Dinmica de reacciones, combustin. Matemticas de la nucleacin, crecimiento de cristales y quemotaxis. La propagacin de frentes, ondas viajeras, osciladores qumicos. Caos. Diseo de drogas. Biologa: Ecologa matemtica, epidemiologa, biomtrica, la bioinformtica. Matemtica de la Gentica, Filogentica computacional. La estructura y funcin del cido nucledo. Evolucin molecular. Protemica. Clculo con ADN. Alineacin de secuencias, razonamiento borroso. Modelizacin matemtica en biopolimerizacin. Medicina: interaccin fluido-estructura como modelo para el flujo sanguneo. Modelado y simulacin de la funcin de otros rganos: cerebro, pulmones e hgado. Auto-organizacin y geometras fractales. Asistencia computacional en ciruga. Farmacocintica, modelado del crecimiento de tumores. Neurociencia computacional. Matemtica de las enfermedades infecciosas y difusin de epidemias. rganos artificiales, modelado del sistema inmunolgico. Tratamiento de imgenes en Medicina. Tomografa: tomografa computarizada, reconstruccin 3D de imgenes. Transformadas de Fourier y Radon, problemas inversos. Aunque la Matemtica computacional (tomada aparte de la Informtica) penetra todos los campos de aplicacin, merece una mencin por s misma en este listado: mtodos numricos y cdigos; algoritmos eficientes; aproximacin, estimaciones (a priori y a posteriori) del error, mtodos y modelos adaptativos, mallado, descomposicin del dominio, anlisis multiescala, clculo numrico de procesos aleatorios,... Por otro lado, la Modelizacin Matemtica en sus diferentes variantes (determinista, continua, discreta,...) plantea los problemas de validacin de modelos y las tcnicas para obtener y elaborar los datos en que se basa la validacin (ver apartado de Estadstica), as como el importante (y debatido) concepto de jerarqua de modelos, una manera progresiva de acercarse a la realidad "que es hoy da parte integrante de la \caja de herramientas" del cientfico aplicado (los viejos idealistas con su la \verdad eterna" se revolvern en sus tumbas; o quiz no?). Detendremos aqu el listado y haremos una muy necesaria pausa con algunos comentarios. Se observar que la lista est slo ligeramente articulada por afinidad de temas; sin embargo, la interconexin ntima de las ramas de la matemtica aplicada nos obliga a cometer repeticiones, o a poner un tema bajo uno de varios posibles ttulos. Por otra parte, hemos dejado fuera diversos campos de aplicacin: las teoras de los sistemas complejos, la autosemejanza en el mundo natural, la formacin y reconocimiento de modelos (patterns) y el sistema de posicionamiento global (GPS), la matemtica de los sistemas electorales; la arquitectura, la industria textil y la alimentaria tambin han llamado a la puerta de la matemtica. Y hay una muy fuerte tendencia para que la Matemtica juegue un papel importante en las artes visuales, como ya hace en la Industria del Ocio combinada con el progreso formidable de la tecnologa de las computadoras. Y "cmo pude haberme olvidado de hablarles de la Teora de Nudos, del Mtodo Simplex de G. Dantzig, lder incontestado del uso de las matemticas en las empresas, o del Filtro de Kalman? En conclusin, esta larga lista es incompleta, principalmente debido al conocimiento limitado del autor; pero espero que convenza al lector de la variedad enorme de intereses de la matemtica aplicada actual. Me gustara agregar una reflexin personal final sobre las tendencias profundas que veo bajo la diversidad anterior. Las matemticas del porvenir sern mucho ms estocsticas y algortmicas de lo que fueron hasta el siglo XX, y la modelizacin matemtica ser considerada una parte esencial de la educacin y la actividad matemtica, junto con el clculo y la simulacin. Pero pase lo que pase, me parece que una prueba clara y completa, y tan elegante como sea posible, ser siempre el meollo de nuestra ciencia, como ha sido desde tiempos del buen Euclides, y los matemticos futuros todava se entusiasmarn con problemas y conjeturas, y algunos de ellos al modo de Galileo mirando al mundo (o las estrellas). Y construirn, posados sobre hombros de gigantes de los pasados, esos delicados, intrincados y huidizos objetos llamados teoras, algunas de ellas destinadas al olvido, unas pocas a la eternidad,..., o al uso diario. "Quin se maravilla ya de la sorprendente existencia de las ondas electromagnticas llenando el aire, ahora que incluso se han vuelto una forma de contaminacin? Pero basta de filosofa por el momento.

17