La Universidad del Zulia Facultad de Ciencias Departamento de Matemtica a

La Matemtica y sus Relaciones con a otros Campos del Conocimiento

Jos Heber Nieto e

Maracaibo, Venezuela

 Indice General
Prefacio . . . . . . . . . . . . . . . . . . . Introduccin . . . . . . . . . . . . . . . . . o La matemtica en la antigedad . . . . . . a u Arqu medes . . . . . . . . . . . . . . . . . Kepler . . . . . . . . . . . . . . . . . . . . Galileo, Newton y la nueva F sica . . . . . Aplicaciones del clculo . . . . . . . . . . a F sica y Teor de Probabilidades . . . . . a Predicciones de existencia . . . . . . . . . Qu mica y Biolog . . . . . . . . . . . . . a Ciencias sociales y humanas . . . . . . . . Las formalizaciones articiales . . . . . . . La medida de la inteligencia . . . . . . . . Matemtica e interdisciplinaridad . . . . . a Matemtica pura vs. matemtica aplicada a a La matemtica para s misma . . . . . . . a Matemtica y belleza . . . . . . . . . . . . a A modo de conclusin . . . . . . . . . . . o Bibliograf . . . . . . . . . . . . . . . . . a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii 1 3 4 5 6 7 9 10 12 12 14 15 15 17 20 20 21 23

Prefacio
Esta obra es la edicin electrnica de un pequeo libro del mismo nombre, o o n ya agotado, publicado en 1986 por la Facultad Experimental de Ciencias de La Universidad del Zulia. Ha sido preparada por el autor por considerar que an mantiene vigencia y puede ser util. El contenido no ha variado, excepu tuando la correccin de errores tipogrcos y algunas referencias. El germen o a de las ideas aqu expuestas se halla en una ponencia presentada al Primer Simposium Nacional sobre Interdisciplinaridad (celebrado en Maracaibo del 25 al 28 de mayo de 1982) por el profesor Gonzalo Prez Iribarren y quien e esto escribe. En dicha ponencia, titulada Matemtica e Interdisciplinaridad, a se resum algunas experiencias vividas por ambos durante el desempeo an n de nuestras actividades matemticas en diversos mbitos universitarios latia a noamericanos. Muchos de los conceptos desarrolladas en este trabajo tienen su origen en el constante intercambio de ideas que mantuvimos en aquel tiempo con el profesor Prez; en particular el apartado Fisica y Teor de Probabilidades e a se basa en un manuscrito suyo. Me apresuro a advertir, sin embargo, que cualquier posible error es de mi exclusiva responsabilidad. El profesor Gonzalo Prez Iribarren falleci en Montevideo, Uruguay, el e o 25 de agosto de 1998. Deseo expresar aqu mi gratitud por haber podido disfrutar de su amistad, inteligencia y sab a, al tiempo que ofrezco la dur edicin electrnica de esta obra como un humilde homenaje a su memoria. o o Jos Heber Nieto Said e Maracaibo, diciembre 1999.

ii

Introduccin o
La naturaleza de la matemtica y de sus relaciones con los dems campos a a del conocimiento plantea delicados problemas, tanto de carcter losco coa o mo de orden prctico. Por una parte es evidente la utilidad de la Matemtica a a en los esfuerzos del hombre por comprender y dominar el mundo f sico. Los xitos de los mtodos matemticos en las ciencias f e e a sicas han sido continuos y espectaculares, y su aplicacin se extiende hoy en d a las ciencias sociales o a y humanas. Pero al mismo tiempo la Matemtica aparenta ser una especie a de microcosmos cerrado sobre s mismo, donde imperan la 1gica y el rigor y o est excluida intencionalmente toda conexin con lo emp a o rico. Ahora bien, si la matemtica no fuese ms que el estudio abstracto de sistemas formales no a a interpretados, la ciencia en la cual no sabemos de lo que estamos hablando ni si lo que decimos es cierto, segn el conocido aforismo de Bertrand Russell, u entonces su utilidad para el conocimiento cient co del mundo material no resulta fcilmente comprensible. De hecho el poder y alcance de los mtodos a e matemticos ha despertado el asombro no slo de lsofos y humanistas, sino a o o tambin de un gran f e sico como E. P. Wigner quien ha escrito que la irrazonable efectividad de la matemtica en las ciencias naturales es un don a maravilloso que no comprendemos ni merecemos, y por el cual deber amos estar agradecidos (Wigner, [21] pg. 114). a En realidad, ni siquiera la consistencia interna de la propia matemtica a est totalmente clara. Es sabido que desde el descubrimiento de las paradojas a en las primeras teor de conjuntos se han sucedido numerosas crisis. Los as resultados de Gdel acerca de la imposibilidad de demostrar la consistencia o de cualquier sistema axiomtico que contenga a la aritmtica (salvo que se a e empleen recursos transnitos de consistencia ms dudosa que la de la propia a aritmtica) as como toda una serie de trabajos en Lgica matemtica que e o a pasan por la demostracin de la independencia de la hiptesis del continuo o o (Cohen, 1963) y la existencia consiguiente de teor de conjuntos no canas torianas, han tenido gran impacto sobre la losof de la matemtica y han a a debilitado los puntos de vista formalistas. La pretensin de alcanzar el rigor o absoluto parece no haber sido ms que una vana ilusin. La confesin de a o o Bertrand Russel en su libro My philosophical development nos muestra un ejemplo ilustrativo del estado de nimo de muchos matemticos de su genea a racin: La esplndida certeza que siempre hab esperado encontrar en la o e a matemtica se perdi en un laberinto desconcertante (Russell, [14]). a o Cul es entonces la razn de la aplicabilidad de la matemtica? a o a 1

La pregunta es en realidad muy antigua y se han dado innumerables respuestas. Una de las ms persistentes a travs de los siglos es la creencia en la a e existencia de una armon preestablecida entre el mundo material y el pena samiento matemtico (o el pensamiento humano, en general). Esta doctrina a ha adoptado diversas formas, desde Pitgoras hasta nuestros d pasando a as, por el racionalismo. El gran matemtico David Hilbert, principal represena tante de la escuela formalista, fue tambin adherente a la idea de la armon e a preestablecida. En todo caso esta postura losca deja abierta la pregunta o de por qu existe dicha armon Algunos autores han sostenido puntos de e a. vista biolgicos segn los cuales la adecuacin entre la realidad material y o u o el pensamiento humano ser producto de la evolucin de la especie. Otra a o opinin muy interesante mantiene que la matemtica es aplicable porque al o a operar con las cosas de la Naturaleza nos inmiscu mos constructivamente en la realidad, imprimiendo formas constructivas a la experiencia. Esto posibilita a su vez que la experiencia pueda ser expresada mediante las formas de nuestro pensamiento operativo-constructivo, es decir fundamentalmente mediante la matemtica (Frey, [5]). Tambin han surgido puntos de vista a e empiristas segn los cuales la matemtica ser simplemente una ciencia nau a a tural ms, cuyos conceptos y mtodos provienen de la experiencia y en la cual a e la consistencia de un sistema axiomtico, por ejemplo, debe ser contrastada a en la prctica (Lakatos, [9] cap. 2). Algunos matemticos contemporneos, a a a en n, se ubican en posiciones neoplatnicas y ven en las estructuras formales o de la matemtica slo el aspecto ms supercial de esta ciencia, colocando a o a en primer plano la cuestin del signicado (Thom, [17, 18]). o En este trabajo no profundizaremos en los aspectos loscos de este o problema, salvo por algunas referencias ocasionales. Examinaremos en cambio varios ejemplos histricos que muestran algunas de las formas concretas o que han asumido las relaciones entre la matemtica y las ciencias f a sicas. Resultar claro que las formas posibles de interaccin son muy variadas y a o complejas, y en muchos casos inesperadas. Apoyndonos en los ejemplos a presentados abordaremos luego los problemas planteados por la matematizacin de otros campos del conocimiento, tratando de encontrar semejanzas y o diferencias con lo ocurrido en el campo de las ciencias f sicas. Ms en general a trataremos de describir el rol de la matemtica y los matemticos en la ina a vestigacin interdisciplinaria, extrayendo conclusiones de orden prctico. Por o a ultimo haremos algunas reexiones acerca de la investigacin matemtica y o a de los diversos factores que afectan el desarrollo de esta ciencia.

La matemtica en la antig edad a u

La matemtica ha mantenido durante toda su larga existencia relaciones a fruct feras con las ms diversas actividades humanas. Las operaciones elea mentales de contar y medir as como el empleo de signos para representar cantidades de objetos y su utilizacin para efectuar operaciones de adicin o o y sustraccin aparecen ya en los tiempos prehistricos. La misma escritura o o parece haber nacido gradualmente a partir de la representacin de cantidades o mediante signos. Los sumerios desarrollaron ya habilidades matemticas cona siderables (incluyendo la creacin de un sistema de numeracin sexagesimal) o o que aplicaron fundamentalmente en astronom llegando incluso a realizar a, predicciones a partir de los datos que acumularon sobre el movimiento de los astros. La divisin de la circunferencia en 360 partes iguales (motivada o en la duracin de 360 d que atribuyeron al ao solar) se ha conservado, o as n transmitida por los griegos, hasta nuestros d as. En Egipto la determinacin precisa del ao solar y la elaboracin de o n o calendarios ten sin duda gran importancia para poder saber cundo se an a producir la crecida anual del Nilo. Por otra parte, si nos atenemos al tesa timonio de Herodoto, la geometr naci en Egipto debido a la necesidad de a o medir la tierra (y de all su nombre griego) provocada por la reforma agraria y tributaria del faran Sesostr` Sin duda que tambin fueron necesarios conoo s. e cimientos geomtricos para poder construir pirmides y templos de acuerdo e a a los preceptos religiosos. Con los griegos los conocimientos matemticos emp a ricos de egipcios y babilonios adquirieron un carcter ms abstracto y racional. Los griegos tiea a nen el mrito de haber introducido el mtodo deductivo en la matemtica, al e e a tiempo que crearon un extraordinario cuerpo sistemtico de conocimientos a geomtricos. Aunque el desprecio de que eran objeto los artesanos (consee cuencia de una organizacin social basada en la esclavitud) cre una brecha o o entre la ciencia y la tcnica griegas, surgi sin embargo la idea de que el e o mundo f sico puede ser entendido por medio de la matemtica. As para los a , pitagricos, todo lo que existe participa del nmero y su esencia: el nmero o u u infunde conocimiento y es incompatible con la falsedad. Estas ideas se reejan posteriormente en el Timeo, de Platn, al crear el demiurgo los cuerpos a o partir de formas geomtricas elementales, y haciendo corresponder el tetraee dro, el cubo, e octaedro y el icosaedro a los cuatro elementos: fuego, tierra, aire y agua. Digamos adems que la construccin de los cinco poliedros rea o gulares (a saber los cuatro mencionados ms el dodecaedro, que para Platn a o 3

era una forma que envolv a todo el universo) constituir ms tarde la meta a a a nal de los monumentales Elementos de Euclides.

Arqu medes
Para los propsitos de esta obra, dif o cilmente encontraremos en la antigedad un pensador ms importante que Arqu u a medes. Adems de ser un a gran matemtico Arqu a medes fund la esttica y la hidrostatt o a a ca. Aplic la o matemtica al estudio de problemas tcnicos, entre ellos el funcionamiento a e de las maquinas simples. Parece ser que sus hallazgos cient cos encontraron aplicaciones prcticas en su tiempo, por ejemplo en la construcci6n de a mquinas blicas o en la determinacin de la proporcin de oro y plata en a e o o una aleacin. En matemticas demostr varios teoremas notables sobre reas o a o a y volmenes: obtuvo el rea del segmento parablico, el volumen de la esu a o fera, etc. Pero durante muchos siglos el mtodo por el cual hab llegado e a a descubrir sus resultados constituy un enigma. En efecto, el mtodo de o e exhaucin que emple en sus demostraciones requiere que de alguna maneo o ra se conozca de antemano el resultado que se desea demostrar. En otras palabras este mtodo, debido a Eudoxo, es un mtodo demostrat pero e e vo no de descubrimiento. El enigma se aclar recin en 1906 cuando se deso e cubri en un antiguo palimpsesto una obra de Arqu o medes hasta entonces desconocida. En ella su autor expone un mtodo basado en la esttica para e a descubrir resultados relativos a reas y volmenes. El trabajo fue enviado a u a Eratstenes, acompaado de una carta en la cual Arqu o n medes aclara la signicacin que atribu a su mtodo: (...) he cre conveniente expoo a e do nerte por escrito e ilustrarte en este libro la particularidad de un mtodo e segn el cual te ser posible captar ciertas cuestiones matemticas por meu a a dios mecnicos, lo cual, estoy convencido de que ser util para demostrar los a a mismos teoremas. Yo mismo, algunas de las cosas que descubr primero por v mecnica, las demostr luego geomtricamente, ya que la investigacin a a e e o hecha por este mtodo no implica verdadera demostracin. Pero es ms fcil, e o a a una vez adquirido por este mtodo un cierto conocimiento de los problemas, e dar luego la demostracin, que buscarla sin ningn conocimiento previo (...) o u estoy convencido tambin de la utilidad que puede aportar a la matemtica. e a Pues supongo que algunos de mis contemporneos o sucesores podrn ena a contrar, por este mtodo, otros teoremas que a m no se me han ocurrido e todav a. (Arqu medes, [1] pginas 34 y 35). a 4

Lamentablemente la obra se perdi; de otro modo seguramente habr o a tenido una gran inuencia en el desarrollo y evolucin posterior de la mao temtica. a Este ejemplo nos muestra que ya en la antigedad existieron interacciones u entre matemtica y f a sica que resultaron enriquecedoras para ambas ciencias: Arqu medes no se limita a aplicar la matemtica a la f a sica, sino que tambin e encuentra en esta ultima ideas y modos de pensar que le permiten obte ner nuevos resultados matemticos. Transcurrieron siglos antes de que algo a semejante volviese a presentarse.

Kepler
A partir del Renacimiento asistimos a la vinculacin cada vez ms estreo a cha entre Matemtica y Ciencias de la naturaleza. Leonardo da Vinci es uno a de los primeros en reconocer en la matemtica un medio insustituible para a expresar las leyes de la naturaleza y para deslindar la ciencia de la sof stica. As arma que Quien rehse a la suprema certeza de la matemtica nutrir u a a su esp ritu de la confusin y jams podr imponer silencio a los sosmas, los o a a cuales slo conducen a interminables disputas en torno a palabras (citado o por Cassirer en [2] p. 295). Pero es en Kepler y su trabajo sobre las rbitas o planetarias donde encontramos uno de los primeros frutos importantes de las nuevas concepciones. Como se sabe, tanto el antiguo sistema geocntrico e ptolemaico como el nuevo sistema copernicano basado en rbitas circulares o permit predecir los movimientos de los planetas con un margen de error an tolerable. Sin embargo los instrumentos perfeccionados de Tycho Brahe y sus cuidadosas observaciones (las cuales inclu correcciones de los efectos an producidos por la refraccin atmosfrica, estimacin de errores, etc.) permio e o tieron posteriormente a Kepler hallar una discrepancia de unos ocho minutos de arco en la rbita calculada para Marte. Este error no pod atribuirse a o a imprecisin en los datos de Tycho Brahe, y condujo a Kepler al abandono de o la hiptesis de circularidad de las rbitas, liberndose as de la obsesin de o o a o circularidad que nadie hab podido romper desde los griegos, y a la cual no a escap ni el mismo Galileo. Kepler ensay entonces algunas curvas ovaladas o o que le resultaron matemticamente intratables. Finalmente adopt la elipse, a o curva que hab sido estudiada extensamente por los matemticos griegos y a a en particular por Apolonio de Prgamo en el siglo II a. C., y formul sus e o dos primeras leyes: los planetas se mueven en elipses, con el sol ocupando 5

uno de los focos; los radios que unen el sol al planeta barren reas iguales a en tiempos iguales. Estas leyes, publicadas en su Astronom Nova en 1609, a son complementadas diez aos despus con la tercera: los cuadrados de los n e periodos de revolucin de los planetas son proporcionales a los cubos de sus o distancias medias al sol. Esta manera de aproximarse a la realidad, mediante hiptesis matemticas y conceptos geomtricos era resistida por muchos o a e pensadores contemporneos de Kepler. Robert Fludd, por ejemplo, sosten a a que la naturaleza debe ser captada directamente y no partiendo de abstracciones del pensamiento (como los conceptos matemticos) que no permiten a adentrarse en el verdadero ser de las cosas. A esto responde Kepler confesando que efectivamente l ignora el puro interior de las cosas, a menos e que se lo revelen sus relaciones y cualidades, y en particular las relaciones de cantidad. Y agrega: Yo agarro, como t dices, la realidad por la cola, u pero la tengo en la mano; t aspiras, es cierto, a agarrarla por la cabeza, u pero solamente en sueos (Apologia adversus Rob. de Fluctibus, 1622). Esn ta polmica es representativa de las dicultades que tuvieron que vencer las e nuevas concepciones cient cas al enfrentarse a las concepciones del mundo aristotlico-escolsticas. e a

Galileo, Newton y la nueva F sica

Con Galileo asistimos indudablemente al nacimiento de la f sica moderna. A partir de su obra las relaciones entre matemtica y f a sica se vuelven ms a profundas y orgnicas. Galileo cre de modo espontneo en la existencia a a a de una correspondencia perfecta entre matemtica y realidad. Para l, el a e libro de la Naturaleza est escrito en el lenguaje de la matemtica . Pero a a tengamos en cuenta que Galileo acota su campo de investigacin muy precio samente, reducindolo al de las cualidades primarias de los cuerpos, es decir e aquellas que como la forma geomtrica, el tamao, la posicin y la cantie n o dad de movimiento son susceptibles de determinabilidad matemtica. Estas a son las que considera propiedades objetivas de los cuerpos, mientras que las cualidades sensibles (como el color, sabor y olor) las considera de carcter a subjetivo. Suprimamos mentalmente los cuerpos vivos y sus rganos y deo saparecer simultneamente el mundo de las cualidades sensibles , escribe a a en Il Saggiatore. Ms tarde Newton coincidir con Galileo en que el objeto a a de la f sica debe limitarse a las cualidades primarias de los cuerpos. Estos puntos de vista hallan su expresin losca en la doctrina cartesiana de o o 6

la res extensa. Para Descartes, la cualidad esencial del mundo f sico es la extensin. Y siendo la extensin mensurable y matematizable, es posible o o por tanto una Mathesis universalis. Como vemos estas ideas asignan a la matemtica un papel fundamental en el estudio del mundo f a sico, e inuyen poderosamente en su desarrollo. Newton crea su mtodo de uxiones (clculo e a innitesimal) a partir de motivaciones en gran parte mecnicas. Y a su vez a aplica con xito el nuevo mtodo a diversos problemas f e e sicos. Es curioso que en su obra Philosophiae Naturalis Principia Mathematica no utilice el mtodo de uxiones y preera presentar los resultados al modo geomtrico e e clsico, pero es sabido que los resultados fueron hallados originalmente por el a mtodo de uxiones, y luego reformulados en el estilo tradicional. Esto nos e recuerda a Arqu medes y sus trabajos sobre reas y volmenes, quien tama u bin utiliz mtodos de exposicin y de descubrimiento diferentes. Sealemos e o e o n tambin que a partir de los principios f e sicos establecidos por Newton ste e logr deducir matemticamente las rbitas el o a o pticas de Kepler (sin tomar en consideracin, naturalmente, las interacciones gravitatorias entre planetas, o que hacen que las leyes de Kepler no se cumplan estrictamente). De esta manera las secciones cnicas estudiadas por los griegos vuelven a jugar un o papel importante en la historia de la ciencia.

Aplicaciones del clculo a

Durante los dos siglos siguientes a su nacimiento el clculo diferencial e a integral de Newton y Leibniz encontr innumerables aplicaciones a todo tipo o de problemas f sicos. A su vez la f sica motiv el desarrollo de nuevos cono ceptos y mtodos matemticos, como por ejemplo el clculo de variaciones, e a a las series de Fourier y el anlisis vectorial. Es interesante notar que en algua nos casos la f sica no s1o plante problemas matemticos, sino que tambin o o a e ayud a resolverlos. Un ejemplo muy hermoso de esto lo encontramos en el o problema de la braquistcrona, resuelto por Juan Bernoulli. Este problema o consiste en hallar una curva en un plano vertical que una dos puntos O y P. de tal manera que un punto material, movindose sobre ]a curva sin friccin, e o descienda de O a P en el menor tiempo posible. Esta curva fue llamada curva del ms rpido descenso o curva de descenso en tiempo m a a nimo y de all su nombre de etimolog griega: braquistcrona. Observemos que si bien la a o l nea recta entre 0 y P es la de menor longitud. no es sin embargo la de menor tiempo de descenso. Para resolver el problema consideremos un sistema de 7

ejes cartesianos con origen en el punto O, eje Oy vertical dirigido hacia abajo y eje Ox horizontal. Si la part cula parte del origen O con velocidad nula, entonces su velocidad en cualquier punto de la trayectoria ser v = 2gy, a frmula que se deduce de la ley de conservacin de la energ y que Bernoulli o o a conoc perfectamente. Esto lo llev a relacionar el problema con la ptica: a o o un rayo de luz que pasa de un medio a otro en el cual la velocidad de propagacin es distinta, cambia de direccin. Si la velocidad de propagacin o o o var de modo continuo, la trayectoria del rayo ser curva. Pero tambin era a a e conocido el principio de Fermat, segn el cual la trayectoria seguida por un u rayo de luz es tal que el tiempo empleado para ir de un punto a otro sea m nimo. Esto signica que si tuvisemos un medio transparente en el cual la e velocidad de propagacin de la luz variase de acuerdo con la ley v = 2gy o podr amos utilizar rayos de luz para resolver experimentalmente el problema de la braquistcrona. En realidad Bernoulli no intent realizar el experimeno o to, sino que a partir de este punto aplic sus conocimientos matemticos: o a llamando al ngulo de la tangente a la curva con el eje Oy, una pequea a n generalizacin de la ley de refraccin de Snell a medios continuos nos da la o o ecuacin o sen = k (constante) v Por otra parte si es el ngulo de la tangente a la curva con el eje Ox a tenemos y = tg y por lo tanto sen = cos = 1 1 + (y )2 .

Combinando esta ecuacin con la anterior se llega a la ecuacin diferencial: o o y(1 + (y )2 ) = c (constante). La solucin de esta ultima ecuacin no ofrec ninguna dicultad a Bernoulli. o o a Las soluciones son cicloides (curvas generadas por el movimiento de un punto de una circunferencia que rueda sin deslizar sobre una recta). Es interesante mencionar que esta curva ya hab recibido el nombre de tautcrona como a o resultado de los estudios sobre pndulos y medida del tiempo, los cuales e hab mostrado que el pndulo cicloidal tiene un per an e odo independiente de la amplitud de las oscilaciones. La solucin de Bernoulli al problema de la braquistcrona posee una gran o o belleza, debido quizs al contacto inesperado entre dos ramas de la f a sica (la 8

mecnica y la ptica) por intermedio de un mismo modelo matemtico. Este a o a problema y otros semejantes tuvieron enorme importancia para el desarrollo posterior de la Matemtica y de la F a sica. Condujeron al Clculo de Variaa ciones, que desarrollar Euler, Lagrange y otros, y a la fundamentacin de an o la Mecnica sobre principios variacionales. a

F sica y Teor de Probabilidades a

La Teor de Probabilidades se desarroll, como es sabido, a partir del a o estudio de los problemas planteados por los juegos de azar. En sus comienzos grandes matemticos se ocuparon de ella, como Pascal, Bernoulli y Laplace. a Sin embargo pronto se hizo evidente que esta teor tendr gran importancia a a en F sica. Galileo realiz algunas consideraciones sobre los errores en las o medidas que en cierta forma preanuncian la distribucin normal de Gauss. o Laplace publica en 1812 su obra Teora Anal tica de las Probabilidades en la cual escribe profticamente: Es notable que una ciencia que comenz e o con la consideracin de juegos de azar habr de llegar a ser el objeto ms o a a importante del conocimiento humano . De hecho, hoy en d la Probabilidad a y su vstago la Estad a stica ocupan un lugar central en todas las ciencias, Una de las primeras aplicaciones espectaculares de la Teor de Probaa bilidades en F sica fue llevada a cabo por James Clerk Maxwell. En una conferencia pronunciada ante la London Chemical Society en 1875 arma que [Clausius] abri un nuevo campo a la f o sica matemtica... porque sia guiendo su mtodo, que es el unico posible experimental o matemticamente, e a pasamos de los mtodos de la dinmica estricta a aquellos de la estad e a stica y la probabilidad (Kuznesov, [8]). Luego, rerindose a las molculas de e e un gas en equilibrio trmico, arma que las velocidades de las mismas deben e estar distribuidas de acuerdo con alguna ley denida. Esta ley es la distribucin de Maxwell, como se llama desde entonces. Un hecho interesante es o que Maxwell formul la hiptesis de que las tres componentes de la velocidad o o de las molculas respecto de cualquier sistema de ejes cartesianos eran indee pendientes y con valor esperado nulo. Esta hiptesis permite concluir que la o distribucin de velocidades debe ser normal; sin embargo la matemtica de o a la poca no estaba preparada an para suministrar la demostracin. Recin e u o e M. Kac en 1940 y S. Bernstein en 1941 hicieron algunos avances en ese sentido, y no es sino hasta 1954 cuando se publica un trabajo de V. P. Skitovic [15] que resuelve con toda generalidad el problema. El teorema en cuestin o 9

es el siguiente: Sean X1 , X2 , . . . , Xn variables aleatorias independientes, y sean Y1 = a1 X1 + + an Xn , Y2 = b1 X1 + + bn Xn , con todos los coecientes ai y bi no nulos. Si Y1 e Y2 son independientes, entonces las Xi se distribuyen normalmente. De aqu se deduce la distribucin de Maxwell partiendo de sus hiptesis. o o En efecto si X1 , X2 , X3 son las velocidades respecto a un sistema de ejes e Y1 , Y2 , Y3 respecto a otro con el mismo origen y tercer eje coincidente (pero los otros dos no) se deduce que X1 , X2 tienen distribucin normal y por simetr o a tambin X3 . e Como vemos los problemas matemticos planteados por la hiptesis de a o independencia de Maxwell tardaron ms de tres cuartos de siglo en resolverse a satisfactoriamente. Esto no detuvo por supuesto el trabajo de los f sicos, quienes aceptaron la distribucin de Maxwell por razones de tipo f o sico y experimental. Luego de Maxwell, Boltzmann y Gibbs har contribuciones importantes an a la mecnica estad a stica. Sin embargo algunos resultados de Gibbs quedan incompletos, quizs porque como dice N. Wiener la introduccin de la proa o babilidad por Gibbs en f sica ocurri bastante antes de que existiera la teor o a de probabilidades que l necesitaba . Esta opinin llama nuestra atencin e o o sobre el hecho de que, en algunos casos, el aparato matemtico necesario a para una determinada aplicacin no existe; y crearlo no siempre es cosa fcil o a ni que pueda ser realizada de un d para el otro. a

Predicciones de existencia
El rol desempeado por la matemtica en las ciencias f n a sicas se revela del modo ms dramtico en las predicciones tericas de la existencia de objea a o tos o fenmenos nunca observados. Cuando posteriormente las predicciones o resultan conrmadas por la observacin, no es posible dejar de maravillaro se por el poder casi mgico de nuestras herramientas formales. Uno de los a ejemplos ms famosos lo constituye sin duda la proeza de Adams y Le Vea rrier al deducir, a partir de las anomal observadas en la rbita de Urano, as o la existencia de un nuevo planeta (Neptuno) llegando a calcular incluso su masa y su rbita. Luego el astrnomo Galle ubic el planeta en los cielos, o o o con su telescopio, a menos de un grado de diferencia de la posicin indicada o 10

por Le Verrier. Rerindose a este descubrimiento Arago pronunci las sie o guientes palabras: Le Verrier ha apercibido el nuevo astro sin haber tenido necesidad de arrojar una sola mirada hacia el cielo; lo ha visto en el extremo de su pluma . Otro ejemplo fascinante lo hallamos en la teor del campo electromaga ntico de Maxwell. Este gran f e sico realiz una s o ntesis de los conocimientos existentes en su poca sobre electricidad y magnetismo, formulando unas e ecuaciones que describen completamente la estructura del campo electromagntico. Partiendo de sus ecuaciones es posible deducir, mediante manie pulaciones formales, que el campo electromagntico satisface la ecuacin de e o las ondas. En efecto, las ecuaciones de Maxwell en el vac son las siguientes: o E=0

E = B t B b = E t

B=0

siendo E el campo elctrico, B el campo magntico y a y b constantes que e e dependen de las unidades de medida que se adopten. A partir de las dos ultimas ecuaciones se obtiene: 2E 1 = ( 2 t a t B) = 1 a B 1 = t ab ( E)

y usando la identidad ( E) = E + ( E) y la primera ecuacin o E = 0, resulta entonces que E satisface la ecuacin o 2E 1 = E, 2 t ab que es la ecuacin de las ondas. Del mismo modo se prueba el resultado o correspondiente para B. De esta manera Maxwell lleg a la conclusin de que deb existir ondas o o an electromagnticas, prediccin que fue conrmada en 1886 por Hertz quien ese o cribi maravillado; No puede uno evitar el sentimiento de que estas frmulas o o matemticas tienen una existencia independiente y una inteligencia propia, a 11

que son ms sabias de lo que somos nosotros, ms sabias incluso que sus a a propios descubridores . Estas mismas ecuaciones de Maxwell jugar luego un papel importante an en el nacimiento de la teor de la relatividad debido al hecho (tambin a e formal) de no ser invariantes bajo las transformaciones galileanas, pero serlo en cambio bajo las transformaciones de Lorentz-Einstein, En la f sica de part culas tambin existen predicciones notables de este e tipo. La teor matemtica de los grupos fue empleada por Gell-Mann y a a Neeman para formular la as llamada teora del camino ctuple. Esta teor o a permiti a Gell-Mann predecir la existencia de un nuevo barin, que l llam o o e o . Ms tarde, en 1964, esta part a cula fue observada en las fotograf as obtenidas en una cmara de niebla. a

Qu mica y Biolog a
No nos detendremos aqu a analizar detalladamente las relaciones de la Matemtica con estas ciencias. Digamos sin embargo que en general han a sido de carcter ms unilateral, es decir de pura aplicacin, que las existentes a a o entre matemtica y f a sica. En el caso de la Biolog existen problemas que a han contribuido al desarrollo de ciertas ramas de la matemtica; es el caso a de la gentica de poblaciones y los modelos probabil e sticos diseados para n combinar las leyes de la herencia con el azar. Es de esperar que en el futuro las necesidades espec cas de estas ciencias contribuyan a la aparicin de nuevas o teor matemticas. En todo caso es an much as a u simo lo que la matemtica a clsica puede aportar a las ciencias biolgicas y a la medicina. a o

Ciencias sociales y humanas

En las ultimas dcadas tambin en estas ciencias se ha operado un proce e e so de matematizacin creciente. Adems de las aplicaciones de la Teor de o a a Probabilidades y de la Estad stica en la investigacin experimental, se emo plean diversas tcnicas matemticas en Econom estructuras algebraicas en e a a, Ling ustica y Antropolog estructuras algebraicas, topolgicas y de orden a, o en el estudio del desarrollo de la inteligencia (Piaget), la teor de catstrofes a a de R. Thom en diversas ciencias, modelos matemticos en teor de la comua a nicacin, etc. Tambin se aplican disciplinas y teor que sin ser parte de o e as

12

la matemtica tienen un fuerte componente de esta ciencia. Nos referimos a por ejemplo a la ciberntica, la teor general de sistemas, las ciencias de la e a computacin, etc. (vase [10] para un panorama ms amplio). o e a En muchas ocasiones sin embargo se hacen matematizaciones banales, que no resuelven problemas ni ayudan a la mejor comprensin de los miso mos. Si bien estas desviaciones dif cilmente pueden afectar de modo ms a o menos permanente el desarrollo de la ciencia, s pueden desanimar a los investigadores respecto a las posibilidades de los mtodos matemticos en e a su rea espec a ca de trabajo. Sobre este particular no podemos resistir la tentacin de citar a Popper, quien ha escrito en forma inspirada: o En nuestra poca postrracionalista se escriben libros y ms lie a bros en lenguajes simblicos, y se hace ms y ms dif el ver o a a cil por ququ es lo que se trata con todo ello, y por qu habr e e e a de ser necesario, o conveniente, permitir que le aburran a uno tomos y tomos de trivialidades simblicas. Parece como si el o simbolismo se estuviese convirtiendo en un valor por s mismo, que hubiera de reverenciar por su exactitud suprema: una nueva expresin de la antigua bsqueda de la certeza, un nuevo ritual o u simblico, un nuevo sustituto de la religin. o o (Popper, [12] pgina 366 de la versin espaola.) a o n Como ya hemos visto, el propio objeto de estudio de la ciencia f sica, su desarrollo histrico paralelo al de la matemtica, el estrecho entretejido de o a conceptos y teor de ambas ciencias y en n el largo camino recorrido desde as los albores de la civilizacin hasta nuestros d permiten a estas dos ciencias o as multiplicar sus relaciones y fecundarse mutuamente. En otras ciencias naturales, como la Biolog se encuentran al menos sistemas conceptuales muy a, precisos, elaboradas taxonom de los objetos de estudio y procedimientos as metodolgicos bien denidos. Esto abona el terreno para la aplicacin de los o o recursos matemticos. Otra es la situacin en ciencias ms jvenes, en las a o a o cuales muchas veces se manejan conceptos no sucientemente precisos y se realizan clasicaciones ambiguas o articiales. En estos casos la posibilidad de aplicar tcnicas matemticas enfrenta serios obstculos, por no haberse e a a cumplido etapas de maduracin imprescindibles. Esto no signica que la o matemtica no pueda ofrecer ninguna contribucin a estas ciencias; por el a o contrario creemos que, principalmente a travs de un enfoque interdisciplinae rio, es posible un aporte conceptual y metodolgico al proceso de maduracin o o de muchas disciplinas. Esto exige, tanto de parte de los matemticos como a 13

de los dems cient a cos, un esp ritu abierto y humilde y un verdadero deseo de trabajar en favor del desarrollo global de la ciencia.

Las formalizaciones articiales

El innegable xito de los mtodos matemticos en las ciencias naturales e e a ha hecho pensar a muchos que unicamente a travs de la matemtica es po e a sible alcanzar la certeza y la correccin. Este pensamiento toma expresin o o losca en Kant, cuando arma que en cualquier teor sobre la natuo a raleza se encuentra tanto de verdadera ciencia, cuanto en ella se encuentra de matemtica (Fundamentos metaf a sicos de las ciencias de la naturaleza, VII). No entraremos a discutir esta idea (lo cual en todo caso habr que a hacer tomando en cuenta el contexto del sistema kantiano, en el cual la matemtica es concebida esencialmente como el modo de describir las cosas y a los sucesos sujetos al espacio y al tiempo) pero s deseamos observar que puede conducir a un grave error, como es el creer que por el slo hecho de ino troducir mtodos o formalismos matemticos en una determinada disciplina e a se alcanzar un grado de conocimiento ms elevado, una garant de certeza a a a y exactitud. Deber ser obvio que si se desarrolla un modelo matemtico a a estableciendo correspondencias arbitrarias entre sus elementos ideales y los objetos reales de estudio, no cabe esperar que la matemtica luego sea capaz a de obrar milagros. Cuando en mecnica clsica se representan las velocidades mediante veca a tores, se debe a que la operacin formal de sumar vectores, por ejemplo, o corresponde a la ley f sica de composicin de velocidades. Del mismo modo o la utilidad de la ecuacin de una reaccin qu o o mica como 6 HCl + 2Al = 2AlCl3 + 3 H2 es consecuencia de que el formalismo utilizado realmente reeja ciertas leyes de la qu mica (las de Lavoisier, Proust, Dalton, Avogadro, etc.) y permite, por lo tanto, extraer conclusiones cuantitativas vlidas. a Cuando en cambio se hacen formalizaciones que carecen de este componente vital, el valor explicativo, predictivo o instrumental de los modelos se vuelve nulo. De hecho existe un gran peligro: a veces partiendo de una de estas formalizaciones articiales se extraen conclusiones y se pretende que estn matemticamente fundamentadas . Este es el caso con muchos moa a delos matemticos del comportamiento social o econmico, que suelen ocultar a o la endeblez de sus supuestos bsicos bajo el manto de sosticadas tcnicas a e matemticas o computacionales. a 14

La medida de la inteligencia
Debido a la gran dicultad de denir con precisin el concepto intuitio vo de inteligencia, muchos psiclogos (comenzando por Binet) han intentado o dar deniciones operacionales, diseando tests y midiendo la inteligencia por n medio de ellos. De esta manera a cada persona se le asigna un nmero (que u en denitiva depende del criterio de quien diseo el test) y se le clasica de n acuerdo al mismo. No deseamos aqu cuestionar la validez de estos recursos y tcnicas de la psicolog experimental. Sin embargo observemos cuan fcil e a a y hasta natural resulta efectuar operaciones con los coecientes de inteligencia y extraer engaosas conclusiones. Por ejemplo si aceptamos que el C. I. n realmente representa la habilidad de un individuo para resolver cierto tipo de problemas, qu representa el promedio de los C. I. de un grupo humano? e Representa acaso la habilidad del grupo para resolver problemas colectivamente? En nuestra opinin, deber ser evidente que no es as Sin embargo o a . es bastante corriente aceptar impl citamente, sin anlisis cr a tico, extrapolaciones injusticadas y falsas obtenidas a partir de modelos cuya estructura interna no guarda correspondencia adecuada con la realidad a la cual pretende aplicarse. De esta manera se presentan como opiniones cient cas lo que no son ms que groseros prejuicios ideolgicos, pol a o ticos o raciales. Baste como ejemplo de lo dicho la propuesta de William Shockley de esterilizar a los negros norteamericanos sobre la base de su inferioridad intelectual , supuestamente revelada por los tests de inteligencia (vase Vloebergh, e [19]).

Matemtica e interdisciplinaridad a
El concepto de interdisciplinaridad abarca en verdad muchos signicados y matices diferentes. La idea comn es la del contacto entre disciplinas u diferentes, o incluso entre distintas ramas de una misma disciplina, ya sea para resolver un problema concreto, para comparar distintos enfoques y metodolog aplicados a una misma situacin, o bien en algunos casos para as o crear nuevas disciplinas. Ya hemos visto como en la solucin del problema o de la braquistcrona participan la mecnica y la ptica, establecindose el o a o e contacto por medio de la matemtica. Ejemplos como ste se encuentran a a e menudo, cada vez que a fenmenos diferentes corresponden representaciones o matemticas semejantes o incluso idnticas. El movimiento de una masa que a e 15

cuelga de un resorte, por ejemplo, se describe mediante una ecuacin difereno cial de segundo orden del mismo tipo que la que rige el comportamiento de un circuito elctrico L-R-C. Contactos de este tipo son de una gran importancia e en la prctica. Permiten resolver problemas de hidrulica o aerodinmica a a a estudiando circuitos elctricos equivalentes, los cuales son mucho ms fciles e a a de construir, manipular y modicar. Esta es la base de las computadoras analgicas. o Otro tipo importante de esfuerzos interdisciplinarios son aquellos que han conducido al nacimiento de nuevas ramas del conocimiento cient co. Durante la segunda guerra mundial el matemtico Norbert Wiener tuvo a su a cargo un proyecto destinado a desarrollar sistemas de control para ser usados por la artiller antiarea. Como consecuencia de una consulta hecha a un a e silogo, el Dr. Rosenblueth, se gener un fruct o o fero intercambio de ideas que condujo a la realizacin de experimentos conjuntos. El alcance de las investio gaciones se ampli rpidamente y otros cient o a cos se unieron al grupo inicial. entre ellos los matemticos John von Neumann y W. Pitts, los silogos Mc a o Culloch y Lorente de No, el psiclogo Kurt Lewin, los antroplogos G. Bateo o son y Margaret Mead, el economista Oscar Morgenstern y varios ingenieros, f sicos, socilogos, neurosilogos, etc. De all naci la ciberntica, disciplina o o o e que no tardar en extender su esfera de inuencia a los ms diversos campos. a a El propio Wiener aclara su punto de vista respecto a la investigacin o interdisciplinaria en los siguientes trminos: e Durante muchos aos ambos compartimosse reere al silogo n o Rosenbluethla idea de que las reas en las que las ciencias a pod realizar progresos ms importantes eran precisamente aquean a llas que hab sido dejadas de lado, como tierras de nadie, entre an campos cient cos perfectamente delimitados. Rosenblueth hab a insistido siempre en el hecho de que una exploracin adecuada de o estos espacios vac del mapa de la ciencia solamente podr ser os a realizada por un equipo de cient cos, cada uno de los cuales fuese un especialista en su materia y estuviese, adems, en posesin a o de un conocimiento bastante amplio de los campos de trabajo de sus compaeros. n (Wiener, [20]). Otro ejemplo de caracter sticas semejantes lo encontramos en la Teor de a Juegos, desarrollada a ra de la colaboracin entre John von Neumann y Osz o car Morgenstern en torno al problema de la toma de decisiones en situaciones 16

conictivas. Tambin la Investigacin de Operaciones es el fruto del trabajo e o de un equipo interdisciplinario durante la segunda guerra mundial. Media docena de cient cos de diversas disciplinas fueron convocados por el gobierno ingls para estudiar el mejor mtodo de defensa contra los bombardeos e e alemanes, con los recursos disponibles. El xito de las tcnicas emanadas de e e este grupo fue tal que se aplicaron de inmediato a muchos otros problemas blicos (deteccin de submarinos, profundidad ptima para las cargas de proe o o fundidad, tcticas de defensa de los barcos frente a los kamikazes japoneses, a etc.) y despus de la guerra a problemas econmicos. e o En un plano ms cotidiano, los matemticos participan de diversas maa a neras en toda clase de equipos interdisciplinarios dedicados a la investigacin cient o ca, ya sea sta bsica o aplicada. Es preciso reconocer que este e a proceso no est libre de dicultades y obstculos. Es sabido que muchos a a matemticos, an teniendo buena voluntad y disposicin para el trabajo en a u o equipo, encuentran serias dicultades de comunicacin con los representano tes de otras disciplinas. Esto no se debe tanto a la carencia de un lenguaje comn corno al hecho de que, debido al tipo de entrenamiento recibido, el u matemtico trabaja con conceptos muy precisamente delimitados y se le haa ce dif aceptar los planteamientos ms o menos vagos comunes en otros cil a campos. As por ejemplo se apresurar a decir que determinado problema a no tiene solucin, o que no est correctamente formulado para ser analizado o a matemticamente; y probablemente tendr razn, pero sin tener en cuenta a a o que pueden existir condiciones o hiptesis impl o citas o sobreentendidas en el problema real, que los especialistas de otras disciplinas quizs consideren oba vias y no se molesten en aclarar. Esto tambin conduce a veces a soluciones e correctas matemticamente pero carentes de sentido f a sico, o irrealizables por motivos prcticos. Estas dicultades naturalmente slo logran resolverse a la a o larga mediante el trabajo conjunto, y son apenas un pequeo precio a pagar n a cambio de grandes benecios.

Matemtica pura vs. matemtica aplicada a a

Segn la tradicin, cuando uno de sus disc u o pulos pregunt a Euclides o Qu ganar aprendiendo estas cosas? , Euclides llam a su esclavo y le e e o orden Dadle una moneda, ya que desea ganar algo con lo que aprende. o Este relato nos muestra la existencia de dos puntos de vista extremos y antagnicos respecto de la matemtica. Para uno de ellos, la matemtica o a a 17

slo se justica por sus aplicaciones, por su carcter utilitario. Para el otro, o a la matemtica es valiosa en s misma, independientemente de cualquier aplia cacin: es una forma de arte. Una de las ms clebres polmicas entre estas o a e e dos concepciones tuvo lugar en 1830 entre Fourier y Jacobi. El primero de ellos, autor de la famosa Teor analtica del calor, no sent gran aprecio a a por las investigaciones matemticas que consideraba demasiado tericas y a o alejadas de la realidad. En un informe que present a la Academia de Cieno cias de Par sobre los trabajos de Jacobi y Abel en la teor de funciones s a el pticas se lamentaba de que cient cos tan valiosos dedicasen su tiempo a esas especulaciones tericas. Jacobi, por su parte, pensaba que el objetivo o de la ciencia era unicamente el honor del esp ritu humano. La polmica se e vi interrumpida por la muerte de Fourier, pero el tiempo se encargar de o a mostrar las limitaciones de ambas posiciones, al encontrar los trabajos de Jacobi aplicaciones prcticas y los de Fourier important a simas consecuencias tericas. o Hoy en d la interdependencia entre teor y aplicaciones es total. Los a a ejemplos histricos que muestran lo ilusorio de separar lo puro de lo aplicado o tambin son muchos. Hemos visto por ejemplo cmo Kepler aprovech la e o o teor de las secciones cnicas de Apolonio. Del mismo modo la teor de a o a grupos, que tiene su origen en los trabajos puros de Galois sobre la resolubilidad de ecuaciones algebraicas por radicales, encontrar luego aplicaciones a en qu mica, mecnica cuntica, f a a sica de part culas, etc. El aparato matemtico utilizado por Einstein en su teor general de la a a relatividad es tambin el resultado de una larga evolucin terica de la geoe o o metr que pasa por la teor de supercies de Gauss, las geometr no a, a as euclidianas, la geometr de Riemann y los trabajos de Ricci y Levi-Civitta a sobre lo que hoy en d llamamos clculo tensorial. Todos estos desarrollos a a tericos estaban, en su origen, rmemente ligados a problemas reales (esto es, o del mundo f sico) pero fueron llevados a grados de abstraccin y profundidad o superiores a las posibilidades de aplicacin prctica que tuvieron en su poca. o a e Arqu medes pudo quizs haber utilizado la propiedad focal de la parbola a a para construir espejos parablicos con los cuales incendiar los nav romanos o os que sitiaban Siracusa, sin embargo esta aplicacin est muy lejos de agotar o a el potencial terico de la obra de Apolonio, que muchos siglos ms tarde o a Kepler encontrar adecuada a sus necesidades. A veces se pretende restar a importancia a estas consideraciones. Morris Kline, por ejemplo, arma en una de sus notas introductorias a una recopilacin de art o culos de Scientic American ([7] pp. 260 y 261 de la edicin en espaol) que despus de todo o n e 18

las elipses no eran las curvas que Kepler necesitaba, puesto que las rbitas o de los planetas (debido a las interacciones gravitatorias entre ellos, etc.) no son realmente elipses. Del mismo modo dice que Einstein hizo lo mejor que pudo con el clculo tensorial, que casi seguramente no era la herramienta a ms adecuada posible sino tan slo lo que hab disponible. Estas curiosas a o a opiniones, sobre todo proviniendo de un conocedor de la historia de la ciencia como Kline, nos llaman poderosamente la atencin. Parecen ignorar totalo mente la forma en que se desarrolla el conocimiento cient co, criticndose y a superndose a s mismo constantemente. Cmo hemos llegado a saber que a o las rbitas de los planetas no son exactamente elipses? No es acaso a travs o e de un largo desarrollo, que pasa necesariamente por Kepler y Newton? Por cierto que las teor f as sicas son a la larga superadas y sustituidas o absorbidas por otras que las perfeccionan y generalizan. Pero esto no les quita su importancia, por el contrario, las convierte en hitos en el desarrollo histrico o del conocimiento. Creemos que resulta claro, si se examina la historia de la ciencia, que para el propio bien de la ciencia aplicada son necesarias las investigaciones tericas. El historiador de la ciencia Ren Taton ha expresado esta idea con o e las siguientes palabras: Si se considera la utilidad como unico punto de referencia es in discutible que los descubrimientos tericos ms fecundos en aplio a caciones prcticas han sido a menudo aquellos que en sus or a genes parec ms abstractos, ms alejados de la realidad concreta. an a a Las investigaciones tericas presentan, pues, un inters primoro e dial para el futuro progreso de las ciencias aplicadas. (Taton, [16] pg. 28.) a En uno de sus brillantes Dilogos sobre matemticas el matemtico hngaro a a a u A. Rnyi pone en labios de Arqu e medes las siguientes palabras: ...la matemtica revela sus secretos slo a aquellos que se le acercan con puro amor, a o por su propia belleza. Quienes esto hacen, son tambin recompensados con e resultados de importancia practica. Pero si alguien pregunta a cada paso cmo puedo sacar provecho de esto?, no llegar muy lejos (Rnyi, [13]). o a e

19

La matemtica para s misma a

El punto anterior est relacionado con otra cuestin importante de la cual a o an no hemos hablado. Se trata del carcter espec u a co de la matemtica como a ciencia, como sistema de conocimientos estructurado y orgnico. En verdad a creemos que gran parte del poder de la matemtica es consecuencia de su a carcter unitario, que la identica indubitablemente como una sola ciencia a a pesar de los cientos de ramas y subramas que comprende. Esta unidad se maniesta dentro de la matemtica en los contactos a a veces inesperados que suelen establecerse entre ramas aparentemente muy alejadas. Por otra parte plantea ciertas exigencias, que los planicadores y ejecutores de la pol tica cient ca y tecnolgica deber tomar en cuenta. o an En primer lugar tenemos la necesidad de la investigacin bsica. Sin ella o a no slo no se producir nuevos conocimientos, sino que ni siquiera ser o an a posible aplicar los ya existentes. En efecto, los conocimientos matemticos a no se encuentran disponibles para ser usados de inmediato por cualquiera, como las recetas de un libro de cocina. Slo para comprender, asimilar y o posiblemente aplicar cualquier resultado matemtico tal como se publican a en la literatura especializada, se requiere de matemticos con experiencia en a investigacin. o Una segunda exigencia se reere al desarrollo equilibrado de las distintas ramas que componen el rbol de la matemtica. Seria dif desarrollar una a a cil de ellas en un ambiente carente de especialistas en las dems. a

Matemtica y belleza a
La apreciacin esttica de la matemtica es, a no dudarlo, uno de los o e a elementos intr nsecos que ms han contribuido a orientar su desarrollo. El a gran pensador y matemtico Henri Poincar, en una conferencia pronunciada a e ante la Sociedad Psicolgica de Par a comienzos de este siglo, analiza el o s misterio de la creacin en matemticas y le atribuye un rol singular o a simo a la sensibilidad en este proceso (Poincar, [11]). Por su parte el matemtico e a ingls G. H. Hardy escribi: e o Las conguraciones construidas por un matemtico, lo mismo a que sucede con las de un pintor o un poeta, deben poseer belleza; las ideas, los colores y las palabras deben ensamblarse de un modo armnico. La belleza es la primera piedra de toque; en el mundo o 20

no hay un lugar permanente para las matemticas desagradables a desde el punto de vista esttico. e (Hardy, [6].) Agreguemos que el libro citado (A methematicians apology) fue recensado por Graham Greene, quien lo consider, junto a los cuadernos de Henry o James, como la mejor descripcin de lo que signica ser un artista creador. o Es muy interesante encontrar puntos de vista similares en un gran f sico como lo fue Dirac. Comentando el modo como Schrdinger (quien comparti o o con Dirac el premio Nobel de f sica en 1933) obtuvo por primera vez su famosa ecuacin de ondas, abandonando luego el trabajo por algunos meses o debido a que al aplicarla al tomo de hidrgeno los resultados no concordaban a o con los experimentos, Dirac nos dice que entonces se introdujo una segunda ecuacin aproximada y ms tosca, que no tomaba en cuenta los renamientos o a relativistas de la primera. Sin embargo cuando por n se descubri el spin o del electrn y la forma correcta de tomarlo en cuenta, la ecuacin relativista o o original revel su verdadero valor y concordancia con la experiencia. Entonces o Dirac extrae la siguiente conclusin: o Parece que si uno trabaja desde el punto de vista de obtener belleza en sus propias ecuaciones, y si se tiene realmente una intuicin profunda, entonces est en una l o a nea segura de progreso. Si no existe completo acuerdo entre sus resultados y sus experimentos, no se deber permitir desanimarse, porque la discrepancia a puede muy bien deberse a caracter sticas de menor importancia que no se tomaron propiamente en cuenta y que sern aclaradas a con ulteriores desarrollos de la teor a. (Dirac, [4].) En denitiva, creemos que los elementos estticos, en matemtica y en e a otras ciencias, juegan un rol importante y deber recibir la atencin debida. an o

A modo de conclusin o
Hemos reexionado acerca de la matemtica desde diversos ngulos. Por a a medio de algunos ejemplos hemos visto cmo inuyen sobre su desarrollo o las relaciones que mantiene con las otras ciencias y la necesidad de resolver problemas concretos. 21

Pero la matemtica tiene tambin una vida interior que parece desenvola e verse de acuerdo con sus propias leyes, y en la cual imperan la belleza y el misterio de la creatividad. De este modo, de ella misma surgen constantemente ideas, problemas y teor que la enriquecen y expanden sus fronteras. as Creemos que tanto aquellos matemticos que han desestimado por coma pleto las aplicaciones, poniendo todo su empeo en crear obras de arte n perdurables (como Hardy, [6]) o persiguiendo nes espirituales superiores (como es el caso de Shafarevitch, vase Davis [3]), como aquellos otros que e dotados quiz de una mayor sensibilidad social y menos prejuicios ideolgicos a o han puesto su capacidad al servicio de todo tipo de aplicaciones (como Richard Bellman) han contribuido por igual, en la medida de su talento, al engrandecimiento de la ciencia. Ya hemos mencionado, por otra parte, que frecuentemente los desarrollos ms puros encuentran aplicaciones prcticas a a y los trabajos aplicados abren nuevos campos a la investigacin bsica. De o a hecho creemos que ambos aspectos de la matemtica, el puro y el aplicado, a se conjugan ntimamente y hasta llegan a ser inseparables.

22

Bibliograf a
[1] Arqu medes, El Mtodo, Eudeba, Buenos Aires, 1966. e [2] Cassirer, E. El Problema del Conocimiento, tomo l, Fondo de Cultura Econmica, Mxico, 1953. o e [3] Davis, P. J., Hersh, R. The Mathematical Experience, Birkhuser, Bosa ton, l981. [4] Dirac, P. A. M. La Evolucin de la Imagen del F o sico de la Naturaleza, en [7]. [5] Frey, G. Der mathematisierung unserer Welt, Kohlammer Verlag, Stuttgart. Hay traduccin: La matematizacin de nuestro universo, G. del o o Toro, Madrid, l972. [6] Hardy, G. H. A Mathematicians Apology, Cambridge University Press, 1967. Hay traduccin: Autojusticacin de un matemtico, Ariel, Baro o a celona, 1981. [7] Kline, M. (ed.) Mathematics in the Modern World, W. H. Freeman, San Francisco, 1968. Hay traduccin: Matemticas en el mundo moderno, o a Blume, Madrid, 1974. [8] Kuznesov, B. G. Maxwells electrodynamics, its origins, development and historical value, Trudy Inst. Istor. Estetuoznan Tehn 1955. [9] Lakatos, I. Mathematics, Science and Epistemology, Cambridge University Press, 1978. Hay traduccin: Matemticas, Ciencia y Epistemologia, o a Alianza, Madrid, 1981.

23

[10] Messik, D. M. (ed.) Mathematical Thinking in Behavioral Sciences, W. H. Freeman, San Francisco, 1968. Hay traduccin: Matemticas en las o a Ciencias del Comportamiento, Alianza, Madrid, 1974. [11] Poincar, H. La creacin matemt` e o a ca, en Ciencia y Mtodo, Espasae Calpe Argentina, Buenos Aires, 1946 y tambin en [7]. e [12] Popper, K. La Igica de la investigacin cient o o ca, Tecnos, Madrid, 1962. [13] Renyi, A. Dialogues on Mathematics, Holden-Day 1967. [14] Russell, B. My philosophical development, Allen & Unwin, 1959. Hay traduccin: La evolucin de mi pensamiento losco, Alianza Editorial, o o o Madrid, 1976. [15] Skitovic, V. P., Izvestia Acad. Nauk SSSR vol. 18 (1954), 185200. [16] Taton, R. Causalits et accidents de la dcouverte scientique, Masson e e et Cie., Paris, 1967. Hay traduccin: Causalidad y accidentalidad de los o descubrimientos cientcos, Editorial Labor, Barcelona, 1973. [17] Thom, R. Les mathmatiques modernes: une erreur pdagogique et phie e losophique? Lage de la science 3 (1970), 225256. Hay traduccin: o Matemticas modernas y matemticas de siempre, en La enseanza de a a n las matemticas modernas, Alianza Editorial, Madrid, 1978. a [18] Thom, R. Mathmatiques modernes et mathmatiques de toujours, en e e Pourquoi la mathmatique?, R. Jaulin (ed.), Paris, 1974. Hay traduccin: e o Matemticas modernas y matemticas de siempre, en La enseanza de a a n las matemticas modernas, Alianza Editorial, Madrid, 1978. a [19] Vloebergh, A. Medidas de la inteligencia: el debate vuelve a la actualidad, Mundo Cient co No. 6 (versin en castellano de La Recherche), o 1981. [20] Wiener, N. Cybernetics, Scientic American, 179(5), nov. 1948, 1419. Se halla traducido en las referencias [7] y [10]. [21] Wigner, E. P. The unreasonable eectiveness of mathematics in the natural sciences, Communications in pure and applied mathematics, Courant Institute, 1960. 24