Está en la página 1de 40

EFEMRIDES MATEMTICAS

Amador lvarez del Llano I.E.S. La Marina Santa Cruz de Bezana

Arqumedes: Arqumedes ha pasado a la historia como el matemtico y cientfico ms genial de la Antigedad y, posiblemente, uno de los ms grandes de todos los tiempos. No obstante, se conocen pocos datos fehacientes sobre su vida, y ello, a pesar de que lo ms granado de la literatura greco- romana -Plutarco, Eutocio, Tito Livio, Ciceron, entre otros muchos- dej abundantes pginas sobre su vida y obras. Pese a que Eutocio afirmaba que un contemporneo de Arqumedes, Herclides de Alejandra, haba escrito una biografa sobre l, lo cierto es que esta obra se perdi y cuanto se sabe de su vida proviene de fuentes muy posteriores que, probablemente, entremezclan datos reales con abundantes elementos legendarios en los que se resaltan fundamentalmente sus logros como inventor de sofisticados mecanismos y dispositivos, dejando en un segundo trmino su faceta de creador matemtico y cientfico genial. La obra de Plutarco, Vida de Marcelo, dedicada al cnsul romano que dirigi el asedio a la ciudad de Siracusa durante los aos 214 al 212 a.C. en el transcurso de la Segunda Guerra Pnica, es una de principales fuentes de informacin sobre su vida. En ella se afirma que Arqumedes fue abatido por un soldado romano el ao 212 a.C. a la edad de 75 aos, lo que sita su fecha de nacimiento en el ao 287 a. C. en el asentamiento griego que era capital de la Magna Grecia, coincidente con la Sicilia actual. El propio Arqumedes cuenta en el prlogo de su obra El arenario que su padre era el astrnomo Fidias. Parece, aunque en esto hay profundas discrepancias segn las fuentes, que estaba emparentado con la dinasta reinante en Siracusa. En todo caso, Arqumedes mantuvo siempre una estrecha amistad con el rey Hiern II. Cabe suponer que, en un principio, su propio padre se encarg de su formacin matemtica y astronmica, pero siendo an muy joven lo envo a Alejandra, en cuyo Museo y Biblioteca trabajaban los mejores sabios y cientficos del mundo heleno, para que completase su formacin. En este emporio cultural y cientfico, debi estudiar con los discpulos de Euclides y desarroll una estrecha amistad con el astrnomo Conon de Samos, cuya competencia matemtica siempre tuvo en alta estima, con Dositeo de Pelusa y con el famoso bibliotecario de Alejandra, el matemtico y fillogo Eratstenes de Cirene. A su vuelta a Siracusa, mantendr con ellos una abundante correspondencia cientfica y les dedicar algunas de sus principales obras. Durante su estancia en Egipto, dise su primer gran invento mecnico, el llamado tornillo de Arqumedes o cclea. Con este dispositivo, utilizado para elevar el agua, se consegua fertilizar las tierras altas de las mrgenes del Nilo, a las que no llegaban las aguas en la poca de las inundaciones. Sus

aplicaciones se extendieron rpidamente por el mundo helnico y, posteriormente, por el imperio romano. Diodoro Sculo afirma que se utilizaba en Hispania para desaguar las minas de Rio Tinto, y Plinio el Viejo, relata en su Historia Natural el procedimiento seguido para extraer oro en las Mdulas del Bierzo, consistente en soltar agua a presin sobre las montaas para, posteriormente, proceder al lavado de las arenas desprendidas. Aunque no lo menciona explcitamente, es posible que se utilizaran clqueas para estos menesteres. No estn claras las razones por las que abandona Alejandra, habida cuenta de que era el principal centro cultural y cientfico en aquellos tiempos, y retorna a Siracusa, donde pasar el resto de su vida. Segn la interpretacin ms comn, regres atendiendo a la llamada de su rey Hieron para aplicar sus conocimientos cientficos y tcnicos en aquel reino. Un punto de vista diferente sostiene que su concepcin cientfica, abiertamente heterodoxa respecto a la corriente platnica, que inspiraba a la mayora de los cientficos de Alejandra, le habra situado en una posicin comprometida con el estamento cientfico alejandrino. De regreso a Siracusa, continu sus investigaciones sin desdear la resolucin de problemas prcticos que, con toda certeza, constituyeron el punto de partida para su formulacin de las leyes de la mecnica de la palanca; leyes que aplicara a la determinacin de los centros de gravedad, reas y volmenes de diversas superficies planas y slidos. Igualmente, inici la ciencia de la hidrosttica, aplicndola al estudio de las posiciones de reposo y de equilibrio de cuerpos flotantes de diversas formas. Seguramente, fueron estas investigaciones el origen de algunas famosas ancdotas como la que refiere Plutarco respecto a la un tanto pretenciosa afirmacin Dadme un punto de apoyo y mover la Tierra y el consiguiente desafo del rey Hieron para que, aplicando sus conocimientos cientficos y tcnicos, acercase hasta la costa un gran barco que no haban podido mover 100 hombres. Arqumedes, utilizando un sistema de poleas compuestas pudo hacerlo sin gran esfuerzo, causando tal sorpresa y admiracin al tirano que, al parecer, dict un decreto en el que se estableca que, en adelante, las afirmaciones de Arqumedes deban ser consideradas como certezas. Igualmente legendaria resulta la historia de cmo, tras descubrir la falsificacin del joyero que realiz la corona del rey Hieron sustituyendo una parte del oro por plata mientras tomaba un bao, haba salido desnudo a las calles gritando eureka!! Cuenta Plutarco que Arqumedes no daba gran importancia a sus mquinas e ingenios mecnicos y que, pese a trabajar en ellos, estaba ms interesado en sus principios bsicos que en sus aplicaciones. Como prueba, aduce el hecho de que nunca dedic una obra a la descripcin de los mismos. Estas afirmaciones son cuestionables si se tiene en cuenta que su juicio puede estar sesgado por su afiliacin a los principios del idealismo platnico y el papel que, como se ver ms adelante, concede Arqumedes a la mecnica en el contexto del descubrimiento. Curiosamente, el renombre y la fama de Arqumedes en la Antigedad se deba ms a sus logros como ingeniero que a sus geniales creaciones como matemtico y fsico. Una de sus mquinas, conocida como esfera de Arqumedes, consistente en un planetario movido por energa hidrulica en el que se representaban el Sol la Luna y los cinco planetas conocidos en su poca, concit la admiracin y asombro de sus

contemporneos. Al parecer, podan observarse en ella los movimientos de rotacin y traslacin de estos cuerpos celestes, los eclipses y ciertos fenmenos atmosfricos. Pero fue a raz del sitio de Siracusa por las naves romanas comandadas por Marcelo, cuando el renombre de Arqumedes alcanz las ms altas cotas. Parece haber un acuerdo unnime en que los dos aos que dur el cerco de Siracusa fueron debidos a los dispositivos blicos diseados por Arqumedes, cuya variedad y eficacia letal causaron la admiracin de sus contemporneos: catapultas que disparaban enjambres de flechas y proyectiles sobre la armada romana, gigantescos brazos, anclados en las murallas de Siracusa, que levantaban los barcos enemigos por la proa hasta ponerlos verticales y, tras zarandearlos, los estrellaban contra los acantilados, espejos ustorios o curvos que, colocados sobre las murallas, concentraban los rayos solares sobre las velas de las naves romanas hasta provocar su combustin. Aunque la atribucin de la autora de este ltimo ingenio ha sido puesta en cuestin con frecuencia, cabe aportar a favor de su credibilidad que Arqumedes haba estudiado en su obra Sobre conoides y esferoides las propiedades de los paraboloides, hiperboloides y elipsoides y, por ello, cabe la posibilidad de que pudiera estar familiarizado con sus propiedades ptico focales; adems, Ten de Alejandra afirmaba que Arqumedes haba descrito estos espejos en una obra titulada Tratado de catptrica que se ha perdido. La leyenda ha atribuido a Arqumedes las peculiaridades tpicas del sabio distrado. Era famosa su capacidad de concentracin cuando trabajaba en la resolucin de un problema, que le llevaba a olvidarse de los aspectos ms bsicos de la vida cotidiana. Parece que algunas ocasiones sus propios criados se vean obligados a arrastrarlo hasta los baos y que incluso en el interior de los mismos segua trazando sus figuras geomtricas sobre las cenizas del suelo o sobre el aceite que unga las espaldas de sus criados. Probablemente esta extraordinaria capacidad para abstraerse de la realidad circundante result letal para l cuando, roto el cerco de Siracusa, los soldados romanos entraron en la ciudad. Uno de ellos lo encontr dibujando una figura geomtrica sobre la arena y lo asesin pese a que Marcelo, conocedor de su formidable talento, haba dado rdenes expresas para que se respetara su vida y fuera conducido a su presencia. Plutarco ha dejado constancia en su obra de las tres versiones que le haban llegado sobre el asesinato de Arqumedes. Cuenta la primera, hallndose totalmente concentrado en la resolucin de un problema, no fue consciente de la entrada de los romanos en la ciudad y cuando uno de los invasores lleg hasta l y lo conmin a que le siguiera para llevarlo a presencia de Marcelo, se neg a cumplir la orden mientras no hubiera encontrado la solucin. La negativa enfureci tanto al soldado que lo atraves con su espada. La segunda versin resalta el espritu perfeccionista de Arqumedes, quien al ver aproximarse al soldado romano con la espada desenvainada y actitud amenazante, le implor que aguardase unos instantes para darle muerte ya que no poda dejar el problema mientras la solucin fuese imperfecta o dudosa. Finalmente, la ltima versin resulta la ms prosaica de todas y, por ello, quiz sea la que ms se aproxima a lo sucedido en realidad: Arqumedes llevaba a Marcelo diferentes instrumentos matemticos cuyos elementos metlicos reflejaban los rayos solares. Alver

sus destellos un grupo de soldados romanos, creyeron que transportaba pizas de oro y lo asesinaron para robarle. Consternado Marcelo al conocer los hechos, orden la realizacin de un funeral en el que se le rindieran honores y, siguiendo los deseos del sabio, esculpi en su tumba la figura de un cilindro circunscribiendo una esfera acompaada de la razn entre los volmenes de las dos figuras; descubrimiento que Arqumedes consideraba uno de sus logros ms importantes. El saqueo que sigui a la toma de Siracusa provocara sin duda la destruccin y desaparicin de las obras del sabio. Cabe pensar que muchas de ellas las haba remitido previamente a sus amigos y corresponsales de Alejandra, en cualquier caso los escritos cientficos arquimedianos que se han conservado provienen de tres fuentes distintas: el griego clsico (muchas veces a partir de versiones arbigo-latinas), el bizantino y el estrictamente rabe. Durante ms de dos milenios, las fuentes griegas de las obras de Arqumedes fueron dos manuscritos, el compendio elaborado por Len de Tesalnica en el siglo noveno, conocido como cdice Valla por haber sido propiedad de este humanista, del que no se tienen ms noticias a partir de 1544. Un segundo manuscrito bizantino que inclua Sobre el equilibrio de los planos, Sobre la cuadratura de la parbola y Sobre los cuerpos flotantes y, posiblemente, Sobre las espirales, estuvo disponible durante la Edad Media y apareca en los catlogos de la biblioteca papal entre los aos 1295 y 1311, posteriormente desaparece sin dejar ninguna copia. Ambos manuscritos los tuvo a su disposicin de Guillermo de Moerbecke (1215 1286), dominico amigo de Toms de Aquino y traductor de las obras de Aristteles, que en 1269 hizo, a partir de ambos, la traduccin al latn de varias obras de Arqumedes: Sobre la esfera y el cilindro (dos libros), Sobre la medida del crculo, Sobre conoides y esferoides, Sobre las espirales, Sobre el equilibrio de los planos (dos libros), El arenario, Sobre la cuadratura de la parbola y Sobre los cuerpos flotantes. Esta traduccin latina fue directa o indirectamente el origen de todas las copias de Arqumedes durante el Renacimiento. A estas obras se aadan otros tratados provenientes de fuentes rabes cuya atribucin a Arqumedes se ha puesto con frecuencia en entredicho, como sucede con El libro de los lemas o el Problema de los bueyes. Haba tambin referencias de varios autores a otras obras perdidas de Arqumedes: Pappus de Alejandra citaba un tratado sobre polgonos semirregulares y otro sobre equilibrios y palancas, Ten de Alejandra una obra sobre espejos ustorios y el propio Arqumedes hizo referencia a un tratado sobre el sistema numrico que presentaba en el Arenario. En el ao 1906, Johan Ludvig Heiberg, historiador y estudioso de la Matemtica griega, descubri en Constantinopla un tercer manuscrito bizantino. Se trataba de un palimpsesto cuya escritura superior, correspondiente a un devocionario religioso, se haba realizado sobre textos de Arqumedes del siglo X, que previamente haban sido lavados y raspados para poder reutilizar el pergamino, afortunadamente sin hacerlos desaparecer por completo. Este tercer manuscrito contiene gran parte de Sobre la esfera y el cilindro, Sobre las espirales, algunas partes de Sobre la medida del crculo y Sobre el equilibrio de los planos, la mayor parte del

texto griego de Sobre los cuerpos flotantes (de la que solo se dispona de la versin en rabe), el prefacio y dos proposiciones cortas del Stomachion y un tratado indito del que nicamente se tenan dos referencias, Sobre el Mtodo de los teoremas mecnicos (El mtodo), dedicado a su amigo Eratstenes, que contiene informacin esencial sobre los mtodos heursticos utilizados por el genio siracusano para descubrir los resultados que posteriormente presentaba siguiendo el modelo eucldeo. Las obras de Arqumedes se clasifican habitualmente en tres grupos: las relacionadas con las cuadraturas y cubaturas de diferentes figuras planas y slidos, las que analizan geomtricamente problemas sobre esttica e hidrosttica y una miscelnea de obras, en la que estaran incluidas el Arenario y Stomachion, que no tienen una caracterstica comn como las anteriores. Dado que el espacio de esta seccin resulta insuficiente para extenderse en el anlisis de la obra arquimediana, se centrar la atencin en un somero anlisis de algunos de sus tratados matemticos. Se prescinde, por tanto, de sus importantes contribuciones a la esttica y la hidrosttica recogidas en Sobre el equilibrio de los planos y Sobre los cuerpos flotantes. En el primero establece, entre otros resultados, las leyes de la palanca sobre slidas bases matemticas, en contraposicin a los fundamentos especulativos utilizados anteriormente por Aristteles, y calcula los centros de gravedad de diferentes figuras geomtricas: tringulo, trapecio y segmento parablico. Anlogamente, en los dos libros que componen el segundo tratado, deduce importantes proposiciones, como su famoso principio hidrosttico, partiendo de sencillos postulados y vinculando la geometra con la hidrosttica. Es justamente esta ligazn, que habra de tener una proyeccin esencial en el futuro desarrollo de la ciencia, lo que le convierte en el ms antiguo e ilustre precursor de la fsica matemtica. Dentro de su obra matemtica, centraremos la atencin en los resultados que contribuyeron a considerarle el ms genial de todos los gemetras griegos, en una de sus creaciones ms originales, como fueron sus mtodos heursticos de descubrimiento, y su mtodo demostrativo por exhaucin, considerados stos ltimos como los precedentes ms claros del clculo integral en la Antigedad. Uno de sus tratados ms populares fue sin duda Sobre la medida del crculo. Seguramente la sencillez de sus contenidos y la elegancia de los procedimientos matemticos aplicados hicieron de l una de las obras arquimedianas ms accesibles. Muestra en ella una clara orientacin hacia la Geometra de la Medida que contrasta con la Geometra de posicin omnipresente en la obra de Apolonio (260 a 185 a.C.). Esa orientacin se observa tambin en los tratados que sus contemporneos, Aristarco de Samos (310 a 230 a.C.) y Eratstenes de Cirene, dedicaron a la determinacin de los tamaos y distancias del Sol y la Luna y a la medida de la Tierra respectivamente. En ese contexto, Arqumedes realiza sus clculos y aproximaciones haciendo un amplio y eficaz uso de la logstica o aritmtica prctica griega, disciplina que el platonismo haba relegado a trabajo de esclavos. El tratado, sin el prlogo habitual de otras obras, lo componen tres proposiciones. La segunda de ellas depende de los resultados de la tercera,

lo que segn Thomas L. Heath indica que el orden fue alterado y posiblemente se trate de un de un fragmento de una obra ms extensa. La primera proposicin establece que El rea de un crculo es igual a la de un tringulo rectngulo cuyos catetos son el radio y la longitud de la circunferencia del propio crculo. Esta equivalencia entre el crculo y un tringulo da, en un principio, la impresin de haberse conseguido la cuadratura de aqul, puesto que el tringulo es una figura cuadrable con regla y comps, el problema es que el tringulo considerado, uno de cuyos catetos es la longitud de la circunferencia, no es cuadrable por tal procedimiento. Probablemente Arqumedes era consciente de tal imposibilidad ya que en la tercera proposicin, combinando magistralmente la geometra y la logstica, logra uno de sus resultados ms famosos: la extraordinaria aproximacin de la razn entre la circunferencia y su dimetro, el nmero , que sita entre Los valores 3 +

10 1 y 3+ . 71 7

Para conseguir esta aproximacin recurre al procedimiento iterativo de inscribir y circunscribir el crculo con polgonos regulares, cuyos lados duplica, hasta llegar a un polgono de 96 lados. La demostracin, como es habitual, recurre al mtodo de exhaucin y a la relacin entre los permetros y reas de los polgonos considerados. Simplificando el procedimiento, considera las sucesiones (pn) y (Pn) de permetros de polgonos inscritos y circunscritos respectivamente y, a partir del tercer trmino de ambas sucesiones, establece las siguientes relaciones: Pn +1 =

2 pn Pn y pn +1 = pn + Pn

pn Pn+1

. Anlogas relaciones se obtienen para las reas de los polgonos inscritos y circunscritos. En el transcurso del clculo de los permetros, Arqumedes se ve obligado a realizar aproximaciones de irracionales cuadrticos como 3 , obteniendo la siguiente relacin

procedimientos sigui para alcanzar estas sorprendentes aproximaciones, se ha especulado con diferentes hiptesis. Posiblemente eran mtodos sobradamente conocidos en su poca y, por ello, no juzg necesario explicarlos. Tambin se ha sugerido que conoca y utiliz mtodos similares a los que haban empleado los matemticos babilnicos. Debe destacarse que la primera proposicin establece, por primera vez y definitivamente en la geometra griega, la equivalencia de la razn entre la circunferencia y su dimetro y la razn del crculo al cuadrado del radio, es decir la igualdad de ambas constantes que la posterioridad designar como nmero . Por otra parte, como el propio Arqumedes seala en el prlogo del Mtodo, la conclusin de este teorema le sirvi como modelo para establecer por analoga la conocida proposicin de que el rea de la superficie esfrica es cuatro veces el de uno de sus crculos mximos. El segundo teorema establece que el rea de un crculo es a un cuadrado sobre su dimetro como 11 es a 14. Como ya se ha indicado, su demostracin se apoya en la conclusin de la tercera proposicin. Si bien Arqumedes apoy su demostracin en consideraciones geomtricas, es

265 1351 < 3< . Dado que en ningn lugar indica qu 153 780

fcil ver, utilizando el lenguaje algebraico actual, que el rea del cuadrado vendra dada por 4r2, siendo 2r el dimetro. Utilizando la aproximacin para , el rea del crculo viene dada por

22 7

22 r 2 , de donde la razn ser 7

22 r 2 11 = . 28 r 2 14
Sobre la esfera y el cilindro contiene los resultados que Arqumedes tuvo en mayor estima. Lo conforman dos libros, el primero es un complemento de la geometra tridimensional del libro XII de los Elementos. Euclides haba demostrado que la razn de los volmenes de dos esferas era igual a la de los cubos de sus dimetros, Arqumedes va a extender considerablemente estos resultados demostrando por el mtodo de exhaucin nuevos teoremas como el recogido en la proposicin 33, la superficie de la esfera es cuatro veces la de su crculo mximo, o en la 34, cualquier esfera es igual a cuatro veces el cono cuya base es igual al crculo mximo de la esfera y su altura igual al radio de la esfera. Como corolario de estos resultados, concluye que la razn entre una esfera y el cilindro que la contiene es

tanto en superficie como en volumen. Resultado que consider como uno de sus logros ms preciados y dispuso que se inscribiera en su tumba la figura de un cilindro circunscrito a una esfera y la correspondiente razn entre sus volmenes. Adems del el rea y el volumen de la esfera, se determinan tambin en este primer libro las reas y volmenes de otros cuerpos redondos: cilindros, segmentos esfricos, etc. El segundo libro trata problemas que desbordan ampliamente el marco de la geometra eucldea. Entre otros problemas, la seccin de la esfera mediante planos de forma que los volmenes de los segmentos esfricos obtenidos estn en una razn dada de antemano. La resolucin de este problema lleva a una ecuacin cbica,

2 3

la interseccin de una parbola y una hiprbola. Plantea tambin cuestiones relativas a la determinacin de una esfera igual a un cono o un cilindro dados, o del segmento esfrico de mayor volumen entre los que tienen igual rea. Tanto en la Medida del crculo como en los dos libros que componen Sobre la esfera y el cilindro, queda perfectamente ilustrada una de las dos facetas caractersticas de la produccin cientfica arquimediana: la va de la demostracin. Arqumedes expone sus resultados acompaados de las correspondientes demostraciones, que realiza dentro del riguroso marco eucldeo. Su mtodo demostrativo por excelencia es el de exhaucin. Sus antecedentes ms directos han de buscarse en Eudoxo de Cnido, el matemtico ms ilustre de la Academia platnica, que super la primera crisis de la historia de las matemticas, provocada por la irrupcin de las magnitudes inconmensurables, estableciendo sobre firmes bases lgicas una teora de las proporciones. Con ella, los gemetras griegos podan manejar las razones de magnitudes de forma anloga a como la matemtica actual opera con los nmeros reales. l fue tambin quien introdujo por primera vez en las matemticas el axioma de continuidad, que haca posible

a x b2 = 2 , que resolvi geomtricamente a partir de c x

trabajar con magnitudes que pueden hacerse mayores o menores que otras arbitrariamente elegidas, salvando as el horror de las matemticas griegas al infinito actual. Este axioma fue perfeccionado y utilizado profusamente por el genio de Siracusa y por ello se suele denominar de Eudoxo Arqumedes. El mtodo de exhaucin arquimediano es deudor tambin de los procedimientos utilizados por Antifon de Atenas (hacia 430 a.C.) y Bryson de Heraclea (hacia 400 a.C.) para cuadrar el crculo. El primero, parta de un polgono regular inscrito y sobre cada lado construa un tringulo issceles, cuyo lado desigual coincida con el del polgono. Repitiendo el proceso, afirmaba, se llegara a un polgono cuyos lados seran tan pequeos que coincidira con la circunferencia. Por su parte Bryson, consideraba tambin polgonos regulares circunscritos. Reiterando la duplicacin de los lados de los polgonos inscritos y circunscritos, consideraba que se llegara a un nico polgono de rea intermedia entre ambos que coincidira con el rea del crculo. El mtodo utilizado por Arqumedes se basa, adems, en la utilizacin de la demostracin indirecta (o reduccin al absurdo) y lo aplica en sus obras de tres formas diferentes. Mtodo de exhaucin por compresin por diferencia Mtodo de exhaucin por compresin por razn Mtodo de exhaucin por aproximacin

En todos los casos el problema planteado es el siguiente: dada una magnitud geomtrica G (longitud, rea o volumen) se pretende probar que es equivalente a otra D previamente conocida. Para realizar la demostracin, aplicando el mtodo de compresin por diferencia, procede la siguiente forma: se construye una sucesin de figuras regulares inscritas (In) y circunscritas (Cn), tales que para todo n se verifica que I n < G < Cn . A continuacin, demuestra que la diferencia entre ellos (

Cn I n ) puede hacerse tan pequea como se quiera (axioma de Eudoxo Arqumedes) al crecer n, y que, para todo n, I n < D < Cn . De donde se concluye que G = D .
La demostracin por compresin por razn o divisin procede tambin construyendo sendas sucesiones ( I n ) y ( Cn ) tales que, para todo n,

I n < G < Cn . Considera a continuacin una razn cualquiera, r, mayor que la Cn <r unidad y demuestra que existe un valor no tal que si n > no , entonces In
, con ello prueba que dicha razn puede acercarse a la unidad ms que cualquier razn dada y, como I n < D < Cn , concluye que G = D . Las dos formas anteriores del mtodo de exhaucin son originales de Arqumedes, la demostracin por aproximacin parece que se corresponde con la utilizada por Eudoxo y est recogida en el Libro XII de los Elementos. El mtodo parte de una sucesin de figuras regulares inscritas en G, tales

que sus correspondientes magnitudes s1 + s2 + ... + sn = Sn , utilizando el lenguaje algebraico actual, verifican: 1) Dado un valor arbitrario > 0 existe no , tal que si n > no , G S n < y

sn < .
2) Para todo n, s1 + s2 + ... + sn + Rn = D , siendo Rn < sn de donde concluye que G = D. Para la demostracin de la igualdad, G = D, Arqumedes recurre invariablemente a la doble reduccin al absurdo razonando de la forma que sigue: de no darse la igualdad, o bien G>D o G<D. Si ambas hiptesis llevan a contradiccin, entonces debe ser G =D. La mayora de los matemticos que estudiaron las obras de Arqumedes durante ms de dos milenios se haban preguntado cmo llegaba a conocer el valor de la magnitud D. Muchos pensaron que deba haber utilizado algn un mtodo heurstico, una va de descubrimiento, que haba ocultado deliberadamente, para hallar esos resultados que luego probaba rigurosamente aplicando el mtodo de exhaucin. El descubrimiento realizado por Heiberg en 1906 del palimpsesto de Arqumedes confirm la existencia de dichos mtodos. El manuscrito contena varias obras del genio de Siracusa, algunas ya conocidas en su versin griega y otras conocidas a travs de versiones latinas de textos rabes, pero aparecieron en l dos obras inditas, parte de un tratado denominado Stomachion y el Mtodo relativo a los teoremas mecnicos. Este ltimo, dedicado a su amigo Eratstenes, revela que Arqumedes utilizaba una va de descubrimiento que conjugaba la mecnica y la geometra con una libertad de razonamiento inhabitual en la escuela de Alejandra. El uso de recursos mecnicos para tales fines, proscritos en el canon platnico eucldeo que estableca una drstica separacin entre la teora y la prctica, lo convirtieron sin duda en un heterodoxo entre sus colegas alejandrinos. El Mtodo se inicia con un prembulo dedicado a Eratstenes al que siguen once asunciones previas o lemas, la mayora de las cuales estn dedicadas a describir las propiedades de los centros de gravedad de diferentes figuras geomtricas, y diecisis proposiciones en las que, aplicando el mtodo mecnico, establece las cuadraturas y cubaturas de diversas figuras planas y slidos. Las cinco ltimas, dedicadas al estudio de la cua y la bveda cilndrica, que constituyen el objetivo principal de la comunicacin a Eratstenes, ilustran el ciclo completo de la investigacin arquimediana, que se inicia con la aplicacin del mtodo mecnico para el descubrimiento de los resultados que, posteriormente, se demostrarn geomtricamente a partir del mtodo de exhaucin. La aplicacin del mtodo mecnico se hace en tres fases, para ilustrar cada una de ellas partiremos del resultado presentado en la proposicin 34 de Sobre la esfera y el cilindro: cualquier esfera es igual a cuatro veces el cono cuya base es igual al crculo mximo de la esfera y su altura igual al radio de misma.

En la primera fase, de carcter puramente geomtrico, Arqumedes realiza la figura que aparece al margen. En ella, ABCD representa un crculo mximo de la esfera. Siendo AC y BD perpendiculares, considera un segundo crculo mximo de dimetro BD, perpendicular a ABCD, a partir de ste construye un cono de vrtice A cuya superficie prolonga hasta ser cortada por un plano paralelo a su base que pasa por C. Dicha seccin determina un crculo perpendicular a AC de dimetro EZ. A continuacin construye un cilindro de altura AC cuyas generatrices son LE y HZ y prolonga CA hasta el punto T, siendo AT = AC. Considerando CT como una palanca cuyo punto medio es A, corta mediante un plano perpendicular a AC que pasa por MN el cilindro, la esfera y el cono. Aplicando diferentes proposiciones geomtricas tomadas de los Elementos, demuestra que la razn del crculo que resulta de la seccin del cilindro por dicho plano (de dimetro MN) a los crculos que resultan de la seccin del cono y la esfera (de dimetros PR y OQ respectivamente) tomados conjuntamente es igual a la razn de AT a TS. Establecidas estas relaciones geomtricas pasa a una segunda fase de carcter mecnico en la que aplica las leyes de la esttica desarrolladas en Sobre el equilibrio de los planos y razona de la siguiente manera: dada la relacin de proporcionalidad hallada, si el crculo de dimetro MN del cilindro se mantiene en su lugar, es decir con el centro de gravedad en S, la palanca estar en equilibrio respecto al punto A si los crculos determinados en el cono y la esfera se trasladan conjuntamente a T, situando sus centros de gravedad en dicho punto. Anlogamente, cualquier plano perpendicular a AC seccionar al cilindro, la esfera y el cono segn tres crculos tales que manteniendo en su lugar el crculo determinado en el cilindro estar en equilibrio con los de la esfera y el cono, trasladados sus centros de gravedad al punto T. Pasa a continuacin a la tercera fase de la aplicacin del mtodo mecnico, en la que se observan estrechas similitudes con la geometra de los indivisibles que introducir Cavalieri en el siglo XVII. Arqumedes afirma que llenados con tales crculos el cono, la esfera y el cilindro, y permaneciendo ste en su lugar, es decir con su centro de gravedad en el punto K, estar en equilibrio si se trasladan conjuntamente el cono y la esfera, situando sus centros de gravedad en el punto T. De donde la razn del volumen del cilindro a los de la esfera y el cono juntos vendr dada por

AT = 2. AK

Teniendo en cuenta que AC = 2AK y que EZ = 2BD, es fcil probar que el volumen del cono de seccin AEZ, VAEZ , es 8 veces el volumen del cono de seccin ABD, VABD . Si designamos por Ve al volumen de la esfera y por VEZ al volumen del cilindro, tendremos que VEZ = 3VAEZ = 24VABD y

2 ( Ve + VAEZ ) = 2 ( Ve + 8 VABD ) = VEZ . Operando con ambas ecuaciones se llega al

resultado establecido en la proposicin: Ve = 4 VABD . Con este resultado, y razonando por analoga con la proposicin de que todo crculo equivale al tringulo cuya base es la circunferencia del crculo y su altura el radio, Arqumedes concluye que el rea de la esfera equivale al cudruplo de un crculo mximo.

A partir de aqu, es fcil derivar la famosa relacin entre los volmenes del cilindro y la esfera inscrita en l, tan estimada por Arqumedes. En efecto, si en la figura considerada se trazan los segmentos FX y VW paralelos a AC y tangentes al crculo mximo ABCD, y se considera el cilindro de eje AC y generatrices FX y VW, cuyo volumen se designar por VFW , dado que

1 EZ = 2WX , se tendr que VEZ = 4 VFW y VABD = VFW . Lo que, sustituyendo 6 2 en 2 ( Ve + 8 VABD ) = VEZ y despejando Ve , lleva a Ve = VFW . 3
Arqumedes fue consciente de que, si bien las dos primeras fases de su mtodo de descubrimiento eran irreprochables desde el punto de vista del rigor lgico, la tercera adoleca de notorias debilidades en ese terreno. Por ello, en el propio prembulo del Mtodo reconoce la necesidad de mantener una va demostrativa posterior basada en la geometra. ... ciertas cosas me quedaron claras por un mtodo mecnico, aunque tenan que ser probadas por la geometra posteriormente porque su investigacin por el mtodo dicho no proporcionaba una prueba real. Pero esto es por supuesto ms fcil, cuando hemos previamente adquirido, por el mtodo, algn conocimiento de las preguntas, para suministrar la prueba que es encontrarla sin ningn conocimiento previo. En definitiva, la investigacin arquimediana sigue dos vas paralelas y complementarias: la va del descubrimiento a partir de su original mtodo mecnico y, posteriormente, la va demostrativa que confirma sus esplndidas intuiciones mecnicas mediante demostraciones formales de acuerdo con el canon platnico eucldeo. Ha de aadirse, abundando en este aspecto, que incluso en el prlogo a Sobre las espirales, dirigido a su amigo alejandrino Dositeo, hace referencia a una serie de teoremas que haba enviado a su amigo Conn, dos de los cuales proporcionaban resultados aparentemente ciertos pero contradictorios con teoremas previamente admitidos. Esta especie de humorada arquimediana deba prevenir segn su autor a los matemticos que daban por verdaderas demostraciones que no haban sido probadas. Quiz la obra de mayor profundidad matemtica y tambin ms trasgresora sea Sobre las espirales. En ella introduce la espiral que lleva su nombre correspondiente al lugar geomtrico de un punto del plano que, partiendo del extremo de una semirrecta, sigue un movimiento uniforme sobre ella, mientras sta gira uniformemente alrededor de su extremo. Con esta curva, Arqumedes resuelve dos de los problemas clsicos de la matemtica griega: la triseccin de un ngulo cualquiera y la cuadratura del crculo. Obviamente, esta curva es de naturaleza mecnica y no construible mediante regla y comps. A estos notables resultados ha de aadirse la proposicin 24, en que determina que el rea barrida por el radio vector de dicha espiral en su primera rotacin completa equivale a la tercera parte del rea del crculo con centro en el origen de la espiral y radio igual al mdulo de dicho vector en la posicin final. Demuestra, tambin, que el rea de la

regin comprendida entre una vuelta n de la espiral y la siguiente n+1, viene dada por la siguiente frmula recursiva. An +1 =

n An . n 1

En el campo de las matemticas la importancia y originalidad de la obra de Arqumedes ha sido excepcional, pese a que su influencia fue limitada entre sus contemporneos e inmediatos seguidores. Dos razones pueden explicar esta anomala histrica: por un lado, la hegemona romana y su nulo inters por las ciencias tericas precipita el declive de la matemtica griega; por otro, las obras de Arqumedes tiene un carcter muy similar a las modernas monografas cientficas en cuanto plantean y resuelven problemas muy especficos y se dirigen a una comunidad de especialistas cientficos. Carecen, por ello, de la orientacin didctica que se observa en otras obras ms populares, como los Elementos de Euclides. Aunque algunos de sus resultados fueron ampliamente conocidos, en lo que sabemos, no dej discpulos que profundizaran y extendieran sus grandes aportaciones a la mecnica, a la hidrosttica o a las cuadraturas y cubaturas de figuras geomtricas. Es cierto que importantes matemticos alejandrinos como Hern, Pappus o Ten citaron con frecuencia sus obras, pero fueron los comentarios de Eutocio de Ascaln, matemtico del siglo V, los que jugaron un papel decisivo en la preservacin y transmisin de la obra arquimediana. Estos escritos sirvieron un siglo ms tarde a la escuela formada en Constantinopla por Isidoro de Mileto y Antemio de Tralles, arquitectos de la baslica de Santa Sofa, para estudiar y editar parte de la obra de Arqumedes. A esta primera recopilacin se fueron aadiendo gradualmente otros trabajos de Arqumedes hasta que en el siglo IX Len de Tesalnica realiz el compendio recogido en el cdice Valla. Un origen similar debieron tener los otros dos manuscritos anteriormente mencionados. En los siglos VIII y IX tambin acceden a las obras de Arqumedes los rabes. Probablemente, nunca llegaron a disponer de un manuscrito tan completo como el cdice Valla, sin embargo alcanzaron un gran dominio de los mtodos arquimedianos e hicieron importantes contribuciones. El occidente cristiano lleg al conocimiento de la obra arquimediana en el siglo XII cuando Platn de Tvoli y Gerardo de Cremona inician las traducciones al latn desde fuentes rabes. En la segunda mitad del siglo XIII se produce un importante avance cuando Guillermo de Moerbeke realiza la traduccin al latn de los dos manuscritos bizantinos que tuvo a su disposicin en la biblioteca papal, a la que haban pasado desde la coleccin de los reyes normandos de Sicilia. En el siglo XV comenz a extenderse el conocimiento de Arqumedes por toda Europa a partir de una nueva traduccin al latn de los textos del cdice Valla realizada por Jaime de Cremona, pero la mayor difusin se produce en la siguiente centuria, poca en la que se multiplican las traducciones, destacando especialmente las realizadas por Federico Commandino en Bolonia el ao 1558 o, anteriormente, por Francisco Maurolico que se publicaran en Palermo el ao 1685. Puede afirmarse que, a partir de la segunda mitad del siglo XVI, el inters de los matemticos por los trabajos de Arqumedes haba alcanzado su apogeo, especialmente en lo relativo a los problemas de cuadraturas y cubaturas que intentaron resolver introduciendo nuevos mtodos que

anticiparon el advenimiento del clculo infinitesimal de Newton y Leibniz. Tambin sus concepciones mecnicas e hidrostticas tuvieron un papel fundamental en la reformulacin de la hasta entonces hegemnica fsica aristotlica. Grandes fsicos y matemticos de esa centuria y la siguiente reconocieron la importante influencia arquimediana en sus trabajos: Simon Stevin, Kepler, Cavalieri, Torricelli, Galileo, que lo cita ms de un centenar de veces, Descartes, Fermat y un largo etctera. Puede decirse que, una vez que la asimilacin de la obra de Arqumedes por los matemticos europeos de esta poca ejerci una influencia sustancial en el nacimiento de la ciencia moderna. Jules Henri Poincar Jules Henri Poincar ha sido uno de los matemticos ms creativo de la historia. Naci el ao 1854 en Nancy en el seno de una familia acomodada e influyente. Su padre, Lon, era profesor de medicina en la Universidad y su to Antoine, tras estudiar en la prestigiosa Escuela Politcnica, ocup el cargo de Inspector General de Puertos y Caminos; un hijo de ste, Raymond Poincar, desempe el cargo de ministro varias veces y lleg a ser Presidente de la Repblica durante la Primera Guerra Mundial. Su nica hermana se cas con el prestigioso filsofo Emile Boutroux. Cuando contaba cinco aos enferm de difteria y, como secuela, sufri una parlisis de laringe que le oblig a permanecer en reposo durante varios meses. Su madre, mujer culta y decidida, tomo a su cargo la educacin de Henri y, a juzgar por los resultados, con gran xito: su hijo se convirti en un vido lector que devoraba y asimilaba a la perfeccin cuantos libros caan en sus manos gracias a una extraordinaria memoria visual que le permita, no solo citar literalmente los textos, sino tambin la pgina en que se encontraban. Igualmente destacables eran los escritos que elaboraba el joven Poincar en esta poca. Como contrapartida, aunque nunca fue un motivo de gran preocupacin para l, mostraba algunas limitaciones en la coordinacin motora y en la agudeza visual que le iban a acompaar el resto de su existencia. En 1862 ingres en el liceo de Nancy donde permaneci once aos. Aunque inicialmente se decant por la historia natural y la geografa, durante la adolescencia se despert su pasin por las matemticas. Realizaba los clculos mentalmente abstrayndose de cuanto le rodeaba y hasta que no alcanzaba los resultados del problema no pona la solucin por escrito. Este mtodo de trabajo lo mantendr en el futuro, y de hecho, cuando ya sea un matemtico consagrado, continuar escribiendo sus artculos y tratados de un tirn, como producto resultante de una larga elaboracin mental, sin recurrir apenas a segundas lecturas para revisarlos y corregirlos. Sus extraordinarias aptitudes para las matemticas eran reconocidas tanto por sus condiscpulos como por sus maestros, uno de ellos refera a l como un monstruo de las matemticas. Tambin eran muy populares sus habituales despistes y su falta de atencin a los detalles que, en alguna

ocasin, arruinaban sus excelentes planteamientos. Pese a ello, Poincar no tuvo problemas para ganar con brillantez el premio de Matemticas Elementales y Especiales en el Concurso General, una competicin en la que participaban los alumnos de todos los liceos franceses. Notable fue tambin su facilidad para el aprendizaje de los idiomas. Se cuenta la ancdota de que en el transcurso de la guerra franco prusiana, su ciudad fue tomada en 1870 por los alemanes. La ocupacin puso fin a la edicin de peridicos en lengua francesa y Henri, que tena ese momento 16 aos, aprendi el alemn para poder enterarse de las noticias sobre el transcurso de la guerra que solo se publicaban en ese idioma. El ao 1871 obtiene el ttulo de Bachiller en Letras y unos meses despus se presenta a los exmenes de Ciencias en los que, paradojas de la vida, no consigue superar la prueba de matemticas. Pese a ello, su brillante expediente le permiti obtener el ttulo de bachiller de esta especialidad. Dos aos ms tarde ingresa en la prestigiosa Escuela Politcnica donde continuar destacando en Matemticas. All tuvo ocasin de estudiar Anlisis con el gran matemtico Charles Hermite y Fsica con Marie-Alfred Cornu. stos iban a ser los profesores que mayor influencia ejercieron sobre l. Hermite imparta el curso de geometra diferencial, tema que se convertira en uno de los predilectos de Poincar y, unos aos ms tarde, sera el encargado de supervisar su tesis doctoral. En 1875 Poincar se grada en la Escuela Politcnica con el nmero dos de su promocin. La causa de que no obtuviera el primer puesto hay que buscarla en su ineptitud para el dibujo que, como sus deficiencias para la prctica deportiva o musical, se derivaba de su falta de coordinacin corporal. De hecho, una de sus mayores frustraciones fue no haber conseguido aprender a tocar el piano, lo que compens en cierta manera convirtindose en un apasionado melmano. Ese mismo ao, el conocido filsofo mile Boutroux, que imparta clases en la Universidad de Nancy, se casa con su hermana Aline Poincar. Desde ese momento, Poincar y su cuado mantendrn frecuentes debates sobre problemas filosficos que, ms adelante, ejercern una profunda influencia en las ideas de Poincar sobre la filosofa de la ciencia. Tras obtener la licenciatura en Matemticas el ao 1876, opta por continuar sus estudios en la prestigiosa Escuela de Minas, tal como corresponda a los alumnos graduados en los primeros puestos en la Escuela Politcnica que solan elegir entre esta escuela tcnica o su competidora, la Escuela des Ponts et Chausses. Aunque parece que no estaba especialmente dotado para la minera, el prestigio social y la solvencia econmica que aportaba esta titulacin parecen que fueron factores determinantes para su eleccin. Como alumno de ingeniera realiz diferentes viajes por Europa, Suecia y Austria, y el norte de frica. El mes de marzo de 1879 recibe el ttulo de ingeniero de minas y es destinado a Vesoul, donde con ocasin de una explosin de gris en una mina que caus varios 16 muertos tuvo ocasin de demostrar su celo en el cumplimiento de sus funciones y su valor, ya que, pese a los riesgos notorios, no tuvo empacho en descender al interior de la mina acompaando al equipo de salvamento. Poincar haba compatibilizado sus estudios de ingeniera con la investigacin matemtica y en el mes de agosto de 1879 defendi su tesis

doctoral en la Facultad de Ciencias de Paris ante un jurado del que formaba parte el prestigioso matemtico Jean-Gaston Darboux que, ms adelante, ser uno de sus bigrafos. En la tesis, titulada Sur les proprits des fonctions dfinies par les quations diffrences, planteaba la mejora de los mtodos de resolucin de estas ecuaciones diferenciales que haban sido sugeridos por Cauchy unos aos antes. Poincar centraba su trabajo no tanto en los mtodos de resolucin como en sobre teoremas de existencia de las soluciones. Un informe redactado por el propio Darboux cuenta la excelente impresin que le haban producido sus procedimientos y resultados, a la vez que mostraba reservas respecto a la claridad de su estilo. Posiblemente las tareas administrativas que comportaba el ejercicio de la ingeniera minera le resultaban mucho menos gratificantes que su dedicacin a la investigacin en las ciencias puras, y aunque con los aos habra de tomar diferentes responsabilidades como miembro del Corps des Mines, convirtindose primero en Ingeniero jefe y ms tarde en Inspector general, el mes de diciembre de 1879 acept el nombramiento de profesor de Anlisis matemtico en la Facultad de Ciencias de Caen. El periodo comprendido entre esa fecha y octubre de 1881 fue sumamente fructfero para sus investigaciones matemticas, ya que redact y public ms de veinte artculos en la revista Comptes Rendus de la Academia de Ciencias de Paris. Sus contenidos pueden agruparse en torno a tres ramas de las matemticas puras: la aritmtica de las formas cuadrticas y ternarias, donde utiliza mtodos tomados de la geometra no eucldea, la teora cualitativa de las ecuaciones diferenciales y las funciones fuchsianas o automorfas. Puso un brillante cierre a este extraordinario periodo contrayendo matrimonio con Louise Poullain dAndecy el 20 de abril de 1881. De esta feliz unin naceran tres hijas, Jeanne, Yvonne, Henriette, y un nio al que bautizaron con el nombre de Len.

En el otoo de 1881, con el apoyo de Hermite, obtiene el nombramiento de profesor asociado de Anlisis en la Universidad de la Sorbona. El joven matrimonio fija su residencia en Paris, donde Henri desarrollar una brillante carrera profesional e ir acrecentando su fama y prestigio hasta convertirse en el principal referente mundial de la matemtica francesa. Dos aos ms tarde, asume el cargo de profesor de la Escuela Politcnica. En 1885 obtiene la ctedra de Mecnica Fsica y Experimental de la Facultad de Ciencias y, al ao siguiente, la de Fsica Matemtica y Teora de Probabilidades. Tambin tuvo a su cargo el curso de Astronoma de la Escuela Politcnica y el de Electricidad Terica en la cole des Postes et Tlgraphes. En sus cursos de Fsica Matemtica, Poincar adquiri la costumbre de elegir cada ao un nuevo tema, planteaba en sus clases las cuestiones ms sobresalientes y de ms candente actualidad de cada una de las ramas de la Fsica seleccionadas. De esta forma, desarroll a lo largo de los aos cursos de hidrodinmica, termodinmica, teora cintica, ptica, electrodinmica, teora de Maxwell, experimentos de Hertz y un largo etctera. Sinti una especial atraccin por los fundamentos tericos de la telegrafa sin hilos y se propuso sentar las bases matemticas que

facilitaran la comprensin de este fenmeno. Los resultados que obtuvo en este campo quedaron recogidos en un tratado titulado La thorie de Maxwell et les oscillations hertziennes que public en 1907. Adems de sus responsabilidades como catedrtico e inspector de minas, Poincar fue miembro del Bureau des Longitudes de Paris desde principios del ao 1893, llegando a desempear su presidencia los aos 1899, 1909 y 1910. Esta oficina, fundada el ao 1795 en plena Revolucin francesa, era la responsable de la normalizacin de las unidades de medida. Por aquellas fechas, esta oficina se plante el proyecto de incluir las unidades de tiempo en el Sistema Internacional de Unidades. La tarea llev a sus miembros a considerar el problema de la medida del tiempo y de la sincronizacin de relojes. Poincar abord la cuestin de cmo mediran el tiempo dos observadores situados en distintos puntos de la Tierra y movindose a gran velocidad uno respecto al otro. Mediran el mismo tiempo sus relojes o se iran desfasando uno respecto al otro?. Por su estrecha relacin con el fsico holands Hendrik Antoon Lorentz estaba al tanto de la correccin que ste haba introducido en su revisin de algunas de las ecuaciones de Maxwell, dependiente de la velocidad de los observadores. Aunque Lorentz la haba denominado tiempo local, su interpretacin fue ms all de los lmites de las matemticas, pero Poincar la extendi dndole un significado fsico que apuntaba al concepto de tiempo y de simultaneidad. Sus conclusiones quedaron recogidas en una obra titulada La mesure du temps, publicada en 1898. En ella seala que La simultaneidad de dos sucesos o el orden en el que se han producido, la igualdad entre dos perodos de tiempo, deben ser definidos de modo que la formulacin de las leyes naturales sea lo ms simple posible. En otras palabras, nuestras elecciones no se basan en que unas reglas sean ciertas y otras no, sino en su conveniencia, que viene determinada por el grado en que simplifican la formulacin de las leyes fsicas.
Aunque Einstein lleg ms lejos que Lorentz o Poincar en su teora de la relatividad especial de 1905, es indudable que stos, de forma independiente, le haban precedido en la introduccin de algunas de las ideas germinales de esta revolucionaria teora. El ao 1887 Poincar es nombrado miembro la Academia de Ciencias de Paris, cuya presidencia ostentar en 1908. Tambin la Academia Francesa, reconocindole su mrito literario, le abre sus puertas el ao 1908 para ocupar el silln dejado vacante por el poeta Sully Prudhomme. Su creciente prestigio le comportar innumerables honores y reconocimientos. Es nombrado miembro de las ms importantes sociedades cientficas y academias de Europa y de los Estados Unidos. Recibe los doctorados Honoris Causa de las ms importantes universidades europeas, Berln, Bruselas, Cambridge, Estocolmo, Glasgow, Oxford, etc. La Real Sociedad Astronmica de Londres le concede la Medalla de Oro en 1900, tambin se le concede la Medalla Sylvester de la Royal Society y el ao 1904, la Sociedad Fsico Matemtica de Kazn le impone la Medalla Nicolai I. Lobachevski. Tambin recibi importantes premios a lo largo de carrera, entre otros, el premio Internacional de Matemticas, que le otorg en 1889 el rey Oscar II de Suecia por su memoria Sobre el Problema de los Tres

Cuerpos y las ecuaciones de la Dinmica, y el gran premio Farkas y Janos Bolyai de la Academia de Ciencias hngara. Como investigador, Poincar mantuvo siempre un estrecho contacto con los progresos cientficos de de su poca y dio una gran importancia al intercambio de ideas en la comunidad cientfica, lo que le llev a tomar un papel activo en los Congresos y reuniones cientficas internacionales. En 1897, se le asigna el encargo de elaborar la conferencia inaugural del Primer Congreso Internacional de Matemticas que se celebr durante el mes de Agosto en Zurich. Dedic la conferencia a disertar sobre las relaciones entre el Anlisis puro y la Fsica matemtica, y a exponer lo que se llam el programa Poincar, que estableca las funciones de un matemtico y las directrices sobre cmo debera conducirse la investigacin matemtica en el futuro. El 14 de abril de 1900, se inaugur la Exposicin Universal de Paris y, como parte de programa, se organizaron diferentes congresos, entre ellos el Segundo Congreso Internacional de Matemticas, que tuvo el honor de presidir. La conferencia inaugural corri, en esta ocasin, a cargo de Hilbert y marc un hito en la historia de las Matemticas al proponer en ella los veintitrs famosos problemas que habran de guiar el grueso de la investigacin matemtica durante el siglo XX. En el mismo marco de la Exposicin Universal, se celebraron otras dos reuniones en las que Poincar tuvo un papel central: el Primer Congreso Internacional de Filosofa, desarrollado entre los das 1 y 5 de agosto bajo la presidencia de su cuado Emile Boutroux, y el Congreso Internacional de Fsica, celebrado entre el 6 y el 12 de agosto, en cuyo comit organizador se encontraban su antiguo profesor de Fsica Alfred Cornu y su primo Lucien Poincar. En 1904 viaj a Estados Unidos para pronunciar varias conferencias con motivo de la Exposicin Universal de St. Louis. Cuatro aos ms tarde, mientras asista al Congreso Matemtico celebrado en Roma, sufri una seria indisposicin que impidi su presencia en la jornada de clausura, teniendo que ser hospitalizado y operado de urgencia. Desde entonces su salud se vio seriamente quebrantada hasta el punto que sus mdicos le aconsejaron una nueva intervencin quirrgica en 1912. Cuando pareca que el proceso de recuperacin se desarrollaba con total normalidad, el 17 de julio sufri una embolia que acab inesperadamente con su vida en uno de los momentos ms brillantes de su carrera. Poincar y Hilbert fueron los ltimos matemticos universalistas. Ambos cerraron el brillante siglo que haba inaugurado otro gran matemtico universal, Carl F. Gauss. Como l, Poincar haba llegado a dominar la mayor parte de las ramas de las Matemticas puras y aplicadas de su poca, haciendo contribuciones notables en cada una de ellas. Tambin, como el Prncipe de las Matemticas, su pensamiento haba mostrado una especial predileccin por los teoremas generales frente a los casos particulares. No obstante, al lado de estas similitudes, haba importantes diferencias entre ellos. Gauss fue un matemtico precoz y su virtuosismo para realizar clculos matemticos complejos fue legendario. Estas caractersticas estuvieron lejos de darse en el sabio francs que, en ocasiones, tena dificultades con clculos sencillos. Muy diferentes fueron tambin en lo que se refiere a la produccin escrita. La parquedad de Gauss en la publicacin de sus resultados, que pula sin cesar antes de entregar a la imprenta, contrasta con un prolfico Poincar que a lo largo de relativamente corta etapa creativa public unos 500 trabajos de Matemticas y ms de 30 libros dedicados a diversas ramas de la Fsica y a

la Astronoma terica, a los que habra que aadir sus obras sobre filosofa y sus ensayos de divulgacin cientfica, temas que Gauss nunca lleg a plantearse. Posiblemente, su abundante produccin escrita tuvo que ver con su singular mtodo de trabajo. Adems del tiempo destinado a la docencia, trabajaba regularmente por la maana de 10 a 12 horas y por la tarde de 4 a 7 en los temas que le exigan una mayor concentracin. En ningn caso dedicaba ms de dos horas a cada uno de ellos. Por las noches, antes de dormir, dedicaba un tiempo a la lectura de artculos publicados en las revistas cientficas. Continu con el hbito juvenil de resolver mentalmente y de forma completa los problemas y pasar luego los resultados al papel, sin apenas releerlos para realizar cambios o correcciones. Su legado escrito recorre todos los dominios de la matemtica y de la fsica de su tiempo. En casi todos ellos abri nuevas vas de investigacin a la vez que extraa sus principios filosficos. El propio Poincar clasific sus trabajos bajo siete epgrafes: Ecuaciones diferenciales; Teora general de funciones; Cuestiones diversas de las Matemticas Puras (lgebra, Aritmtica, Teora de Grupos y Anlisis Situs); Mecnica celeste; Fsica Matemtica; Filosofa de la Ciencia y Enseanza, Divulgacin Matemtica y temas diversos. Esta agrupacin, seala el sabio francs, no implica estanqueidad en cada grupo, por el contrario, se dan mltiples conexiones entre los temas adscritos a cada uno de ellos, hasta el punto que, en muchos casos, un mismo tema podra figurar bajo dos o tres rbricas diferentes. La amplitud y complejidad de la obra de Poincar hace imposible el intento de realizar incluso un somero anlisis de la misma. En lo que sigue, se centrar la atencin tan solo en una breve relacin de algunas de sus contribuciones. Una de ellas es, precisamente , la hizo a la Teora General de Funciones con la introduccin de las funciones que denomin fuchsianas, en honor al matemtico alemn Lazarus Immanuel Fuchs y a sus aportaciones al estudio de las ecuaciones diferenciales, que actualmente reciben el nombre de funciones automorfas. Poincar inici sus investigaciones en 1880 con motivo de la convocatoria realizada por la Academia de Ciencias de Paris para premiar trabajos que tuviesen como objetivo "Perfeccionar en cualquier punto importante la teora de ecuaciones diferenciales ordinarias de una sola variable independiente. Fue precisamente su mentor Hermite quien le inst a presentar un trabajo a esta convocatoria. A partir del estudio de las funciones modulares y de las soluciones de la ecuacin hipergeomtrica, Poincar hall ejemplos de funciones analticas que, estando definidas en un subconjunto abierto conexo D del plano complejo, permanecan invariantes bajo un grupo infinito numerable G de transformaciones lineales fraccionarias o de Mbius de D en D del tipo T : z

verifican: ad bc 0 . Las investigaciones de Poincar, en definitiva, pusieron de manifiesto la existencia de una nueva clase de funciones que constituan una generalizacin de las funciones trigonomtricas y de las funciones elpticas. Precisamente su maestro Hermite haba estudiado una clase de funciones elpticas modulares que permanecan invariantes bajo ciertas transformaciones lineales, tales funciones correspondan al caso

az + b , donde a, b, c y d son constantes que cz + d

particular en que las constantes eran nmeros enteros y verificaban ad bc = 1 . Pero Poincar fue ms all en su trabajo, observ que en la construccin de las funciones fuchsianas se introducan mltiples parmetros que podan variar continuamente y que, eligindolos adecuadamente, poda obtener una curva algebraica P ( x, y ) = 0 representable paramtricamente por esta clase de funciones. Tambin lleg a la conclusin de que una ecuacin diferencial lineal homognea de cualquier orden, cuyos coeficientes son funciones algebraicas, tiene soluciones expresables mediante funciones fuchsianas. Algunos aos ms tarde, en una conferencia pronunciada el ao 1908 ante la Sociedad Psicolgica de Pars bajo el ttulo de L'invention mathmatique, Poincar describi cmo haba llegado en 1881 a resolver este problema de las funciones automorfas. Su relato pone de manifiesto la naturaleza de sus procesos de pensamiento y creacin cientfica y la importancia y papel que otorgaba al subconsciente en la invencin matemtica. La teora general de las funciones automorfas de una variable compleja es una de las pocas ramas de las matemticas en la que Poincar complet su investigacin y dej poco que hacer a sus continuadores. No fue esto habitual en sus investigaciones, ya que no se detena el tiempo suficiente en ninguno de los campos que estudiaba para completar su obra. Uno de sus contemporneos dijo de l al respecto que Era un conquistador, no un colonizador. La teora de las funciones analticas de varias variables complejas es otra de las aportaciones que pueden adjudicrsele con total justicia. Antes de sus trabajos, apenas se haban realizado contribuciones relevantes en este campo. Entre los resultados que obtuvo, cabe destacar el teorema en el que establece que una funcin meromorfa de dos variables complejas es el cociente de dos funciones enteras. En el ao 1883, proporcion la demostracin por medio de una ingeniosa del Principio de Dirichlet. Unos aos ms tarde, en 1898 extendi estos resultados a cualquier nmero de variables complejas y los aplic al estudio de las funciones abelianas. En el campo de las ecuaciones diferenciales, Poincar hizo aportaciones relevantes, prcticamente cada ao, desde su primera publicacin, fechada en 1878, hasta el ao de su fallecimiento. Puede decirse que abord el tema desde todos los puntos de vista y, como el mismo sealaba, comenz completando los resultados de Cauchy referentes a los puntos ordinarios y sealando bajo qu condiciones la solucin puede desarrollarse no solo a partir de las potencias de la variable independiente, sino a partir de los valores iniciales o los de un parmetro arbitrario. Extendi los trabajos de I. L. Fuchs relativos a la determinacin de todas las ecuaciones diferenciales de primer orden en el dominio complejo, algebraicas en y e y y que tuvieran puntos singulares. Sus investigaciones en este dominio fueron continuadas por Picard y extendidas al caso de ecuaciones de segundo orden. En sus investigaciones sobre los movimientos de los satlites y la estabilidad de sus rbitas, abord el problema de las ecuaciones diferenciales no lineales que aparecan en este campo desde el principio.

Ante la inexistencia de mtodos generales para su resolucin, Poincar se plantea desarrollar mtodos a partir del examen de las mismas ecuaciones, introduciendo as la llamada Teora cualitativa de ecuaciones diferenciales, que present en una memoria titulada Memoria sobre las curvas definidas por una ecuacin diferencial, que recoge cuatro artculos suyos publicados entre 1881 y 1886. En ellos intentaba dar respuesta a la cuestin de si las rbitas eran estables o no y, para ello, deba determinar si el movimiento de un punto describa una curva cerrada y si las soluciones permanecan siempre dentro de una misma zona del espacio. En el anlisis de los tipos de soluciones que poda tener la ecuacin, encontr que los puntos singulares de la ecuacin diferencial jugaban un papel fundamental. Poincar distingui cuatro tipos de puntos singulares y describi el comportamiento de las soluciones alrededor de estos puntos. En el ltimo de los cuatro artculos sealados, inici la Teora Cualitativa de Ecuaciones Diferenciales de rdenes superiores. En este caso, el nmero de tipos de puntos crticos crece con la dimensin y Poincar resuelve la dificultad introduciendo los "ndices de Kronecker" de un punto crtico, y demostrando que la suma de los ndices en un dominio acotado por una hipersuperficie Z depende nicamente de los nmeros de Betti de la misma. A partir de 1885 la mayor parte de los artculos de Poincar sobre ecuaciones diferenciales estn relacionados con sus investigaciones sobre el problema de los tres cuerpos. Parece ser que este inters surgi como resultado de su docencia en la Sorbona; entonces, en 1885, el rey Osear II de Suecia convoc una competicin entre los matemticos de todos los pases sobre el Problema de los nCuerpos. Poincar contribuy con un largo artculo que gan el primer premio y que coloc a su teora cualitativa de las ecuaciones diferenciales como una de las obras maestras. Su tema central es el estudio de las soluciones peridicas del Problema de los Tres Cuerpos cuando las masas de dos de los cuerpos es muy pequea en comparacin con la del tercero (lo que ocurre en el Sistema Solar). la importancia que tuvo la Memoria que present en 1889 sobre el problema de los tres cuerpos a un concurso, que lo gan, convocado para conmemorar el sexagsimo aniversario del Rey scar II de Sucia y Noruega. el jurado estaba compuesto por Karl Weierstrass, Charles Hermite y Magnus Mittag-Laeffler, quienes calificaron el trabajo como "uno de los ms importantes del siglo" Cuando esta Memoria iba a ser publicada en Acta Mathematica, Phragmen, editor de Acta Matemtica, descubri un error, que signific el comienzo del intercambio de cincuenta cartas entre Poincar y MittagLeffler, que se opuso a la publicacin de la Memoria en tanto contuviese el error. En la ltima de esas cartas se discute la naturaleza del error, que se considera hoy como el origen del estudio del caos. Finalmente una versin revisada de la Memoria de Poincar se public en 1890. Entre 1892 y 1899 Poincar public tres tomos sobre Les Mthodes nouvelles de

la mcanique cleste y en 1905 sus Leons de mcanique cleste (1905). Entre la ltimas fechas citadas, Poincar tuvo tiempo para la publicacin de su obra Analysis situs en 1895, que le convirti en el fundador de la Topologa, uno de cuyos principales problemas es el reconocer cuando dos objetos son topolgicamente equivalentes, lo que significa que uno El ltimo artculo de Poincar sobre Teora de Nmeros (1901) fue el ms influyente y fue el primero sobre lo que denominamos "geometra algebraica sobre el cuerpo de los racionales'' (o sobre un campo algebraico). El sujeto del artculo es el problema diofntico d encontrar puntos con coordenadas racionales sobre la curva f(x,y) = ^, donde los coeficientes de / son nmeros racionales. Poincar observ inmediatamente que el problema era invariante frente a transformaciones birracionales, siempre que stas ltimas tuviesen coeficientes racionales. Entonces sto le llev a lgebra Poincar fue uno de los pocos matemticos de su tiempo que entendi y admir el trabajo de Lie y fue su sucesor en el estudio de los "grupos continuos", y en particular el nico que en los primeros aos del siglo realiz un profundo y amplio estudio de los trabajos de E. Cartan. Mecnica celeste Una nueva aproximacin en la bsqueda de soluciones peridicas de las ecuaciones diferenciales que se plantean en el movimiento planetario, su estabilidad y las rbitas de los satlites fue iniciada por Poincar Conversely, Poincar did fundamental work in celestial mechanics in his treatises Les Mthodes Nouvelles de la Mcanique Cleste (1892, 1893, 1899), in which he used variational equations and integral invariants, and Leons de Mcanique Cleste (3 volumes, 1905-1910). In these works, he attacked the three-body problem. In Sur les Figures d'quilibre d'une Masse Fluide, he treated tides and rotating fluid spheres. The latter was extended by George Darwin. Poincar found that a rotating fluid having a pear shape (piriform) would be stable. Bell (1986) states that this conclusion is incorrect, but Boyer (1991) does not contradict it. Poincar also did work in partial differential equations and complex analysis. Poincar also introduced modern methods of topology in Analysis Situs (1895), set forth the fundamentals of homology, used asymptotic series to solve differential equations, and extended the polyhedral formula for spaces of higher dimensionality using Betti numbers. la mecnica celeste era fundamentalmente una aplicacin de las matemticas: por un lado, deban resolverse las ecuaciones diferenciales derivadas de las leyes de la dinmica newtoniana y, por otro, las trayectorias de los cuerpos celestes seguan las leyes de la geometra. No

en vano, durante muchos siglos las palabras astrnomo y matemtico significaban prcticamente lo mismo. La poca de Poincar fue el final de esta etapa, pero l es uno de los ltimos ejemplos de esta combinacin en parte por sus variados intereses. Como ejemplo de esto tenemos un episodio interesante por muchas razones: el del premio ofrecido en 1885 por scar II de Suecia a quien fuera capaz de resolver el problema de los n cuerpos, Joseph-Louis Lagrange obtuvo las posiciones de lo que hoy llamamos puntos de Lagrange intentando resolver ese problema para tres cuerpos mu cho antes de que scar II propusiese recompensa alguna. El rey scar, a su vez, propuso el premio a instancias de Gsta MittagLeffler, el insigne matemtico sueco. Ms que por sus muchos logros, este individuo es injustamente conocido por un rumor falso. In 1885, following a suggestion of Mittag-Leffler, King Oscar II of Sweden decided to celebrate his sixtieth birthday by giving a prize crowning an important discovery in mathematical analysis, an example unfortunately followed by few other monarchs. The award consisted of a gold medal and 2,500 golden crowns. Any memoir submitted had to deal with one of the following topics: 1. The n-body problem in celestial mechanics. 2. Fuchss generalization of ultraelliptic functions. 3. The functions defined by a first-order differential equation. 4. The algebraic relations between two Fuchsian functions having a common group. The competition fit perfectly with Poincars mathematical interests, and he decided to work on the first question. He sent in May 1888 a 160-page memoir entitled Sur le problme des trois corps et les quations de la dynamique.. La descripcin del problema en la presentacin del premio era la siguiente: Dado un sistema compuesto por un nmero arbitrario de masas puntuales que se atraen mutuamente de acuerdo con la ley de Newton, bajo la suposicin de que las masas nunca colisionan entre s, debe tratarse de encontrar una representacin de las coordenadas de cada punto como una serie de una variable que sea una funcin conocida del tiempo, de modo que para todos los valores de esa variable la serie converja uniformemente. Dicho en trminos menos rimbombantes, el premio sera otorgado a quien pudiera predecir matemticamente la posicin de las masas a lo largo del tiempo. El problema, a decir verdad, era ms matemtico que fsico: su planteamiento era trivial utilizando la mecnica newtoniana, pero se llegaba a una serie de ecuaciones diferenciales que dependan unas de otras de un modo que converta el problema en una autntica pesadilla. Ya vimos como Lagrange no pudo resolverlo, a pesar de tratarse slo de tres cuerpos en su caso el de scar II era ms ambicioso y de suponer que uno de ellos era mucho ms ligero que los otros dos. Un tribunal de tres matemticos insignes deliberara sobre las posibles soluciones para determinar la vencedora: el propio Gsta Mittag-Leffler y los dos mayores expertos en anlisis matemtico del mundo, el alemn Karl Theodor Wilhelm Weierstrass y el francs Charles Hermite (el director de tesis doctoral de Poincar). Naturalmente, las soluciones seran enviadas

bajo pseudnimos, de modo que los tres jueces pudieran ser objetivos en su deliberacin. La solucin ganadora sera anunciada el 21 de enero de 1889, el sexagsimo cumpleaos de scar II. De todas las soluciones recibidas, una brillaba con luz propia: Sur le problme des trois corps et les quations de la dynamique (Sobre el problema de los tres cuerpos y las ecuaciones de la dinmica). Era tan diferente, tan lejana al enfoque tradicional para intentar resolver el problema y tan afilada que, a pesar del pseudnimo, los tres jueces tenan bastante claro que el autor era Poincar. En cierto sentido supongo que esto evitaba que fueran realmente objetivos, pero por otro lado era el propio genio de Poincar el que haca su solucin especial, y no tanto el nombre de Henri. Y es que el francs haba hecho algo que nadie haba intentado hasta entonces: en vez de intentar resolver las ecuaciones para obtener una solucin, se haba centrado en algo diferente. Cmo podran ser todas esas soluciones? Habra muchas y muy diferentes, o seran parecidas? Si se dibujaran las trayectorias de todos los cuerpos involucrados, realizaran rbitas estables, inestables, movimientos peridicos o qu otra cosa? Dicho de otro modo, Poincar no se preocup de estudiar la trayectoria que seguira cada cuerpo, sino en las propiedades comunes de todas las trayectorias posibles para cada cuerpo. Al mirar el problema desde lejos, como un todo, sin centrarse en los detalles, Poincar lleg mucho ms lejos que nadie antes que l, y las otras soluciones parecan juegos de nios comparadas con la suya. En palabras de Weierstrass, Hermite y MittagLeffler, la solucin constitua el trabajo original y profundo de un genio matemtico cuyo lugar est junto a los grandes gemetras de este siglo. Tanto es as que los tres jueces, de forma unnime, le otorgaron el premio, y se public su solucin. the committee, made up of Weierstrass, Hermite, and Mittag-Leffler, gave the award to Poincar, adding that: It is the deep and original work of a mathematical genius whose position is among the greatest mathematicians of the century. The most important and difficult questions, like the stability of the world system, are treated using methods which open a new era in celestial mechanics. The French newspapers commented widely on the event, and Poincar was made Chevalier de la Lgion dHonneur. During the printing of Poincars memoir, from July to November 1889, Phragmn, a young collaborator of Mittag-Leffler in charge of the editorial work, found some parts mathematically unclear. The first explanations of Poincar, concretized by nine added notes, were followed by a long silence. In a moving letter of December 1, 1889, Poincar admitted an error having important consequences: the conclusion of stability of the solar system is in fact invalid!El asunto tiene, adems, una irona deliciosa. No slo el propio Henri Poincar, un genio matemtico de primera lnea, haba cometido un error de bulto que invalidaba su solucin; adems, los tres mayores expertos en anlisis de todo el mundo se lo haban tragado como si tal cosa. El trabajo de Poincar fue enviado a un joven matemtico sueco, Lars Edvard Phragmn (algo as como el becario), para que lo adecentara y lo enviara a la imprenta. Y fue el becario el que se dio cuenta! Con bastante cautela,

Phragmn escribi a Mittag-Leffler para sealar varios puntos en los que no estaba convencido de las conclusiones de Poincar, y Mittag-Leffler envi las preguntas de Phragmn al propio Poincar. En cuatro de los cinco puntos sealados por Phragmn, Poincar tena razn y se trataba de algo que Phragmn simplemente no haba entendido pero en el quinto punto, el sueco tena razn y Poincar no. Y la razn era la habitual: Poincar haba mirado las cosas a grandes rasgos y no se haba fijado mucho en los detalles. En un momento dado, haba demostrado un teorema utilizando una serie convergente, pero nunca haba demostrado que lo fuera! El cauteloso Phragmn simplemente haba sugerido que tal vez fuera til para el lector tener una demostracin de que esas series eran convergentes, pero cuando Poincar se dispuso a detallar la demostracin se dio cuenta de que no tena por qu ser convergente. Pero claro, el resto de la argumentacin de Poincar se basaba en la convergencia de esa serie, con lo que todo lo que vena despus se iba al traste. Poincar finally sent a new version of the memoir in June 1890270 pages longand had to pay for its printing, which was more than the 2,500 crowns of the prize! But the curse was not exti En honor a Poincar, el francs escribi rpidamente a Mittag-Leffler para reconocer su error otros ms arrogantes hubieran luchado con uas y dientes, o hubieran buscado excusas o alguna otra cosa ruin. Pero haba otro pequeo problema: la solucin errnea al problema no slo haba sido ya enviada a la imprenta, sino que ya se haba imprimido y se haba enviado a los matemticos que as lo haban solicitado. Al pobre Gsta se le pusieron los pelos de punta: menudo ridculo! Se dedic a retirar las copias que pudo agarrar, y escribi a muchos matemticos pidindoles que le reenviaran su copia antes de leerla con pretextos un poco absurdos. Mittag-Leffler ni siquiera se atrevi a mencionar el error a Hermite y Weierstrass aunque, desde luego, al final todo el mundo se enter y el propio Poincar se dedic a trabajar en el problema corregido. Incluso considerando el error, por cierto, la solucin de Poincar segua siendo tan superior a las otras que se mantuvo el premio. Pero la irona se completa por el hecho de que, aunque la solucin original de nuestra mariposa estaba mal, la correccin nos trajo algo an ms hermoso de lo que hubiera sido una solucin correcta al problema de los n cuerpos. Al trabajar en el problema una vez ms, Poincar se dio cuenta de algo extrao: aunque el problema fsico era determinstico, es decir, a partir de una situacin inicial determinada deba ser posible predecir con precisin arbitrariamente grande lo que sucedera en el futuro, en la prctica no lo era. La razn era la siguiente: supongamos unos datos iniciales determinados (valores de las masas, posiciones iniciales, etc.), para los que habra una solucin al problema de los n cuerpos. Si modificamos los datos iniciales la solucin, naturalmente, cambia. Pero qu pasa si modificamos los datos iniciales una cantidad minscula? Lo lgico sera pensar que la nueva solucin sera prcticamente igual que la antigua, modificada un valor minsculo. Pero, al estudiar el problema, Poincar se dio cuenta de que no era as: la nueva solucin y la antigua divergan en el tiempo de modo que, tras el transcurso de un tiempo determinado, eran tan diferentes como soluciones a datos completamente distintos. Era como si un levsimo toque inicial al sistema produjese un comportamiento absolutamente diferente al cabo del tiempo, un comportamiento catico.

Al tratar de resolver el problema de los tres cuerpos y fallar, Lagrange haba obtenido sus famosos puntos. Al hacer lo mismo y fallar de nuevo, Poincar haba creado lo que posteriormente se convertira en teora del caos. In correcting his mistake, Poincar discovered a gold mine for mathematics and science by paving the way to chaos theory. In his own words: When one tries to depict the figure formed by these two curves and their infinity of intersections, each of which corresponds to a doubly asymptotic solution, these intersections form a kind of net, web, or infinitely tight mesh. One is struck by the complexity of this figure that I am not even attempting to draw. In one of his more popular writings, he later explained in a prophetic way the possible consequences of this discovery: It may happen that small differences in the initial conditions produce great ones in the final phenomena. En 1887, el rey scar II de Suecia ofreci un premio de 2500 coronas por una respuesta a una cuestin fundamental en astronoma. Es estable el Sistema Solar?. Esta cuestin fue decisiva en el desarrollo de la fsica matemtica. Naturalmente Poincar intent resolver el problema. No lo consigui, la respuesta se encontr mucho despus, y la solucin no fue del tipo anticipado originalmente. Pero hizo tal mella en l que, de todos modos, se le concedi el premio; y para hacer esto invent la topologa. Poincar dedic varios aos de su vida a la topologa - rama de la matemtica que estudia las relaciones que subsisten en una figura cuando se la deforma de una manera arbitraria, sin romperla ni duplicarla - aunque matemticos como Leibniz, Euler, Cantor, Mebius ya se haban ocupado de algunas cuestiones topolgicas, lo cierto, es que el punto de partida "oficial" de esta rama de la matemtica coincide con la publicacin de su artculo, en 1895, Analysis situs (Anlisis de situacin). Si se ojea un libro de texto de topologa, en la introduccin se habla de buuelos y de tiras de gomas, pero cuando se llega a la materia dura, la terminologa es menos simptica. Representacin continua. Espacio compacto. Variedades. Triangulacin. Grupo homlogo. Axioma de corte. Todo este imponente edificio, la creacin ms importante de la matemtica del siglo XX, es en definitiva el fruto del ingenio de Henri Poincar.

La topologa, a primera vista, parece extremadamente abstracta. Similar a un jabato, hermoso para los pocos que lo aprecian, pero sin inters para los dems. Pero Poincar pudo ver lo que haba de hermoso debajo de la piel del jabato. Tuvo el aliento de la experiencia matemtica, tanto pura como aplicada, para ver la potencialidad de una teora rigurosa del continuo. Algunas veces hace falta un universalista para darse cuenta de lo que es realmente importante: ninguna otra persona dispondra de todas las piezas. En cualquier direccin en que mirara, a Poincar se le aparecan siempre cuestiones que slo la topologa poda resolver. En su trabajo sobre la teora de los nmeros. En el anlisis complejo. En las ecuaciones diferenciales.
Volvamos de nuevo a Poincar. Adems de establecer la fundamental distincin entre sistemas estables y sistemas inestables, Poincar demostr

que la mayora de los sistemas dinmicos eran no integrables, lo cual es equivalente a decir que la ecuacin de Newton aplicada al sistema no tiene solucin. El llamado "problema de los tres cuerpos", en el cual trabaj, pertenece a la categora de los sistemas inestables no-integrables: Poincar prob que el caos puede aparecer ya con sistemas relativamente simples como aqul. As, en un sistema dinmico formado slo por tres cuerpos que se atraen por accin de la fuerza de gravedad, y uno de ellos es muy pequeo en relacin a los otros dos, tenemos que la trayectoria representada en el espacio de las fases es de una extraordinaria complejidad es un sistema dinmico no integrable-. Como lo explica M.J. Sametband: "El gran matemtico demostr la posibilidad de que un sistema dinmico totalmente determinista, como el de los planetas en rbita, llegue a un estado de caos donde no se pueda predecir su comportamiento futuro. Basta para ello que responda a una situacin no lineal, en la que una pequesima fluctuacin se vaya amplificando al ser reiterada un gran nmero de veces". (Los destacados son nuestros.) (M.J. Sametband, 1994, p.73.) Por supuesto, la situacin "no lineal" de la que se habla en la cita anterior, corresponde a una caracterstica que presentan todos los sistemas caticos (sistemas dinmicos inestables lejos del equilibrio). La "linealidad", por llamarla as, implica una proporcionalidad entre la magnitud de la causa y la magnitud del efecto ; adems, se puede representar por ecuaciones lineales y slo corresponde a sistemas estables. En cambio, la no-linealidad es propia de sistemas inestables y complejos, que son sensibles a las condiciones iniciales, o sea, donde pequeas causas pueden amplificarse produciendo grandes efectos. Pero del estudio de Poincar debemos extraer un aporte todava ms trascendente: "Una contribucin importante de Poincar fue demostrar que en este sistema las inestabilidades son debidas al fenmeno de la resonancia". (Los destacados son nuestros.) (M.J. Sametband, 1994, p.73.) Resumamos: un sistema dinmico se caracteriza por la energa cintica que depende exclusivamente de la velocidad de los cuerpos que lo componen- y por la energa potencial que depende de la interaccin entre esos mismos cuerpos-. Entonces, en un sistema dinmico constitudo por partculas libres que no interactan entre ellas, no hay energa potencial y, por tanto, el clculo de sus trayectorias es simple. Este sera un sistema integrable, en el sentido de Poincar. Ahora bien, se puede demostrar que todo sistema integrable es equivalente a o es isomorfo con- un sistema de partculas libres sin interaccin. Como deduce acertadamente Prigogine, si Poincar hubiera mostrado que la mayora de los sistemas dinmicos eran integrables lo contrario de lo que efectivamente mostr-, entonces la contradiccin entre el universo ideal reversible de las ecuaciones de la Dinmica y el universo real irreversible, permanecera insoluble. "Pero Poincar no slo demostr que la integrabilidad se aplica nicamente a una clase reducida de sistemas dinmicos, sino que identific la razn del carcter excepcional de dicha propiedad: la existencia de

resonancias entre los grados de libertad del sistema". (Ilya Prigogine, 1996, pp.42-43.) El resto de su vida, hasta su muerte en 1912, nuestra mariposa sigui revoloteando, dejando que su prodigiosa creatividad nos regalara conceptos nuevos constantemente, sobre todo en Matemticas. El nombre de este francs cejudo est por todas partes: la mtrica de Poincar, el teorema de Poincar-Bendixson, el teorema de la dualidad de Poincar, el teorema de Poincar-Hopf, la serie de Hilbert-Poincar, el mtodo de Lindstedt-Poincar, el teorema de la recurrencia de Poincar, la desigualdad de Poincar hace falta que siga? A Poincar se deben originales aportaciones a las ecuaciones diferenciales, la topologa (el estudio de las propiedades de las figuras geomtricas), la probabilidad y la teora de las funciones. Pero su principal logro matemtico estriba en el desarrollo de las funciones llamadas fuchsianas: semejantes a las elpticas, permiten integrar varias ecuaciones diferenciales lineales de coeficientes algebraicos, el teorema general de uniformizacin, las funciones analticas de varias variables complejas y la generalizacin del concepto de residuo.Sus investigaciones tambin se extendieron a los campos de la teora electromagntica de la luz, la electricidad, la mecnica de fluidos, la transferencia de calor y la termodinmica. Se anticip a la moderna teora del Caos, que versa sobre los sistemas que presentan un comportamiento impredecible aunque sus componentes estn regidos por leyes absolutamente deterministas (se trata de una cuestin muy importante para la mecnica cuntica de nuestros das, y tambin para el anlisis de los grandes sistemas meteorolgicos). Tampoco hay que olvidar sus aportaciones a la mecnica analtica. Otros trabajos matemticos de Poincar tuvieron como tema entre otros: investigaciones algebraicas sobre las funciones homogneas y la regla de los signos de Descartes. la demostracin del teorema de Riemann sobre las funciones uniformes de n variables que admiten 2n perodos (realizada en colaboracin de mile Picard). estudio sobre los determinantes de orden infinito. integrales irregulares de ecuaciones lineales. funciones hiperfuchsianas integrales mltiples, ... En Matemtica Aplicada, Poincar estudi Capilaridad, Cosmologa, Elasticidad, Mecnica Celeste, ptica, Teora Cuntica, Teoras de la luz y de las ondas electromagnticas. Teora de la Relatividad, Teora del Potencial y Termodinmica. Se le considera co-descubridor con Albert Einstein y Hendrick Lorenz de la teora especial de la relatividad.

No quiero, sin embargo, terminar este repaso a su genio sin dejar otro ejemplo que me deja patidifuso intentando asimilar el instinto matemtico y la capacidad de abstraccin de este personaje. En 1893, mientras bsicamente creaba la topologa, Poincar propone una conjetura (que no es la famosa conjetura de Poincar, de la que hablaremos en un momento) a la que llega por intuicin pero que es incapaz de demostrar, y que hoy conocemos como teorema de la dualidad de Poincar. La conjetura (pues no era teorema entonces, ya que este individuo lleg a ella sin demostrarla, as, al buen tuntn), expresada en trminos modernos, dice los siguiente: si se tiene una variedad de n dimensiones que sea cerrada y orientable, el ksimo grupo de cohomologa de esa variedad es isomorfo al (n-k)-simo grupo de cohomologa de la variedad para cualquier nmero entero k. Ya se saba haca mucho tiempo que cualquier superficie cerrada y sin agujeros es, dicho fatal, una esfera deforme: es posible coger esa superficie cerrada y sin agujeros y deformarla hasta conseguir una esfera o al revs. Los matemticos, que son mucho ms finos que esto y no hablan de esferas deformes, dicen que una variedad de dos dimensiones cerrada y simplemente conexa es homeomorfa a una esfera. Otra manera de verlo que no involucra deformar superficies es la siguiente: si tienes una superficie cerrada y sin agujeros, es posible tomar un lazo atado sobre s mismo sobre la superficie e ir cerrndolo hasta colapsarlo a un punto. Aqu tienes un dibujo con una esfera: Es decir, que una esfera es homeomorfa a una esfera, lo cual es de perogrullo. Pero imagina que fuera un ovoide, o un globo en forma de jirafa hecho de una sola pieza sin agujeros, o un cubo: siempre podras ir cerrando el lazo y colapsarlo a un punto. Sin embargo, como ejemplo de una superficie cerrada que no es homeomorfa a una esfera (porque tiene agujeros), tenemos el toroide, es decir, el donut. Como ves, ninguno de los dos lazos puede colapsarse a un punto: Como digo, esto del homeomorfismo entre superficies cerradas sin agujeros y la esfera ya era bien conocido. Bien, Poincar se pregunta si esto tambin ser cierto en el caso de una variedad de tres dimensiones en vez de dos, es decir, un volumen cerrado. Es un volumen cerrado y sin agujeros homeomorfo a un volumen esfrico? Evidentemente, l no lo expres en estos trminos tan vulgares, pero bueno. El caso es que el bueno de Henri no supo contestar, ni realiz realmente conjetura alguna, sino simplemente una pregunta. Otros despus de l siguieron intentando contestar, y con el tiempo la afirmacin se empez a conocer como conjetura de Poincar, a pesar de que l nunca sostuvo que fuera cierta: Toda variedad de dimensin 3 cerrada y simplemente conexa es homeomorfa a una esfera. Pero claro, esto no es tan intuitivo como antes. En el caso anterior la variedad era como la cscara de una naranja que encierra una naranja de tres dimensiones, pero ahora es una cscara de tres dimensiones cerrada que encierra a una naranja de cuatro dimensiones. Curiosamente, los matemticos lograron demostrar que esta afirmacin es cierta para dimensiones mayores que tres, pero no para tres dimensiones, hasta hace relativamente poco: entre 2002 y 2003, el matemtico ruso Grigori Yakovlevich Perelman public una demostracin de la conjetura. Pero no es esto lo que me interesa: es el hecho de que la intuicin de Poincar lo llevaba a plantear cuestiones tan tremendas que no slo l no poda

responder sino que nos han llevado, en ocasiones, un siglo conseguir resolver. A cambio de estos quebraderos de cabeza, Henri nos proporcion maravillas como la topologa o la teora del caos que cambiaron nuestra manera de ver el mundo. Su legado escrito Poincar figura entre los matemticos ms importantes de nuestro tiempo. Difcilmente se hallar otra figura intelectual con semejante dominio de las varias ramas de esta ciencia, extraordinariamente diversificada a principios del siglo XX. Por otra parte, sus conocimientos tericos hallaron expresin idnea en una prosa culta, clara y elegante, hasta el punto de que puede considerrsele un notable literato. Fue elegido miembro de la Academia de la Lengua Francesa, en el ao 1908.El ilustre matemtico y fsico falleci en Pars el 17 de julio de 1912. Dej escritos ms de treinta libros, entre los cuales destacan La ciencia y la hiptesis (1903), El valor de la ciencia (1905), Ciencia y mtodo (1908) y Los fundamentos de la ciencia (1902-1908). Poincar no fue slo un gran cientfico, sino tambin un perspicaz y profundo pensador, prueba de ello nos deja en libros como: La ciencia y la hiptesis (1902), El valor de la ciencia (1905), Ciencia y mtodo (1908) y ltimos pensamientos (1913), recopilaciones de artculos que haba publicado anteriormente. En estos libros, el autor, nos familiariza con la crisis de fundamentos que afect a la matemtica a finales del siglo XIX y cuyas consecuencias ni siquiera l pudo adivinar. Comprendemos conceptos y ramas de la matemtica, penetrando, casi sin enterarnos y a travs de la geometra, en el mundo de la filosofa de la ciencia, y en particular en la postura convencionalista. Captamos la gravedad de los problemas que plantean los descubrimientos fsicos del ltimo tercio del siglo pasado y que llevaran a la formulacin de la teora de la relatividad especial y a una nueva manera de entender la naturaleza del espacio y del tiempo, hallazgos de los que no estuvo muy alejado Poincar. En Ciencia y mtodo se plasman las ideas que sobre la naturaleza de la matemtica y el razonamiento matemtico tena Poincar. Teniendo en cuenta la crisis de fundamentos que afect a la matemtica a fines del siglo XIX, en la que pugnaban "logicistas", con Hilbert a la cabeza, y "formalistas", cuyo lder era Bertrand Russell, el inters de tales ideas no se limita a de quin procedan. Adems, se incluyen comentarios sobre la ciencia astronmica y las ideas generales que sobre la "nueva mecnica" tena Poincar. Su genio e intuicin eran tales que es posible encontrar grandes tesoros conceptuales en rincones aparentemente menores. As tenemos que adivin la posibilidad de la existencia del caos, una de las ramas de la matemtica y fsica contempornea, as como sus caractersticas principales. En este libro nos dice: "Una causa muy pequea que se nos escapa , determina un efecto considerable que no podemos ignorar; decimos entonces que este efecto es debido al azar. Si conocisemos las leyes de la Naturaleza y la situacin del Universo en el instante inicial, podramos predecir con exactitud la situacin de este universo en un instante ulterior. Pero aun cuando las leyes naturales no tuvieran ms secretos para nosotros , no podramos conocer la situacin inicial ms que aproximadamente. Si esto nos permite prever la situacin ulterior con la misma aproximacin , que es todo lo que necesitamos, decimos entonces que el fenmeno ha sido previsto, que est regido por leyes. Pero no acaece siempre as; puede suceder que pequeas diferencias

en las condiciones iniciales las engendren muy grandes en los fenmenos finales; un pequeo error sobre los primeros producira un error enorme sobre los ltimos. La prediccin entonces se vuelve imposible y nos encontramos con un fenmeno fortuito". En la ciencia y la hiptesis Poincar reflexiona sobre el carcter convencional de la geometra y escriba textualmente: "Los axiomas geomtricos no son , pues, ni juicios sintticos a priori ni hechos experimentales; son convenciones" y "La experiencia nos gua en la eleccin de geometra que no nos impone y no nos hace reconocer cul es la geometra ms verdadera, sino cul es la ms cmoda" En ltimos pensamientos hay captulos en los que trata la fsica cuntica y vuelve a plantearse la pregunta de por qu el espacio tiene tres dimensiones?. Besides technical works, Poincar regularly published papers in popular science and philosophy journals. He discussed the role of logic in mathematics, and the foundations of geometry and arithmetic; the foundations of mechanics, and the recent developments of physics.139 He developed the philosophy of conventionalism of geometry and the conventionalism of the principles of mechanics. In 1887 Poincar published his first paper discussing the foundations of geometry, and in 1891 he published his second paper on the topic explicitly discussing conventionalism of geometry.140 Poincar began to entertain conventionalist ideas in relation to geometry when he studied group theory in mathematics. While trying to solve the problems in group theory, Poincar formulated for the first time the philosophy of conventionalism for geometry at the end of the paper, "Sur les hypothses fondamentales de la gometrie" (The Fundamental Hypotheses of Geometry) of 1887 (without yet speaking of "conventionalism"),141 Poincar assumed a group of movements not altering the distances, and arrived at a conclusion according to which geometry was nothing but the study of a group. Because the existence of one group is not incompatible with that of another group, the truth of the Euclidean geometry is not incompatible with that of the geometry of Lobachevsky, for example, and in fact with that of any other non-Euclidean geometry. We choose, out of all the possible groups, a particular group, with respect to which we relate the physical phenomena. This is the same as choosing, among the different coordinate systems, three coordinate axes with respect to which a geometrical figure is related. What determines this choice? It is first and foremost the simplicity of the chosen group. There is, however, another reason: there exists in nature remarkable bodies which we call solids, and experience has taught us that the diverse possible movements of these bodies are linked, to quite a great extent, by the same relations as the diverse operations of the chosen group. However, the chosen group is only more convenient than the others. One cannot speak of the Euclidean geometry as true and of the geometry of Lobachevsky as false; this is exactly the same as not being able to speak of the Cartesian coordinates as true and the Polar ones as false. Poincar proposed another geometry, the truth of which was not incompatible with the other geometries; he called it the "fourth geometry". The first time that Poincar's fourth geometry appeared in print was in his 1891 paper, "Les Gomtries non Euclidiennes".142 Poincar said that among the possible geometries the fourth geometry was one that deserves attention, because we can construct a fourth geometry in addition to those of Euclid, Lobachewski, and Riemann.

In an English paper, "On the Foundations of Geometry", published in The Monist in 1898 (an English translation by T. J. McCormack of a manuscript written by Poincar), Poincar explained for the first time Conventionalism using philosophical language,143 In 1902, the editor Camille Flammarion convinced Poincar to collect and edit his different general writings and the published lectures.181 Among the edited material one could find the papers on the foundations of geometry and mechanics, the papers after the lectures presented at the international congresses during the World Fair of 1900; the paper after the talk he delivered in the international congress of Arts and Science during the Saint Louis Louisiana celebration in 1904; and the 1898 paper he wrote during his work at the Bureau des Longitudes in Paris. He first created the best selling La Science et lHypothse, from the papers that were published until 1902. He did little if any editing to the original papers; the only editing is simply organizing them into chapters of the book. The second book was La Valeur de la Science. This book was based on material published after 1902 and until 1905. And the third book was Science et Mthode, which was based on material published until 1908. All three books together were published as the series Bibliothque de Philosophie. An additional volume was published posthumously in 1913, Dernires Penses. The books were translated into many languages quite immediately after their appearance Alan Mathison Turing El 23 de junio de 1912 vi por primera vez la luz Alan Mathison Turing en una elegante clnica londinense situada en el barrio de Paddington. Era el ms joven de los dos hijos del matrimonio formado por Julius Mathison Turing, con remotos ancestros familiares en Aberdeenshire, ciudad del norte de Escocia, y Ethel Soney, descendiente de una familia protestante irlandesa. El padre de Ethel, Edward Stoney, era el ingeniero jefe de los ferrocarriles de Madrs y Julius Mathison Turing, tras licenciarse en Oxford e ingresar en el Servicio Civil de la India, haba sido destinado a esa ciudad donde la joven pareja se conoci en la primavera del ao 1907. Poco tiempo despus se casaron y all naci su primer hijo, John. Para el nacimiento de Alan, la familia al completo se traslad a Londres. Su padre, nueve meses despus de su nacimiento, hubo de regresar a su destino en la India, y su madre se reuni con l seis meses ms tarde, dejando a sus hijos a cargo de la familia Wards, un coronel del ejrcito retirado, su esposa y cuatro hijas, que resida en una pequea ciudad cercana a Hastings. Hasta que Alan ingres con 14 aos en la public school de Sherborne, un internado de pago en el que se cursaba el bachillerato, los dos hermanos permanecieron alejados de sus progenitores y sometidos a la disciplina espartana impuesta en su hogar por el rgido y distante coronel Ward. Alan comenz a dar muestras de una personalidad introvertida y un comportamiento un tanto asocial e indisciplinado. El mismo ao de su ingreso en Sherborne, su padre pidi el retiro en el Servicio Civil de la India y el matrimonio Turign regres a Inglaterra. En la escuela infantil, Alan haba manifestado una gran capacidad para los juegos numricos y durante su estancia en la escuela preparatoria de Hazlehurst, aunque no destac especialmente en ninguna materia, parece que se despert en l un gran inters por las ciencias a raiz de la lectura de

un libro de divulgacin muy popular en aquellos momentos en Inglaterra titulado Maravillas naturales que todos los nios deben conocer. Su paso a Sherborne no fue muy gratificante para Alan, sus dificultades con el latn y el ingls unidas al descuido y desalio con que realizaba sus trabajos y a su exclusivo inters por las materias cientficas, lo convirtieron en un alumno atpico, hasta el punto que uno de sus profesores lleg a sugerirle, no sin fundamento, que si lo nico que quera era especializarse como cientfico estaba perdiendo el tiempo en aquella escuela. A pesar de ello, mostraba una gran aptitud para las matemticas, cuyos problemas resolva aplicando procedimientos propios. Tambin es cierto, que su falta de atencin a los detalles le llevaba a cometer errores con cierta frecuencia. La fsica era otra de sus pasiones, lea por su cuenta libros de divulgacin de Eddington sobre mecnica cuntica y de Einstein, y llevaba anotadas en una libreta sus propias reflexiones e ideas sobre estos temas. Estas anotaciones muestran que haba alcanzado un alto grado de comprensin sobre la teora de la relatividad especial y general. A la vez, realizaba experimentos qumicos por su cuenta, lo que en alguna ocasin le ocasion enfrentamientos con sus profesores. En este periodo tambin desall una gran aficin al juego del ajedrez y a la prctica del ejercicio fsico. Hay una ancdota pone de manifiesto la excelente condicin fsica que haba conseguido con la prctica deportiva: con ocasin de una huelga general que par todos los medios de transporte en Inglaterra, Turing recorri las 60 millas que separaban su casa de la escuela Sherborne en bicicleta. El episodio le procur una inesperada popularidad en la prensa local y tambin entre sus condiscpulos. En 1928, dos aos despus de su ingreso en Sherborne, conoci y entabl una ntima amistad con Chistopher Morcom, un brillante alumno de un curso superior al suyo, dotado de un gran talento cientfico. Alan le profesaba una profunda admiracin; con l poda compartir sus ideas cientficas e inquietudes intelectuales y llegaron a tratar sus propios planes de futuro que incluan su ingreso en el Trinity College para cursar estudios matemticos. En diciembre de 1929 ambos concurrieron al examen de becarios de esta institucin, Cristopher lo super con brillantez pero no Turing. Este periodo de gratificante compaerismo intelectual se vi truncado sbitamente por la muerte de Morcom en 1930. La tragedia sumi a Alan en una profunda crisis durante un tiempo. Escribi cartas a la madre de su amigo en las que reflexionaba sobre cmo la mente humana estaba ligada a la materia (cerebro) y qu mecanismo desconocido la liberaba despus de la muerte; planteando la conjetura de que la mecnica cuntica pudiera ser la clave de esta relacin. Con la idea de continuar los planes que haban trazado en vida de su amigo, Turing decidi continuar sus estudios en Cambridge y gan una beca para el King's College, donde ingres el otoo de 1931. En cierta manera fue una suerte para l, ya que este centro era menos clsico y rgido que el Trinity. En el ambiente de libertad que se respiraba en l, Turing reconoci y acept su homosexualidad como una parte definitiva de su identidad. Se asoci con los movimientos pacifistas, aunque polticamente estuvo ms prximo a la izquierda liberal de Keynes que a la ideologa marxista hegemnica en esos movimientos. Tampoco frecuent los crculos literarios tan apreciados

por los medios homosexuales del Kings College, ya que prefera dedicar su tiempo a la prctica del remo, las carreras y la navegacin a vela. En Kings College estudia con el eminente matemtico Godfrey Harold Hardy y el ao 1933 se despierta su interes por la lgica matemtica tras la lectura de Introduction to mathematical philosophy de Bertrand Russell y de Principia Matemtica la obra que escribi el filsofo ingls con A. N. Whitehead. Simultneamente, ley tambin la obra publicada por John von Neumann en 1932 sobre los fundamentos lgicos de la mecnica cuntica, tema que al que retornar en diferentes ocasiones a lo largo de su vida. A finales del ao 1933 pronunciar una conferencia en el Moral Science Club de Cambridge, titulada "Mathematics and logic", en la que sostena que una visin puramente lgica de las matemticas le pareca inapropiada ya que las proposiciones matemticas admiten diferentes interpretaciones siendo la lgica tan solo una de ellas. Turing se grada en 1934 con un trabajo sobre Teora de Probabilidades titulado Sobre la funcin de error de Gauss, en l desarrolla una nueva demostracin del teorema del lmite central que haba sido demostrado diez aos antes por Lindeberg, lo que le procur, adems de un gran prestigio, adems del Smith Prize que le fue concedido el ao 1936. En la primavera de 1935 asiste a un curso sobre los fundamentos de las matemticas impartido por el toplogo Max Newman. En este curso Turing tuvo noticia de los resultados de Gdel sobre dos de los problemas planteados por Hilbert en 1928, el problema de la completitud de las matemticas, consistente en demostrar que todos los enunciados verdaderos de las matemticas pueden ser demostrados, y el de la consistencia; tambin se enter de que el tercer problema, el decibilidad de las matemticas, permaneca abierto. En sntesis, la cuestin de la decibilidad de las matemticas consiste en que para cualquier proposicin matemtica pueda encontrarse un algoritmo que permita decidir si la proposicin es cierta o falsa. Turing comienza a trabajar en este problema, comnmente conocido como Entscheidungsproblem, clarificando, en primer lugar, la nocin de algoritmo o procedimiento automtico. Para ello, introduce la idea de mquina de Turing, una idealizacin matemtica til para probar si ciertas tareas son o no automatizables o ciertas funciones son o no computables. Una funcin es computable si existe una mquina de Turing que la computa, esto es, si dndole como entrada a la mquina un argumento de la funcin, tras ejecutar un nmero finito de pasos programados, da como resultado un valor. De esta forma, una teora o conjunto de frmulas es decidible si su funcin caracterstica, que asigna 1 a los objetos que le pertenecen al conjunto y 0 a los que no le pertenecen, es computable. A partir de estas ideas Turing prueba que hay funciones incomputables e introduce el concepto de mquina universal de Turing, es decir una mquina capaz de simular cualquier mquina de Turing, que le permite probar que hay problemas matemticos indecidibles. Con ello, da una respuesta negativa a la cuestin planteada por Hilbert. Alan concluye este estudio el ao 1936 y enva en agosto un artculo con sus resultados a la revista Proceedings of the London Mathematical Society para su publicacin bajo el ttulo Sobre nmeros computables, con una aplicacin al Entscheidungsproblem. Ese mismo ao, Alonzo Church haba publicado en American Journal of Mathematics un artculo bajo el ttulo An unsolvable

problema of elementary Lumber theory en el que, trabajando de forma independiente, haba llegado a los mismos resultados, no obstante, la metodologa seguida por ambos haba sido radicalmente diferente. Turing hubo de reescribir su artculo y la Sociedad matemtica de Londres decidi que Church era la persona ms adecuada para evaluar el artculo. Church no solamente evalu positivamente el artculo de Turing sino que reconoci la superioridad de la formulacin de la computabilidad a partir de la nocin de mquina de Turing sobre su propia tesis y, adems, le invit a ir a la universidad de Princeton para estudiar en su equipo de investigacin. En septiembre de 1936 Turing viaja a Estados Unidos para trabajar durante dos aos en Princeton. All realizar los estudios de doctorado con Alonzo Church, analizando la nocin de intuicin en la matemtica. Trabaja tambin en la concepcin final de la mquina de Turing que presentar en un artculo titulado On Computable Numbers y en su trabajo matemtico ms abstracto: Ordinal Logics. En 1938 obtiene el doctorado con la tesis titulada Systems of Logic Based on Ordinals. Tras pasar un tiempo trabajando con John von Neumann en el Institut for Advanced Studies, regresa a Inglaterra el verano de ese ao rechazando el puesto que ste le haba ofrecido en el Instituto como asistente de investigacin.

Ferran Sunyer i Balaguer: Ferran Sunyer i Balaguer es, a travs de su obra -de la que hizo en vida y de la que ha dejado despus- una respuesta a esta pregunta. Es un recuerdo de l lo que su familia ha creado, a travs del lnstitut d'Estudis Catalans, la fundacin que lleva su nombre con la principal finalidad de conceder premios de investigacin matemtica, a los que pueden aspirar cientficos de cualquier nacionalidad. Ferran Sunyer i Balaguer, nacido en Figueres en 1912, se cuenta entre los ms importantes matemticos de casa; su inesperada y prematura muerte en 1967 represent una gran prdida para la cultura cientfica catalana. Si su obra matemtica es valiosa por s misma, la admiracin por su persona crece si se considera que ya de nacimiento estuvo afectado por una parlisis total que le hizo imposible la asistencia al colegio. Uno de los matemticos espaoles entre los aos 1940 y 1970, junto con Llus Santal y Ricardo San Juan que consiguen superar en parte el aislamiento de la Comunidad universitaria espaola y hacer contribuciones originales y de valor a la matemtica. La marginacin de Sunyer fue doble ya que las propias instituciones matemticas franquistas los relegaron al olvido incluso despus de su muerto el ao 1967. La importancia de sus contribuciones y el peso que adquiri en la comunidad matemtica internacional le hacen uno de los matemticos espaoles ms distinguidos de esas tres dcadas. A principios de 1948 solicita el ingreso en el CSIC, aporta como mritos para ello las publicaciones y trabajos realizados hasta esa fecha: tres notas en Comptes Rendus de la Academia de Ciencias de Paris, un artculo publicado en la Revista Matemtica Hispano-Americana, la memoria ganadora del premio Agell de la Academia de Barcelona, el artculo que an no haba sido publicado en Acta Mathematica.

Ferran Sunyer i Balaguer fue siempre una figura marginal dentro de los crculos oficiales de la matemtica espaola, teniendo en cuenta su reconocida calidad y peso internacional esto fue un lujo que ni el CSIC ni la matemtica espaola de su tiempo se podan permitir. Solamente Ricardo San Juan un matemtico bien situado en los crculos oficiales de la capital fue un aliado fiel de Sunyer. Por su competencia matemyica, su afable carcter y su prestigio y peso en la comunidad matemtica internacional, Sunyer poda haber encabezado una escuela de analistas espaoles con proyeccin internacional l viajaba en un coche especial (de aquella poca), tetrapljico de nacimiento, en su silla de ruedas de la que slo sala para dormir (...). Ferran Sunyer no escriba no haba podido escribir nunca, hablaba con dificultad y no siempre era capaz de pasar las pginas de una revista. Y, sin embargo, presentaba una comunicacin al congreso! Mi relacin personal se limit a escribir una serie de frmulas numeradas que, luego, l fue explicando con enorme dificultad Ferran Sunyer i Balaguer naci en Figueras en 1912, en una familia acomodada, su padre era mdico. Naci con una atrofia casi total del sistema nervioso que no afect a sus facultades intelectuales. Su padre muri cuando l tena dos aos. Los mdicos recomendaron que se le alejase de la tensin de la escuela y de los profesores (lo cual es una observacin interesante), por lo que su madre se entreg a su educacin con el objetivo de desarrollar su intelecto. Estuvo toda su vida confinado a una silla de ruedas, que no poda mover por s mismo. La movilidad de sus brazos era limitada, trabajaba de cabeza y dictaba notas. A lo largo de su vida administr la masa familiar en el Ampurdn, a pesar de ello, su familia (abuela, madre y dos primas) dependi de sus ingresos como matemtico, sobre todo despus de la guerra civil. Su vida fue, por necesidad, extremadamente regular. Ley mucho, y, entre otros, los libros de un primo suyo que estudiaba ingeniera qumica. Primero se interes por la fsica y la astronoma, ms tarde por las matemticas. Su fuente de aprovisionamiento de lecturas fue la cercana Biblioteca de Catalunya. Con veintids aos, haba alcanzado una madurez matemtica, que le permiti mandar su primera comunicacin a la Academia de Ciencias de Pars, que no fue aceptada. Cuatro aos ms tarde present dos notas ms a Hadamard como editor, una de ellas s fue aceptada y apareci publicada en 1939 en la revista Comptes Rendus de la Academia de Ciencias de Pars (abreviadamente, C.R.A.S.P.). La enorme fuerza de voluntad fue una constante de su vida como matemtico (y no slo como matemtico). En 1948 mand un artculo al matemtico J. Favard. La respuesta no pudo ser ms descorazonadora: los resultados de Sunyer ya estaban probados e incluso publicados. Sunyer, desde la ms absoluta falta de medios, estudi con detalle los trabajos que le remiti Favard y concluy que no era cierto que los resultados estuvieran probados. Reescribi su artculo, explicando la situacin a Favard y el artculo finalmente se public en C.R.A.S.P. en 1949. En 1947 present un artculo a Szolem Mandelbrojt, que era editor de una revista. En l extenda un resultado de Hadamard sobre prolongacin analtica de series de Taylor fuera del crculo de convergencia. Tras una serie de avatares, el artculo acab siendo publicado en 1952 en Acta Mathematica. Por mediacin de Mandelbrojt fue elegido miembro de la Societ Mathmatique de France (donde haba que ser presentado para poder ser

miembro), lo que le permiti recibir diversas publicaciones. Mandelbrojt le ofreci tambin el apoyo del Centre National de la Recherche Scientifique si Sunyer se trasladaba a Pars. Por razones obvias esto no pudo ocurrir. La relacin con Mandelbrojt tuvo una componente personal importante, le visitaba en su masa y llegaron a planear escribir un libro, proyecto que no lleg a finalizarse. Desde el final de la segunda guerra mundial, los EE.UU. financiaban gran cantidad de investigacin bsica de alta calidad, y en particular matemtica, a travs de los presupuestos del Ejrcito. En 1961 Sunyer firm un sustancioso contrato anual con la Navy. El objeto era investigar sobre Aproximacin de funciones por combinaciones lineales de exponenciales. El contrato le fue renovado anualmente hasta su muerte. Si consideramos la produccin matemtica de Sunyer, medida a travs del nmero de artculos publicados en revistas extranjeras de investigacin, es de las mayores entre los matemticos espaoles de la poca: doce artculos en C.R.A.S.P., uno en Acta Mathematica, tres en Proceedings of the American Mathematical Society y uno en Fundamenta Mathematicae. Tambin particip en importantes congresos internacionales (1957 en Niza, 1965 en Oberwolfach) cuando esto era bastante poco usual entre los matemticos espaoles, ms aun si tenemos en cuenta sus circunstancias personales. Colabor con la revista Collectanea Mathematica de la Universidad de Barcelona y la Revista Matemtica Hispano-Americana de la Real Sociedad Matemtica Espaola, con artculos suyos, informes de referee, etc. Tambin consigui artculos de matemticos extranjeros para ser publicados en estas revistas. Invit regularmente a diversos matemticos extranjeros a dar charlas en el Seminario Matemtico de Barcelona. J. P. Kahane, un importante analista francs, mand a una estudiante suya a Barcelona a discutir diversos problemas con Sunyer. Como muy bien dice Antoni Malet, los contactos de Sunyer colocaron las publicaciones y las instituciones de Barcelona en el mapa matemtico internacional17. En el conocido libro A primer on real analysis de R. P. Boas podemos ver un resultado de Sunyer y de Ernest Coromines, colega y amigo suyo. El resultado, que, para funciones analticas complejas es elemental, es el siguiente: sea f:[0,1]R una funcin indefinidamente diferenciable tal que para cada xR existe n, dependiendo de x, tal que fn)(x)=0, entonces f es un polinomio.18 Entre los matemticos extranjeros hubo quien consider que Sunyer era el mejor, con diferencia, de los matemticos espaoles. Desde luego l y Ricardo San Juan eran (de los que residan en Espaa) los dos mejores. Es interesante resaltar queFerran Sunyer y Ricardo San Juan han sido, hasta los aos noventa, los dos nicos matemticos espaoles con artculos publicados en Acta Mathematica. La trayectoria de Sunyer muestra claramente su aislamiento personal, pero tambin el aislamiento general de la comunidad matemtica espaola. Sunyer era un autodidacta sin conexin con los matemticos profesionales. Cuando mand el primer trabajo a Mandelbrojt, este le remiti algunos trabajos para que adaptase el estilo de exposicin matemtica y la notacin a los usos habituales. Su mismo mtodo de trabajo muestra que era un matemtico aislado. Lea muchos trabajos de otros matemticos, muy minuciosamente, por lo que a menudo encontraba errores. Un caso muy llamativo de esto ocurri con Sierpinski. Veintitrs aos despus de publicarse el libro La hiptesis del continuo, Sunyer advirti un error, que

comunic personalmente, en el congreso de Niza, a Sierpinski. En la nota de rectificacin que publica Sierpinski, se reconoce el papel de Sunyer: Stanislav Saks fue asesinado por la Gestapo en noviembre de 1942 y sus manuscritos ya no existen. Yo mismo he perdido en las llamas mi biblioteca y mis archivos en 1944. Hoy es imposible establecer cual era la demostracin de Saks. En cualquier caso es notable que gracias a M. Sunyer i Balaguer se haya encontrado el error veintitrs aos despus de la primera edicin de mi libro.19 Era un hecho general el aislamiento de los matemticos espaoles y de las matemticas hechas en Espaa durante la posguerra. Acaso no hay mejor ejemplo que la escasa asistencia a congresos internacionales (en el Congreso Internacional de Matemticas de 1950, de mil asistentes hubo dos espaoles; en el de 1954, ocho espaoles de dos mil asistentes). La matemtica espaola era marginal, apenas tena impacto fuera de Espaa. El aislamiento del pas era tal que Sunyer tena que usar sus conexiones personales, a travs de matemticos franceses, para poder pagar en divisas su cuota de miembro de la Societ Mathmatique de France. Antonio de Castro Brzezicki, fundador de la Facultad de Matemticas de la Universidad de Sevilla, contaba una curiosa ancdota sobre las oposiciones en la posguerra, que ilustra muy bien, desde mi punto de vista, el aislamiento de los matemticos espaoles. Se present ante el tribunal un candidato que disert largo y tendido sobre, lo que l llamaba, el espacio i cuadrado. Desconcertado, el tribunal pregunt al candidato qu espacio era ese. Resulto ser el espacio l2 de sucesiones de cuadrado sumable En qu inmensa soledad haba estudiado este opositor, que nunca haba odo nombrar el espacio l2, y, confundiendo la l itlica con la i, haba creado para s mismo el espacio i cuadrado! El organismo encargado de la investigacin en Espaa era el Consejo Superior de Investigaciones Cientficas. El C.S.I.C. se haba creado en 1939 tras la disolucin de la Junta para Ampliacin de Estudios. sta ha sido una institucin importantsima en la historia cultural y cientfica de Espaa. Se cre a principios del siglo XX, con la marcada voluntad de renovar la ciencia y la cultura en Espaa, ligando el pas a su entorno internacional20. En ella se haba formado la lite cientfica anterior a la guerra civil y tambin gran parte de la intelectualidad. Era, por tanto, odiada por los ganadores de la guerra civil. El C.S.I.C. ocupa el puesto de la Junta, pero no sus objetivos. Era independiente de las universidades y su funcin era (tericamente) apoyar la investigacin con recursos humanos, materiales y econmicos. Mandelbrojt recomend a Sunyer ante el C.S.I.C.. Tras numerosas peticiones finalmente se le admiti como colaborador a tiempo parcial en el Seminario Matemtico de Barcelona que dependa del Consejo, pero en una situacin precaria, con una categora muy baja y un sueldo nfimo. Al final de los aos cuarenta comienza una poltica de recuperacin de personalidades depuradas o marginadas tras la guerra civil, impulsada posteriormente por el Ministro de Educacin Joaqun Ruiz Jimnez. En ese contexto, se nombr a Julio Rey Pastor, uno de los matemticos espaoles ms importantes del momento, que estaba en Argentina, director de uno de los institutos de matemticas del Consejo. Rey Pastor y Ricardo San Juan intentaron que se nombrase a Sunyer investigador del Consejo, pero no consiguieron la autorizacin para ello, a pesar de su reiterada insistencia. Rey Pastor lleg a amenazar con dimitir de su puesto de director. Finalmente se consigui, gracias a una decisin personal del presidente del C.S.I.C., una beca para Sunyer, pero con la oposicin de la cpula matemtica del Consejo. Uno de los obstculos que invariablemente se alegaban para no mejorar la situacin

de Sunyer en el Consejo era que no tena el ttulo de doctor. De hecho, no tena ni el ttulo de bachiller. En otro episodio de extraordinario tesn, hizo el bachillerato, la licenciatura y en 1962 obtuvo el ttulo de doctor. Ricardo San Juan fue el nico colega cientfico de Sunyer. Su influencia en la matemtica espaola fue ms bien de carcter moral, careciendo de poder real (nunca estuvo en puestos decisorios). Su apoyo y el de Rey Pastor a Sunyer se hizo a travs de un mecanismo inusual, los premios cientficos, en los cuales participaban como miembros del jurado, o bien eran consultados. Esta es otra de las muchas peculiaridades (impulsada por la necesidad) de la vida cientfica de Sunyer: el uso de los premios como medio para ganar prestigio cientfico. La lista de premios cientficos ganados es amplia: 1946 Premio de la Academia de Ciencias y Artes de Barcelona 1948 Premio del Institut dEstudis Catalans 1950 Premio de la Academia de Ciencias de Zaragoza 1952 Premio del C.S.I.C. 1954 Premio de la Academia de Ciencias de Madrid 1955 Premio del C.S.I.C. 1956 Premio Nacional de Investigacin Francisco Franco 1957 Premio de la Academia de Ciencias de Madrid 1966 Premio del Institut dEstudis Catalans. 21 A pesar de su demostrada vala como matemtico, Sunyer sufri una permanente persecucin por parte de las instituciones cientficas espaolas dedicadas a las matemticas. Veamos dos ejemplos ms de ello. En 1959 se le ofreci un research fellowship en EE.UU. mediante el procedimiento de intercambio de profesores. Traslad la solicitud a la Universidad de Barcelona que contest que la propuesta no era realizable puesto que no se dispona de fondos para ese tipo de actividades. Al comienzo de los aos sesenta, dos matemticos indios contactaron con Sunyer. Queran trabajar con l en Barcelona. Uno de ellos provena del Instituto Ramanujan de Matemticas de la Universidad de Madrs. Sunyer haba sido experto examinador en el tribunal de tesis del otro. No pudieron ir a Barcelona puesto que el Consejo contest negativamente a la solicitud de becas para ellos que hizo Sunyer. Posteriormente trabajaron en universidades canadienses. Muestra clara del ambiente en torno a Sunyer es un comentario en una carta escrita a Sunyer en 1964 por Ernest Coromines quien tras pasar por Princeton y Latinoamrica, acab trabajando en la Universidad de Lyon: veo difcil que yo vuelva a Espaa en plan profesional (...) lo que ms me hace ver las cosas claras es el trato innoble que Vd. sufre en manos de tantos inquisidores.21 Se puede decir que Sunyer, que no particip personalmente, fue del bando perdedor de la guerra civil. Su primo, con el que convivi desde la infancia, colabor con la Repblica durante la guerra civil por lo que se tuvo que exiliar al acabar sta. En una carta escrita en plena guerra civil a Hadamard, Sunyer comenta que la guerra de invasin que sufren los pueblos ibricos no me ha permitido consultar todas las obras y memorias que habra deseado. En la posguerra, estando fuera de todos los crculos acadmicos, el nico apoyo que pudo tener Sunyer lo obtuvo del Institut dEstudis Catalans (I.E.C.). Esta institucin se haba creado a comienzos del siglo XX y buscaba impulsar la ciencia desde el mbito de la cultura catalana. Tras la guerra civil perdi sus locales y los archivos cientficos fueron incautados y muchos de ellos destruidos. Es la poca en que la lengua catalana queda prohibida en la vida pblica. El I.E.C. qued reducido a un piso donde se

reunan sus miembros, de forma privada. Muestra de esta situacin es la entrega de un premio del I.E.C. a Sunyer: se hizo el 11 de septiembre de 1948 en una ceremonia semiclandestina en casa del presidente el I.E.C.. A lo largo de toda su vida Sunyer estuvo siempre muy ligado al I.E.C., de hecho lleg a ser vicepresidente de la Societat Catalana de Cincies y director de la Secci de Matemtiques. Sunyer muri en 1967, repentinamente, de un problema cardiaco, con cincuenta y cinco aos. Dieciocho das antes de su muerte el C.S.I.C. lo haba hecho investigador, pero no en condiciones plenas. Pasemos ahora al caso de Sunyer. El relato realizado muestra claramente su alto nivel dentro de la matemtica internacional, pero, ms aun, en el mbito nacional su talla cientfica resulta sobresaliente. Pero Sunyer era un autodidacta que no estaba relacionado con el establishment matemtico nacional. A pesar de sus publicaciones y de su prestigio, en las Reuniones Anuales de Matemticos Espaoles era sistemticamente marginado y en las revistas espaolas con las que colabor se le trat siempre de forma muy innoble, como deca Coromines. Cmo es posible que a pesar de sus logros cientficos no pudiera alcanzar el reconocimiento profesional en Espaa? Hay alguna explicacin racional a esta voluntad permanente de perseguir a Sunyer? Una posible explicacin podra ser de ndole poltica, principalmente por el catalanismo de Sunyer. Pero no creo que esta explicacin sea adecuada. Simplemente hay que recordar que cuando entr en el C.S.I.C. lo fue por una decisin poltica del presidente del Consejo, quien haba sido Ministro de Educacin. Adems y esto seguro que requera un nihil obstat obtuvo en 1956 el Premio Nacional de Investigacin Francisco Franco. Las razones profundas de la persecucin a Sunyer son otras. Estn en las graves anomalas del sistema de la ciencia en la Espaa de la posguerra, en este caso, de las matemticas. Al amparo del clima de la posguerra, las matemticas en el C.S.I.C. son controladas por un determinado grupo cuyos mritos y cuyos criterios de evaluacin no estn basados en baremos cientficos. Este grupo pretenda tambin controlar todas las matemticas en Espaa. El director del Instituto Jorge Juan del C.S.I.C. a mediados de los aos sesenta tuvo reiteradas intervenciones en contra de Sunyer. Hemos visto el episodio de las becas para los matemticos indios, a pesar de la insistencia de Sunyer, estuvo dos aos sin contestar y por fin contest negativamente la solicitud de las becas. El problema no es que no hubiese comunidad matemtica nacional, la haba aunque fuera pequea. El problema es que su funcionamiento era anmalo. El sistema de valores y la medicin de los mritos no eran homologables a los utilizados en el resto del mundo cientfico. Los matemticos ms productivos y conectados con el exterior estaban o bien marginados dentro del mundo cientfico y acadmico nacional, o bien, como muestra el caso de Sunyer, al margen de dicho mundo. Un comentario de Ricardo San Juan en una carta a Sunyer muestra el absurdo ambiente que se viva en las universidades espaolas: cuando Sunyer consigue el contrato con la Navy de EE.UU., San Juan, que tena un contrato con la Air Force, le escribe: preferira que no comentase Vd. en la Universidad mis contratos; a veces no les gusta a los colegas que no los han tenido y quiero paz. El caso de Sunyer, en las matemticas, muestra una de las muchas y tristes deudas que ha dejado el franquismo. No obstante, tras la llegada la democracia a Espaa, el I.E.C. crea en 1984 el Centre de Reserca Matemtica, una institucin que tiene ya un altsimo

prestigio cientfico la matemtica internacional. En 1992 el C.R.M. crea el Premio Ferran Sunyer i Balaguer, que es un premio internacional de matemticas, que ha alcanzado ya gran reconocimiento, y en cuyo jurado han estado algunos de los matemticos que colaboraron con Sunyer. La deuda, en parte, se ha cubierto.