Professional Documents
Culture Documents
APLICACIONES
1. INTRODUCCIN
Deca el matemtico alemn Hermann Hankel que en la mayora de las ciencias
una generacin derriba lo que otra ha construido y lo que una ha hecho otra lo deshace.
Slo en matemticas cada generacin aade un nuevo piso a la vieja estructura.
Trataremos en esta primera leccin del curso acadmico 2003-2004 de ver cunta razn
tena Hankel, mostrando la evolucin a travs de la historia de la humanidad de unos
conocimientos en principio muy rudimentarios y ligados a los problemas cotidianos,
que terminaran por convertirse en ciencia, la ms antigua de todas, hasta el vertiginoso
desarrollo que ha adquirido en nuestros das. Aclararemos a lo largo de esta disertacin
que los propios matemticos tienen distintas formas de entender su ciencia, sobre todo
cuando se presenta el dilema matemticas puras o matemticas aplicadas. Y
finalizaremos analizando algunas situaciones que se dan en otras ramas del saber donde
se abusa del lenguaje matemtico sin que se justifique la necesidad de su utilizacin.
Aristteles sostiene que se debe a los sacerdotes, que disfrutaban del ocio necesario para
desarrollar cualquier conocimiento terico. En todo caso, en las matemticas egipcias
no aparece ningn teorema ni demostracin formal.
Otra gran civilizacin exista en el valle de Mesopotamia cuatro milenios antes
de nuestra era, la llamada genricamente civilizacin babilnica. El modelo de escritura
cuneiforme creado por los sumerios qued plasmado en tablillas de arcilla blanda que,
una vez escritas, se cocan en hornos o se endurecan secndolas al sol. Estas tablillas,
de las que se conservan decenas de miles, han soportado el paso del tiempo mucho
mejor que los papiros egipcios, de modo que se posee una abundante documentacin
sobre la civilizacin babilnica, muy superior a la que se conserva de la tierra de los
faraones.
En lo que nos concierne, que son las matemticas, recordemos que usaban un
sistema de numeracin posicional, por lo cual no precisaban de muchos signos para
representar los nmeros, y que en terminologa moderna su base era 60. Se
desconoce el porqu de esta extraa eleccin, que da origen a un sistema de numeracin
sexagesimal y que an hoy persiste en nuestro mundo decimal para medir ngulos y
tiempo. Razones de tipo astronmico? Quizs se adoptase la base 60 de forma
consciente, por intereses exclusivamente metrolgicos, puesto que esa unidad se puede
dividir fcilmente en dos, tres, cuatro, cinco, seis, diez, doce, quince, veinte y treinta
partes iguales, esto es, 60 permite diez subdivisiones exactas, mientras que nuestra base
decimal slo posee dos [4].
La superioridad de la aritmtica y lgebra babilnicas sobre las egipcias es
abrumadora. Dominaban las operaciones elementales, extendieron el principio
posicional a las fracciones, idearon algoritmos para calcular races cuadradas y cbicas
con aproximaciones asombrosamente precisas, y escribieron tablillas con las potencias
sucesivas de un nmero dado, que es el secreto de los logaritmos. En lgebra pasaron de
la resolucin de ecuaciones lineales de primer grado a sistemas de ecuaciones y
ecuaciones de segundo grado, incluso de grado tres. Se aceptaba que la civilizacin
mesopotmica haba alcanzado en aritmtica y lgebra un desarrollo superior al de la
egipcia lo cual es evidente a la vista de lo que acabamos de decir pero que sta
superaba a aqulla en geometra. Sin embargo, a raz de los ltimos descubrimientos,
esta afirmacin final es discutible, pues los babilonios conocan el teorema de Pitgoras,
como se puede ver en una tablilla que contiene al menos quince ternas de nmeros
tradicin literaria, con poetas picos como Homero, y ms didcticos como Hesodo.
Otro hecho que influy mucho fue la especial concepcin griega de la religin, con su
antropomorfismo: sus mitos, dioses y cultos estn relacionados con la naturaleza. Ello
les libera de la bsqueda de justificaciones extranaturales y esotricas, convirtiendo al
hombre en el centro de su universo.
Pitgoras vivi en el siglo VI aC y su legendaria escuela es una mezcla de
filosofa, religin y matemticas. No es fcil entender la evolucin del misticismo
pitagrico a las matemticas si no se acude al orfismo, es decir, a la relacin entre la
armona musical y la armona reflejada en los nmeros. Pitgoras conoca la relacin
existente entre las longitudes de las cuerdas de la lira y los acordes de sus sonidos.
Cuando la longitud de la cuerda se reduca a la mitad, esto es, en la relacin 1:2, se
obtena la octava; cuando estas relaciones eran 3:4 2:3 resultaban la cuarta y la quinta,
respectivamente. En estas razones aparecen los cuatro primeros nmeros naturales 1, 2,
3, 4, que si se apilan forman un tringulo equiltero y suman diez, nmero mstico, que
coincide con la suma de las caras y aristas de un tetraedro. Para los pitagricos el
nmero es la esencia de todas las cosas ([4],[28],[31]).
Curiosamente, pese a la mstica de los nmeros, las contribuciones aritmticas
de la escuela pitagrica no fueron tan importantes si se comparan con las que realizaron
en geometra. Quizs ello se deba a un hecho trascendental: el descubrimiento de los
nmeros irracionales. Para los griegos los nmeros se reducan a los enteros y a los
fraccionarios positivos, de modo que dadas dos cantidades diferentes o la mayor es un
mltiplo de la menor o es un mltiplo de una parte de la menor. Pues bien, miembros de
esta escuela descubrieron que la diagonal de un cuadrado no es mltiplo entero de
ninguna parte de su lado, o dicho de otra forma y ms en consonancia con el teorema de
Pitgoras, la hipotenusa de un tringulo rectngulo issceles es inconmensurable con el
cateto. Este hecho supuso un gran desconcierto y un duro golpe a la teora de la armona
numrica, hasta tal punto que segn la leyenda los pitagricos se juramentaron para
no dar a conocer ni propagar este hallazgo.
El siglo V aC fue el siglo de oro de la civilizacin griega, el siglo de Pericles, en
el cual la literatura, el teatro, la msica, la escultura y la filosofa alcanzaron cotas
inigualables. Y tambin la lgica, la metafsica, la tica, la teora del conocimiento..,
aspectos relacionados con las matemticas.
Zenn, discpulo de Parmnides de Elea, critica acerbamente algunas de las
concepciones pitagricas, por ejemplo, la del movimiento como suma de pequeas
5
etapas, como hace en la paradoja, entre otras, de Aquiles y la tortuga, donde Aquiles
el de los pies ligeros no alcanzara nunca a una tortuga, por escasa que sea la
distancia que medie entre este lento animal y el corredor. Quizs contribuy, sin
quererlo, a eliminar toda referencia al infinito de las matemticas griegas.
Aunque en el siglo V aC todava las matemticas griegas no estn
sistematizadas, ya se plantean los tres problemas clsicos de la geometra: la cuadratura
del crculo, la triseccin del ngulo y la duplicacin del cubo, y su resolucin mediante
regla y comps, es decir, efectuando construcciones que slo involucraran rectas y
circunferencias. Algunos de estos problemas tienen su origen en la mitologa y las
leyendas. As, el ltimo problema tambin se conoce como problema de Delfos, porque
una delegacin ateniense visit el orculo de Apolo sito en dicho lugar para que este
dios les ayudara a acabar con la peste que se haba propagado por Atenas en el ao 429
aC. El orculo les pidi a cambio que deberan duplicar el ara de Apolo, que era de
forma cbica. Inmediatamente los atenienses doblaron el lado del cubo, pero esa no era
la solucin, pues el volumen del altar no se duplicaba sino que se multiplicaba por ocho.
La influencia de la geometra, como decamos antes, en el desarrollo de las
matemticas es bien significativa, fundamentalmente debida a Platn y su Academia,
fundada el ao 387 aC. Podramos encontrar la justificacin en las teoras de las ideas y
del conocimiento de Platn, as como en el especial papel desempeado por las
matemticas en su propia concepcin filosfica y del mundo, donde los entes
matemticos aparecen como intermediarios entre el mundo de las ideas y el mundo de
las cosas.
Aqu nos interesa subrayar el aspecto formativo y de utilidad del conocimiento
matemtico para el estudio de otras ciencias. As, en la Repblica, Scrates razona con
Glaucn No has observado tambin que los que han nacido para calculistas tienen
gran facilidad para todas o casi todas las enseanzas y que hasta los espritus tardos,
cuando se han educado y ejercitado en el clculo, aunque no deriven de l otra ventaja,
s obtienen, por lo menos, volverse ms sutiles de lo que eran antes?. Ante el
asentimiento de Glaucn, prosigue Scrates Por tanto, ordenaremos a los ciudadanos
de nuestro estado que no desprecien el estudio de la geometra, tanto ms cuanto que,
adems de esta ventaja principal de elevar el alma hacia la verdad, tiene otras que no
son despreciables. Se refera a cmo una buena formacin matemtica facilita el
estudio de otras ciencias. No es de extraar que en el prtico de la Academia figurara la
frase Que no entre quien no sepa geometra ([6],[31]).
6
duda metdica, no como caracterstica del escptico, sino como va para liberarnos de
toda incertidumbre; la relacin entre la intuicin o evidencia y el encadenamiento
deductivo; y la separacin radical de sujeto y objeto. Asegura que las matemticas
tienen invenciones sutilsimas que pueden satisfacer tanto a los curiosos como facilitar
todas las artes y disminuir el trabajo humano, asombrndose de que sobre tan slidos
fundamentos no se hubiera edificado nada ms importante [31].
Podra sonar a falta de humildad las palabras con las que concluye su Gomtrie:
Espero que nuestros descendientes me estn agradecidos no slo por las cosas que aqu
expliqu, sino tambin por aqullas que voluntariamente omit para proporcionarles el
placer de descubrirlas. En realidad esta frase refleja la especial concepcin que
Descartes tena de las matemticas. No senta ningn inters por el aspecto formal de las
mismas: que los dems demuestren lo que l ya haba encontrado.
Pierre Fermat (1601-1665) es el creador de la moderna teora de nmeros. En los
mrgenes de un ejemplar de la edicin latina de la Aritmtica de Diofanto afirmaba
Fermat: es imposible descomponer un cubo en suma de dos cubos o un bicuadrado en
suma de dos bicuadrados, o en general cualquier potencia en suma de dos potencias de
igual exponente, con excepcin del cuadrado. He encontrado una demostracin de esta
proposicin, realmente maravillosa, pero el margen del libro es demasiado estrecho para
contenerla. En otras palabras, lo que aseguraba Fermat es que la ecuacin
x n + y n = z n , donde x, y, z y n han de ser enteros positivos, slo tiene solucin
cuando n = 2 . Este aserto se mantuvo como una conjetura durante ms de tres siglos,
desafiando a toda la comunidad cientfica, hasta que recientemente, en el ao 1995, el
matemtico britnico Andrew Wiles demostr el teorema, dando la razn a Fermat.
Relacionado con los juegos de azar surge en el siglo XVII el clculo de
probabilidades, cofundado por Fermat y Blaise Pascal (1623-1662). Por cierto, Pascal
construy cuando slo tena 18 aos de edad una mquina de calcular, por lo que se le
considera el iniciador del clculo mecnico.
Otra lnea de estudio e investigacin que se abre en este siglo, muy alejada de la
realidad, es la geometra proyectiva, gracias a Girard Desargues (1593-1661), ingeniero
militar y arquitecto, pese a confesar que no le interesaba la investigacin cientfica sino
en cuanto puede ofrecer al espritu un medio de lograr algn conocimiento... de las
cosas que puedan traducirse en actos para la conservacin de la salud o en sus
aplicaciones en la prctica de algn arte.
13
Otro campo que se inicia en este siglo es el clculo infinitesimal. El infinito est
presente en la sucesin indefinida de los nmeros enteros y el infinitsimo en la
posibilidad de dividir indefinidamente un segmento dado. Los mtodos infinitesimales
ya se manejaban en el mismo momento en que las matemticas nacen como ciencia, en
la Grecia clsica, debido a la categora y rigor que aportan la teora de las proporciones
y el mtodo de exhaucin de Eudoxo, que Arqumedes mejora significativamente al
aadir el postulado de continuidad. Lamentablemente, el manuscrito El Mtodo, donde
Arqumedes explicaba su teora se crey desaparecido, hasta que fue redescubierto en
un palimpsesto en 1906. Todos los historiadores coinciden en que este hecho fren el
desarrollo del clculo infinitesimal. Tambin hubo circunstancias externas que
impulsaron el surgimiento de este nuevo clculo, como fueros las necesidades de la
fsica y de la astronoma.
Destaquemos en este campo a Luca Valerio (1552-1618), al que Galileo
consideraba como el Arqumedes de nuestro tiempo; al polifactico astrnomo
alemn Johannes Kepler (1571-1630), del que recordamos como ancdota que en su
obra matemtica Nova stereometria doliorum vinariorum resuelve un problema prctico
que le plantearon unos viticultores ante una cosecha extraordinaria de uvas sobre
qu dimensiones deberan tener los toneles con igual volumen para que el material
empleado en su construccin fuera mnimo; Bonaventura Cavalieri (1598-1647), con su
mtodo de integracin basado en los indivisibles; Giles Personne de Roberval (16021675); el jesuita belga Gregorius Saint Vincent (1584-1667); el fsico Christian
Huygens (1629-1695); James Gregory (1638-1695) y John Wallis (1616-1703).
Despus de tantos siglos de estancamiento y parlisis se avanza muy
rpidamente, aunque a costa de descuidar el rigor y la fundamentacin de las pruebas.
Para ilustrar esta falta de rigor caracterstico de esta poca, recordemos que Simon
Stevin calcul el centro de gravedad de un paraboloide de revolucin utilizando el
mismo mtodo con el cual Arqumedes dedujo la cuadratura del segmento parablico.
Pero la diferencia es sustancial. En la prueba aparece una sucesin, resultando
asombroso que mientras Arqumedes logra una demostracin incontestable por su rigor,
mediante el mtodo de exhaucin, 1800 aos despus Stevin colige su afirmacin del
anlisis de los tres o cuatro primeros trminos de dicha sucesin, sin verificar nada ms.
Todos los matemticos que acabamos de citar actuaron como precursores y
prepararon el terreno para que dos genios de la talla de Newton y Leibniz fundaran
simultneamente el clculo infinitesimal como una rama importante de las matemticas,
14
que hoy conocemos como anlisis matemtico, si bien durante mucho tiempo se redujo
a un clculo, es decir, a un conjunto de reglas y algoritmos tiles y eficaces, como lo
avalaban las aplicaciones, pero carentes de una seria fundamentacin matemtica.
Esta nueva disciplina se desarrolla en tres grandes captulos, prcticamente los
mismos que estudibamos en esta Universidad en la asignatura Clculo Infinitesimal del
Selectivo de Escuelas Tcnicas Superiores hace unos 35 aos: clculo diferencial
(derivadas, curvaturas y problemas de mximos y mnimos), clculo integral
(determinacin de cuadraturas, cubaturas y rectificaciones, en otras palabras, hallar
reas, volmenes y longitudes, adems de centros de gravedad) y algoritmos infinitos
(sucesiones y series, productos infinitos, fracciones continuas).
Isaac Newton (1643-1727) entr en el Trinity College de Cambridge en 1661,
gracias a las gestiones de un to suyo que se dio cuenta de la gran inteligencia que
posea. Aunque al principio estaba ms interesado por la qumica, al final Newton se
convirti en uno de los fsico-matemticos ms importantes de todos los tiempos. Sin
lugar a dudas influy en ello su lectura de las obras de Descartes, Kepler, Vite y
Wallis, amn de las de Galileo, Fermat y Huygens. Se comprende as que escribiera a
Hooke en estos trminos: si he conseguido ver ms lejos que Descartes ha sido porque
me he incorporado sobre los hombros de gigantes. En 1665 ya es bachelor of arts, pero
tiene que regresar a su casa porque el Trinity College cierra a causa de la peste. Este
corto periodo de descanso obligado se transform en uno de los ms fecundos de la
historia del desarrollo cientfico, pues durante el mismo Newton realiz sus cuatro
principales descubrimientos: el teorema de la binomial, el clculo, la ley de gravitacin
y la naturaleza de los colores [4].
Sus contribuciones a las matemticas no se limitan al clculo infinitesimal. As,
en su Enumeratio linearum tertii ordinis, escrito en 1695 y publicado como un apndice
de su Optica, estudia la teora de las curvas algebraicas, mientras que en su Aritmtica
universalis, editada en 1707, investiga la teora general de las ecuaciones, la resolucin
algebraica de problemas geomtricos, utiliza la nomenclatura races afirmativas
(positivas), negativas e imposibles (imaginarias o complejas)...
En su obra De analysi (De analysi per aequationes numero terminorum
infinitas), concluida en 1669 e impresa en 1711, da el teorema general del binomio.
Muchos matemticos haban fracasado en el intento de extender este desarrollo de
exponentes enteros positivos a exponentes fraccionarios. Newton obtiene desarrollos en
serie infinitos, encuentra nuevas series por divisin larga procedimiento ya conocido
15
16
Gottfried
Wilhelm
Leibniz
(1646-1716)
investigaba
progresaba
paralelamente en los mismos temas, pero con una visin y concepcin distintas. Hizo
contribuciones en la teora de nmeros; en clculo mecnico, mejorando la mquina de
calcular de Pascal; en lgebra, introduciendo la teora de los determinantes. Se le
considera adems el iniciador de la lgica matemtica y de la topologa.
Leibniz estudi derecho y ejerci como diplomtico al servicio de su pas. Viaj
mucho, visitando Pars donde le recomendaron estudiar a Pascal y, al menos dos
veces, Londres. Aunque no coincidi con Newton, durante estas estancias all acaso
pudo acceder a algunos de sus manuscritos. Los historiadores no consideran este hecho
relevante en el agrio debate que enfrentara a estos dos genios en relacin con quien
tena la prioridad en el descubrimiento del clculo infinitesimal, pues Leibniz no posea
entonces la formacin matemtica para entender las obras de Newton.
La obra matemtica de Newton est condicionada por su carcter de filsofo de la
naturaleza, de fsico, mientras que la mente de Leibniz se corresponda ms con la de un
metafsico, un algortmico, un lgico. Se entiende as que afirmara: Sin las
matemticas no se puede penetrar a fondo en la filosofa, sin la filosofa no se puede
penetrar a fondo en las matemticas, y sin ambas, no se puede penetrar a fondo en
nada.
El sabio alemn se preocup mucho en elegir una buena notacin, porque era
consciente de que ello facilitaba los procesos de pensamiento. Al respecto afirmaba:
Uno de los secretos del anlisis radica en el arte de usar magistralmente los signos de
que se dispone. Tras algunos ensayos represent por dx y dy lo que entenda por las
17
x e y , nuestras diferenciales.
Aunque al principio utilizaba las tres primeras letras omn de la palabra latina omnia
(todos) para representar la suma de todas las ordenadas bajo una curva, pronto las
reemplaz por el signo actual
inicial de la palabra suma en tantos idiomas, estilizada. Si bien desde 1673 conoce las
principales reglas y frmulas del clculo infinitesimal como las conocemos hoy:
18
19
(casi la mitad de sus trabajos vieron la luz en estos aos), gracias a su poderosa
memoria, a su frtil imaginacin y a la asistencia de ayudantes que escriban sus libros y
artculos al dictado. Como ancdota y en relacin con su prodigiosa memoria, se cuenta
que Euler era capaz de recitar La Eneida en latn de principio a fin.
De su produccin matemtica destacan las obras Introdutio in Analysin
Infinitorum, en el que se encuentra la mayora de los conocimientos de lgebra, teora de
ecuaciones y trigonometra que hoy se ensean en los cursos elementales. Sus
Institutiones Calculi Diferentialis e Institutiones Calculi Integralis contienen todos los
resultados sobre clculo diferencial e integral. En su trabajo Solutio Problematis ad
Geometriam Situs Pertinentis resuelve elegentemente el famoso problema de los
puentes de Knigsberg (en la antigua Prusia, hoy en el enclave ruso de Kaliningrado): el
ro Pregel a su paso por la ciudad se divide en dos ramas por culpa de una isla situada en
su cauce, la isla Kneiphof. Esta isla se comunica con el resto de la ciudad mediante siete
puentes. Un ciudadano se propone dar un paseo cruzando cada uno de estos siete
puentes una vez
matemtica, de difcil lectura. Cuando asegura que il est facile de voir, esto es, se ve
fcilmente, es mejor no tomrselo en serio, ponerse en alerta y concentrarse en lo que
se lee, pues no se entiende nada [31].
Con Gaspar Monge (1768-1830) vuelve la geometra pura, que ahora cuenta con
la poderosa herramiente del anlisis matemtico, originndose as la geometra
diferencial.
Joseph B. J. Fourier (1768-1830) crea una nueva rama de la ciencia, la llamada
fsica-matemtica, aplicando los mtodos y tcnicas del clculo infinitesimal a
problemas fsicos. En su celebrrima obra La Thorie Analytique de la Chaleur
introduce las series trigonomtricas, extiende el concepto de funcin de Euler e intenta
probar que una funcin arbitraria puede representarse mediante una serie de este tipo. El
impacto de su trabajo en reas como las comunicaciones, la medicina, la geofsica...es
hoy en da incalculable. El punto dbil de esta teora est en el estudio de la
convergencia.
A estas alturas de su historia las matemticas comienzan a adquirir una unidad y
autonoma que haban perdido desde la poca griega. Las matemticas aparecen como
un conglomerado de diversas ramas: geometra, lgebra, teora de nmeros, clculo
infinitesimal, clculo de probabilidades..., que cada vez se muestran ms
interconectadas. Si bien el espritu griego, es decir, el rigor en el razonamiento
impregnaba la geometra, no ocurra lo mismo con el clculo infinitesimal. No se
entiende cmo una disciplina de esta importancia descans durante dos largos siglos
sobre premisas y conceptos tan imprecisos y vagos como discutibles. Slo cabe una
explicacin: el xito arrollador del clculo infinitesimal en el campo de las aplicaciones,
que lo convirti en el instrumento ms potente de las matemticas puras. Para ilustrar
esta afirmacin, recordemos que el matemtico francs Alexis-Claude Clairaut (17131765) produjo un enorme impacto en todos los ambientes intelectuales europeos al
predecir, con un error de un mes, el retorno del cometa Halley, lo que ocurri el 13 de
marzo de 1759. Ms tarde, los astrnomos John C. Adams y Urbain J. J. Leverrier
conjeturaron que las anomalas que se observaban en el movimiento de Urano se deban
a la atraccin gravitatoria ejercida por otro planeta. Un planteamiento puramente
matemtico, sugerido por las leyes de la mecnica, condujeron a Leverrier en 1846 a
indicar con absoluta precisin dnde estaba ese desconocido planeta que perturbaba la
rbita de Urano [1]. Despus, con un telescopio, fue confirmada la existencia de
Neptuno. Estos dos hechos, y tantos otros, no slo constituyeron un rotundo triunfo de
22
23
detalles, Gauss es un escritor difcil de leer, cada pgina de su obra es un reto para el
lector. Para l, una catedral no es una catedral hasta que no se ha desmontado y ha
desaparecido el ltimo andamiaje. Y esta idea la aplica cuando hace matemticas.
Gauss elabor sus escritos matemticos con austeridad, eliminando todos los resultados
insustanciales despus de interminables correcciones, ajustando todos los detalles a la
perfeccin, con el mximo rigor. Slo quera legar a la posteridad obras de arte,
consumadas, perfectas. En su sello figuraba un rbol con unos pocos frutos y la divisa
Pauca sed matura (Pocos pero maduros). Esta bsqueda del rigor y de la
perfeccin, de la obra completa en s misma, le llev a dar seis demostraciones
diferentes de la ley de la reciprocidad cuadrtica y cuatro del ya citado teorema
fundamental del lgebra, la ltima cuando tena setenta aos.
Sealemos que el quinto postulado de Euclides, el de las rectas paralelas, cuya
versin ms popular que no la original [31, p. 81] dice que por un punto exterior a
una recta slo se puede trazar una recta paralela a ella, casi desde su publicacin fue
motivo de controversias. Se pretendi, sin xito, demostrar que era una consecuencia de
los otros postulados. Incluso el jesuita italiano Giovanni Girolamo Saccheri (16671733), en su obra Euclides ab naevo vindicatus, en la que reivindica la figura de
Euclides, tratando de demostrar dicho postulado descubre otros tipos de geometra, pero
l no lo ve as, cegado, obnubilado, por la perfeccin imposible de superar que todava
se le supona a los Elementos.
Tanto Gauss, como Bolyai y Lobachevski, independientemente unos de los
otros, llegaron a la conclusin de que se podan crear geometras que prescindieran del
postulado de las paralelas o en las que el referido postulado fuera sustituido por otro
radicalmente diferente, no obstante lo cual se originaban geometras tan vlidas como la
eucldea.
El nacimiento de las geometras no eucldeas es un hecho singular en la historia
de las matemticas, pues constituye la declaracin de independencia de las matemticas
respecto de las ciencias naturales, de la fsica y del mundo exterior. Se proclama el
derecho a investigar en cualquier tema matemtico, aunque slo tenga aparentemente
inters per se y carezca de aplicaciones inmediatas.
24
26
que en la primera dcada del siglo pasado introdujo los hoy denominados espacios de
Hilbert, que permitieron geometrizar el anlisis, dando origen al moderno anlisis
funcional.
La teora de grupos, que surge en el siglo XIX, tendr fecundas consecuencias en
el siglo XX. Esta teora tiene su origen en la resolucin de ecuaciones algebraicas de
grado superior a cuatro. Se demostr que era imposible resolver la ecuacin de quinto
grado y de grado superior mediante radicales. Aunque esta cuestin fue tratada por
el matemtico italiano Paolo Ruffini (1765-1822), la demostracin rigurosa se debe a
Abel en el ao 1826. Empero, el autntico fundador de la teora de grupos fue el
matemtico galo Evariste Galois (1811-1832), matemtico precoz y genial, de vida muy
agitada y final desgraciado, pues muri muy joven, a los 21 aos, en un duelo. Su
compatriota Camille Jordan (1838-1922) present esta teora como factor de unificacin
de diferentes campos de las matemticas, aspecto en el que insistieron y profundizaron
el alemn Felix Klein (1849-1925), que concibi cada geometra como el estudio de las
propiedades invariantes frente a determinados grupos de transformaciones, y el noruego
Marius Sophus Lie
lgico de los fundamentos de las matemticas. En el libro The Laws of Thought, Boole
seala que su objetivo era investigar las leyes fundamentales de las operaciones de la
mente, gracias a las cuales se razona; expresarlas en el lenguaje de un clculo y sobre tal
fundamento establecer la ciencia de la lgica y construir su mtodo.... La influencia
booleana en el desarrollo de la lgica matemtica fue enorme, lo que justifica la
afirmacin de Russell de que la matemtica pura fue descubierta por Boole.
Precisamente Bertrand Russell (1872-1970) public, en colaboracin con Alfred
North Whitehead (1861-1947), los Principia Mathematica, uno de los tratados ms
completos sobre la lgica matemtica o, de acuerdo con la concepcin russelliana, como
la expresin mejor lograda de las matemticas como parte de la lgica.
Anteriormente, el matemtico italiano Giuseppe Peano (1858-1932) propuso
expresar en un lenguaje estrictamente simblico tanto la lgica matemtica como los
resultados ms importantes de las matemticas [31].
Volviendo a Hilbert, uno de sus objetivos fue liberar al sistema lgico-deductivo
de Euclides del menor atisbo de contradicciones. Hilbert, en sus Grundlagen der
Geometrie (1899), fundamenta la geometra eucldea sobre un conjunto de veintin
axiomas, exigiendo su compatibilidad, es decir, que no presenten contradicciones
internas, y que sean independientes, esto es, que unos no sean consecuencias de otros.
Cantor es el creador de la teora de conjuntos, que al final, es la base y el
fundamento de las actuales matemticas. Sin embargo, los conjuntos infinitos dieron pie
a tal cantidad de paradojas como para poner de nuevo en entredicho los fundamentos de
las matemticas, con lo que la teora conjuntista se enfrent a la oposicin radical de
muchos matemticos alemanes. Ello sumi a Cantor en una profunda depresin, lo que
le oblig a abandonar este tema hasta que lo retom a finales del siglo XIX. Finalmente,
gracias al apoyo inestimable de Hilbert, el Primer Congreso Internacional de
Matemticas de Zurich del ao 1897 dio el espaldarazo definitivo a la teora de
conjuntos. En opinin de Hilbert, esta teora es el producto ms refinado del genio
matemtico y uno de los logros supremos de la actividad humana puramente
intelectual. Y agregaba: Nadie nos expulsar del paraso que Cantor ha creado para
nosotros.
Para perturbar an ms a nuestra comunidad, el matemtico austriaco Kurt
Gdel (1906-1978), que ingres posteriormente en el Institute for Advanced Study en
Princeton (USA), estableci que en un sistema formulado de una manera estrictamente
lgica tal como hicieron Russell y Whitehead con los nmeros naturales hay
29
lments des mathmatiques. Algunos notables miembros de este grupo son Andr
Weil (1906-1998), Jean Delsarte (1903-1968), Jean Dieudonn (1906-1992), Claude
Chevalley (1909-1984), Roger Godement... y los laureados con la Medalla Fields
Laurent Schwartz, Alexander Grothendieck, Jean Pierre Serre y Ren Thom.
Subrayemos que J. P. Serre se ha convertido adems en el primer matemtico en recibir
el Premio Abel recientemente instituido como sealbamos anteriormente
correspondiente al ao 2003, segn la Academia Noruega de Ciencias y Letras, por su
papel central en la elaboracin de la forma moderna de numerosas partes de las
matemticas, en particular la topologa, la geometra algebraica y la teora de nmeros.
33
clarividentes sobre los procesos creativos del ser humano: nunca he hecho nada til. Es
probable que ninguno de mis descubrimientos haga, directa o indirectamente, para bien
o para mal, el menor cambio en el bienestar del mundo Estos comentarios, en
palabras de J. R. Newmann , son un disparate, una salida de tono ms de Hardy, quien
era consciente de ello. La obra de Hardy es muy extensa, ms de 300 trabajos sobre
distintas partes del anlisis matemtico y de la teora de nmeros. Un centenar de ellos
son el fruto de la colaboracin durante 35 aos con otro excepcional matemtico, John
Littlewood, con el que form la pareja ms famosa de toda la historia de las
matemticas. Resulta difcil explicar cmo congeniaron durante tanto tiempo, dado el
especial carcter de Hardy. Parece ser que el secreto del xito de esta colaboracin se
bas en que fijaron perfectamente las reglas del juego que, por extrao que parezca,
fueron las que siguen (i) Cuando uno escriba al otro, no importaba en absoluto si lo
escrito era correcto o no; (ii) cuando uno reciba una carta del otro, no estaba obligado a
leerla, ni siquiera a contestarla; (iii) si bien no era imprescindible, no era conveniente
que ambos se concentraran en los mismos detalles del problema; y (iv) no era
importante si alguno haba contribuido lo ms mnimo a un artculo conjunto, con lo se
evitaba toda suspicacia sobre el grado de contribucin de cada cual en la elaboracin de
sus trabajos [34].
Con Srinivasa Ramanujan (1887-1920), aunque el nmero de artculos en
colaboracin fue inferior, sobresale la honestidad y la acogida humana que Hardy le
dispens. Ramanujan, un oficinista del puerto de Madrs (India) de procedencia muy
humilde, se cans de escribir cartas repletas de teoremas a distintos matemticos
occidentales sin recibir contestacin alguna. Fortuitamente algunas de estas misivas
llegaron a Hardy, que s supo apreciar el talento de este joven hind, quedando
impresionado por cuanto muchos de los resultados que le comunicaba tenan un gran
valor matemtico, razn por la cual le consigui una beca para que viniera a estudiar al
Reino Unido. La extrema pobreza en que vivi Ramanujan repercuti negativamente en
su salud. En uno de sus ingresos hospitalarios, Hardy lo fue a visitar, pero no saba
cmo iniciar la conversacin. Entonces se le ocurri comentar que el taxi en que se
haba desplazado tena matrcula 1.729 y que ese nmero le pareca anodino, que no le
sugera nada, a lo que replic inmediatamente Ramanujan: no, Hardy, ests
34
equivocado. Ese nmero es muy interesante, ya que es el menor nmero entero positivo
que se puede expresar de dos maneras diferentes como suma de dos cubos
( 1.729 = 13 + 12 3 = 9 3 + 10 3 ). La intencin de esta ancdota no es desvirtuar la imagen
de Ramanujan, presentndolo como una calculadora viviente. Por el contrario, dotado
de una gran intuicin que le ayud a superar su escasa formacin matemtica, enumer
resultados de una gran profundidad matemtica, tanto en teora de nmeros como en
anlisis matemtico, que tardaron muchos aos en ser entendidos, valorados y
demostrados correctamente.
En definitiva, la obra de Hardy constituye una de las contribuciones ms
importantes a las matemticas del siglo XX. No slo sus resultados tienen aplicaciones
en otras ramas de las matemticas, lo cual a Hardy le contentara, sino que hizo una
contribucin en gentica (la conocida como Ley de Hardy-Weinberg) sobre la
transmisin de caracteres mendelianos dominantes y recesivos en una poblacin mixta,
que ha resultado fundamental en el estudio de los grupos Rh de la sangre y en el
tratamiento de la hemlisis en los recin nacidos, lo que disgustara totalmente a Hardy
[28]. Se revolver por ello en su tumba? Y si viera que la admirable funcin (s), que
tan buenos resultados ha dado en la determinacin de la cantidad de primos menores
que un nmero dado, en la teora de nmeros, y que an guarda tantos secretos por
descubrir, como la conjetura de Riemann, se utiliza en pirometra, al investigar la
temperatura de los hornos? Quin hubiera aventurado que los nmeros primos tendran
aplicaciones, como comentaremos ms adelante?
Janos, Johann o John von Neumann (1903-1957) es otro matemtico de primera fila,
de origen hngaro, pero formacin germana y final estadounidense, como evidencia su
cambio de nombre. Su campo de investigacin abarca temas muy diversos, desde la
lgica matemtica, la teora de conjuntos, la teora de grupos continuos y la teora de
operadores, pasando por la fsica cuntica y la fsica de la energa, hasta participar en la
construccin de aparatos computadores ([25],[28]). Notables fueron, igualmente, sus
contribuciones sobre la teora de juegos y la economa, como bien se refleja en su
clebre obra, escrita junto al economista Oskar Morgenstern, Theory of Games and
Economic Behaviour (1944). Incluso lleg a participar en proyectos blicos, como la
construccin de la bomba atmica.
Como se ve por su currculo, trata muchos aspectos de las matemticas, desde los
ms abstractos y puros hasta los ms aplicados. Un personaje, pues, con autoridad para
35
37
Como chiste est bien, pero ni el gran Hardy tena razn cuando defenda la
inutilidad de las matemticas. En el repaso que se acaba de dar a su historia, se ha
puesto en evidencia las numerosas aplicaciones de esta ciencia; es ms, hasta mediados
del siglo XIX las matemticas estaban a remolque de las ciencias de la naturaleza. Y si
no, trataremos de convencerles a continuacin, con juicios de personalidades cientficas
no matemticas todos ellos con mayor autoridad que el conductor del globo.
Despus ilustraremos su utilidad con unos temas seleccionados.
Si uno abre un libro de fsica al azar, por ejemplo, de mecnica, seguro que se
topa con expresiones y frmulas matemticas, cuando no en su parte literal con un
lenguaje que nos resulta familiar. Ya lo sentenci Galileo: nadie sabr entender el gran
libro del universo si ignora su lenguaje, el lenguaje matemtico.
Muchos cientficos se maravillan de la efectividad ilgica de las matemticas en
las ciencias naturales. Est diseado el mundo segn unos principios matemticos? Al
respecto comentaba Eugene Wigner, Premio Nobel de Fsica: Es difcil negar el hecho
de que nos encontramos ante un milagro... Las palabras que mejor explican la intrusin
de conceptos matemticos en el mbito de la fsica fueron pronunciadas por Einstein,
para quien las nicas teoras fsicas que aceptamos de buen grado son las ms bellas. Ni
que decir tiene que los conceptos matemticos, que tanto invitan al ejercicio del ingenio,
poseen esa cualidad de lo bello... El milagro de la idoneidad del lenguaje matemtico
para la formulacin de las leyes de la fsica es un don maravilloso que no nos
merecemos y que no podemos llegar a comprender. Deberamos estar agradecidos de
que nos haya sido concedido y tenemos que confiar en que seguir siendo vlido en las
investigaciones futuras indefinidamente, para bien o para mal. Con ello podremos
ampliar el saber humano, aunque sea a costa de nuestro anonadamiento... [37].
Es curioso el final de una polmica entre un grupo de matemticos franceses. En
la Academia de Ciencias de Pars, Fourier coment ante Adrien-Marie Legendre (17521833) y Simeon Denis Poisson (1781-1840) que no entenda cmo matemticos tan
ilustres como Abel y Jacobi malgastaban el tiempo
dedicndose al estudio de
cuestiones tan tericas como las integrales elpticas, en lugar de usarlo en el estudio de
problemas de la fsica-matemtica. Por una indiscrecin de Poisson, Jacobi se enter de
esta observacin de Fourier y, ofendido, escribi a Legendre: es cierto que el seor
Fourier cree que el principal objetivo de las matemticas es la utilidad pblica y la
explicacin de los fenmenos naturales, pero un filsofo como l debera haber
aprendido hace ya mucho tiempo que el nico fin de la ciencia es honrar al espritu
38
humano y que, a este respecto, una cuestin sobre la teora de nmeros tiene un valor
tan grande como una pregunta acerca del funcionamiento del universo [10]. Pero,
quin lo dira, la teora de Fourier, que l imaginaba tan aplicada, devino en otra tan
pura como el anlisis armnico, pudindose considerar el teorema de Carleson sobre la
convergencia de las series trigonomtricas como uno de los resultados fundamentales de
las matemticas en el siglo XX; mientras que algunas de las obras del purista Jacobi
versan sobre materias de gran importancia en el campo de las aplicaciones,
especialmente en mecnica celeste y mecnica de fluidos.
Las matemticas como ciencia deductiva en contraposicin a las ciencias
naturales inductivas fue motivo de una controversia, protagonizada por dos grandes
cientficos y polemistas: el bilogo T. H. Huxley ( 1825-1895) y el matemtico J. J.
Sylvester (1814-1897). Huxley, que no tena una buena formacin matemtica, critic
duramente la filosofa positivista de Auguste Comte, quien colocaba las matemticas en
la cima del conocimiento, considerando su mtodo como modelo a imitar por todas las
ciencias. Deca Comte: Es, pues, mediante el estudio de las matemticas, y slo a
travs de l, como se puede adquirir una idea correcta y profunda de lo que es una
ciencia. Este principio era totalmente inaceptable para Huxley, que argua: Eso
equivale a decir que el nico estudio que puede dar una idea adecuada de lo que se
entiende por ciencia... y de la investigacin cientfica, es el estudio que no sabe nada de
la observacin, nada de la experimentacin, nada de la induccin, nada de la
causacin. Sylvester le responde, en una fastuosa conferencia en la British Association
for the Advancement of Science a la que pertenecan ambos que, muy por el
contrario, la observacin siempre ha tenido una gran importancia en el proceso del
descubrimiento matemtico, sostiene que una buena parte de las grandes ideas
matemticas modernas se sustentan en la realidad e ilustra sus afirmaciones acudiendo a
resultados u opiniones de los clsicos. Huxley no replic a este discurso, pero eso no
significa que haya finalizado por el contrario, sigue vivo
el debate sobre la
LA PREVISIN METEOROLGICA
Cuando un ciudadano ve y oye en los noticiarios de televisin la informacin del
tiempo no piensa ni un instante que est ante un asunto extremadamente delicado, un
problema multidisciplinar, en el que intervienen varias ciencias: la qumica, la fsica, la
informtica y tambin las matemticas. En la elaboracin de la previsin numrica del
tiempo se divide la atmsfera en cajas de base cuadrada de ciertas dimensiones, en
cuyos centros se determinan los parmetros meteorolgicos: presin, velocidad del
viento, humedad, nubosidad... Partiendo de un estado inicial de la atmsfera, conocido,
se suministran todos los datos posibles a potentes ordenadores que, junto a las leyes de
la fsica, dictaminarn cmo evolucionar el tiempo [24].
Aqu se presenta una primera gran dificultad: no es fcil establecer el estado
inicial de la atmsfera. Porque, por una parte, las estaciones meteorolgicas estn
establecidas en tierra y muy mal distribuidas lo que dificulta la medicin de datos en
altitud y, por otra, los satlites que sera la alternativa no permiten efectuar la
40
nmeros vale tanto como una cuestin sobre el sistema del mundo, quin iba a
sospechar que la teora de nmeros, en particular, la de los nmeros primos, tendra una
utilidad prctica?
Quin no dispone de una o varias tarjetas bancarias: VISA, 4B, MasterCard,
ClaveCard...? Quizs algunos de los usuarios han odo que este tipo de tarjetas
constituyen un rectngulo ureo, esto es, que la razn entre sus lados es el nmero de
oro, la razn urea que es un aspecto puramente esttico pero la inmensa mayora
ignora que en una cuestin fundamental como es la seguridad intervienen los
nmeros primos. En efecto, en los aos 80 del siglo pasado el secreto de las tarjetas de
crdito yaca en un mtodo de encriptacin en el que intervena un nmero N muy
grande, de centenares de cifras, que es el producto de dos inmensos nmeros primos.
As pues, la seguridad de nuestras tarjetas estaba garantizada por un par de nmeros
primos grandes, ante la imposibilidad prctica de descomponer N en factores, en
41
aquellos aos (en Francia N tena entonces 97 cifras). Con el espectacular incremento de
la potencia de clculo de los ordenadores, hubo por cuestiones de seguridad que
aumentar el nmero de cifras de N (en 2002 se utilizaban nmeros N con casi el doble
de cifras) [24].
La criptografa, la ciencia de la codificacin y descodificacin, es hoy una parte
pujante de las matemticas. La codificacin y descodificacin de mensajes, el enviar
mensajes que no pudiera interpretar el enemigo o intervenir y descifrar los que enviara
el rival, son tcnicas muy antiguas, milenarias quizs. Es sabido que el desciframiento
de la mquina alemana Enigma por parte de los aliados en el transcurso de la Segunda
Guerra Mundial desempe un importante papel en el desenlace del conflicto.
El mtodo RSA (Rivest, Shamir y Adleman), basado en una clave de
encriptacin pblica y otra de desencriptacin secreta, constituye una notable mejora
del mtodo anterior, si bien se fundamenta en lo mismo: la imposibilidad de
descomponer nmeros grandes en sus factores primos en un tiempo razonable o la
posibilidad de hallar nmeros primos de centenares, acaso millares, de cifras que
permitiran formar nmeros grandes y difciles de factorizar.
Quizs el nico peligro de este mtodo es el aumento de la potencia de clculo
de los ordenadores, lo cual ayudara a descomponer nmeros de centenares, millares...
de cifras rpidamente. Pero existen alternativas. Por ejemplo, la utilizacin de
propiedades algebraicas de las curvas elpticas puede ser til en este proceso de
codificacin de la informacin. O el recurso a la criptografa cuntica, basada en la idea
de fsicos y matemticos de construir ordenadores cunticos, algo que es todava muy
incipiente y que se apoya en las leyes de la fsica cuntica. Est probado que este
ordenador, si finalmente fuera fabricado, descompondra velozmente grandes nmeros
en sus factores primos, por lo que el mtodo RSA quedara obsoleto. Pero los
protocolos de criptografa cuntica, donde los mtodos de encriptacin utilizaran
tomos, fotones... al parecer tienen una seguridad absoluta [35].
Qu dira G. H. Hardy si viera que aquellos campos matemticos en los que l
trabajaba y que consideraba intiles, ahora resulta que tienen estas aplicaciones en
nuestra vida cotidiana!
42
en los edificios,
ecos...), por lo que hay que introducir en el paquete cdigos correctores para poder
43
hombre puede
44
dT (t )
T (t )V (t )
= s( t ) T T ( t ) + r
kV T (t )V (t )
dt
C + V (t )
dT i (t )
T i (t )V (t )
= kV T (t )V (t ) T i T i (t ) r
dt
C + V (t )
gV V (t )
dV (t )
T i (t )V (t )
= Nr
k T T (t )V (t ) +
dt
C + V (t )
b + V (t )
con las condiciones iniciales T(0)=T0 , Ti(0)=0 , V(0)=0. Aqu las funciones incgnitas
representan: T(t) la cantidad de clulas no infectadas, Ti(t) la poblacin de clulas
infectadas y V(t) la cantidad de virus que viven libremente en la sangre. Adems, en el
sistema diferencial precedente figuran una serie de parmetros cuyos valores
(aproximados) se determinan a partir de los abundantes datos clnicos ya disponibles
para los investigadores.
Este modelo se modifica despus cuando se inicia un tratamiento a base de
alguna droga. Finalmente, el modelo se contrasta con la realidad: los datos clnicos.
Incluso las cuestiones relacionadas con estos sistemas y ms puramente matemticas
(que si el problema est o no bien planteado, teoremas de existencia, control ptimo... )
pueden resultar de inters en esta investigacin.
La autora de esta modelizacin, Denise Kirscher [22], es Profesora Ayudante de
Matemticas en la Universidad de Texas y Profesora Ayudante Adjunta de Medicina en
el Centro Mdico de la Universidad de Vanderbilt. Uno de sus objetivos fue demostrar
que los matemticos tienen y pueden desempear un papel fundamental en la
investigacin mdica de primera fila. Asimismo, subraya que uno de los mayores
obstculos con los que se encuentra esta colaboracin entre mdicos y matemticos es la
falta por parte de los primeros de algunos rudimentos en matemticas superiores y, por
parte de los segundos, la carencia absoluta de los conocimientos del problema mdico
que subyace, que est debajo de todo este planteamiento matemtico. Puede llevar
varios aos adaptarse a la jerga mdica, especialmente en reas que estn en continua
evolucin.
45
LOS ORDENADORES
En un delicioso artculo divulgativo, Gregory J. Chaitin [7 ] seala como, pese a
ser un invento muy reciente, la mayora de la gente ve en los ordenadores slo aparatos
eminentemente prcticos, habindose olvidado ya de que su creacin est relacionada
con una cuestin puramente filosfica que subyace en los fundamentos de las
matemticas.
Recordemos que la teora de conjuntos trajo sus paradojas, acaso la ms
conocida sea la de Russell: Si consideramos el conjunto de todos los conjuntos que no
son un elemento de s mismo, es este conjunto elemento de s mismo?. La respuesta
es contradictoria: es un elemento de s mismo si, y slo si, no lo es. Para estos
problemas de la lgica, Hilbert propuso la formalizacin completa de todo el
razonamiento matemtico, para lo que era preciso crear un lenguaje artificial perfecto,
de modo que hubiera un procedimiento mecnico que decidiera si una demostracin
respetaba o no las reglas. De esta forma Hilbert sita el problema en el marco de una
nueva rama de las matemticas: la metamatemtica, que puede ser considerada como
una teora lgico formal de la demostracin en matemticas. Pero, tal como vimos
anteriormente, Gdel demostr paladinamente que Hilbert estaba equivocado. Segn
Chaitin, el estudio del original del trabajo de Gdel es muy complicado y en su
argumentacin se detecta algo anlogo a la programacin en LISP, en una poca en que
no existan ordenadores. Alan Turing (1912-1954) interpret que ese procedimiento
mecnico al que aluda Hilbert era una mquina, del tipo de la que se denominara
posteriormente mquina de Turing, que formaliz el concepto de algoritmo y fue la
precursora de las computadoras digitales. En el artculo original se utiliza lo que
llamaramos hoy un lenguaje de programacin, rudimentario pero verstil. Turing
afirm que esta mquina es capaz de efectuar cualquier cmputo que pudiera realizar un
ser humano. Pero en seguida encuentra un problema que la mquina no podr resolver:
el de la detencin o de la parada, es decir, se puede decidir de antemano si una
mquina de Turing obtendr la solucin y, por tanto, se parar? Turing demostr que es
imposible crear un verificador de terminacin universal. Ningn sistema axiomtico
formal puede ser completo. Para ciertos problemas bien planteados, no existe ningn
procedimiento que, en un nmero finito de pasos, los resuelva: son los problemas no
computables. As pues, a la indecibilidad de Gdel sigui la incomputabilidad de
Turing.
46
en
computadoras.
Se
pueden
47
considerar
stas
como
autnticas
Todo surgi a mediados del siglo XVI, cuando Sir Walter Raleigh le pidi al
matemtico ingls Thomas Harriot una manera rpida de calcular el nmero de balas de
can que se podan apilar en la cubierta de un barco. Harriot le escribi a Kepler, el
famoso astrnomo alemn ya citado anteriormente, para quien el procedimiento que
permite apilar esferas de modo que el espacio que queda entre ellas sea mnimo no es
otro que el que habitualmente utilizan los fruteros para amontonar las naranjas [25].
Supongamos que deseamos llenar una caja con esferas idnticas de modo que la
parte vaca sea la menor posible. Se llama densidad de empaquetamiento a la razn
entre el volumen que ocupan las esferas y el volumen total de la caja. Por consiguiente,
esta densidad debe ser inferior a uno. Interesa lgicamente conocer cul ser el
empaquetamiento de densidad mxima. Kepler conjetur en 1611 que esta densidad es
0'74 , que es la que corresponde precisamente al amontonamiento utilizado en
18
las fruteras. El genial Gauss prob esta conjetura en casos particulares y Thomas C.
Hales parece haberlo demostrado definitivamente en el caso general en el ao 1998. Y
decimos parece, porque la demostracin de Hales se basa en el estudio detallado de
unos 5.000 grafos en el plano, lo que le llev a abordar unos 100.000 problemas de
optimizacin lineal, que involucran cada uno a unas 200 variables, con
aproximadamente unas 2.000 restricciones. La prueba es larga, casi abarca 300 pginas,
pero naturalmente hubo que recurrir forzosamente a la ayuda de potentes ordenadores.
Apenas trascendi la noticia de la solucin, un grupo de agricultores norteamericanos
envi este mensaje a Hales: Con las naranjas funciona perfectamente; por favor,
dganos cmo lo podemos hacer con las alcachofas.
Desde luego, para Hardy y para muchos matemticos, sta no es una
demostracin. Sigue, pues, latente un debate casi metafsico: Hasta dnde se pueden
incorporar las modernas tecnologas en una demostracin matemtica? Quizs un da no
muy lejano la metamatemtica d una respuesta.
LA ECONOMA
Las matemticas financieras han adquirido un gran auge en los ltimos decenios.
Fijar el precio de una opcin financiera es un problema harto complicado, si se
pretenden modelizaciones muy cercanas a la realidad. Entonces es preciso recurrir a
teoras matemticas muy avanzadas, descubiertas a mediados del siglo pasado, como
son la teora de los procesos estocsticos en los que las cantidades evolucionan
48
tcnicas que introduzca en su investigacin; y, segundo, se debe tener muy presente que
los conceptos matemticos tienen significados muy precisos, por lo que las matemticas
funcionarn bien en aquellos campos donde los conceptos sean tambin ms o menos
precisos. Dicho de otro modo, las matemticas encajan muy mal en ambientes donde
reine la imprecisin y la indefinicin.
Veamos algunos casos, siempre desde el mximo respeto a los autores que se citen y
a sus obras, en cuya valoracin no entramos, simplemente porque no somos
competentes. Nos limitamos a la incorporacin de los conceptos y al uso del lenguaje
matemticos. As, Jacques Lacan (1901-1981), uno de los psicoanalistas ms famosos e
influyentes del siglo XX, alardea de ser el primero en introducir la topologa en sus
estudios e investigaciones psicoanalticas. Advertimos de que la topologa es una de las
ramas ms abstractas de las matemticas. Tras unos escarceos iniciales con esta materia,
en su conferencia The languages of criticism and the sciences of man (1966) describe
una serie de objetos matemticos: la superficie de Mbius (cjase una tira larga de papel
y pguense los lados ms cortos girando previamente uno de ellos 180: resulta as una
superficie de una sola cara, que se conoce con ese nombre), el toro (una idea de esta
superficie la da un neumtico o un donuts), la botella de Klein... y afirma que un corte
en un toro corresponde a un sujeto neurtico y en una superficie entrecruzada a otro tipo
de enfermedad mental [33]. Y adems manifiesta claramente que no se trata de una
analoga, sino que es la mismsima realidad. Una afirmacin de esta naturaleza necesita
una demostracin, explicacin o justificacin, pero no hace nada de esto. Todava nos
estamos preguntando qu tienen que ver estos inofensivos objetos topolgicos con algo
tan serio como las enfermedades mentales.
Ms adelante, y sin que medie ninguna demostracin, asegura: En este espacio de
goce, tomar algo acotado o cerrado constituye un lugar, y hablar de ello constituye una
topologa. Ahora bien, como insistamos antes, conjunto abierto, cerrado, acotado o
compacto (que tambin los considera en otros textos suyos) son conceptos matemticos
que tienen una definicin muy precisa, al igual que la nocin de espacio topolgico...
Para qu esa referencia al teorema de Stokes que relaciona la integral curvilnea
con la integral de superficie en su trabajo Position de linconscient [23, pp. 829-850]?
Hemos analizado el texto y creemos que si se suprime esta cita, no afecta para nada al
resto del mismo y, desde luego, no contribuye a aclarar nada de lo que all se afirma.
Quizs Lacan se propuso matematizar el psicoanlisis, pero la mayora de sus
afirmaciones con contenido matemtico no son probadas. Y no slo es que no las
52
verifique en el sentido de lo que se entiende por una demostracin matemtica, sino que
no da la menor justificacin conceptual o emprica de tales afirmaciones.
Por otra parte, Julia Kristeva, blgara de nacimiento y formacin francesa, se
propuso elaborar una teora formal del lenguaje potico, basada en la teora matemtica
de conjuntos [33]. Para ello utiliza con gran soltura los conceptos ms abstractos y
abstrusos de esta teora: potencia del continuo, axioma de eleccin (si se tiene una
coleccin de conjuntos y cada uno de ellos es no vaco, entonces existe un conjunto que
contiene exactamente un elemento elegido de cada uno de los conjuntos de la coleccin.
Este axioma est motivado por el estudio de los conjuntos infinitos o de colecciones
infinitas de conjuntos, y permite asegurar la existencia de determinados conjuntos sin
construirlos explcitamente no se dice cmo se hace la eleccin) y el teorema de
Gdel. Desde luego que Kristeva tiene una buena formacin matemtica, pero nunca
justifica o explica cmo extrapola estas nociones tan complicadas, que rara vez se
aplican en fsica y que nunca hemos visto en qumica o biologa, a su campo de
investigacin en lingstica.
Todas las disciplinas de las ciencias sociales emplean hoy, en mayor o menor
medida, las matemticas. La idea de ciencia social como constatacin de que el estudio
cientfico del hombre es posible y abarcando reas como economa, geografa, historia,
ciencias polticas, psicologa, sociologa, antropologa, educacin... no tiene ms de dos
siglos de antigedad.
Si nos fijamos, por unos instantes, en la utilizacin de las matemticas en las
ciencias econmicas, vemos que Adam Smith (1723-1790) confesaba no tener fe en la
aritmtica poltica, terminologa con la que se refiere al uso de las matemticas al
tratar problemas econmicos. En cambio, para Sir William Petty (1623-1687), que
escribi precisamente un libro con ese ttulo Political Arithmetic significa el acto
de razonar sobre datos y grficas. Se familiariz en esta tarea cuando Oliver Cromwell
invadi Irlanda en 1650 y le solicit que investigara y evaluara la riqueza de la isla
conquistada, a fin de repartir el botn entre los vencedores. Tambin escribi A treatise
on taxes and contributions. Se le puede considerar como un precursor de la estadstica y
de la economa [32].
Las ms notable y temprana aplicacin de las matemticas a la economa se debe a
un gran matemtico, Daniel Bernoulli (1700-1782), en su trabajo Specimen Novae de
Mensua Sortis.
53
Pero hasta bien avanzado el siglo XVIII, periodo que algunos historiadores
consideran la etapa pre-moderna de las ciencias econmicas, y a principios del siglo
XIX se evidencia que mientras las matemticas experimentan un desarrollo
impresionante, su utilizacin en la economa es slo espordica y se reduce en general a
cuestiones muy elementales. La pregunta de por qu los pensadores de las ciencias
sociales no se ayudaron de todo el aparato matemtico del que ya se dispona
potencialmente para resolver sus problemas, tiene diferentes respuestas. Peter Senn [32]
apunta que podra ser que no tuvieran conocimiento de los avances de las matemticas
ya consolidados en esa poca; o bien que si los conocan, no percibieran su idoneidad
para emplearlas en los problemas que abordaban; o bien que cuando trataron de
utilizarlas, quedaron ms decepcionados que satisfechos. Incluso aduce razones de
ndole filosfica o ideolgica. Pero se decanta, puesto que le parece ms plausible,
porque los autores que s conocan matemticas no hacan un uso excesivo de ellas pues
teman que no seran entendidas por los destinatarios de sus trabajos.
Poco a poco, no slo los economistas sino los que practican otras ciencias sociales
toman conciencia de que las matemticas contribuyen a universalizar sus disciplinas y a
impregnar de racionalidad el anlisis de los problemas sociales, sobre todo cuando son
muy complejos. Como subraya Peter Senn, son su verdadera lingua franca y hay que
recurrir a ellas para describir, clarificar e ilustrar los argumentos.
De 1850 hasta aproximadamente mediados de la centuria pasada, la economa
matemtica experimenta un crecimiento espectacular. En 1838 el gran economista
Antoine Augustin Cournot (1801-1877) public la obra Recherches sur les Principes
Mathmatiques de la Thorie des Richesses, de la cual se vendieron pocos ejemplares,
pues la forma matemtica y el contenido econmico ahuyentaron a los posibles lectores.
Sin embargo, hoy se le considera como uno de los grandes trabajos en la historia de la
economa. Lon Walras public en 1874 sus lments dconomie Politique Pure y
Vilfredo Pareto, su sucesor en la ctedra de la Universidad de Lausana (Suiza), entre
otros, escribi el artculo conomie Mathmatique (1911). Curiosamente aparecen
tambin Elementos y Principia Mathematica en economa [9].
Recordemos, por su inters, lo que deca Walras en el prlogo de la obra citada
anteriormente: Toda esta teora es una teora matemtica, es decir, si bien la exposicin
se puede
hacer
en el
lenguaje ordinario,
la demostracin
debe hacerse
racional... El siglo XX restituir las ciencias sociales a los hombres de una cultura
general, habituados tanto a la induccin como a la deduccin, al razonamiento como a la
experiencia. Entonces la economa matemtica alcanzar su rango al lado de la
astronoma y de la mecnica matemtica.
Pero tambin hay crticas a la utilizacin de las matemticas en economa. Del
extremismo de los que consideran que algunas o todas las ciencias sociales no deben ser
estudiadas matemticamente y que abogan por la restriccin, incluso la eliminacin, de
su uso en las ciencias sociales, al otro extremo de matematizar todo porque viste muy
bien. En medio, como casi siempre, surge la crtica ms razonable: se acepta el uso de
las matemticas y lo que se critica es cmo se utiliza. Manifestar cules son los errores
matemticos que se cometen, cules son las matemticas adecuadas para atacar un
determinado problema, qu tamao deben tener las muestras, las bases de datos... son
crticas constructivas que mejoran cualitativamente el papel a desempear por las
matemticas en estas ciencias. As Gordon Tullock [32] se queja del uso de las
matemticas como decoracin, como adorno, lo que segn l representa un buen
porcentaje de la literatura en economa y que repercute negativamente en el proceso de
comunicacin.
En la misma direccin incide J. M. Keynes en su magna obra General Theory: El
gran defecto de los mtodos simblicos pseudomatemticos en la formalizacin de un
sistema de anlisis econmico es que se asume expresamente una independencia estricta
entre los factores involucrados y pierde toda su eficacia y autoridad si se anula esta
hiptesis... Un porcentaje demasiado grande de la economa matemtica reciente es una
mera mezcolanza tan imprecisa como las suposiciones en que se apoyan, lo cual hace
que el autor pierda la visin de las complejidades e interdependencias del mundo real en
un laberinto de smbolos pretenciosos e intiles [21].
A pesar de su persistencia, las crticas no han ejercido ningn efecto significativo
sobre el crecimiento continuo del uso de las matemticas en economa y, en general, en
todas las ciencias sociales. No se puede impedir que los cientficos y los estudiosos
manejen todas las herramientas que consideren aptas para investigar y estudiar sus
problemas. A fin de cuentas, sus compaeros, la comunidad cientfica y el tiempo
juzgarn los resultados y los aceptarn o los rechazarn.
En este punto resulta instructivo relatar cmo naci la revista Econometrica. Cuenta
C. F. Roos [9] que en el ao 1927 envi para su publicacin el mismo artculo a una
revista de economa, a otra de estadstica y a una tercera de matemticas. De los tres
55
editores recibi una respuesta positiva, el trabajo sera publicado siempre que eliminara
las partes relacionadas con los otros dos campos. El editorial del primer ejemplar de esta
prestigiosa revista era claro al respecto: ningn trabajo ser rechazado nicamente en
base a que sea considerado demasiado matemtico, no importando el nivel elevado del
aparato matemtico utilizado.
Y es que no parece aceptable descalificar un artculo tan slo porque en l se
emplean matemticas no habituales. Resulta asombroso contemplar cmo muchas
teoras y resultados matemticos altamente abstractos han tenido una inmediata
aceptacin en economa. As, la topologa algebraica permiti a Von Neumann formular
un teorema para establecer la existencia de una va de crecimiento ptimo en un
determinado modelo, generalizando el teorema del punto fijo de Brouwer. Nadie discute
hoy que la teora de la medida ocupa un lugar privilegiado en la economa matemtica.
O que la topologa diferencial y el anlisis han suministrado tcnicas para el estudio de
situaciones de equilibrio en algunos modelos econmicos. Incluso el sofisticado anlisis
no estndar, creado por A. Robinson en 1960 y muy discutido al principio en la propia
comunidad matemtica, ha tenido aplicaciones importantes en economa. Tambin la
teora de los juegos no cooperativos y los conceptos de equilibrio dominante y
equilibrio de Nash del matemtico y Premio Nobel de Economa en el ao 1994, John
Forbes Nash. Y qu decir de los procesos y el anlisis estocsticos y su utilizacin en el
modelo de Black-Scholes para el mercado de opciones, al que ya nos hemos referido
ms arriba.
Cules son los lmites de la utilizacin de las matemticas en economa, en
psicologa, en lingstica y, en general, en las ciencias sociales? El razonamiento
matemtico necesita un alto grado de abstraccin y se basa en una estructura
axiomtico-deductiva. Quizs ah est el lmite: en la necesidad de que la conexin entre
las hiptesis y las conclusiones se obtenga en el sentido matemtico, con todo lo que
ello conlleva, sin forzar las pruebas y demostraciones para llegar a resultados deseados.
En otras palabras, esta conexin tiene que estar guiada por los principios de la lgica y
del razonamiento matemticos. No nos podemos limitar a imponer las hiptesis y a
enunciar las posibles consecuencias, se precisa probarlas. Porque, como afirmaba
Newton: Yo no pongo las hiptesis. Pero una vez puestas las hiptesis... el resultado
est condicionado por ellas y la conclusin es inapelable, sin ningn tipo de
concesiones.
56
Hay que tener en cuenta que los problemas que se plantean en las ciencias sociales
son muy diferentes y, por tanto, requieren matemticas en distintos grados, y que para
algunos bastar con las matemticas elementales. Despus resta por verificar que las
conclusiones matemticas coincidan o se aproximen lo mejor posible a lo que dicta el
mundo real.
Si los resultados de Gdel sobre los fundamentos de las matemticas proclaman su
falibilidad, cunto ms podra ocurrir en los diferentes campos de sus aplicaciones.
Sobre todo cuando los matemticos, y los no matemticos, pretenden llevar este
razonamiento absoluto a todos los rincones, incluso a los sentimientos, emociones,
gustos, pensamientos, voluntades... de los seres humanos, territorios donde hasta ahora,
que sepamos, no gobierna la lgica matemtica. Afortunadamente! Ya lo adverta J.
Dieudonn en su obra En honor del espritu humano. Las matemticas hoy: muchos
matemticos que quisieron arreglar el Mundo, lo han pagado a sus expensas [10]. Y lo
aclara mejor M. de Guzmn [16] cuando habla de los peligros de la matematizacin de
nuestras vidas cotidianas: Si las matemticas son la base de la cultura, aqul que logre
situarse en el corazn de ellas y desde all contemplar nuestro mundo, est en una
situacin privilegiada para juzgar adecuadamente sobre su destino. Oigmosle y
sigmosle... Sera bueno recordar que muy a menudo el matemtico, y el cientfico en
general, fuera de su propia esfera de competencia suele ser tan superficial y sesgado
como el que ms.
57
ECUACIONES
DE
NAVIER-STOKES.
Existen
soluciones
existe un Hilbert con la capacidad de aglutinar y tener una visin global de nuestra
ciencia.
En cualquier caso resulta muy aventurado predecir cmo evolucionarn las
matemticas durante un periodo de tiempo tan amplio. Es imposible, ya constituy un
enorme reto la propuesta de Hilbert y slo abarcaba un siglo.
ellos a un
Tenemos razones para ser optimistas con el futuro de las matemticas, aunque
no sea con el entusiasmo y la vehemencia de Sylvester [28], que proclamaba:
El mundo de ideas que descubre o ilumina, la contemplacin de la divina
belleza y el divino orden que suscita, la armoniosa conexin de sus partes, la infinita
jerarqua y la evidencia absoluta de las verdades en que se ocupa, stos y otros
parecidos son los ms slidos motivos del ttulo que da derecho a las matemticas al
respeto humano, y esos motivos seguiran siendo inatacables e inigualables aunque el
plan del universo se desplegara como un mapa a nuestros pies y se permitiera a la mente
del hombre captar de una mirada todo el esquema de la creacin.
Muchas gracias por su atencin.
59
Bibliografa
[35] L. M. K.
factoring algorithm using nuclear magnetic resonance, Nature, 414 (2001), 883-887.
[36] J. L. Vzquez, The importance of Mathematics in the development of Science and
Technology, Boletn de la SEMA, 19 (2001), 69-112. Versin espaola reelaborada de
este artculo.
[37] D. Wells, El curioso mundo de las matemticas, Gedisa Editorial, Barcelona, 2000.
62