Está en la página 1de 101

Paradigmas y Matematicas: Un Modelo Teorico para la Investigacion Historia de las Matematicas

Cuadernos de Historia de la Ciencia 8 Universidad de Zaragoza, 1995 Zaragoza, 1995


Author Mailing Adress Facultad de Ciencias (Matemticas) Ciudad Universitaria 50009 Zaragoza (Spain) Mariano Hormign Depsito Legal: 3248/95 ISBN: 84-89584-03-6 Portada: Jos Luis Cano Edita: Seminario de Historia de la Ciencia y de la Tcnica de Aragn - Facultad de Ciencias (Matemticas) - Ciudad Universitaria - 50009 Zaragoza (Spain) Imprime: FotoKopias s.l. - Corona de Aragn, 22-24 - 50009 Zaragoza (Spain) Este trabajo ha sido parcialmente financiado con cargo al proyecto de la CICYT PB940559 Dedico este trabajo, que resume un pedazo de mi historia personal, a los siguientes profesores, algunos, por desgracia, ya fallecidos: Jos Antonio Garca-Junceda (+), Antonio Ferraz, Jos Luis Rubio de Francia (+), Carlos Pars, Eulalia Vintr y Ubaldo Martnez. Tambin a Rafael Rodrguez Vidal (+), Marif Yzuel, Salvador Miracle, Joaqun Snchez Guilln y a los restantes 32 compaeros de la Junta de la Facultad de Ciencias de la Universidad de Zaragoza que el 17 de marzo de 1981 me brindaron su apoyo generoso. Tambin a Jess Alczar (+), Mar Quemada

(+) y a los PNN de la Universidad de Zaragoza del perodo

Indice
Agradecimientos Presentacin Paradigmas y Matemticas: Un modelo terico para la investigacin en historia de las matemticas 13 Parte I. La perspectiva de un historiador

1980-1982, por lo mismo acrecentado y adems por haberme permitido conocer el sabor dulce de la solidaridad. Por ltimo, a los alumnos de la Facultad de Ciencias de la Universidad de Zaragoza del curso 1980-81, que fueron a la huelga para luchar por el derecho a la libertad de abrir las ventanas del saber hacia todos los horizontes.

1. Introduccin 2. Mis puntos de referencia 3. Planteamiento general del problema o 3.1.El problema de las definiciones o 3.2.Comunidades cientficas: individuos y colectivos o 3.3.Paradigmas matemticos Parte II. Paradigmas Matemticos 4.Los Paradigmas Matemticos Universales

4.1.El Paradigma griego 4.2.El Paradigma lagrangiano 4.3.El Paradigma hilbertiano

5.Sic transit pax mathematicorum 6.El problema de la modernidad

Agradecimientos
En trabajos de la dimensin temporal de la que en este libro se presenta son muchos los recuerdos en los que se precisan sentimientos de gratitud. Incluirlos a todos aumentara considerablemente el tamao de este epgrafe y eso pondra nerviosos -una vez ms- a todos los colegas que no tienen ms recipiendario de gratitud que el jefe de turno. Por eso, entre otras razones, voy a concentrar la nmina en aquellas personas que me han ayudado de manera concreta en el proceso de edicin de esta obra.

En primer y destacado lugar y por todo tipo de razones quiero dejar constancia de mi agradecimiento a mi compaera Elena, sobre todo por haber soportado con estoicismo la sobrecarga de trabajo que ha supuesto la materializacin impresa de esta empresa. Quiero tambin destacar mi gratitud hacia Jos Javier Martnez Fernndez, por la minuciosa lectura del texto de los Paradigmas y Matemticas y por haber puesto a mi disposicin los documentos de su archivo personal relativos al curso 1980-81, cuando el hoy Prof. Martnez Fernndez era Delegado de 2 de Matemticas de la Facultad de Ciencias de Zaragoza. Tambin ley el citado manuscrito el Prof. Serguei Kara-Murz, lo que propici una interesantsima discusin entre nosotros -en la que aprend muchsimo- y sirvi para pulir algunos detalles del discurso. Como los tiempos cambian a mejor, debo dejar pblica constancia de las facilidades y ayudas recibidas del Decano de la Facultad de Ciencias de Zaragoza para la publicacin de este libro. Mariano Hormign Zaragoza, julio de 1995

Presentacin Este libro es producto de un proceso de larga gestacin. Las ideas fundamentales sobre los Paradigmas y Matemticas se articularon en los das de elaboracin de mi tesis doctoral y constituyeron el Captulo I de la Memoria con la que opt y consegu el grado de doctor, aunque el periodo de tiempo transcurrido entre la opcin y la conclusin fuera ms largo que el que la costumbre universitaria permita presumir. Los avatares vividos por las ideas que se contienen en este trabajo se relatan de una forma no exhaustiva en el Desahogo epilogal. Su perfeccionamiento habr que dejarla para posterior ocasin monogrfica. De la lectura de esta parte final del libro podr entenderse sin excesiva extraeza que mi fervor sobre el tema de los Paradigmas quedara aparcado en los trminos reflejados en el Captulo I de la tesis y de los trabajos que present en las Jornadas Hispano-Lusas de Matemticos de San Feliu de Guixols en 1980 y del I Simposio sobre Metodologa de la Historia de las Ciencias que se reuni en Madrid en octubre de 1981. En primer lugar, mis discipulos/as y colaboradores, que me instaban a completar el tema de los Paradigmas en el sentido expuesto muchas veces en cursos de doctorado, seminarios y conferencias, y tambin la insistencia de algunos colegas espaoles y extranjeros en la misma direccin -entre los que querra destacar la amable contumacia de Mario Otero, de la Universidad La Repblica de Montevideo, y LuboNov, de la Academia de Ciencias de

Praga- me ayudaron a no poderme olvidar de un tema sobre el que prcticamente no escrib una lnea en ms de diez aos. Por fin, lleg el momento. Fue en el XIX Congreso Internacional de Historia de la Ciencia -cuando muchas personas bienintencionadas nos deseaban un largo periodo vacacional, tras el considerable esfuerzo dedicado a la preparacin, organizacin y celebracin de la reunin- cuando pens que podan reunirse las condiciones adecuadas para probar las ideas sobre los Paradigmas por medio de la convocatoria de un encuentro internacional al ms alto nivel en el que, en la medida de lo posible, participasen los mejores historiadores de las matemticas del mundo. Lo posible estaba condicionado, obviamente, por la disponibilidad de gente importante para querer visitar Zaragoza en un intervalo de trece meses y por la voluntad de estos investigadores de acudir a discutir en torno a unas ideas concretas sobre Paradigmas y Matemticas con aportaciones especficas. Indudablemente, para el buen desarrollo del debate, haba que presentar una amplia panormica conceptual sobre la que pudieran articularse las propuestas sobre paradigmas, estilos y revoluciones de las diferentes perspectivas de los distintos autores. As se convoc en el otoo de 1993 la reunin y a la iniciativa respondieron Ivor GrattanGuinness (Middlesex), Joseph Dauben (Nueva York), Serguei Demidov (Mosc), Christine Phili (Atenas), Eckart Leiser y Reinhard Siegmund-Shultze (Berln), Sergio Nobre (UNESP-Ro Claro), Leo Corry (Tel Aviv), LuboNov, Mario H. Otero (Montevideo), Chavdar Lozanov (Sofa), Alexander V. Soldatov (San Petersburgo), Liviu Sofonea (Brasov) y J.C.B. Tiago de Oliveira (Evora). De los participantes extranjeros que haban anunciado su presencia, solamente Jean Dhombres (Nantes-Pars) se vio imposibilitado a la hora de realizar el viaje por tristes problemas familiares. Entre los espaoles que aportaron sus ideas a la reunin cabe destacar a Mary Sol de Mora, Javier de Lorenzo, Javier Echeverra, Alberto Dou, Jos Llombart, Juan Navarro, adems del elenco zaragozano formado por Elena Ausejo, M Angeles Velamazn, Fernando Vea y yo mismo. Los trabajos ms notables presentados han sido recogidos en un volumen que con el mismo ttulo que la reunin ha sido editado por la Editorial Siglo XXI de Espaa Editores en 1995. Zaragoza, julio de 1995

Paradigmas y Matematicas: Un Modelo Teorico para la Investigacion en Historia de las Matematicas


Felix qui potuit Virgilio (Georg., II, 490)

PARTE I

La perspectiva de un historiador 1. Introduccin


El mundo de los cientficos es cada vez ms complejo, ms conflictivo y, en algunos momentos, aparentemente confuso. Los cientficos actuales pueden estar inmersos en varios marcos distintos. En un primer grupo se instalan los buscadores desinteresados de la verdad. En espritu son coincidentes, de hecho, con los planteamientos bsicos galileanonewtonianos que caracterizan el nacimiento de la ciencia moderna. Otro grupo importante, fundamentalmente afincado en instituciones de tipo docente, lo constituyen los esteticistas, partidarios del estudio y trasmisin de las ideas matemticas en funcin de su perfeccin y belleza. Esta especie de corriente neoplatnica tiene cierta importancia entre los cultivadores de las restantes ciencias formales y entre las ramas tericas de las experimentales. El tercer grupo lo forman los utilitaristas inmediatos, adscritos primordialmente a instituciones o lneas de investigacin de resultados prximos, visibles y materializables. Constituyen un sector bastante bien remunerado econmicamente. Por supuesto, quedan algunos que piensan que la ciencia debera ser una herramienta de liberacin de los quebrantos morales y, sobre todo, materiales de la mayora de las personas y de pertrechamiento crtico ante las memeces y mentiras que proliferan en los ambientes intelectuales. Por penltimo, el sector tcnico, reproductor de ciencia normal aideolgica, no se reclama de ningn paradigma, de ninguna escuela, de ninguna corriente, de ningn sistema de pensamiento y simplemente utiliza la ciencia sin preocuparse en absoluto de dnde surge, qu objetivos tiene, para qu sirve o cules son las corrientes en las que debiera servir. Adems estn los filsofos. Le tomar prestada a propsito una idea a Medawar: la filosofa es actividad intelectual peligrosa que, por la mana de algunos de hacerla larga, esotrica y plmbea, se convierte en tediosa y aburrida(1). No tendra porqu ser as, pero la necesidad de rigor y precisin en los conceptos y en el lenguaje ha ido articulando esotricos cuerpos de doctrina de comprensin enormemente complicada, hasta tal extremo que todo lo que es farragoso y aparentemente complejo, cuando no es ciencia, es filosofa. El summum del difcil entramado se encontrar, por tanto, en la filosofa de la ciencia, conjunto de sublimes saberes con los que podrn desentraarse los recnditos misterios de la Naturaleza, los de la sociedad, los de la gnosfera de Vernadsky y todas sus interrelaciones. Todo un programa que puede venderse -y comprarse- porque se aparenta libre de todo tipo de contaminacin espuria en una inconfesada reminiscencia del mismsimo Platn. Entre las cosas que se han escrito sobre filosofa de la ciencia en los ltimos aos, salvando el respeto a la necesaria servidumbre que algunos grandes tratados -como el imprescindible de Geymonat(2)- imponen, una de las que ms me ha interesado es el ensayo de definicin que Panza ha elaborado como introduccin a su trabajo sobre las ideas de Gonseth(3). Para Panza la filosofa de la ciencia no era el nombre de una disciplina hasta comienzos del presente siglo, cuando se ha producido "un mouvement double qui n'a (...) qu'une seule origine: la conviction que quelque chose existe qu'on appellerait la science qui par ses modalits d'tre et de manifestation, reste

diffrente de quelque chose d'autre, qu'on appellerait la philosophie; domaine l'un de l'exactitude, de la prcision, de la fidelit l'exprience sensible, ou bien de l'aridit, de l'troitesse, de la pauvret d'esprit, l'autre du vague, de la mtaphore, des fantasmes, ou bien de la totalit, de la plnitude, de la richesse d'horizons". Panza considera que una gran parte de la filosofa de las ciencias de nuestra poca es hija de esta concepcin, con sus luces y sus sombras, con sus aportaciones concretas a la ciencia y a la filosofa. Digmoslo en sus propias palabras(4): "Bien que cette tentative ait, aux fils des annes, abouti des rsultats qui ont enrichi la pense par la mise en lumire de certains problmes (comme, par exemple, celui de la dmarcation ou des critres de controlabilit des hypothses universelles) qui taient rests auparavant cachs, ou d'aspects nouveaux de problmes classiques (comme l'est, par example, le cas du problme de l'induction), elle a aussi pouss les rflexions d'une communaut de plus en plus large d'individus vers des directions bouches, au point de conduire l'inmobilit. Elle a, de principe, encourag et lgitim une rflexion sur la science en gnral, trangre par principe et par vocation aux contenus spcifiques (techniques) de toute thorie particulire (comme si une science gnrale et non particulire pouvait exister); une rflexion qui n'a pas vis faire ressortir ce que dans tout particulier et spcifique il y a de gnral et d'universel, ni exprimer de la manire la plus ouverte et simple, mais qui s'est transform, en revanche, dans une habitude considerer la spcificit et la particularit des objets relevant d'une technicit comme dpourvue de tout intrt philosophique et substituer l'exigence d'un registre large (et, sans doute, en quelque sorte double) de spcificits par la thorisation d'une gnralit, pour ainsi dire en soi, possible et profitable. Derrire le masque de son exactitude et de sa rigueur, la philosophie des sciences, pense comme discipline, a, au fil du temps, perdu toute vocation la comprhension d'une alterit quelconque; elle s'est replie sur son langage, sur sa mme tradition, sur la dfense de ses frontires disciplinaires". Situmonos, pues, ah para construir la trama del discurso. Ello no obstante, adelanto que yo, haciendo pblica confesin de mis limitaciones intelectuales, debo declarar y declaro que no alcanzo a dominar ese universo conceptual, para el que no me prepar adecuadamente en mis aos mozos y no he sido suficientemente diligente y estudioso en los muchos que me cayeron encima despus para poder aprehender en mi limitado cerebro todas las sutilezas de la ciencia en general y cada una de las ciencias en particular, ingrediente necesario de los sistemas filosficos y de su sistema de preguntas y respuestas mutuas. Mi instruccin alcanza a las matemticas que aprend en su momento y a la historia de su devenir y el de sus parientes ms prximas. Por lo tanto, el meollo de mis preocupaciones filosfico-cientficas se encuadra de forma preferencial en esos mbitos y las preguntas clave cuya respuesta se me ha hecho ms necesaria han surgido tambin de consideraciones ntimamente vinculadas a esos captulos intelectuales. An podra precisar ms, porque qu es en definitiva la ciencia sino precisin? Afinando, pues, sealara que, a pesar de la tinta vertida a lo largo de los siglos por filsofos, pensadores en general, cientficos y profesionales del ramo sobre las matemticas, no tengo claras algunas cuestiones, y pido excusas por la insolencia terica de pensar que no lo estn. Aunque a lo largo del presente escrito se irn desgranando otros detalles, sealara como entrante del men dos de ellas.

La primera es tan general y directa que casi pretende esconderse ya en la batera de cuestiones que se formulan sobre las matemticas: la relativa a su unidad o su pluralidad. Cuanto ms se insiste en el escurridizo concepto de la unidad de las matemticas, entronizado por Hilbert(5) en la solemne puesta de largo del Segundo Congreso Internacional de Matemticos de 1900 -al que visitar de nuevo posteriormente-, ms se complica un panorama plural, una de cuyas fronteras histricas, la que separaba el quehacer matemtico del de los fsicos tericos, est prcticamente borrada. Un penetrante y bien pertrechado filsofo como Albert Lautman abord el problema de la estructura y la tensin unidad-multiplicidad de las matemticas en sendos ensayos(6). En el relativo al estudio de la unidad de las matemticas contemporneas seala que su fin es(7) "seulement de caractriser dans leurs ressemblances communes les diverses thories qui (...) ont pour objet l'tude de la structure globale d'un tout"(8). Sin embargo, la idea del todo se ve obligada a coexistir, en principio pacficamente, con el derecho profesional de quienes se mueven cuantitativamente en el terreno de otras ciencias naturales, sociales, humanas, por no hablar de las tcnicas. Hilbert sealaba en un emblemtico trabajo sobre el pensamiento axiomtico que "los ms importantes pensadores en las matemticas han mostrado un constante inters por las leyes y, en general, por el orden que priva en las ciencias vecinas"(9). Dicho en otras palabras, tan clsicas que casi podran orse en las tertulias de los enteradillos que se han puesto de moda en los ltimos aos en los medios de informacin audiovisuales: propiamente hay que hablar de matemtica o de matemticas? o, reenunciado para evitar contratiempos lingsticos, es la matemtica una, singular, o es un concepto indefinido y por lo tanto plural? Hasta hace poco ms de un siglo esta dicotoma casi hubiera carecido de sentido, ya que hasta entonces el borde de separacin de la ciencia prncipe con el resto del mundo era ntido y los matemticos defendan orgullosamente su baluarte ante los ataques de las restantes actividades intelectuales. Hoy el asunto ya no est tan claro. El prestigio -matemtico- de fsicos e ingenieros ha movido los cimientos de las torres de marfil de los puretas a ultranza y, como ya he apuntado antes, las fronteras se difuminan a velocidad apreciable. El problema tiene su enjundia a pesar de su simplicidad o es, como siempre, enjundioso porque tiene un enunciado claro y simple?-. Dejmoslo aqu, de momento, para enunciar otro problema que me surgi estudiando el concreto tema de la historia de las matemticas en Espaa. Aqu, desde los tiempos de la llamada polmica de la ciencia espaola, ha habido una obsesin valorativa sobre la cuestin de la modernidad de las producciones que en esta rama del conocimiento han hecho los espaoles. La frmula utilizada para demostrar la posible obsolescencia de las matemticas de una determinada poca, consistente en comparar lisa y llanamente ttulos y contenidos de libros espaoles con otros elegidos de la literatura cientfica mundial, nunca me pareci rotundamente convincente. Al fin y al cabo el conocimiento y estudio de tpicos considerados importantes varios siglos despus no creo que sea razn suficiente para estimar la vala no slo intrnseca sino global de la obra de un autor. Por si fuera poco, las vidas cientficas cotidianas parecen ratificar como excepcin el conocimiento de todas las novedades que un conjunto concreto de personas produce en una determinada poca.

Desde luego la nuestra es una corroboracin de esta aprensin. Hoy no hay nadie que domine toda una macrorea de conocimiento como las matemticas o la fsica, por ms que haya funcionarios en algunos pases que aspiren a pasar por sabios de ese estilo. Mas no es slo cuestin de mirar a la segunda mitad del siglo XX con su pltora inabordable de informacin en todas las ramas del saber en casi todos los pases(10): hace varios siglos que el saber se ha hecho grande y que los cientficos, salvo escassimos casos que se pueden contar con los dedos de muy pocas manos, han conocido unas cosas y otras no. Si recorremos hacia atrs la lnea del tiempo, las dificultades de comunicacin complican an ms el problema de establecer la lnea que delimita la modernidad. Problema que en mi cerebro tuvo un origen espaol, pero que en absoluto es ajeno a las preocupaciones de muchos otros pases. Franceses y alemanes, en una cierta emulacin de la madrastra de Blancanieves sobre la belleza, llevan siglos preguntando a su particular espejo mgico quin es el ms moderno. Otros pases no son en absoluto excepcin. Podra por tanto escudriarse algn tipo de patrn objetivo sobre el que poder contestar ms o menos certeramente el problema de la modernidad de una produccin matemtica? Estas dos preguntas, en principio inconexas, se juntaron un da al profundizar sobre el estudio de las matemticas contemporneas desde una perspectiva espaola y, por lo tanto, perifrica, pero alguna vez haba que hacerlo. Habitualmente los perifricos estamos acostumbrados a escuchar con estoicismo lo que se nos dice desde el centro -o desde los centros- sobre qu es lo que hicimos bien y lo que hicimos mal en matemticas y en casi todos los rdenes de la vida(11); por una vez, y en el mbito de las matemticas, no creo que se tome por descaro imperdonable la formulacin de algunas ideas surgidas desde la periferia. Claro que avanzar en nuestros das una hiptesis de trabajo que encuadre las elaboraciones tericas que en el terreno de las matemticas se realizaron hasta ms o menos los treinta primeros aos del siglo XX es ciertamente un problema arduo, aunque necesario. Es arduo porque la tinta vertida sobre algunos tpicos, como por ejemplo el problema de los fundamentos de la ciencia en general y de las matemticas en particular, es copiosa, pero, no obstante, la dificultad no excusa la necesidad, ya que las respuestas no son sino una sucesin de aproximaciones con las que se van construyendo conclusiones no necesariamente sucesivas ni convergentes, pero que s aportan sucesivamente luz sobre el tema. Como he apuntado ya, el anlisis reflexivo sobre las matemticas ha estado desde hace dos siglos en el ncleo del pensamiento filosfico, al igual que en otros momentos de la historia, como la antigedad clsica en el lado heleno o en determinados mbitos renacentistas e ilustrados. Lo que parece sntoma ms novedoso en las dos ltimas centurias es que la filosofa de la ciencia no ha podido perder de vista en ningn momento el cataclismo terico que las ideas matemticas elaboradas en el siglo XIX supusieron para todo el edificio conceptual de la ciencia y, por tanto, de la filosofa que reflexionaba sobre ella. Adems, la situacin del conjunto de las ciencias respecto de las matemticas -y muy especialmente la fsica- ha supuesto que el nivel cientfico de los diferentes saberes se mida en funcin del grado de utilizacin del aparato instrumental matemtico, resultando que cualquier modelo de anlisis terico ha situado en el centro de sus preguntas fundamentales las relativas al hecho matemtico.

Naturalmente, para no parlotear en el vaco -lo que puede ocurrir cuando uno se aproxima a un tema tan extenso y con tantas aristas y perspectivas- es obligatorio fijar algunos elementos de referencia. Pero, indefectiblemente, el marco exige como poco una delimitacin y alguna opcin previa que a modo de aparato axiomtico ayuden a comprender algunas de las reglas del juego. Desde 1931, ao de celebracin del II Congreso Internacional de Historia de las Ciencias en Londres, los historiadores de la ciencia del ancho mundo han definido sus posiciones de una manera terminante respecto de sus concepciones bsicas. O han dejado de hacerlo, lo que no ha dejado de suponer una aclaracin bastante rotunda de sus posiciones. Se diga lo que se diga, esto ha condicionado la evolucin posterior de la teora de la ciencia. Mas despus de la Segunda Guerra Mundial, o al calor de la Guerra Fra, hemos asistido a una ofensiva del mismo Popper y de algunos discpulos postpopperianos en el sentido de intentar una tercera va entre las lneas de desarrollo materialistas e idealistas en el rea del anlisis histrico de la ciencia que ha colocado en el candelero del inters general -casi popular- un tema ideolgico: es la ciencia -o sea el conocimiento- una variable cuyo desarrollo escapa a la explicacin marxiana? Desde luego que una respuesta en sentido afirmativo seguira teniendo mucho valor de uso y de cambio en el mundo de nuestros das para determinadas fuerzas econmicas, polticas y sociales que, a pesar de su supuesta victoria en el terreno geopoltico, siguen merecindose similar comentario al que Unamuno dirigi a las fuerzas de Franco en la ltima de las contiendas civiles de Espaa: han vencido, pero no han convencido. Las exteriorizaciones impresas de Lakatos(12) mostraron claramente el hecho de que la filosofa de la ciencia actual no slo no ha sido ni es neutral, sino que est imbricada en el confrontado mundo de nuestros das. Y que cualquier resultado, por banal que parezca, tiene implicaciones de tipo extraconceptual(13). Aunque el reconocimiento de que la ciencia es un fenmeno social no puede ser, por evidente, una conclusin para un trabajo de investigacin, por ms que este Mediterrneo an est deliberadamente y aparentemente oculto para muchos autores, hay que convenir que esta posicin se debe, en ms de una ocasin, a la defensa de intereses muy concretos y a menudo poco confesables. Pero la ofensiva popperiana y postpopperiana lleg y en buena medida sigue ah con toda su pujanza y todo su atractivo. Al fin y al cabo, Popper ha tenido al servicio de la difusin de su pensamiento a muy poderosos aliados que le sostenan en su cruzada antimarxista(14). Una posicin frontal basada, segn uno de los exgetas del Coloquio de Cerissy(15), en la condena de las ideas de Marx "en raison des consquences antidmocratiques qu'elles ont eu dans l'histoire relle de l'humanit". Casi al mismo tiempo llegaron con bastante fuerza las doctrinas filosfico-cientficas de sus seguidores(16). De los fieles y de los que tenan que jugar el papel de leves crticos. Y entre stos justo es reconocer que las formulaciones tericas de Lakatos, Kuhn y Feyerabend(17), por citar a los ms notables jefes de fila dentro del territorio de los asuntos relacionados con la ciencia, han irrumpido en los ltimos treinta aos en los medios intelectuales con un impacto tal que han conseguido empaar en cierta medida las interpretaciones sobre la

gnesis y evolucin de las ciencias que se crean consolidadas desde bastante tiempo atrs y, con especial acento, desde la dcada de los treinta. Entre todo el bagaje conceptual postpopperiano, la artillera terminolgica de Kuhn ha recibido muchsimos plcemes porque, adems de su escaso compromiso externo, las formulaciones de algunos de sus elementos bsicos (ciencia normal, revoluciones cientficas, etc.) permiten una versatilidad que otros ensayos de aproximacin difcilmente tienen. Como deca el recientemente desaparecido Mikulinski, el libro central de Kuhn de 1962, The Structure of Scientific Revolutions(18), sirvi para apuntalar las debilitadas posiciones del internalismo en un momento en que sus defensores estaban en franca retirada de la escena intelectual(19). Aclaradas mis reglas del juego ms profundas, a saber, que los hechos en la historia nunca pueden explicarse hasta total satisfaccin en una visin aislada y separada de las mltiples variables que impone la vida, es claro que hay una costumbre intelectual -y el propio oficio de historiador de la ciencia o de lo que sea lo demuestra- de construir conceptos e historias en atencin a variables especficas. En ese sentido y segn ese peculiar derecho consuetudinario, espero que no se tome por incalificable atentado escudriar los hechos matemticos desde el punto de vista de la historia del pensamiento, aunque declaro con una cierta solemnidad que, en mi opinin, se trata de un enfoque sesgado de la cuestin. Se trata de una reflexin que tiene algo de experimento de laboratorio de ideas. Cabe hablar de un mundo interno, exclusivo, del pensamiento matemtico? o, en otra formulacin, son las matemticas una realidad aislable? son dos expresiones equivalentes a las que hemos presentado ms arriba como formulacin de las inquietudes que se han presentado como origen remoto de este trabajo. La respuesta precipitada e irreflexiva en cualquiera de las dos posibles direcciones extremas podra acarrear una infinidad de contraejemplos y, sin embargo, este tipo de posiciones se han mantenido durante siglos -y por supuesto ahora- por gente muy entendida en ste y otros asuntos relacionados. Hay matemticos, entre los que los casos ms conocidos pueden ser Hardy(20) y Dieudonn(21), que defienden las matemticas intiles como una perla, y tienen adems la delicadeza de no aadir que en una cinaga de pragmatismo. Titchmarsh, en los aos posteriores a la Segunda Guerra Mundial, lanzaba al pblico no iniciado esta curiosa reflexin(22): "Hay partes de las matemticas que son tiles. Los astrnomos dieron la bienvenida a los logaritmos porque simplificaban sus clculos. La teora de las ecuaciones diferenciales permite a los ingenieros calcular cosas como el fluir del agua en las tuberas. La teora de los operadores lineales permite a los fsicos hacer hiptesis sobre el tomo. Pero los verdaderos matemticos no cultivan las matemticas por estas razones (...) Los que cultivan las matemticas puras lo hacen para proporcionarse una satisfaccin esttica, que pueden compartir con otros matemticos, y tambin porque les resulta divertido". Siempre, y tambin desde luego en tiempos mucho ms recientes, est presente la moderna obsesin esteticista de profunda raz copernicana o incluso clsica. As, Moshe Flato, al analizar el fracaso del credo bourbakista, seala(23): "[La] passion, qui surprend souvent les non-initis et qui suscite parfois leur ironie sinon leurs sarcasmes, exprime volontiers ses mobiles en germes esthtiques: qui n'a pas entendu un mathmaticien parler d'un beau thorme ou d'une dmonstration lgante".

Por otra parte, para otros, y muy sealadamente para intelectuales no matemticos, las matemticas son una especulacin de la mente por medio de las cuales, segn la famosa expresin de Lenin(24) - fuertemente inspirada por cierto en A. Rey-, es bastante posible reducir la materia a ecuaciones. La tensin entre ambas perspectivas -tras el peculiar y discreto culto de Gauss a la aritmtica- se hizo patente a partir de la aparicin en escena de las geometras no eucldeas y est sin resolver en la teora, aunque no en la prctica, sobre todo en la de los fondos dinerarios dedicados a la investigacin de cualquier pas desarrollado del mundo. Estudiar la realidad del hecho matemtico en el mbito planetario o en cualquier comunidad cientfica, sobre todo a partir de la Revolucin Francesa, impone tener en cuenta puntos de referencia en ambos campos de gnesis matemtica para poder avanzar en el conocimiento de su estructura aproximada, ya que, como obra de creacin humana que es, siempre quedarn flecos de difcil racionalizacin. Es el captulo nada representativo ni significativo de los llamados genios. Las matemticas, como todas las dems ciencias y bastantes de las artes, son resultado del trabajo personal y del colectivo en que las personas desenvuelven su actividad. Incluso la imaginacin y la capacidad de establecer analogas creadoras se favorece tambin con un adecuado entrenamiento. Al fin y al cabo, lo ms positivo del mundo que la Humanidad comenz a construir hace doscientos aos es la posibilidad y el derecho de las mayoras y minoras carentes de cualidades excepcionales a elaborar cosas positivas, entre ellas la ciencia.

2. Mis puntos de referencia


La Primera Guerra Mundial dej unas sorprendentes secuelas en el terreno cientfico y tcnico. El inmenso laboratorio que constituyeron los campos de batalla y los elevados rendimientos destructivos obtenidos de la aplicacin directa de la ciencia al objetivo blico transformaron rotundamente la valoracin social de la ciencia. El positivismo, que haba alentado el desarrollo de las ciencias -a veces de forma un poco pueril- en el siglo XIX, se convirti en una necesidad imperiosa para animar el perfeccionamiento defensivo de los ms potentes estados. Las implicaciones destructivas de la ciencia se hicieron tan evidentes que se produjo una generalizacin uniforme sobre la actividad de los cientficos profesionales. Las secuelas de esta generalizacin fueron, adems de falsas, nocivas. En efecto, en la opinin pblica se asoci la idea de sabidura cientfica a la de utilizacin blica. En el interior de la comunidad cientfica se eludieron ostentosamente las aplicaciones concretas que su trabajo pudiera tener. Y, aunque se siguieron realizando reuniones cientficas, se respet unnimemente el criterio de desconectar el contenido del trabajo cientfico de los resultados que pudieran obtenerse de ese trabajo. La actitud de los estados ms potentes econmicamente tambin cambi, detrayndose fondos especficos para programas de investigacin concretos, normalmente secretos. Del esfuerzo econmico de los estados, de la opinin general y de la actitud de los cientficos tuvo perfecta conciencia el mundo tras el resultado de proyectos como el que se desarroll en Los Alamos(25). Y ese proyecto, a pesar de su grandiosidad cientfica, representa la prehistoria respecto a la organizacin de la investigacin cientfica en dcadas ms prximas a nuestros das. Las actitudes de los cientficos que participaron en la creacin de la bomba atmica tambin son conocidas: unos se encogieron de hombros manifestando que no era cosa suya; otros, como Leo Szilard -uno de los hombres claves de aquel programa-

abandonaron la fsica en 1946, cuando se enteraron de los resultados de su sabidura; y, entre otros, Einstein manifest: ojal me hubiera hecho fontanero! El complejo panorama de la ciencia contempornea, para no evidenciar la servidumbre destructiva de la mejor dotada ciencia institucional, gener otra componente representada por el oficio tradicional y aparentemente inocuo de la ciencia. Esa otra componente es el cientismo. El cientismo signific -y significa- el regreso de las posiciones tericas absolutas sustentadas en fuentes epistemolgicas prekantianas. Los presupuestos cientistas fueron bien recibidos por las clases dominantes de los estados interesados en la inversin econmica progresiva en reas cientficas de utilidad concreta, generalmente ms cara, no divulgable y de intereses menos confesables. El cientismo era -y es- una maniobra de diversin. La misin de escaparate cientista le fue confiada a la Universidad, en la que no se poda prescindir de su labor investigadora, pero sin importar (econmicamente) de forma excesiva los resultados que globalmente se obtuviesen de tales estudios. As de sencillamente se oper el proceso de separacin de las dos vas de trabajo cientfico que quedaron institucionalizadas tras la Primera Guerra Mundial. Semejante dilema -aunque no siempre planteado explcitamente- entre trabajo y resultados de dicho trabajo tom cuerpo en trminos de contradiccin entre la necesidad (estatal) y la libertad (personal) de investigacin. Por ello resulta coherente histricamente el retorno a los planteamientos positivistas de corte radical en el periodo de entre-guerras, como puede comprobarse por el barullo organizado por el Crculo de Viena sobre temas como el criterio de verificabilidad(26) -sobre lo que insistir enseguida-. Mas, por el principio de accin y reaccin, las situaciones que se distinguen por su clara crudeza generan movimientos contrarios ms explcitos cuanto ms directa es la actuacin institucional. As, ante la evidencia de las lecciones de la guerra y los avatares histricos subsiguientes, comenz a desarrollarse una nueva tendencia de interpretacin de la ciencia, de lenta progresin cuantitativa, que comenz por el establecimiento de un enfoque distinto de su propia historia. Esta tendencia, que se adscribira posteriormente bajo el calificativo de social, aportaba una argumentacin slida para explicar la fijacin y el desarrollo de las ideas cientficas, su relacin con las fuerzas productivas o destructivas, y sobre la configuracin definitiva de determinadas reas y lneas de investigacin. La escuela inglesa de historia de la ciencia, una de las comunidades cientficas ms interesantes del siglo, tuvo su portavoz ms genuino en John D. Bernal, que hay quien considera uno de los pensadores ms importantes de este campo en lo que va de siglo(27). Y, por si valiera como prueba del inters que la obra cumbre de Bernal, la Historia social de la Ciencia, ha venido suscitando quede recordada su ininterrumpida reimpresin del texto original desde 1954(28). La aportacin de la escuela crtica britnica supone la adicin de una componente fundamental para la comprensin correcta de los procesos cientficos. Pues si bien esta metodologa histrica no es suficiente para explicar el nacimiento, surgimiento o irrupcin de una determinada teora cientfica, ni es concluyente respecto a la lgica interna de los experimentos cruciales, s que resulta inapelable en la explicacin de los procesos de consolidacin de tales teoras y en la consideracin institucional e impulso subsiguiente de las mismas. Por esta va se han hecho admisibles y necesarios los estudios sobre la incidencia de la ciencia en el anlisis de la situacin de determinados entornos ideolgicos o sociales (y viceversa).

En definitiva, este tipo de enfoque ha hecho aflorar en forma mejorada algunos de los postulados bsicos del periodo ilustrado. Porque las ciencias tiles han vuelto a aparecer de forma inequvoca -aunque a veces la utilidad sea fatal- en el concierto mundial, al igual que ha reaparecido la idea de progreso asociado al estudio de las ciencias fsicas y naturales y algo tambin de las formales. Esta humanizacin de los objetivos de la ciencia, visible en ambas direcciones -blica o de progreso-, es un elemento ms de crisis en el difcil equilibrio de intenciones y realidades del mundo cientfico. Digamos, adems, que las matemticas siempre han gozado entre los filsofos profesionales, salvo las excepciones dimanantes de los momentos de mayor furor religioso, de buena opinin. Cuando menos por dos razones. Por una parte, las matemticas en la cultura occidental han ocupado un estratgico punto de partida en la consolidacin del pensamiento griego(29). Por otra, el tradicional carcter tautolgico de sus proposiciones las ha mantenido en una respetable posicin de aproximacin a la verdad, cuando no se han identificado con la verdad misma. Adems las matemticas, en lo que les ha sido dado conocer a conjuntos humanos no especializados, han permitido ganar seguridad en una de las ms importantes aspiraciones humanas, cual es la de predecir; predicciones que, en ocasiones, han llegado a permitir completar el paisaje del Universo(30). Por ltimo, las matemticas han solido desarrollarse al margen de las controversias que han agitado las estructuras conceptuales de otras disciplinas cientficas con mayores implicaciones ideolgicas en la batalla de lo cotidiano, esto es polticas, como en su da la astronoma o, en tiempos ms prximos, la fsica o la biologa. Sin embargo, las paradojas internas y externas, surgidas o planteadas desde fuera o desde dentro, y la aparicin de teoras matemticas lgicamente consistentes -o sea, verdaderaspero no intuibles en el espacio fsico ordinario admitido como real, plantearon en el siglo XIX una convulsin suficiente para atraer la atencin tanto de los filsofos profesionales como de los propios matemticos hacia la reflexin sobre el problema de los fundamentos y del desarrollo de las teoras matemticas. No voy a entrar en el cuerpo a cuerpo concreto de discutir o simplemente resear las opiniones de quienes desde los diversos sistemas y teoras se ocuparon de repensar las matemticas desde los mismos aos de la formulacin del clculo y de la mecnica clsica, no porque no tenga inters, que lo tiene y mucho, sino por no alargar an ms el proemio introductorio al meollo de la cuestin. Ello no obstante, como quiera que entre lo que se promete se encuentra el trmino paradigmas y stos tienen una genealoga filosfica concreta, habr que hacer una visita a las races de las que se han nutrido algunos de los filsofos contemporneos de la ciencia que ms han influido en los medios dominantes de este atormentado fin de siglo. A comienzos de los aos veinte un grupo de filsofos, entre los que destacaron Carnap, Feigl, Frank, Gdel, Schlik y otros, se plantearon de nuevo el problema de la liberacin de la filosofa de cualquier tipo de metafsica. Este grupo, conocido por el nombre de Crculo de Viena, pretendi cambiar radicalmente la filosofa vigente. Este objetivo se concret en un principio en la bsqueda de un criterio de significatividad emprica. Uno de estos criterios fue el sostener que las proposiciones empricamente significativas son verificables, saltndose a continuacin a la polmica sobre el sentido de la posibilidad de verificacin.

Los sucesivos planteamientos (verificacin lgica, fsica, mixta, etc.) desembocaron, en funcin de las aportaciones de Reichenbach, en criterios de verificacin relativos al desarrollo de la ciencia. Pero a pesar de los esfuerzos denodados por rigorizar el concepto, aparecieron con su machacona impertinencia los conjuntos infinitos de fenmenos, obviamente imposibles de verificar. Este primer y serio contratiempo condujo a Carnap y otros a reflexionar sobre el lenguaje y crear un lenguaje empirista que permitiera expresar de forma consistente las proposiciones empricas. La obsesin por la ciencia emprica alej a la mayora de estos filsofos de la reflexin sobre las matemticas. Y quienes trabajaron (Gdel, Carnap y alguno ms) en el dominio de las ciencias abstractas lo hicieron con ms implicaciones lgicas que matemticas estrictas. Gdel, que entr en la historia de las matemticas por la mayor de las puertas, lo hizo gracias a prolongaciones en la frontera de los fundamentos. Hay que observar un proceso transitivo de implicaciones y retroimplicaciones sucesivas para encajar el Crculo de Viena y la sucesin de crticas y contracrticas hasta llegar a una formulacin ms o menos compleja de la filosofa de las matemticas desde concepciones nuevas. La respuesta a los planteamientos del Crculo de Viena fue protagonizada, desde los extremos que aqu nos afectan, por Popper, aunque tambin bsicamente se realiz en el terreno de la fsica. Popper plante la refutacin como mtodo emprico adecuado, afirmando que slo poda reconocerse el carcter cientfico de las teoras en funcin de su posibilidad de contrastacin con sus postulados bsicos, con la exigencia aadida de la capacidad de prediccin. En consecuencia con esto, para Popper se anula el valor cientfico de las teoras infalsables o teoras con hiptesis ad hoc adicionales. Lakatos, Feyerabend y muchos otros filsofos y cientficos han contestado vivamente este planteamiento que, al amplificarse en funcin de las implicaciones ideolgico-polticas de la obra de Popper, se fue desmoronando con sus seguidores-crticos. Entre ellos, Lakatos lleg a formular una lgica del descubrimiento matemtico que, iniciada en los aos 63-64, se vio varias veces interrumpida por su subsiguiente e inevitable acercamiento a la filosofa de la fsica. Muchas de las ideas de Lakatos sobre las matemticas aparecieron como obras pstumas(31) que editaron sus colaboradores en la dcada de los setenta. Sin embargo, a pesar del indudable inters que puede representar la eleccin de las matemticas como campo para el anlisis de las teoras cientficas, y debido quizs a su muerte prematura, no deja de ser un intento parcial -como reconoci el mismo Lakatos-, al quedar en el tintero multitud de aspectos de la historia de las matemticas que necesitaban una mayor reflexin. Lakatos arranca de la crtica al formalismo reprochndole, precisamente, su desprecio de la historia. Esto, que es una verdad de facto, fue sin embargo negado explcitamente por Hilbert en el Congreso de Pars de 1900, al reclamar con insistencia la unidad multidireccional de las matemticas(32). Lakatos ha trabajado sobre ejemplos concretos para estudiar problemas de metodologa. La denuncia de Lakatos del carcter ahistrico del formalismo podra generalizarse a muchos repensadores de las matemticas. Y precisamente podra decirse que el inters despertado entre los historiadores de la ciencia

por parte de las corrientes postpopperianas est muy relacionado con la posicin terica basada en la exigencia de una interrelacin efectiva entre la filosofa y las matemticas, apoyada casi siempre en tesis de Kant. Desgraciadamente, la muerte de Lakatos dej incompleto su esfuerzo de elaboracin de una lgica del descubrimiento matemtico bajo la que palpita la historia real como elemento demarcador de la teora. Lakatos aborda en su vivo y recreado trabajo -aunque a veces de forma poco sistemtica- la mayor parte de los problemas tericos ms importantes. Los editores advierten a menudo la conveniencia de poner en cuarentena alguna de las ideas de Lakatos, que pudieran no haber sido sostenidas por l mismo en la forma en que figuran en el texto. Lakatos repasa aspectos de la cuestin de los fundamentos, de la autonoma de las matemticas, de su naturaleza alienada, de su posible proceso degenerativo, de su supuesto carcter infalible, de las relaciones entre lgica y matemticas, de la existencia de las teoras dominantes, etc. Busca en las matemticas los programas de investigacin y los procesos de progreso y estancamiento, que para l es la lgica de descubrimiento ms apropiada para la reconstruccin racional de su historia. Naturalmente, Lakatos hunde las races de la teora de los programas de investigacin en la consideracin del alto nivel de autonoma de la ciencia. Y si la aproximacin directa de Lakatos a la historia de las matemticas es destacada, sin embargo la elaboracin de su teora se estructura, quizs debido a la alargada sombra de Popper, en el terreno de la fsica y es aprovechada para sealar sus diferencias con Kuhn y para no perder comba en su antimarxismo filosficamente militante. Para bien o para mal, la aportacin de Lakatos, muy probablemente vctima de la autonoma alienante tan defendida por l mismo, en el mundo matemtico ha quedado, en cierta medida, reducida al conjunto de las cosas curiosas y divertidas. Mayor impacto, hay que reconocerlo, han tenido las tesis de Kuhn sobre las revoluciones cientficas, quizs porque, como dijo Muguerza en el prlogo a la versin castellana de las Actas del Coloquio Internacional de Filosofa de la Ciencia celebrado en Londres en 1965, estaban hacindose esperar(33). Revoluciones o rupturas, inspiracin anglosajona o francesa, el hecho es que la teora contempornea de la ciencia de corte idealista ha tenido que reconocer que tambin en el supuestamente autnomo universo cientfico surgen cortes ms o menos drsticos, pero que sealan que la versin continuista y de acumulacin directa es una forma de caricaturizar la historia e incluso de falsearla(34). Las ideas de Kuhn no han despertado entusiasmos generalizados en la comunidad matemtica, donde la presencia del formalismo es todava muy acusada. El mismo Kuhn ha esquivado de alguna manera el atender este tipo de banco de pruebas en beneficio de otras parcelas de pensamiento ms propicias a un tipo de ejemplificacin ms contundente. En este sentido la fsica, la astronoma, la qumica o la biologa resultan mucho ms atractivas para buscar sustento a las construcciones filosficas. Aun as, en las revistas especializadas y en mbitos de resonancia estructuralista(35) han aparecido en los ltimos aos algunos intentos textuales de reproducir el esquema bsico kuhniano(36) en matemticas con

connotaciones bastante dogmticas. Y es que es justo reconocer que en s misma la teora de las revoluciones cientficas resulta sugestiva. La cimentacin de las realizaciones cientficas universalmente reconocidas como tales que, durante cierto tiempo, proporciona modelos de problemas y soluciones a una comunidad cientfica(37) llamada paradigma parece una especie de perogrullada brillante, irrefutable e irrebatible a la luz de ciertas historias de las ciencias. Igualmente significativa es la relacin entre los conceptos de paradigma y de comunidad cientfica, que es quien en definitiva lo articula, lo sostiene, lo desarrolla mediante el ejercicio de la ciencia normal, lo derrumba y lo sustituye por otro. Parece obvio que un paradigma sea entonces el sustrato terico necesario por el que la comunidad cientfica en cuestin explica el mundo. E igualmente adecuada parece la forma de liquidacin del paradigma: bien por agotamiento de los enigmas planteados, bien porque se produzca alguna incompatibilidad entre un enigma abierto y el propio paradigma. Esa incompatibilidad genera una crisis que desencadena una revolucin cientfica, tras la cual el viejo paradigma es sustituido por otro, porque en las ciencias todas las revoluciones resultan triunfantes ms pronto o ms tarde. Al carcter sugestivo y atractivo de la teora hay que aadirle un dato ms que induce a la atencin: el hecho de que en su contrastacin -a veces confrontada- con alguno de los momentos conflictivos de la historia de las ciencias la teora haya salido suficientemente airosa. Aunque lamentablemente, en el enunciado original, las matemticas y su historia brillen por su ausencia. Los cataclismos tericos siempre impulsan de forma notable la necesidad de historiar el pasado cuya lnea de progresin acumulativa se rompe precisamente por el proceso de ruptura. Eso ocurri en el periodo de la Revolucin Francesa y, con mucho mayor motivo, volvi a suceder en el tiempo de las grandes rupturas temticas del siglo XIX. La obsesiva reflexin sobre los fundamentos de la matemtica y las aguzadas crticas a las elaboraciones clsicas impulsaron la necesidad de trenzar la historia de las matemticas y explicar el proceso de su desarrollo. La historia de la ciencia en el siglo XVIII, que al que suscribe le parece encantadora, fue externalista hasta el maniquesmo, llegando a encubrir en las alabanzas a las ciencias naturales factores de ataque o por lo menos de rechazo o crtica al Antiguo Rgimen vigente o extinto(38). En el siglo XIX, lo resbaladizo del terreno terico exigi dos ingredientes fundamentales en la reconstruccin histrica de la evolucin del pensamiento cientfico: por una parte, el rigor, que fue progresivamente en ascenso en las elaboraciones tericas, se hubo de incorporar tambin a los trabajos histricos; por otra, los excesos del periodo revolucionario del XVIII favorecieron grandes dosis de interiorizacin en las elaboraciones histricas. Pasados los aos, en el terreno de la historia de las matemticas, tras encomiables esfuerzos como los de Boncompagni con su Bollettino di bibliografia e storia delle scienze matematiche e fisiche (1868-1887) y la continuacin de Gino Loria con su Bollettino di bibliografia e di storia delle scienze matematiche (1898-1922)(39), Enestrm con su Bibliotheca Mathematica (1887-1914) y otros, la consagracin del modo de hacer historia de las matemticas vino de la autorizada opinin de Moritz Cantor en el Congreso de 1900

celebrado en Pars, segundo de los internacionales de matemticos. Opinin que l mismo materializara en las monumentales Vorlesungen ber Geschichte der Mathematik en cuatro volmenes [Leipzig, 1907-1913]. Moritz Cantor que, en un tiempo en el que los alemanes an no estaban completamente henchidos de fervor nacionalista y por ende absolutamente histricos con el tema del idioma, present su trabajo en francs y titul su conferencia Sur l'historiographie des mathmatiques(40). En ella parta de una proposicin de alguna manera contradictoria con la tesis defendida por Hilbert en el mismo Congreso. Para Cantor las matemticas haban perdido su unidad para multiplicarse(41). En consonancia con esto, la figura del matemtico como tal haba desaparecido para alumbrar la de los gemetras, analistas, algebristas, aritmlogos, astrnomos, fsicos tericos e incluso historigrafos(42). Y explicaba la presencia de esta ltima categora con un gesto humilde, reconociendo que del trabajo de los historiadores no podan surgir avances de las matemticas sino solamente unas buenas Guas de Viaje(43). Para mostrarlo construy una sucinta relacin a travs de las historias de las matemticas desde Eudemo de Rodas hasta los aos finales del siglo XIX. El erudito recorrido, a pesar de la asepsia que se pretende aparentar a lo largo de todo el trabajo de Cantor, est salpicado de elementos que permiten comprobar los principios conceptuales que inspiraban las historiografas correctas. Hablando de la conocida obra de Libri sobre L'Histoire des Mathmatiques en Italie se cuestiona Cantor(44): "Peut-on crire convnablement l'Histoire des Mathmatiques dans un pays quel-conque?". Y se contesta inmediatamente: "J'en doute fort". Y lo pone en duda por el carcter internacional de las matemticas, por la influencia constante de un pueblo sobre otro en el terreno matemtico y por el proceso acumulativo del conocimiento matemtico. No obstante, todava es ms explcito Cantor respecto al verdadero sentido de su historiografa. Dice Cantor(45): "On me dira que, pourtant, tout peuple a eu son temps o il marchait la tte d'une Science ou de l'autre. C'est parfaitement vrai, mais parce que c'est vrai pour tous les peuples, cela prouve d'autant plus la difficult d'crire l'Histoire de cette Science chez un seul peuple, sinon pour l'poque pendant laquelle ce peuple faisait avancer cette Science". En breves palabras est la versin quintaesenciada del positivismo idealista en materia de historia de las matemticas y de la ciencia. Porque, so pretexto de internacionalizar y generalizar el campo de visin, lo que hace Cantor es internalizar el anlisis hasta tales extremos que las matemticas aparecen como una creacin extraespacial y, por as decir, extrasensorial. En efecto, la visin de la historia de las matemticas ratificada por Cantor y seguida, todo hay que decirlo, con un cierto entusiasmo por ciertas comunidades matemticas a lo largo de todo lo que se lleva del siglo XX, separa las creaciones

matemticas de cualquier tipo de enlace con factores sociales e incluso intelectuales, extramatemticos. La propia historiografa se encarg de poner en tela de juicio los valores defendidos por Cantor y las comunidades matemticas nacionales se lanzaron a buscar y a analizar sus propias races cientficas en el terreno de las matemticas(46). Factor de importancia singular fue la obra de George Sarton en Estados Unidos, con su revista trimestral Isis y la tendencia al asociacionismo de los historiadores de la ciencia. Durante casi medio siglo el nombre de Sarton se identific en el mundo occidental con el de la historia de la ciencia y, de alguna manera, la ciencia -en un sentido global- fue contemplada e historiada a partir de las ideas desarrolladas en las dinmicas universidades norteamericanas del primer tercio del siglo XX. Sin embargo, el cambio de orientacin ms consolidado se produjo en el Congreso de Londres de 1931 y, como se ha reconocido en todas las partes no contaminadas por los bienpagados de cualquier tipo de alianza para el progreso, fue debido a la aportacin de los historiadores soviticos(47). La Revolucin de Octubre cambi el signo de la consideracin de la ciencia en las jvenes repblicas soviticas, desde donde se irradiara al resto del mundo. Sobre una base progresivamente nutrida de cientficos en general y de matemticos en particular, se comenz a reflexionar sobre la ciencia de un modo diferente. Aunque la institucionalizacin de la historia y de la filosofa de la ciencia no fue inmediata, ya desde el ao 1925 funcion en Mosc un Seminario conducido por S.A. Ianovskaia y constituido fundamentalmente por estudiantes de fsica y matemticas. En la dcada de los aos 30 se institucionalizaron los cursos de historia de las matemticas en la Facultad de Fsica y Matemticas. Los animadores de este incipiente movimiento fueron, adems de la ya citada Ianovskaia, el matemtico Vygodski y el fsico Guessen(48). Cuando se reuni en Londres el II Congreso Internacional de Historia de las Ciencias, Guessen, director del Instituto de Fsica de Mosc y miembro del Senado (Consejo Acadmico) del Instituto de Historia de la Ciencia y de la Tecnologa de la Academia de Ciencias de la URSS(49), cuyo director era Bujarin, present un trabajo sobre Las races socioeconmicas de la Mecnica de Newton(50) que tuvo una gran resonancia cuando se public, junto con otros trabajos de similar inspiracin, bajo el ttulo de Science at the Crossroad(51). La aparicin de una orientacin consistente desde el punto de vista cientfico y con una metodologa marxista cambi radicalmente el sesgo tradicional de las investigaciones en historia de las ciencias, que superaron la meritoria tendencia histricocultural de Sarton. En la misma dcada de los 30 aparecieron varios trabajos de prestigiosos cientficos que cambiaron el rumbo de sus preocupaciones concretas por las reflexiones sobre la ciencia y su historia en un sentido global. En Gran Bretaa, particularmente, cuaj una verdadera escuela de historiadores, filsofos y socilogos de la ciencia de formacin marxista que han tenido una gran influencia posterior. Bernal, Hogben, Haldane, Merton son algunos de los cientficos occidentales que

comenzaron a trabajar sobre la idea del carcter social de la ciencia. A partir de entonces se hizo patente la divisin de las escuelas historiogrficas en externalistas e internalistas. En puridad esta clasificacin fue una reaccin un poco exasperada de los neopositivistas de todo corte y condicin contra la penetracin de la nueva metodologa en un rea -la de la historia de las ciencias- que hasta entonces haba sido coto cerrado de las escuelas de definicin idealista. Se quiso aducir con la divisin el hecho de que el externalismo comportara la utilizacin de caracteres ajenos al hecho cientfico stricto sensu. Sin embargo, aunque la defensa desde las posiciones acadmicas mayoritarias de la inteligencia establecida fue bastante dura, la influencia en todos los pases de Occidente fue muy notable. En particular por lo que hace a las obras de Bernal(52). Hoy, en la lectura del trabajo de Guessen, como la de otros historiadores soviticos de ese periodo, aparecen sesgos de linealidad algo tosca, siempre presente por otra parte en las producciones inaugurales de cualquier novedad terica. Se trata obviamente de la irrupcin en escena del externalismo como corriente. Pero estas insuficiencias no empaan, medio siglo despus, el hito representado por los historiadores de la ciencia del joven estado sovitico. Como reaccin, precisamente, al desarrollo de esta perspectiva, apareci con una fuerza innegable otra corriente apoyada tambin en un ejemplo trascendente del siglo XVII y de inspiracin rotundamente idealista. El mismo ao 39 entraban en incruenta batalla el libro de Bernal, La funcin social de la ciencia, y, de otro lado, los Estudios Galileanos de Koyr. La calidad de los trabajos de Koyr signific un fuerte contrapeso a la corriente materialista y un enriquecimiento global notable de la historia de las ciencias. Es obvio que los planteamientos internalistas que surgieron a partir de la escuela historiogrfica francesa, muy pronto extendidos de la mano de los neopositivistas anglosajones, ya no pudieron pasar por alto la influencia de los factores externos, aunque s que rechazaran las implicaciones sobre el universo conceptual de la ciencia, que fue colocado en un dominio ideolgico ms y ms autnomo. La pugna cientfica, dgase lo que se diga, permanece en total vigencia y vigor y de alguna manera ha servido para eliminar construcciones tericas sin matices y sin fisuras que, por muy comprensibles que fueran, no han dejado de ser muy toscas e incluso falsas. Por eso el problema sigue siendo el de averiguar si existen leyes generales que expliquen el desarrollo de la ciencia. Cuestin general aplicable a todas y cada una de las ciencias y, por lo que hace a este trabajo, al rea de las matemticas.

3. Planteamiento general del problema


3.1. El problema de las definiciones Es difcil establecer un criterio fijo e inmutable que permita definir el concepto de ciencia en nuestro tiempo. A lo ms que en estos momentos se aspira es al establecimiento de un

proceso en el que se recojan los elementos conceptuales y experimentales que, en conjunto, aporten una aproximacin suficientemente buena que vaya permitiendo acoger a la constantemente creciente cantidad de disciplinas candidatas a refugiarse bajo el certificado de denominacin de origen cientfica. La dcada de los noventa del siglo XX asiste con cierta perplejidad al desarrollo de un proceso iniciado en los setenta, en los que se seal que estbamos atravesando el umbral de una Revolucin Cientfico-Tcnica cuyas consecuencias, se deca, trascenderan los marcos habituales de existencia del pensamiento y hecho cientficos. A tal situacin se llegaba en funcin de una extrapolacin natural del gran desarrollo cuantitativo que las ciencias haban tenido a lo largo de los siglo XIX y XX. As, la hiptesis de la Revolucin Cientfico-Tcnica apareca como razonable y se afirmaba en la indudable influencia que las ideas cientficas tenan en la estructura social del mundo desarrollado, llegando a comparar el papel de la ciencia en nuestro tiempo al del dinero en el proceso de descomposicin del mundo feudal. Tras tales planteamientos se argumentaba la aparicin del umbral de un nuevo estadio evolutivo en el que las sociedades desarrolladas no podan prescindir de la ciencia, cuyo desarrollo, por otra parte, poda entrar en contradiccin grave con estructuras sociales basadas en la propiedad privada de los medios de produccin y no necesariamente por el catastrofismo de su extincin. No es ste el tema de este trabajo, aunque justo es reconocer que de aquellas impresiones a las actuales hay ms de un paso. De aquella Revolucin Cientfico-Tcnica, cuyo bienestar pareca que poda ser tocado con las yemas de los dedos por la inmensa mayora de los terrcolas, hemos pasado a una situacin bien distinta, con esa inmensa mayora de habitantes del planeta sumidos en la pobreza, cuando no en la miseria, sujetados por el poder de unas armas -estas s cada vez ms cientficas- que garantizan ese bienestar para una parte un poco ms reducida de los ciudadanos y ciudadanas del primer mundo, que s que vivimos mejor gracias a la ciencia y que podemos trabajar en mejores condiciones gracias a las nuevas tecnologas. Adems, el aparato cientfico de los entonces pases socialistas europeos, que daba sentido a la intuicin de la nueva era, est destruido, la Unin Sovitica no existe y Rusia tiene, en 1994, como cabeza visible a un borracho corrupto. Vaya panorama! Mas, a pesar de todo, el espectacular desarrollo de los resultados cientficos en la poca contempornea ha desarrollado enormemente la necesidad de reflexin y de creacin terica en torno a la ciencia. Se ha creado la disciplina de la Ciencia de la Ciencia como til herramienta indispensable en nuestros das para comprender el alcance de un fenmeno que, fuera para bien sea para mal, est desbordando todas las previsiones. Si hubiera que destacar una caracterstica fundamental que justificase el inters interno de la metodologa global en la aproximacin a la ciencia habra que pensar que, as como los procesos analticos que permiten profundizar en lo particular dificultan la comprensin de los objetivos a medio y largo plazo, la va de la sntesis, al abstraer los detalles parciales, permite acometer con mayores garantas de xito la investigacin de elementos de prediccin -y la prediccin es una de las razones de ser de la ciencia y del trabajo de los cientficos que ha quedado como ms evidente herencia del viejo positivismo comptiano-. La posibilidad de prediccin plausible justifica por s misma la atencin que los enfoques

de sntesis tienen en las elaboraciones cientficas desde hace siglo y medio. Aunque quienes, como yo, llevamos encima determinadas teoras y pensamientos no tenemos muchos motivos para enorgullecernos de la finura de nuestra capacidad de prediccin y debemos tender a ser prudentes, ello no obsta para que la funcin proftica sea una vieja aspiracin humana y, en tanto que tal, perseguible. De todas formas, muchos otros -de indudable y superior talento- lo han hecho antes. Cmo podran olvidarse por ejemplo las Vorlesungen ber die Entwicklung der Mathematik im 19. Jahrhundert del mismsimo Klein? Hay un elemento ms que propicia e incita al seguimiento de la aproximacin global al hecho cientfico: la especializacin. Los programas de investigacin actuales, circunscritos al mbito de las pequeas unidades de trabajo, o sea de las comunidades cientficas usuales, reducen el campo de estudio y conocimiento a microcosmos aparentemente irrelevantes y, de hecho, claramente desconectados del mundo exterior en mltiples campos de las ciencias bsicas. Esta tendencia de especializacin vertiginosa, que se ha agudizado a lo largo del siglo XX, aparece en etapas tempranas del aprendizaje, primero en un rea global (matemticas, fsica, etc.) sobre la que, en intervalos de tiempo cada vez ms breves, se establecen los dominios sucesivos de especializacin hacia el problema abierto que se est en condiciones de abordar. Esto cuando se contina la carrera el tiempo suficiente como para abordar problemticas nuevas. En la mayora de los casos, los procesos de formacin se cortan abruptamente sin haber dado tiempo a consolidar ni los marcos disciplinares globales ni el enunciado de problemas abiertos suficientemente sugestivos. Las comunidades cientficas ms conscientes y responsables han tenido que contrapesar la necesidad de formacin investigadora especializada con aportaciones de carcter general, esto es, con enfoques de sntesis de cada una de las ciencias o de la ciencia como tal, que se han situado en la periferia de las correspondientes disciplinas, bajo epgrafes comprensibles que son los que definen el trabajo de los historiadores y filsofos de la ciencia. No poda ser de otra manera. Historiar o predecir son extrapolaciones de los hechos que nos es dado conocer y vivir personalmente. Lo ms interesante sera conocer el futuro con cierta seguridad para modificar adecuadamente las condiciones del presente y para ello hay que aspirar al conocimiento lo ms conforme a la verdad que sea posible del presente y del pasado. Como investigar esos extremos es hacer historia de ..., para aumentar el nivel de certeza en la prediccin de los estados futuros de la ciencia en general y de cada una de sus componentes se impone la necesidad de abordar rigurosamente la verdadera evolucin del desarrollo de estos elementos conceptuales. Dicho de otra manera ms directa, a la luz de la realidad del presente y de la mayora del legado documental -e incluso testifical donde tal elemento es posible- se me antoja que las historias de las ciencias hasta ahora escritas son, todava en forma significativa, hermosos volmenes de no menos bellas fantasas, ya que sin afirmar -que no lo afirmo- que sean falsedades, lo que en las historias de las ciencias da en contarse, en su inmensa mayora, responde a cierta entronizacin del individualismo superdotado, un tanto alejado, ciertamente, de la realidad palpable en la que los cientficos se mueven. En la ciencia se ha producido en la poca contempornea un cambio trascendental que responde a las transformaciones intrnsecas del organismo cientfico: el cambio de

protagonista. Y ese cambio exige su reflejo en la reconstruccin de su acontecer. Las historias clsicas de las ciencias son relatos de anecdotarios, exposiciones cronolgicas, jalonadas por los descubrimientos geniales de determinados individuos. Las historias clsicas responden a una estructura bsica acumulativa en la que determinados individuos los cientficos- apoyndose en los descubrimientos de los que les han precedido de forma ms o menos inmediata, resuelven nuevos problemas. El gran protagonista, siempre individual, es el genio singular que realiza tal hazaa. Las estructuras unipersonales son, a cambio de muy sencillas y comprensibles, muy groseras. Muy difcilmente admiten la matizacin. Los problemas de coincidencia en la prioridad -irrelevantes enigmas que han ocupado tremendamente la atencin de los historiadores por la cuestin de la adscripcin de la gloria exclusiva- se han solucionado con el adverbio independientemente, sin ms complicaciones, sobre todo cuando la nacin a la que perteneca el supuesto perdedor aumentaba su peso poltico en el concierto mundial. La escasa finura de la argumentacin clsica no ha sido especfica de la historia de las ciencias. Esta era ms bien una herencia de una escuela historiogrfica en la que la historia de la Humanidad poda explicarse con nombres propios de personas o acontecimientos. La teora de la historia clsica era humana, pero falsa. Los historiadores han tenido que reescribir la historia de los pueblos en funcin de variables ms objetivas: los protagonistas colectivos. Y con ellos tejer un proceso evolutivo en el que se estableciesen los cambios a nivel infraestructural, superestructural, ideolgico y de sus mutuas interrelaciones e influencias. Quizs se ha perdido algo en rotundidad y claridad simplista, pero se ha ganado en objetividad y en veracidad. En las historias de las ciencias, en donde la metodologa clsica no ha hecho sino entrar en crisis, est comenzando a ocurrir lo mismo. Se est produciendo un profundo cambio no slo en el tipo de preguntas que se formulan los historiadores de las ciencias, sino tambin en la explicacin de los propios hitos cientficos. En este sentido, la analoga de los grandes colectivos sociales son las comunidades cientficas. 3.2. Comunidades cientficas: individuos y colectivos El poderoso desarrollo de la ciencia y la tecnologa en nuestros das presenta resistencias a la admisin de la evidencia en los cambios en la organizacin del trabajo. Toda la parafernalia de premios, distinciones y entidades de ms o menos alto copete cientfico de las que se nutre la pompa y la circunstancia de la ciencia desde hace tres siglos se confronta con la realidad cotidiana de los departamentos, institutos, facultades, escuelas y todo tipo de centros donde se despliega la actividad cientfica de la inmensa mayora de trabajadores annimos. En las revistas cientficas del corazn aparecen los gigantes vivos del estudio cuantitativo de la naturaleza y se esconden los gregarios que en ms de una ocasin se ven privados del protagonismo que mereceran. "Pour se reposer et se remonter un peu la moral, je connais un patron jeune, dynamique, qui fait lui-mme ses expriences en prparant lui-mme son matriel, qui fait une recherche bibliographique intelligente, qui s'intresse a la progression de ses chercheurs. Ce doit tre

pathologique (...) D'ailleurs tous ses collgues s'emploient le soigner: quand gurira-til?(53) Esta irnica cita de la antologa de Lvy-Leblond y Jaubert sobre la (Auto) critique de la science sirve de adecuado fundamento para abordar el problema de la organizacin del trabajo. La ciencia francesa, entre los muchos elementos con que ha nutrido a la comunidad cientfica, tanto a nivel puramente intelectual como de organizacin, ha deslizado una figura que ha devenido caduca y objetivamente resulta retardataria para el desarrollo de la ciencia: el patrn. Aunque la existencia de un director unipersonal e incontestable tiene races, justificacin y sentido histricos, los fenmenos acumulativo-restrictivos ya comentados convierten la actual estructura organizativa en algo obsoleto. En efecto, histricamente, tanto en Francia como en otros pases cientficamente adelantados, la autoridad de una larga lista de cientficos y el abismo cultural existente entre los diferentes sectores de cualquier pas en un amplio periodo de la poca contempornea que casi alcanza nuestros das ha dignificado enormemente y destacado del conjunto a las cabezas ms dotadas para la direccin y crtica de la investigacin. Por otra parte, la necesidad de acabar con los excesos fraudulentos de cualquier antiguo rgimen, de estabilizar la situacin laboral y de dar el empaque preciso a esa nueva capa social propiciaron en el siglo XIX un sistema de estructuracin de la comunidad cientfica fuertemente jerarquizado, proteccionista, cerrado y acrtico. Los controles establecidos, tanto a nivel gubernamental como privado, y el cdigo interno de cada unidad de investigacin dificultan en todos los pases la ruptura de las normas de conducta heredadas que ya no tienen ninguna justificacin prctica actual. Al margen de consideraciones diversas que se podran adelantar y de vicios del sistema expuestos en varias publicaciones cientficas que comenzaron a aparecer hace dos dcadas(54) se puede sealar la creciente dificultad de que existan cientficos que dominen (pues se trata de dirigir, que es orientar y criticar la labor investigadora de un equipo) simultneamente varias lneas de investigacin, aunque sean de un rea restringida pero general. El progresivo e imparable progreso de especializacin y la ausencia de alternativas vlidas al problema -a pesar de los muchos intentos y de la permanente polmica- conducen directamente a la necesidad obvia de la renovacin de la estructura, que desde cualquier planteamiento metodolgico de trabajo llega al mismo concepto organizativo para las unidades bsicas: el equipo. Es algo que tena que llegar, habida cuenta del camino de estricta especializacin. Hoy el protagonista individual de la ciencia tiene que ser el cientfico colectivo, que de hecho es -salvadas las distancias- una restriccin al terreno cientfico del intelectual-orgnico-colectivo definido por Gramsci(55). En verdad, la idea del equipo de trabajo, hoy por nadie combatida explcitamente, necesita adems una puesta en prctica presidida por un profundo sentido democratizador que colectivice la direccin y la crtica de las unidades de produccin cientfica a todos los niveles y que someta a debate peridico y abierto los resultados que se van obteniendo(56). Hay un elemento particularmente claro en la crisis de las estructuras cientficas ms tradicionales y que cada da se hace ms patente. As como en las llamadas disciplinas humansticas (inslita definicin que los cientficos aceptamos sin pestaear como si nuestras actividades no lo fueran(57)) el trabajo cotidiano a lo largo de los aos produce inexcusablemente un aumento de la capacidad orientadora por un mero proceso de acumulacin, en el campo de la ciencia la fijacin del hombre con el medio -el laboratorio

principalmente-, la inexcusable dureza intrnseca del trabajo y tambin los acicates de la necesidad y la ilusin producen un trastocamiento de las posiciones de vanguardia en el frente investigador a nivel mundial; con lo que no necesariamente los que llevan ms aos son los que ms al corriente estn de los problemas pblicos cruciales en una determinada rea (haciendo abstraccin consciente del contenido). Es ms, normalmente, el proceso acumulativo de conocimientos comporta la adscripcin a una determinada lnea y a un marco preciso de referencia, lnea y marco que con el concurso implacable del tiempo quedarn obsoletos a no ser que se produzcan los siguientes supuestos: i) que la lnea sea fundamental y se justifique por s misma, en cuyo caso los enigmas siguen siendo relevantes; ii) que el investigador sea lo suficientemente arrojado como para cambiar su lnea cuando observe -o le hagan observar- que los resultados obtenidos no compensan ni el esfuerzo realizado, ni el dinero invertido; y iii) que el investigador sea lo suficientemente curioso y capaz para comenzar peridicamente con un problema nuevo. Pero estos tres supuestos, que efectivamente se pueden ejemplificar histricamente en la ciencia, difcilmente se dan en el ejercicio de la ciencia normal mientras se cuente con una estructura de trabajo jerarquizada, conservadora y fijista. La forma menos traumtica de superar esta contradiccin es, precisamente, junto al respeto inveterado a la libertad de investigacin (respeto que en absoluto debe excluir la necesidad y la libertad de crtica), la urgente organizacin colectiva del trabajo en el seno de programas claros de investigacin, con actuacin transparente y generosidad informativa. En definitiva, una casilla del paradigma debe consistir en la sustitucin de la competencia desleal y el carrerismo por la cooperacin entre los trabajadores cientficos y el juego limpio. Kuhn, en su postdata de 1969 al texto original de la Estructura de las Revoluciones Cientficas, se vio obligado a precisar de una forma objetiva el trmino comunidad cientfica como elemento fundamental sobre el que poder sustentar su modelo. Para Kuhn(58), "una comunidad cientfica est formada por practicantes de una especialidad cientfica. Han pasado por una iniciacin profesional y una educacin similar en un grado que no tiene comparacin con otros campos. En este proceso han absorbido la misma literatura tcnica y desentraado muchas de sus mismas lecciones". El concepto, muy intuitivo, es fcilmente generalizable. Por eso se puede enseguida entender lo que se quiere expresar con el trmino comunidad de la disciplina X en el mbito geogrfico Y en el momento cronolgico T y, por variacin de las variables, encontrar inmediatamente los tipos posibles de comunidad. Este aspecto no representa un cambio interpretativo vulgar, ya que subvierte en cierta manera los objetivos prioritarios de las historias clsicas de las ciencias. Con este concepto, no slo el supuesto genio merece ser estudiado como objeto histrico, ya que ese supuesto genio pertenecer a una o varias comunidades cientficas, que adems no sern ajenas, ni mucho menos, a sus realizaciones. Tampoco en esta consideracin reina la unanimidad. Personalidades de tanto peso en la matemtica del siglo XX como Jean Dieudonn -al que voy a hacerle el favor una vez ms de criticarlo como historiador de la ciencia- han sealado muchas trabas tericas a la

definicin de comunidad matemtica(59) homologable a la que pueda darse en otras disciplinas cientficas. Para Dieudonn el trabajo en equipo es bastante raro en matemticas, reduciendo su idea de comunidad, en la prctica, a la correspondencia cruzada entre profesionales. Esta reduccin, vlida para situaciones anteriores a la institucionalizacin cientfica del XVII, es claramente insuficiente para explicar las situaciones que se dan desde el momento en el que hay academias, escuelas y revistas. Siguiendo con los presupuestos analgicos entre la historia general y las historias de las ciencias se presenta otro evidente paralelismo entre el modo de produccin de bienes materiales y el modo de produccin de bienes cientficos. La evidente transformacin de los modos de produccin cientfica a lo largo de la historia de la Humanidad lleva directamente a cuestionarse la existencia de unos marcos generales en los que se han desenvuelto las actividades normales o geniales de los cientficos. Y respecto a esto el modelo de Kuhn suministra un sustrato terminolgico atractivo y quizs suficiente para mejorar la explicacin de la historia de las ciencias. Ya se han comentado antes algunos de los aspectos generales ms interesantes de los planteamientos kuhnianos. Por lo que hace a este trabajo debe quedar claro que se recoge una generalizacin del concepto de paradigma, entendindolo como modo de produccin cientfica. Aunque la aplicacin concreta de este modelo al campo de las matemticas se pormenoriza en el pargrafo siguiente, s es conveniente insistir en un aspecto sobre la pervivencia de los paradigmas(60). Lakatos ha criticado(61) la traduccin mecnica de los postulados marxianos a la periodizacin de las ciencias, sobre todo en lo que respecta a la adscripcin de un determinado tipo de ciencia -y de criterios de elaboracin cientfica- a cada modo de produccin. Ya se ha aducido este aspecto al comentar la disyuntiva internalismoexternalismo. Sin embargo, s que es detectable de forma bastante ntida el mantenimiento y las subsiguientes rupturas de las concepciones bsicas mediante las que las diferentes comunidades cientficas explican el mundo. La pregunta que ms comnmente surge entre los cientficos es, ante esto, cuestionarse dnde queda el genio. La salida ms corriente a esta pregunta se basa en la consideracin de que cada realizacin genial produce una quiebra terica de suficiente importancia. As se puede argumentar que cada genio tiene detrs su escuela de pensamiento cientfico que, de una manera autnoma, elabora un tipo de ciencia diferenciada. Otro de los sesgos que produce el posicionamiento del genio en la historia es el de la generalizacin gratuita. Si un determinado cientfico ha producido en alguna disciplina cientfica concreta una ruptura de pensamiento, se extrapola automticamente a todas las ciencias en las que haya podido trabajar. As se han escrito algunas historias de las ciencias en las que con la pretensin mucha veces tcita- de primar la individualidad de la creacin cientfica sobre cualquier otra variable, se ha distorsionado la reconstruccin histrica y se ha falseado la interpretacin de los procesos de creacin cientfica. Porque una elaboracin genial no tiene por qu suponer una forma distinta de concebir la ciencia, como tampoco una creacin rupturista en un campo cientfico tiene porqu suponerse para todos.

Una idea de Popper puede explicar bastante satisfactoriamente la relacin entre el movimiento general de la ciencia y la aportacin individual de los cientficos. Hablando sobre nubes y relojes, seala(62): "Como ejemplo tpico e interesante de nube recurrir a una nube o enjambre de moscas o mosquitos. Los mosquitos individuales que, como las molculas de un gas, forman todos juntos un enjambre se mueven de un modo asombrosamente irregular. Es casi imposible seguir el vuelo de un mosquito particular, aunque todos ellos sean lo suficientemente grandes como para ser visibles con claridad (...) el que se mantengan juntos puede explicarse fcilmente suponiendo que aunque tengan un vuelo irregular en todas direcciones, aquellos que sienten que se alejan de la muchedumbre tornan hacia su parte ms densa". "Esta suposicin explica de qu modo se mantiene unido el grupo aunque no tenga ni jefe ni estructura -no hay ms que una distribucin estadstica aleatoria que surge del hecho de que cada mosquito hace exactamente lo que quiere de un modo anrquico y aleatorio unido al hecho de que no quiere separarse demasiado de sus compaeros". Quizs en esta idea de Popper se halle una de las ms agudas interpretaciones sobre el papel de las escuelas en trminos generales a lo largo de toda la historia de la ciencia y es particularmente ilustrativa por lo que respecta a la historia de las matemticas, en la que el movimiento cientfico de los grandes creadores es aparentemente muy anrquico. Volviendo al planteamiento general del problema hay que destacar que los trabajos globales de matemticas nunca han sido extraos a su propia definicin. En el periodo clsico griego hubo aproximaciones sintticas de tipo externo desde el terreno de las especulaciones filosficas, y los mismos Elementos de Euclides pueden considerarse como una construccin de sntesis desde una perspectiva interna. En los ltimos siglos y de manera mucho ms frecuente la comunidad matemtica internacional o alguno de sus miembros ms destacados acometa la empresa de poner en orden el cmulo de resultados obtenidos, porque esas puestas en orden siempre han seguido a un periodo ms o menos amplio en el que se han resuelto un nmero elevado de enigmas importantes. Adems de las elaboraciones de sntesis interna, la comunidad matemtica internacional ha mantenido siempre los enfoques de sntesis objetiva desde dominios de la historia o de la filosofa. Esta tendencia, mucho ms acusada desde que se profundiz el proceso de institucionalizacin de las relaciones internacionales entre los matemticos, procede del legtimo privilegio del decanato cientfico. Mas, no obstante estas consideraciones, que deban haber inclinado a los tericos de la ciencia a probar de forma inapelable sus especulaciones, ninguna de las lgicas del descubrimiento -por volver a utilizar la nomenclatura de Popper- ms firmemente instaladas ha elegido la matemtica como banco de pruebas. La posibilidad de localizar en la historia de las ciencias naturales o experimentales hechos cruciales, que sealen una lnea de demarcacin suficientemente ntida entre dos etapas diferenciadas de la historia, las hace ms aptas para el anlisis. Ese sentido y lo sugerente del trmino ha contribuido a la aceptacin de la expresin revoluciones cientficas y ha

permitido esa denominacin por la claridad explicativa a la hora de analizar algunas transformaciones histricas que se han producido en el seno de estas ciencias. Pero en matemticas los procesos, adems de no ser drsticos, suelen respetar los procesos acumulativos, produciendo lo que Bell ha llamado los restos de pocas. Adems, las matemticas, desde hace trescientos aos, parecen desenvolverse en una situacin de cierta inseguridad, con crisis sucesivas entre las que la cuestin suscitada en torno a los fundamentos de la geometra no fue ms que un episodio. Cuando las tesis de Kuhn tomaron cierto cuerpo en la opinin pblica cientfica enseguida se articul un abanico de respuestas internas a la sugestiva idea de las revoluciones cientficas tanto desde el punto de vista externalista como desde el internalista. Para muchos izquierdistas epistemolgicos externalistas la nomenclatura de Kuhn era un oportuno pretexto para hablar de revoluciones sin tener que recurrir a los indeseados ejemplos marxistas conducentes a escenarios del socialismo real, para los derechistas epistemolgicos externalistas Kuhn ofreca la posibilidad de utilizar la palabra revolucin, tab en su lenguaje cotidiano relativo a cuestiones polticas o sociales. Adems Kuhn apareca, como tantos miembros de la comunidad cientfica, como un ser ideolgicamente asexuado y por lo tanto nada comprometido y comprometedor en humanas contingencias. Esto permiti que se vertieran ros de tinta explicativos de situaciones de cambio revolucionario en determinadas ciencias como la fsica, la astronoma y la biologa. Para las matemticas el asunto era otro, como ya he apuntado antes, y durante dos dcadas los matemticos que se atrevieron a introducirse en estos pilagos intelectuales se cuidaron mucho a la hora de establecer esquemas reproductores de cambios revolucionarios radicales en la historia de la disciplina. A lo ms que se arrojaron fue a considerar determinados hitos cruciales en determinados aspectos de determinadas parcelas de la expresividad matemtica(63). Las cuestiones a dilucidar son, por tanto, las siguientes: Es consistente hablar de la existencia de paradigmas matemticos? Qu caractersticas debe comportar una paradigma matemtico? Cundo se puede suponer que un paradigma ha sido sustituido por otro? Resueltas esas cuestiones, habr que plantearse: Qu paradigmas fundamentales han existido en la historia de las matemticas? Cules son sus rasgos esenciales? 3.3. Paradigmas matemticos Hoy, salvo algn popperiano recalcitrante, apenas si quedan matemticos profesionales que se atrevan a negar sin rubor el contenido historicista del conocimiento matemtico. Tampoco se puede disimular el nivel de autonoma del pensamiento matemtico. Pero, pese a esta autonoma, ello no obsta para que ningn profesional pueda esconder las implicaciones ideolgicas y sociales del pensamiento matemtico. Qu tipo de

condicionantes fijos habr que exigir a las realizaciones cientficas universalmente reconocidas que, durante cierto tiempo, proporcionan modelos de problemas y soluciones a una comunidad matemtica para ser considerados paradigmas? Desde luego, debern verificar las dos condiciones exigidas por Kuhn para la categorizacin de un paradigma: ser matriz disciplinar y matriz ejemplar. Dicho en palabras del mismo Kuhn(64), un paradigma debe ser, por una parte, "la completa constelacin de creencias, valores, tcnicas (...) compartidos por los miembros de una comunidad dada" y, por otra, "una especie de elemento (...) que empleado como modelo (...) puede reemplazar a reglas explcitas como base para la solucin de los enigmas restantes de la ciencia normal". Hay alguna matizacin que hacer a esta definicin. El justo nfasis de Kuhn en el trmino comunidad cientfica, al que antes se ha hecho alusin, se generaliza suficientemente en cuanto al conjunto de creencias de la comunidad matemtica internacional. Sin embargo, es obvia la existencia de comunidades matemticas diferenciadas dentro de esa misma comunidad matemtica internacional, que se distinguen no slo por el rea de trabajo en el que inscriben los enigmas de su preferencia, sino fundamentalmente por la finalidad con la que elaboran la matemtica. Ello no obstante, y a pesar de la coexistencia de paradigmas en distintos momentos de la historia en el terreno de las matemticas, hay una tendencia clara a seguir el paradigma sostenido por la comunidad matemtica ms desarrollada, sujeto colectivo inexcusable para la definicin de modernidad. Este aspecto permite atender el problema de la definicin de los paradigmas matemticos desde una perspectiva universal, lo cual simplifica los trminos del problema a los efectos de clasificacin de la historia de las matemticas. Un paradigma matemtico es el conjunto de caracteres internos, externos y de finalidad que fundamentan, explican y seleccionan los enigmas matemticos en un momento dado de la historia de la Humanidad. Por caracteres internos se entienden los aspectos conceptuales, instrumentales y metodolgicos de las elaboraciones matemticas. Caracteres externos son aquellos rasgos que caracterizan la transmisin de ideas matemticas, as como los rasgos sociales ms sealados de los hombres y mujeres que las cultivan. Los caracteres de finalidad definen, por ltimo, como el propio trmino explica, los enigmas ms notables que los matemticos pretenden resolver con el ejercicio de su ciencia, y que normalmente trascienden el mbito estructural de expresin de las propias matemticas. No aspiro a presentar una definicin unvoca. De la misma manera que en las propias matemticas un ente puede ser abordado y, por lo tanto, definido desde mltiples perspectivas, todas vlidas, tambin la idea que yo estoy pretendiendo presentar y desmenuzar aqu admite su respectiva gama de definiciones. No es lejana esta aproximacin de la trada de Grattan-Guinness cuando presenta las matemticas como un conglomerado de forms, reasonings and structures(65). No slo eso. Sera vana pretensin, adems, buscar un paradigma puro y aislado en la historia de las matemticas. La situacin de la ciencia en el seno de la sociedad ha producido contaminaciones ms o menos visibles

en el pensamiento matemtico de todas las pocas. De la definicin anterior se desprende que la variacin sustancial de alguno de los caracteres especficos de un paradigma producir primero un proceso de ruptura que se resolver mediante la implantacin de un nuevo paradigma. Tericamente tambin se puede producir la liquidacin histrica del paradigma por agotamiento de los enigmas abiertos planteables y de resolucin factible pero, hasta ahora, en la historia de las matemticas, antes de que haya podido darse esta eventualidad, se ha producido una brecha en el paradigma establecido. Retomando la analoga metodolgica anterior, los paradigmas matemticos universales juegan el papel de modos de produccin matemtica. Acabo de aludir a los procesos de extincin de los paradigmas matemticos. Pero es preciso sealar algunos elementos de reflexin sobre el proceso de ruptura de los paradigmas, antecedentes inevitables de las situaciones de sustitucin. En las ciencias experimentales la existencia de experimentos cruciales determina satisfactoriamente la plausibilidad de los cambios de rumbo en el proceso de investigacin. En matemticas tambin se presentan, en ocasiones, opciones que ponen en entredicho la consistencia terica del paradigma. La adopcin de estas opciones abre campos de posibilidades de investigacin muy atractivos por la cantidad de problemas abiertos que presentan, pero ante los que la comunidad matemtica en general no adopta una actitud de explcito y generalizado entusiasmo. Quiere subrayarse con esto que, as como en las ciencias experimentales los experimentos rupturistas -una vez comprobada la validez de sus determinaciones- pasan a formar parte insoslayable del proceso de aproximacin a la verdad e incluso pueden ser testigos del nivel de modernidad de una comunidad cientfica, las opciones rupturistas en matemticas no tienen en general el carcter de cruciales desde un primer momento, y solamente tras un dilatado proceso de diseccin y perfeccionamiento tericos pasan a formar parte de un paradigma universal. Otro rasgo genuino y acusado en las construcciones matemticas, producto de su coherencia histrica interna, es la aparicin paulatina de situaciones diferenciadas en las que no ha intervenido ningn tipo de quiebra terica, sino, a lo sumo, una nueva lnea de enigmas, elaborada sobre la base conceptual del paradigma anterior. En este hecho reside una de las ms notorias dificultades para la distincin de paradigmas en determinados momentos de la historia de las matemticas, en los que se confunden rupturas y afirmaciones, de tal modo que, cuando el nuevo paradigma se ha consolidado, se presume ya el comienzo de su ruptura. Este carcter universal y autnomo de las construcciones matemticas explica que los grandes cataclismos cientficos que han trastornado profundamente la actividad de astrnomos o fsicos, apenas hayan afectado la evolucin especfica de las matemticas. Definido el instrumental terico para la clasificacin de las parcelas suministradas por la historia de las matemticas, corresponde sealar qu paradigmas universales han existido. Mas previamente quizs sea conveniente volver a insistir sobre la existencia del tronco comn de las matemticas. Grattan-Guinness tambin se ha planteado, a su sabia manera, la pregunta del todo y sus partes(66), aunque su mirada se dirija a la realidad cronolgica longitudinal y no a los cortes transversales que yo pretendo realizar en el presente trabajo. As, l seala:

"It is clear that mathematics I intend to refer to all of the subject, both ancient and modern, and also the modes of reasoning wich attend it. Thus I try to bridge the following lamentable gap". Aunque yo no me atrevera a calificar las grietas de lamentables, es interesante constatar la percepcin de Grattan-Guinness de que para l, por lo menos, existe una entre la antigedad y la modernidad. Dicho de otra manera, tras toda esta larga reflexin quizs haya llegado el momento de responder a la primera pregunta que formulaba al comienzo del trabajo: Qu hay de comn en el trabajo de las personas que se tienen por profesionales de las matemticas? Sobre qu criterios uniformizamos la actividad profesional del escriba Ahmes, de un sofista heleno, de un calculista pblico del Renacimiento o de un tcnico informtico de un laboratorio aeroespacial de nuestros das? Qu permite a un matemtico profesional que sabe de la materia X entender como asunto cercano y perteneciente a su misma rea de conocimiento el de otro profesional, al que considera su colega, especialista en la materia Z y de cuyos trabajos no comprende ni los enunciados? No quiera verse en esto el menor asomo de crtica irnica, porque no es ms que una constatacin de lo que es la vida cotidiana de esta disciplina desde hace ya bastantes dcadas. Hoy, y ya es as insisto- desde hace bastante tiempo, la extensin de las matemticas es tan enorme que cada individuo se maneja en un campo, el suyo y de unos cuantos colegas, que es el que domina y en el que no debe descuidarse lo ms mnimo para no perder el tren de la informacin. Del resto de lo que filosfica o administrativamente conoce como matemticas recuerda con una cierta seguridad las materias correspondientes al primer ciclo de la licenciatura aunque hay cosas que se olvidan tan pronto! y de materias ms elevadas ha podido refrescar aquellas que hubo de explicar en algn momento de su carrera. Y no vale en absoluto buscar con un candil el contraejemplo de esa eminencia que sabe de todo, porque esos no abundan. Lo que s abundan son los/as matemticos/as que desarrollan su actividad profesional con un bagaje justito de informacin, porque ni la vida ni su trabajo les exije ninguna puesta al da plural. Sin embargo, quin se atrever, salvo casos que me cansa repetir, a negarles el derecho a ser y a sentirse matemticos? Y lo mismo que hago esta reflexin en presente podra extrapolarla hacia el pasado, donde a la hora de valorar el mrito de los autores se escudria la ms reciente memoria que pudiera haber aparecido en el mercado de papel para sealar algn feo concreto en una pgina biogrfica ms o menos brillante. Ni dejar de saber algn fleco -por ms importante que ste nos pueda aparecer ahora- empaar una brillante hoja de servicios, ni dejar de haber algn cuerpo de doctrina comn en todos los momentos de la historia que permitir a unas personas considerarse matemticos y distinguirse del resto de los mortales. Me voy a permitir poner un ejemplo que puede explicar graciosamente la frontera existente entre los dos mundos. La idea original es del Premio Nobel Eugene P. Wigner, aunque donde yo la he conocido es en un trabajo de Gaetano Fichera(67): "Vi una storia relativa a due amici che erano vecchi compagni di scuola e, reincontratisi, vennero a parlare dei relativi mestieri. Uno di essi era statistico e lavorava nei problemi di incremento della popolazione. Ebbe cos modo di mostrare un suo estratto all'antico compagno. L'articolo cominciava, come di consueto, con la distribuzione Gaussiana e lo statistico spiegava al vecchio amico i simboli usati per indicare l'effettiva popolazione, la popolazione media e cos via. Il compagno di scuola, digiuno di cognizioni scientifiche, era

alquanto incredulo e non era molto sicuro che lo statistico non stesse prendendolo in giro. Ma come puoi sapere queste cose -gli chiedeva sospettoso- e poi che simbolo mai questo?. -Beh -rispose lo statistico- questo P -Che cosa? -E il simbolo che indica il rapporto fra circonferenza e diametro di un cerchio. -Adesso basta di scherzare! intervenne l'altro risentito -Sicuramente l'incremento della popolazione non ha nulla a che vedere con la circonferenza del cerchio! Quizs este dilogo pueda ilustrar dos cosas. Por una parte las misteriosas interconexiones que aparecen entre parcelas aparentemente alejadas dentro de las matemticas, lo que refuerza la existencia de un tronco comn, y por otra la contrastada realidad fcilmente comprobable en muchas personas a las que la historieta anterior les dejar completamente indiferentes. Resumiendo, ese conjunto impreciso pero real de saberes, procedimientos y realidades comunes, que desde antiguo se intuye en cada momento del tiempo como matemtica, es el tronco doctrinal al que llamo paradigma universal. Admitido el hecho de que las matemticas tienen en el periodo clsico griego la categora de ciencia, y siendo conscientes de que se deja abierto el tema de la explicacin, segn el modelo aqu abordado, de las construcciones matemticas en las culturas de la Edad del Bronce y anteriores, es coherente pensar en la existencia de un paradigma griego, construido en el periodo helenstico y marco terico de los trabajos matemticos durante ms de veinte siglos. Soy consciente de que esta parcela del conocimiento est avanzando de manera apreciable desde que han aparecido en algunos pases del Tercer Mundo algunos profesionales que, lejos de avergonzarse de sus culturas autctonas -que los europeos siempre han considerado como de categora inferior a la propia-, se han puesto a trabajar en estos trasuntos de la historia de las matemticas en general y de la de la geometra en particular. Sobre este particular ya Coolidge, en su famosa historia de los mtodos geomtricos, se haba hecho la pregunta sobre el posible inicio de la geometra vindose impulsado muy hacia atrs en el tiempo hasta superar incluso el momento evolutivo de la aparicin de la especie humana(68). Lo que los estudiosos del tema estn en este momento aportando nutre de nuevos elementos de reflexin el proceso de matematizacin de los primeros estadios hasta ahora despreciados o desatendidos por desconocidos. Quizs dentro de algn tiempo se pueda corroborar un hecho que hasta ahora es slo una intuicin sostenida por unos pocos: que la matemtica griega es un entramado intelectual resultado de la convergencia de muchas ms lneas de desarrollo que las representadas en las dos grandes culturas de la Edad del Bronce(69). Y que esas lneas han jugado un papel significativo tanto en los saberes de las civilizaciones potmicas como en las propias matemticas helenas. Considerar que las presunciones de los sabios contemporneos que trabajan sobre documentos y restos arqueolgicos con todo rigor son la verdad indiscutible es demasiado fuerte(70). China e India son desde luego dos ejemplos bien evidentes de que las alegres generalizaciones europeas son procesos muy domsticos. Al fin y al cabo sigue siendo plenamente correcta la apreciacin de Engels de que la geometra, como disciplina intelectual, es hija de las necesidades humanas. As, en su famosa obra con la que consigui hacer pasar a la inmortalidad al oscuro y confuso matemtico formalista Sr. Dhring(71), seala:

"La representacin de lneas, de superficies, de ngulos, de polgonos, de cubos, de esferas, etc. se saca de la realidad y se necesita mucho candor ideolgico en los matemticos para creer que la primera lnea ha nacido del movimiento de un punto en el espacio, la primera superficie del movimiento de una lnea, el primer cuerpo del movimiento de una superficie, etc. Ya la misma lengua se rebela contra semejante idea: una forma matemtica de tres dimensiones se llama cuerpo, corpus solidum en latn, es decir, un cuerpo palpable; lleva, pues, un nombre que viene, no de la libre imaginacin del espritu, sino de la realidad slida y tangible"(72). La separacin en compartimentos casi estancos que la estructuracin del saber ha tenido en el siglo XX ha significado que el trabajo de antroplogos, arquelogos e historiadores de la ciencia -y en concreto los de la historia de las matemticas- no haya sido compartido, y por eso es tan importante la incorporacin de los historiadores de las matemticas a este tipo de estudios. En mi descargo a la falta de atencin a un proceso que me interesa muchsimo, pero que slo conozco como mero aficionado, debo decir que yo tambin soy absolutamente culpable del eurocentrismo que pretendo criticar. Es difcil cambiar la historia, pero las personas nacen donde nacen, estudian donde estudian y el ambiente que les rodea es el ambiente que les rodea. Transformar las mentalidades y comenzar de nuevo nos exigira -a m por lo menos- volver a nacer para comenzar desde el principio y en el caso de que as fuera, tal como andan los tiempos, la instruccin que recibiera tendra, mutatis mutandis, las mismas deformaciones que ahora critico. Por eso, y porque es real como la vida misma, cualquier reflexin sobre el desarrollo de lo que se llaman disciplinas cientficas modernas debe comenzar en la Grecia clsica.

Parte II Paradigmas Matemticos 4. Los Paradigmas Matemticos Universales


Con nimo simplificador, que no simplista, y haciendo abstraccin de los desarrollo atpicos y particulares que se han presentado en la historia de las matemticas, se partir, pues, de la definicin del paradigma griego como base apropiada para la construccin de los paradigmas posteriores. 4.1. El Paradigma griego Dice Popper(73) que el papel jugado por el conflicto de culturas en el nacimiento de la ciencia griega -matemticas y astronoma- fue muy fecundo y aade que: "nos ides de libert, de dmocratie, de tolrence, et aussi les ides de connaissance, de science, de rationalit, remontent toutes ces commencement".

Aparte de aplaudir la idea no muy extendida de la deuda de la ciencia griega respecto a un rico mosaico de culturas anteriores, no me voy a extender mucho en sealar mi profundo desacuerdo con el recientemente desaparecido filsofo de la CIA. Solamente quiero sealar cuntas lecturas diferentes puede tener la cultura clsica, porque aunque comprendo que el concepto de democracia de Popper sea perfectamente acorde con el mantenido en Atenas en que unos escasos hombres libres controlan y dominan a las cuatro quintas partes de los seres humanos que en un territorio viven, lo mismo que ahora una pequea parte del potentado primer mundo domina al resto de los miles de millones de personas del planeta-, espero que se entienda que hay muchos otros hombres y mujeres que no compartimos esos criterios de democracia, tolerancia, libertad e igualmente los de ciencia, racionalidad y conocimiento. Resaltar los elementos caractersticos de la matemtica tras las elaboraciones de los periodos heleno y helenstico puede parecer repetitivo. Una de las pocas etapas de la historia de las matemticas estudiada desde mltiples puntos de vista -casi todos interesantes- es precisamente la de la Grecia clsica(74). Sin embargo, lo que aqu se pretende establecer son aquellos aspectos claves que, en el proceso acumulativo de la ciencia normal a lo largo de ms de veinte siglos, permanecieron inalterados, dando sentido a la propia definicin de las matemticas, y estos elementos son los constituyentes bsicos, precisamente, del paradigma griego. Es un hecho constatado que la matemtica construida en Grecia contaba en el inicio de su articulacin cientfica con muchos de los elementos que iba a utilizar para su desarrollo, y particularmente los conceptuales, instrumentales y metodolgicos, prcticamente definidos. La relativa ambigedad de algunos trminos sera desvelada gracias a las polmicas en las que participaron los filsofos-gemetras. Por retener las ideas claves que caracterizan al paradigma griego se presenta el siguiente esquema, que se explicar a continuacin.

Una advertencia previa a establecer surge del considerando de la propia definicin de paradigma. La constatacin de que la mayora de las comunidades cientficas helenas o helensticas se atuvieran a este tipo de esquema terico no significa que la totalidad de los gemetras se cieran estrictamente a l. Si en el delicado terreno de la astronoma, a pesar de sus implicaciones religiosas, hubo pensadores heterodoxos, como Aristarco, defensores del heliocentrismo, la figura de Arqumedes servira para dotar del necesario relativismo a lo que aqu se est exponiendo. La trabazn interna de la matemtica del periodo clsico griego y lo depurado de su exposicin incitan al asombro en cualquier aproximacin intelectual. Claro est que esta aproximacin no siempre se ha realizado con el debido respeto y preparacin. Como seala Russell(75), al analizar la obra de Platn, hay que lamentar a menudo la interpretacin de quienes no siendo "lo bastante sutiles para comprender las teoras de Platn, convirtieron los serios estudios de ste en misteriosa elaboracin numrica, aberracin que desgraciadamente no es tan infrecuente como sera de desear" y Platn es fundamental para entender el proceso de formacin del paradigma griego. Esta reflexin es necesaria como advertencia para sealar la tenue disarmona entre los criterios del paradigma griego y la construccin de sntesis del texto ms representativo y sustentador de dicho paradigma, los Elementos de Euclides. Platn es fundamental por la articulacin rigurosa del logos. Se podra decir que los elementos que pueblan el universo matemtico tienen la personalidad que tienen tras aceptrsele a Platn un riguroso sistema de definiciones. Aunque, como es sabido, Platn vaya ms lejos que lo que enmarca el universo generado por los conceptos numricos heredados de los pitagricos o por los procedentes de los restantes gemetras. Euclides, si embargo, ya no va tan lejos, aunque

parte del superabundante conjunto de definiciones, las une a los postulados y a las nociones comunes aristotlicas pertinentes para demostrar proposiciones y teoremas y quedarse ah. De ah, la tenue disarmona. Son elaboraciones prximas, pero no congruentes. En un interesante trabajo de propsitos no lejanos al que aqu estoy desarrollando, asimila Hernando(76) otra variante de los referentes paradigmticos a lo que l llama estructura ontolgica subyacente, de mbito ms ambicioso que el cuadro de creencias relativas a la ciencia y que se articula fundamentalmente en el orden de las ideas sobre los constituyentes bsicos del mundo y las relaciones entre ellos(77). Hernando enuncia algo que permite profundizar en la maraa de matices tericos del pensamiento clsico de la siguiente manera(78): "La [estructura ontolgica] clsica no fue ni mucho menos adoptada de manera homognea, por el contrario, hubo varias escuelas de pensamiento que se alejaron de ella de una u otra forma (...) lo que se pretenda era modificarla manteniendo lo fundamental". Este es el caso de la geometra clsica y de sus relaciones con los jefes de fila ms significativos del perodo. Antes de considerar otros detalles sobre la pervivencia, extensin y vas de desarrollo de la matemtica eucldea a lo largo del tiempo, ser bueno sealar, aunque solamente sea un punteo, las etapas en las que yo lo entiendo dividido, porque quizs tras esta divisin podrn aumentarse las posibilidades de acuerdo en el mantenimiento de la vigencia del paradigma. Indudablemente el primer estadio es el del entorno helenstico con el Museo de Alejandra como punto de referencia para el establecimiento del sistema de acuerdos y desacuerdos entre los gemetras. Primera salvedad: con este punto de partida se est minusvalorando la presencia de toda la produccin anterior dentro del mismo mundo heleno. Es obvio que algunas de las escuelas anteriores al mundo helenstico, como es el caso de la jonia, han tenido una influencia en el desarrollo histrico de las ciencias naturales cuya importancia sera difcil subestimar. Sin embargo, en el universo matemtico, aunque siempre se colocan algunas referencias anecdticas a algunos autores de este tramo en las historias generales de las matemticas, es claro que su posicin fue la perdedora en el enfrentamiento terico que tuvo por destacados ganadores al ncleo filosfico ateniense sobre el sustrato de las contribuciones de Pitgoras, Parmnides(79) y Eudoxo como ms significativos pilares del edificio conceptual. Como llevo dicho y dir algunas veces ms a lo largo del presente trabajo, la existencia de elaboraciones heterodoxas, representadas por pitagricos tardos como Nicmaco de Gerasa, o como la mucho ms importante de Diofanto de Alejandra, no invalidan el papel de la obra euclidiana como modelo a seguir y a respetar. Otro caso podra ser el de Arqumedes, sobre todo por su significacin histrica en el Renacimiento, pero por razn de desconocimiento de una parte significativa de su obra en una buena porcin del perodo de vigencia del paradigma o por su escasa, por no decir nula, contradiccin terica pblica -aunque s metodolgica- con los elementos ms representativos de su definicin, la posible alteracin del esquema anteriormente presentado sera mnima. Cuando la obra de Arqumedes entr en confrontacin con paradigmas y autores vigentes fue con Aristteles y en el terreno de la fsica pero, hasta donde yo alcanzo a colegir, nunca con Euclides o con Apolonio de Perga.

Un paradigma de tan larga vigencia no puede dejar de tener momentos de ensombrecimiento, crisis o, simplemente, olvido. En la Alta Edad Media un objetivo progresivo fue la recuperacin del paradigma griego fragmentariamente recogido. As, la segunda etapa es la de la recuperacin del legado eucldeo, dentro del paquete de las ciencias de los antiguos, por la tradicin islmica. Aqu tampoco hay fisuras. El arranque de la ciencia islmica se hace sobre la base consolidada del periodo clsico. Al-Biruni (9731048) deca(80): "Debemos limitarnos a tratar lo que han tratado ya los antiguos y a perfeccionar lo que es susceptible de perfeccionamiento". Muchos ms autores podran traerse para corroborar la afirmacin de que la base conceptual sigue siendo la eucldea y las aportaciones musulmanas son el sustrato cimentador para el proceso de trasmisin hacia Europa de los Elementos, lo que se ha dado en llamar Euclides latino y medieval. Aqu contamos ahora con los trabajos de Busard, el ltimo discpulo de Dijksterhuis. Aunque la obra de Busard cubre prcticamente todos los campos de inters de las matemticas medievales y algunos casos puntuales de las primeras modernas, la parte ms destacada de su obra es, como queda dicho, el Euclides latino. Antes de Busard solamente se haba impreso durante el Renacimiento la versin de Campano de Novara. Como referencia de literatura secundaria sobre las traducciones latinas de los Elementos procedentes del rabe, se acuda sistemticamente al trabajo de Marshall Clagett(81). En concreto debemos a Busard(82) las versiones de Adelardo de Bath (Adelardo I), Hermann de Carinthia y Gerardo de Cremona, el Adelardo II (que Busard atribuye a Roberto de Chester), importante manuscrito base de la versin de Campano -el Euclides medieval- y otra versin ms atribuida a Alberto Magno -stas en lo que respecta a las traducciones desde el rabe-, pero adems Busard ha editado tambin una traduccin latina realizada directamente del original griego en el siglo XII. Ello a pesar de la abundante bibliografa eucldea de impresos que, si se tiene curiosidad, puede comprobarse en el Saggio de Riccardi(83). Desde finales del siglo XV, que es cuando se abre la tercera etapa, y a pesar de los trastornos generales del universo cientfico, el paradigma griego conserva su vigencia, pero a base de asimilar las incrustaciones tericas que se van produciendo, preferentemente de carcter instrumental, con incidencia principal en los aspectos simplificadores de los aspectos tericos ms difciles(84). Quizs en este momento convendra hacer una digresin sobre lo que puede entenderse por la conservacin de la vigencia de un paradigma matemtico. La historia de las matemticas, a pesar de toda la tremenda acumulacin informativa que las matemticas han experimentado en los ltimos cincuenta aos -que ha llevado, con razn, a todos los analistas a afirmar que desde el final de la Segunda Guerra Mundial se han enunciado y demostrado muchos ms teoremas que en toda la historia anterior-, todava podra clasificarse, en similar perspectiva -aunque no idntica- a la que en este trabajo estamos considerando, en eucldea y no eucldea. No por referencia a la ratificacin, negacin o presentacin alternativa de los postulados, nociones comunes, definiciones o metodologa demostrativa del gemetra helenstico sino, lisa y llanamente, por la influencia y seguimiento directos de la obra ms estudiada de toda la historia de la ciencia prncipe.

Sobre todo, obvio es decirlo, por la importancia de los Elementos, la obra cumbre de la historia de las matemticas que todo matemtico/a hubiera deseado haber firmado. El protagonismo indiscutible de los Elementos se establece como un punto de referencia obligado -para bien y para mal- en todos los momentos de la historia interna de la disciplina, ya que construir otro tipo de tratamiento sobre este texto es harto complicado. Por eso no son inusuales los exabruptos del tipo Abajo Euclides! que de tanto en tanto asoman en el quehacer cotidiano, sobre todo cuando se han tratado de ensayar nuevas metodologas en la poca contempornea. Pasar por alto el ltimo famoso exceso verbal bourbakista conocido, para poner otro ejemplo menos accesible y, sin embargo, siempre presente en las bocas y en las mientes de matemticos aplicados o de utilizadores de las matemticas. A comienzos del siglo actual -y no slo entonces- se gener un agitado debate sobre las matemticas que deban ensearse en la escuela, en los liceos, institutos y gimnasios, en los centros de formacin de ingenieros y arquitectos, en las academias militares o en las especialidades de ciencias no matemticas. Se organizaron congresos especficos (notoriedad tuvo el de Glasgow de 1901) y se dedicaron secciones especiales al tema en las reuniones nacionales e internacionales de matemticos. En particular se distingui en aquel debate el Profesor John Perry del Imperial College de Londres, un verdadero propagandista de la posicin antieucldea. Las ideas de Perry, que tuvieron cierta resonancia en Espaa gracias al seguimiento que Luis de Gaztelu, Marqus de Echeanda, hizo de ellas, se hacan fuertes ante las evidentes distorsiones que la pervivencia de la enseanza de los Elementos de Euclides haba producido en Gran Bretaa. En un Apndice que Perry escribi en su libro Calculus for Engineers, seala que los Elementos representan una obra "destructora de inteligencias y la acusa de hacer miserables las vidas de los jvenes que la estudian, considerando como una seal de salud y robustez de la raza inglesa, el hecho de no haber sufrido deterioro por la enseanza del Euclides durante varias generaciones. Y contina: El 95 por cien de los estudiantes (...) es tan incapaz de interesarse en esas abstracciones, como el 5 por 100 restante lo es de un pensamiento original"(85). He trado a colacin estas extremadas expresiones para ver cmo se las han gastado algunos detractores de la mentalidad eucldea a lo largo de la historia, mas, a pesar de eso, Euclides y los Elementos siguen siendo al mismo tiempo punto de referencia y de inters para todas las personas cultas que se dedican a la ciencia prncipe. Esta referencia y este inters han supuesto la reflexin sistemtica y recurrente de todas las generaciones de cientficos desde el momento de la revolucin cientfica. De esta reflexin han surgido -dicen- poderosas ideas de las matemticas modernas, que para los menos iniciados es complicado vislumbrar, pero que aparecen con nitidez en muchos momentos desde la invencin de la imprenta. Los Elementos son una obra desigual. Cada vez que los ingenieros y arquitectos han organizado alguna marimorena pedaggico-conceptual del fuste de la referida en el pargrafo anterior se ha aludido a la enjundia y complejidad distinta de los trece libros que componen la obra original de Euclides. As se dice, porque es correcto, que los cuatro primeros libros tratan de geometra plana, el VII, VIII y IX de aritmtica, el XI y XII de geometra del espacio; el VI y el XIII son miscelneas asequibles sobre figuras semejantes

y geometra plana y del espacio respectivamente; el V y el X son los dos libros especiales, un vivero eterno de sugerencias; el X versa sobre los nmeros inconmensurables y el V trata de las proporciones. Estos dos ltimos libros, sobre todo el V, por no ser un texto fcil y por las imgenes que contiene, ha sido el que ha merecido, merece y sin duda ninguna merecer ms atencin tanto de los matemticos profesionales cultos -que por desgracia no se prodigan- como de los historiadores de las matemticas cultos, que no es que haya multitudes, pero porcentualmente s que hay ms. As ocurri en cuanto la obra euclidiana super la obligada travesa del desierto de su difusin manuscrita y se coloc como texto de referencia en cuantos establecimientos quisieron relacionarse con la ciencia en el siglo XVI. Algunos de los libros de ms rpida e intuitiva comprensin fueron rpidamente asimilados, aunque llevaran en su seno algunos problemas tan profundos como el relacionado con el quinto postulado, las asntotas o el ngulo de contacto. Los dos libros numerados con mltiplos de cinco fueron de recepcin ms ardua, aunque en absoluto desdeables por ser -sobre todo el V- la piedra de todo el edificio eucldeo, sin cuyo concurso no hubiera podido levantarse ms all de las consideraciones elementales. Y en un momento en el que el ataque a los secretos de la naturaleza se articula en torno a la construccin cuantitativa de la filosofa natural, la teora de las proporciones va a constituir el lenguaje -complejo, difcil y abstracto- de esa filosofa natural matematizada. El proceso de asimilacin de la doctrina eucldea de las proporciones fue largo y difcil y mereci mltiples estudios que fueron de la justificacin a la reforma. Una reforma proclive a las formulaciones alternativas en pro de una mayor sencillez didctica y de mejores herramientas de clculo para el desarrollo de las nuevas ciencias emergentes(86). En otro orden de asuntos se podra sealar tambin que una cosa es el aspecto conceptual de la exigencia correcta de definicin, que es caracterstico de las matemticas que se sustentan en el paradigma griego, y otra la pequea o gran inexactitud de algunas definiciones y las insuficiencias generales apuntadas por Dou(87) en sus Fundamentos de la matemtica. A la bien conocida estructura interna de los desarrollos matemticos helenos y helensticos, sintetizada en los caracteres internos del paradigma, esquemticamente aceptados como entramado conceptual para la denominacin de esta parte del saber cientfico a travs de los tiempos -a pesar de sus substanciales transformaciones-, hay que aadir algunas someras explicaciones sobre las caractersticas externas y teleolgicas de la matemtica griega. La expresin moderna del cientismo matemtico contemporneo, con su relativismo a ultranza, ha pretendido disminuir la importancia de los aspectos externos y de finalidad del pensamiento matemtico. El cientismo pretende en su argumentacin escapar del debate histrico, porque si pretendiese actuar rigurosa y honestamente debera contrastar su elaboracin terica con las elaboraciones cientficas que consagraron y consolidaron la existencia de las matemticas como ciencia. Y en estos aspectos no se puede separar la coherencia lgica interna de las construcciones matemticas griegas de sus representaciones externas, de sus implicaciones sociales y de sus objetivos. Sera muy extenso -y es adems bastante conocido- explicar, con la artillera bibliogrfica suficiente, el fundamento histrico de estas afirmaciones, por lo que se van a sealar simplemente algunos de sus rasgos ms notables. El carcter preeminente de la matemtica platnica surge de su establecimiento como ciencia de las relaciones estables. Hay en esto un rasgo de fundamento en el que las matemticas sintetizan elementos de alcance fsico, racional y

teolgico. Hay que pasar por esta posicin de centro epistemolgico para poder explicar y comprender todas las situaciones capaces de ser racionalizadas; hasta el extremo de que lo no susceptible de matematizacin es arrojado al infierno de lo mutable y asimilado automticamente a la categora de lo irracional. Esa preeminencia de la matemtica en el conjunto del saber, que se identifica en dos de los polos ms atractivos y ennoblecedores del pensamiento griego, el cultivo de la Belleza y la bsqueda de la Verdad, representa a su vez una definicin de la actividad matemtica asimilada a las especulaciones tericas de alcance filosfico. Y por esa definicin del paradigma griego se explica de forma coherente que, en el periodo cristiano-medieval, en el que hay un desmedido encumbramiento de la teologa y la filosofa en el proceso de jerarquizacin escolstica del saber, las matemticas salvaran su prestigio y continuidad, en funcin del papel fundamentador que les fue atribuido en el paradigma clsico griego. Claro que todo tiene sus riesgos, pues a pesar de la perfeccin y belleza de esas construcciones matemticas y de su dignificacin intelectual, la proximidad a las especulaciones de carcter religioso y la necesidad de matematizar todos los elementos del mundo suprasensible propiciaron la aparicin de elementos contaminantes procedentes, ya de la astronoma, ya directamente de la magia, en ocasiones interrelacionndose. En conexin ntima con este aspecto cabe tratar el aspecto externo de la matemtica griega como rasgo de distincin social. Es un aspecto bastante estudiado el contenido elitista de los conocimientos matemticos en Egipto y Mesopotamia, de donde se admite lleg a la matemtica griega por va pitagrica. Detalles de utilizacin interesada de la ciencia en esta vertiente mgico-esotrica se pueden observar muchos a lo largo de los siglos de pervivencia del paradigma(88), pero esto, sin dejar de ser caracterstico, no es lo esencial del distintivo de clasificacin social, porque es evidente que ni todos los gemetras quisieron aparecer como magos en sus entornos sociales, ni todos utilizaron sus conocimientos matemtico-astronmicos para suscitar admiracin (de hecho hay aplicaciones de los conocimientos cientficos al servicio de intereses concretos harto modernas). Ni todos ni una muestra representativa. Lo que s resulta caracterstico es lo que pudiera calificarse como quintaesencia de la nobleza que ha distinguido socialmente a los cultivadores de las matemticas. Por supuesto que no son ajenos al ennoblecimiento social de los matemticos las finalidades explcitas de Belleza y Verdad, que les han dotado simultneamente de un relativo encanto potico y de un respeto de hombres justos, elementos a los que debe aadirse la dificultad intrnseca de la disciplina cultivada. Porque ni el poeta ni el hombre justo a secas han tenido (siempre sin perder de vista las coordenadas de los medios sociales en los que se expresaron las matemticas sustentadas por el paradigma griego) necesariamente que esforzarse en adquirir ese tipo de virtudes, mientras que los gemetras deban estudiar muy duramente. La traduccin a sociedades ms desarrolladas socialmente, como son las de la Edad Media avanzada, rabe o cristiana, lleg a establecer criterios de asimilacin del cultivo de las ciencias -difcilmente separables de las matemticas en esa poca- a las categoras de Sabidura y Santidad. El tema perennemente abierto en el anlisis del proceso intelectual que supone la pervivencia del paradigma griego lo suponen las contribuciones del siglo XVII. Sobre este tema, que no voy a abandonar de modo abrupto, se han desplegado todo tipo de conjeturas tras ser abordado desde todo tipo de perspectivas. A la obviedad que se desprende de la evidencia de los cambios en los conocimientos sobre el cosmos o sobre el cuerpo humano, de la aparicin de nuevas disciplinas como la esttica y la dinmica o la liquidacin de prejuicios limitantes para el estudio de la naturaleza, como es el caso del vaco, se ha

tendido a aadir, un tanto impulsivamente, la idea de que tambin las matemticas experimentaban una transformacin cualitativa y no slo cuantitativa. En mi opinin el tema est lejos de permitir una opinin categrica y tajante, porque junto al avance de las posiciones racionalistas que incide, en ocasiones, en la aparicin de nuevas disciplinas, la presencia testaruda de los Elementos de Euclides, de las Cnicas de Apolonio, y del nada despreciable arsenal de gigantes sobre cuyos hombros se va a acometer el enunciado de la nueva fsica y de la nueva astronoma, parecen incitarnos a insistir en el hecho de que los elementos nucleares que definen las matemticas del siglo XVII son los mismos que las de los veinte siglos anteriores. Tambin de la controversia entre lo viejo y lo nuevo se pretende extraer la idea de cambio para todos los rdenes y todas las disciplinas intelectuales. Tampoco es evidente. Blaise Pascal, uno de los ms cualificados representantes de esa esquizofrenia intelectual, que reclama atenerse a lo nuevo en ciencia y a lo estrictamente antiguo en creencias, no se separa de la tradicin cuando aborda la presentacin sistemtica de la geometra, todava disciplina central del pensamiento matemtico, en la que distingue el objeto de la geometra, los principios relativos al material con los que se trabaja, las reglas con las que debe ser trabajado y las proposiciones que deben ser demostradas(89). Y sus propuestas no difieren en nada de las pautas euclidianas. La pervivencia del paradigma griego en el modo de produccin feudal es la primera colisin histrica con las tesis de los que Lakatos llama marxistas vulgares, que asocian a cada modo de produccin de bienes materiales una ciencia especfica y diferenciada. Pero no estriba en ese punto el aspecto de mayor inters sobre la crisis del paradigma griego. Como se acaba de apuntar, la trascendencia de los cambios producidos en los siglos XVI y XVII a nivel cientfico general, y en particular en astronoma y fsica, ha dado lugar a que se haya estereotipado el concepto de revolucin cientfica para designar dichos acontecimientos. Aunque es evidente que el profundo impacto de las nuevas ideas en astronoma, en mecnica e incluso las consideraciones sobre el magnetismo subvierten en varias ocasiones las estructuras cientficas, en el terreno de las matemticas lo nico que se producen son aadidos, anexos -si se quiere geniales, dicho sea para no perder la costumbre- que amplan el campo de trabajo, pero que todava no afectan a la estructura general de lo que se entiende como matemtica en ninguno de sus caracteres definitorios. Es ms, para Newton, autor sin duda alguna clave en el proceso de renovacin conceptual e instrumental, la cimentacin argumental sigue siendo la clsica. En todos los rdenes. Desde el epistemolgico, al fundamentar estrictamente su sistema del mundo y la Verdad sobre el Universo en la fuerza de las argumentaciones matemticas; de ah que la obra clave a escribir en el siglo XVII sea encontrar los principios matemticos de la filosofa natural. Esto es, como Koyr ha rotulado, el paso de un universo cerrado a otro infinito. Pero esta cuestin, que es trascendente a nivel fsico, desde el punto de vista matemtico se desarrolla plenamente en los criterios del paradigma griego. 4.2. El Paradigma lagrangiano Sin embargo, el cataclismo terico general no puede dejar de afectar la estructura interna de las matemticas. La primera -aunque no cronolgicamente- incidencia notable de las aportaciones matemticas del siglo XVII en el paradigma griego es la generalizacin del instrumental a los medios continuos. Este instrumental, continuamente perfeccionado en la prctica a lo largo del siglo XVIII, aporta xitos relevantes y prestigio a la nueva forma de

entender y hacer matemticas. Quien en el siglo conseguir domear la parte -en aquel momento- ms importante de la fsica ser, sin duda, Lagrange y su obra de referencia clave, la Mcanique Analytique(90). Nos detendremos un momento en este instante de la historia, porque la obra y el autor lo requieren. Aunque reincidir en el tema enseguida, no sobrar insistir en los dos detalles apuntados, a saber: el prestigio instrumental y el carcter matemtico de la mecnica. Respecto a esto ltimo no creo que nadie pueda tener ningn asomo de duda tras la lectura de la nota preliminar que el propio Lagrange escribe para la primera edicin de 1788 y de la ratificacin en la segunda, porque en ese escaso nmero de lneas se contienen valiosos elementos de referencia para la tesis que estoy sustentando. En efecto, all puede leerse(91): "(...) le plan [de ce Trait de Mcanique] est entirement neuf. Je me suis propos de rduire la thorie de cette Science, et l'art de rsoudre les problmes qui s'y rapportent, des formules gnrales, dont le simple dveloppement donne toutes les quations ncessaires pour la solution de chaque problme. J'espre que la manire dont j'ai tach de remplir cet objet, ne laissera rien dsirer". Y aade unas lneas despus de forma an ms explcita: "On ne trouvera point de Figures dans cet Ouvrage. Les mthodes que j'y expose ne demandent ni constructions, ni raisonnements gomtriques ni mcaniques, mais seulement des oprations algbriques, assujetties une marche rguliere et uniforme. Ceux qui aiment l'Analyse, verront avec plaisir la Mcanique en devenir une nouvelle branche, et me sauront gr d'en avoir tendue ainsi le domaine". Desde luego para Lagrange estaba claro a qu rbol estaba unida la rama de la mecnica y con qu mtodo deba desarrollarse. Mas la obra no qued, a pesar de los avatares conocidos que hubo de pasar para que se imprimiese por primera vez, como un mero deseo del autor, sino que lleg a la comunidad cientfica con la aprobacin de la Academia de Ciencias de Pars, segn consta en el registro correspondiente firmado por Condorcet. Tambin vale la pena detenerse otro instante en la referencia al instrumental empleado. En la segunda edicin llevada a cabo por Lagrange se ampla la nota preliminar, en la que repite todo lo que haba escrito en la primera, para aclarar algunos puntos sobre los que se haban planteado algunas discusiones. De todo lo que all se contiene recojo, slo para abundar en la afirmacin anterior relativa al prestigio de los mtodos prcticos, el siguiente prrafo(92): "On a conserv la notation ordinaire du Calcul diffrentiel, parce qu'elle rpond au systme des infiniment petits, adopt dans ce Trait. Lorsqu'on a bien conu l'esprit de le systme, et qu'on s'est convaincu de l'exactitude de ses rsultats par la mthode gomtrique des premires et dernires raisons, ou par la mthode analytique des fonctions drives, on peut employer les infiniment petits comme un instrument sr et comode pour abrger et simplifier les dmonstrations. C'est ainsi qu'on abrge les dmonstrations des Anciens, par la mthode des indivisibles".

La Mecnica de Lagrange es matemtica mixta y en aquel momento matemtica de primersima categora. Y no slo porque lo considerara el autor, sino porque era el criterio de la comunidad cientfica de la poca. Ya en el siglo XVIII, Montucla, ese gran croniqueur, como lo llama Naux en el prefacio a la ms reciente reimpresin de su gran Histoire des Mathmatiques(93), lo seala con nitidez(94): "Mais l'esprit humain, aprs s'tre livr quelque temps ces recherches de pure spculation, recherches d'autant plus agrables pour lui qu'il trouve toujours une vidence pure et lumineuse, est bientt forc par ses besoins ou sa curiosit rentrer dans le monde naturel. Le mouvement des corps et leurs efforts mutuels, occasionns par leur impntrabilit, sont les premiers objets dont il a intrt de s'occuper. Aussi donnent ils lieu la partie la plus considrable et la plus utile des Mathmatiques mixtes, savoir la mcanique". Y contina con un interesantsimo prrafo en el que, desde una perspectiva matemtica de inspiracin netamente francesa, se encuentran muchas ideas que expenderan durante dos siglos los apstoles del industrialismo: "On dira peut-tre que l'origine que nous donnons ici cette science est peu conforme aux faits, puisqu'elle semble n'avoir t rpute partie des Mathmatiques que vers le temps d'Aristote. On en convient, mais cela n'empche pas que les premires recherches des hommes sur la Mcanique ne doivent tre regardes comme de la plus haute antiquit. On fit long-temp par instict ce qu'on fait par une suite du raisonnement, depuis qu'on a approfondi les principes du mouvement et de l'quilibre. De tout temps presque il y a eu des machines; de tout temps les hommes ont travaill contrarier la nature ou la plier leur usages". Como quienes nos dedicamos al noble y decadente oficio de pensar hablamos ms de una vez en prosa sin saberlo, aprovechar para abundar en mi tesis rupturista del momento histrico que aqu gloso una opinin por definicin lejana de mis actuales pretensiones. Por suerte, el momento de escribir sobre este asunto ha venido precedido de una avalancha de trabajos propiciados por el bicentenario de la Revolucin Francesa. Muchos colegas y equipos aportaron su reflexin de mayor o menor calado al fenmeno de la ciencia en aquellos importantes aos. La primera idea que traigo a colacin es una de Rashed sobre las ciencias, preferentemente exactas, de este perodo y su papel de elemento intermedio entre dos pocas(95): "La science du temps de la Rvolution et tout particulirement les sciences exactes, relvent en effet d'une priode qui couvre bien un sicle et demi. Le signes annonciateurs de cette re sont dj perceptibles au milieu du XVIIe; son crpuscule concide avec la fin du XVIIIe sicle et le dbut du sicle suivant. C'est la fin de la science classique, dont l'aube remonte la priode hllenistique, ou, selon les cas, aux IXe-Xe sicles, et le commencement de la science moderne". Aunque no estoy de acuerdo con todas las apreciaciones de Rashed, en el que comprendo su inters por acercar su estructura de la historia a sus concepciones e intereses -como yo por otra parte hago con los mos-, s que me parece pertinente apoyarme en su visin del corte del desarrollo de las ciencias exactas hacia este momento de la historia que en mi

opinin tiene flecos ms dilatados en el tiempo y contiene elementos de separacin bastante ntidos con la ciencia clsica, llmese a sta como se quiera. Distincin que tampoco pasa desapercibida al propio Rashed, que aade: "Les sciences sous la Rvolution Franaise (...) renferment les prmices de ce qu'on nommera plus tard la science moderne. Certes mle anciennes formes, cette modernit est pourtant bien l: elle se prsente comme la conqute de ce grand sicle, et surtout de sa seconde moiti. Elle distingue la configuration scientifique dans son ensemble: la rationalit scientifique elle-mme, l'organisation sociale de la science, l'avnement de son histoire comme discipline autonome, et l'laboration d'une philosophie dont on voulait qu'elle lui fut adapte". Se le podr llamar paradigma lagrangiano o cualquier otra denominacin, pero en esa visin de Rashed hay un cuerpo de doctrina histricamente aislado y observable. Nicole y Jean Dhombres, quizs tambin hablando involuntariamente en prosa, han estudiado desde mltiples puntos de vista el precipitado matemtico observable en los aos finales del siglo XVIII y comienzos del XIX y han aportado aclaraciones al tema de lo que yo llamo aqu paradigma lagrangiano en fechas bien recientes(96). El perodo elegido -el medio siglo 1775-1825- para realizar su estudio ha conducido a una profundizacin sobre los hechos matemticos ms notables no restringidos nicamente al espacio francs que, obvio es decirlo, me ha resultado sumamente til para el desarrollo y aplicacin al tema que aqu estoy abordando(97). As, en su sntesis, se destaca el quntuple papel jugado por las matemticas(98) en el perodo elegido. Para los Dhombres stos son, en resumen, los siguientes: 1. Prosecucin de la investigaciones matemticas ya planteadas y sealamiento de formas nuevas. 2. Bsqueda de un lenguaje universal y seguro en cuanto al desarrollo de las ciencias(99). 3. Desarrollo de la educacin matemtica. Las matemticas educan. 4. Las matemticas son la lengua de los iniciados de la ciencia. 5. Las matemticas se convierten en disciplina acadmica. Se trata de cinco funciones que no desmienten el planteamiento aqu desarrollado, sino que lo completan. En ellas se ve claramente una componente social de las matemticas, sobre todo por la va de la educacin, que tiende a incardinar los saberes matemticos dentro de la estructura formativa de los cuadros que deben jugar un papel singular en el nuevo proceso de constitucin de la nueva sociedad: los ingenieros. Naturalmente, y se es un aspecto particularmente interesante en la presentacin de los Dhombres, la percepcin de estas funciones de las matemticas no cae del cielo por revelacin -ms bien al contrario- y, como todos los procesos dialcticos que emanan de la vida, se abre camino en un juego de apoyos y oposiciones que dan mayor sentido a su evolucin y mayor importancia a su triunfo. Se podra completar este cuadro con el aadido de un factor que se convertir en variable decisiva posterior para el desarrollo de las matemticas: el enriquecimiento de los saberes

abstractos a partir de la profundizacin del conocimiento de la naturaleza por la puerta de entrada de la fsica. Como se seala tantas veces en este apartado, el punto de referencia clave para este proceso lo supone la Mcanique Analytique de Lagrange, que a su vez podra ser colocado como punto culminante de una trayectoria representada por las contribuciones de muchos gemetras del XVIII en su deliberado compromiso por leer matemticamente los secretos de los fenmenos naturales y tambin de los artificiales generados por el desarrollo de la vida humana. Bien es verdad que en este proceso el programa de Laplace,

junto a Berthollet y la Societ d'Arcueil en una primera instancia y el subprograma de Biot en una segunda fase sern los protagonistas de articulacin de ese proceso. Unos apuntes servirn para sealar los jalones ms importantes de este proceso propio de desarrollo del paradigma de la poca: los mismos desarrollos de Laplace sobre mecnica celeste, junto a los trabajos de ptica geomtrica de 1819 de Fresnel, la teora analtica del calor de Fourier en 1822, la electrodinmica de Ampre en 1823 y, por ltimo, pero no menos importante, la colocacin de una de las piedras angulares de la termodinmica en 1824 por Carnot en sus estudios sobre la potencia motriz del fuego significarn una forma de abordar sistemticamente el desarrollo de la fsica a la manera de Lagrange(100). Los Dhombres tambin lo dicen con todas las letras(101):

"Laplace, s'appuyant sur la Mcanique analytique de Lagrange, avait ainsi rgl l'analyse des mouvements du systme solaire mme si ses approximations hardies requraient bien des justifications". Un ltimo detalle servir para cimentar an mejor las cosas en lo tocante al carcter finalista de la ciencia de la poca. Y aqu es bueno acudir a uno de los ms comprometidos creadores de la poca, Gaspard Monge, y a uno de sus ms notables informes realizados durante la campaa de Egipto. All seala dos cuestiones bien evidentes a la hora de corroborar las tesis que defiendo. Por una parte, y en lo tocante a la utilidad inmediata de las ciencias, Monge seala(102): "Il [El general en jefe de la expedicin a Egipto] recommanda la confection d'une carte de son territoire, les observations utiles l'astronomie et aux sciences naturelles; insista davantage encore sur les amliorations possibles dans le sort des habitants, dans la culture des terres et la rpartition des eaux". Para aadir a continuacin: "L'Europe savante ne saurait voir avec indiffrence la jouissance des sciences applique un pays o elles sont ramenes par la sagesse arme et l'amour de l'humanit, aprs avoir t longtemps exiles par la barbarie et la fureur religieuse". Otro sealado cambio instrumental es la anulacin de las preferencias geomtricas de expresin, y tambin es notable la profundizacin en las disquisiciones sobre el mtodo, aspecto que, por otra parte, aparece siempre que se desata una crisis en el universo del conocimiento. Sin embargo, lo que de verdad se produce en los siglos XVII y XVIII es un desplazamiento del centro epistemolgico en beneficio de la mecnica. El nuevo instrumental creado y la sensacin de trabajar en las verdades del mundo fsico desarrollan una ilusin desmedida en encontrar resultados aplicables, que fueran afinando ms y ms el conocimiento del mundo real. El paradigma griego se resquebraja precisamente por sus anclajes filosficos y por sus objetivos teleolgicos. Las matemticas dejan paulatinamente de ser la ciencia prncipe para convertirse en un instrumento preciso y precioso de utilidad filosfica y prctica. Esto merece una explicacin. Se ha dicho ms arriba que la matemtica sostenida en el paradigma griego tiene componentes secantes con la teologa y la filosofa. El empecinamiento partidista de las clases dominantes del modo de produccin feudal concedi un desmesurado papel trascendente a los presupuestos cientficos. Al caer hecha aicos una concepcin del mundo en cuya defensa se haba llegado al extremo de quemar vivos a sus detractores y al presentarse el hecho de la demostracin matemtica -nica que poda considerase vlida- de que lo que defendan los inmolados era ms correcto que lo que postulaban los supuestos tribunales de justicia, la implicacin ideolgica estaba clara. Haba que rehacer toda la teora del conocimiento y, en ella, lo ms y casi nicamente fiable eran las especulaciones cientficas. A lo largo del siglo XVIII la progresiva acritud de los conflictos sociales entra en el terreno de la teora del conocimiento: las clases dominantes sostienen el esquema del saber jerarquizado de races medievales, la burguesa ascendente, cada vez ms poderosa, propugna el cultivo de las ciencias que sirvan al

desarrollo de las artes, la agricultura y el comercio. En ese proceso, a pesar del instrumental y de los conceptos utilizados, las matemticas encontrarn un lugar bajo el sol de las ciencias tiles. Las matemticas sustituyen los ideales de Verdad y Belleza del paradigma griego por objetivos pragmticos de utilidad pblica. Como es lgico pensar, este cambio de finalidad en los objetivos de la ciencia normal tiene necesariamente que producir cambios en la adscripcin social de las comunidades matemticas y de los cientficos. Aunque es obvio que los perfiles de la situacin y la afirmacin de los paradigmas no se presentan de una manera uniforme en los distintos medios, las comunidades ms representativas de la matemtica del XVIII cambian el gesto ennoblecedor de los universales Belleza y Verdad por el no menos encomiable, pero ms terrenal, progreso social. As, los matemticos se convertirn en agentes de cambio social y las categoras de distincin social abstracta del periodo esclavista o feudal adquirirn una expresin arquetpica ms o menos militante, pero desde luego entroncada en esferas de poder. Poder que tambin se expresa en la calidad y cantidad del conjunto de cientficos de las respectivas Cortes europeas. Los matemticos del XVIII an mantienen algo del prestigio social heleno, lgico en un mundo en el que se recrean los valores de la antigedad clsica, pero -aunque con las consabidas y contadas excepciones- se va a producir un cambio drstico en el papel de los gemetras en la sociedad. Los maestros de la Grecia clsica de mayor influencia vinculados a los grandes centros no son precisamente proclives a situaciones de cambio social. Hasta donde s, ni por procedencia de clase ni por tradicin heredada -la lnea PitgorasParmnides-Platn imprimi carcter- la geometra oficial contesta para nada la, digamos difcil, para no cargar las tintas, situacin de la inmensa mayora de los mortales. Una de las razones de la armoniosa coexistencia de las matemticas clsicas con las situaciones polticas emanadas del constantinismo o de la ortodoxia cornica hay que verla en el aprovechamiento que se poda obtener de aqullas para el afianzamiento de las relaciones estables de carcter social. Tampoco sabemos mucho de la obra matemtica de los sofistas, que presentaban alternativas al modelo triunfante pero que quedaron barridos del panorama intelectual durante muchos siglos. En el siglo XVIII, tambin salvo escasas excepciones, la leva de matemticos se hace en capas sociales asimilables a las de la antigedad, la tradicin heredada se ha ampliado -aunque sin tocar casi ningn tipo de referencias-, pero ha cambiado la actitud de los gemetras respecto a la sociedad de su tiempo. Desde luego, para esta poca y para este tipo de gemetras no es evidente la opinin de Dieudonn(103) sobre la difcil compatibilidad del desempeo de cargos administrativos o la militancia poltica con la creatividad profesional. Los casos singulares de Fourier, Galois o Cauchy, que Dieudonn considera excepciones, adems de no ser nada vulgares podran figurar en una lista en la que se incluyeran ministros de sorprendente produccin cientfica posterior (Laplace, Monge), jefes militares (Lazare Carnot), empresarios-recaudadores de impuestos (Lavoisier), por no citar ms que unos pocos casos. La mayora de los matemticos ms conocidos de este periodo tiene una posicin crtica con el antiguo rgimen, posicin concordante con los presupuestos de utilidad social de su funcin, pero obviamente no es unnime. Lo que s es caracterstico es la participacin ideolgica y la toma de posicin poltica. Otro detalle: el agotamiento del paradigma clsico. Estos cambios fundamentales e irrebatibles determinan un nuevo paradigma. Un paradigma que, en lo limitado de los

objetivos del espacio fsico real y de los enigmas que en l se plantean, va cerrando paulatinamente las vas de investigacin. No creo que haya que invertir mucho tiempo y gastar mucha tinta en aportar elementos que sustenten la eleccin del protagonismo francs para la matemtica articulada en los aos finales del siglo XVIII y comienzos del XIX y, sobre todo, su carcter de referencia durante mucho tiempo. Los textos de autores franceses para todos los niveles de la enseanza difundidos y traducidos a muchos idiomas seran la prueba experimental de la vigencia del paradigma y de la relativa obsolescencia que pudiera haberse trasmitido a algunas comunidades matemticas del mundo. Digamos ya que, por su representatividad en el conjunto de esta matemtica, por su personalidad como rbitro -dictador cientfico lo llama Grattan-Guinness(104)- y por haber advertido Lagrange que la situacin presentaba claros sntomas de agotamiento(105) se denomina aqu paradigma lagrangiano al nuevo paradigma. El tema de cualquier tipo de adscripcin nominal a cualquier tipo de categora histrica es siempre resbaladizo y arriesgado. Tendramos en primer lugar que considerar el papel histrico de la trada creadora formada por Leibniz, Jacobo y Juan Bernoulli y en segundo lugar -cronolgico- la figura, sobre todo a causa de su obra -colosal en todos los rdenes-, de Leonhard Euler. Me atrever a sostener que los hermanos Bernoulli estn en la inflexin del cambio de tendencia en el paradigma matemtico vigente, principalmente, por su actitud de conversos hacia la nueva herramienta lanzada por Leibniz en las pginas del Acta Eruditorum en 1684-86(106). Pero Leibniz, en el que mucho tiempo despus de su vida activa se ha descubierto una rica gama de precocidades matemticas que muy a menudo mueven al asombro es, ante todo, el ltimo humanista renacentista. Como se demostr en el propio siglo XVIII est lejano de los modelos encuadrados por la horquilla intelectual representada por Euler y Voltaire. En otros ms radicales, an est menos presente. Por lo que se refiere a los Bernoulli, aun compartiendo las valoraciones de modernidad, no creo que haya graves dificultades para entender la contaminacin de sus marcos conceptuales. Dou(107) lo ha afirmado con bastante rotundidad: "En los Bernoulli el clculo infinitesimal queda casi diluido y absorbido por la intuicin geomtrica, que se concentra en la observacin y correcta interpretacin y anlisis de los infinitsimos de diversos rdenes representados en las figuras geomtricas". Lo que se refiere a Euler pertenece a otro orden de magnitud completamente diferente, aunque slo fuera por lo que aport al propio calculus en sus obras ms emblemticas hasta mutarlo en una nueva disciplina llamada anlisis matemtico. Contribuciones decisivas suyas se encuentran en la mecnica, el lgebra, el clculo de variaciones y prcticamente en todas las disciplinas y subdisciplinas del universo matemtico. Pero a pesar de la maestra tcnica demostrada en su incansable y abundante quehacer, su reinado terico fue efmero, siendo sustitudo -de forma a veces rpida- como referente paradigmtico por el ms importante de sus continuadores, Joseph Louis Lagrange. Y en la mayora de las ocasiones con su acuerdo. Si se admite, por tanto, el protagonismo destacado de la comunidad matemtica francesa de los tiempos de la Revolucin y se transige en la estructura conceptual defendida por m hasta aqu, podra aceptarse la denominacin de paradigma francs para las matemticas de este momento histrico. Mas he querido, en lo posible, huir de expresiones que puedan

ayudar a excitar las bajas pasiones de corte nacionalista. Eliminada esa salida o hay que buscar una denominacin conceptual e ideolgica o personal. La primera, que podra ser fcil y expresiva, convendra bien a la poca y a alguno de sus protagonistas y muy mal a otros. Esto siempre pasa cuando se buscan rtulos demasiado generales a determinados cortes histricos, hay flecos que no quedan recogidos bajo esa denominacin. Tras este proceso de reflexin no queda ms salida que elegir una denominacin personal que, para no distorsionar la historia, debera adjudicarse a un francs. A la luz de las historias generales de las matemticas y de las monografas sobre el tema, de la constelacin de figuras eminentes de este periodo sobresalen tres: Lagrange, Laplace y Monge. Tres nombres sobradamente ilustres para caracterizar en el universo de las matemticas cualquier realizacin concreta. Mas Monge, destacado organizador, gran profesor e imaginativo gemetra, no realiz obras de puesta a punto terica de un conjunto significativo de ramas matemticas. Laplace, sin contar aspectos excesivamente poco honorables de su biografa que empaan necesariamente su excepcional produccin, tampoco es un sintetizador. En efecto, como ha sealado Dhombres, Laplace dispone de un programa metodolgico para la investigacin no estrictamente articulado, pero en el que se aprecia una referencia global. Este programa se estructura as(108): 1. Poss par l'observation et l'inventaire du monde rel, il existe des problmes qui sont supceptibles d'tre mathmatiss et donc qui peuvent tre traits rigoureusement. 2. Ces problmes suscitent ventuellement la dcouverte des outils anlytiques perfectionns permettant de les aborder d'une manire scientifiquement acceptable: autrement dit, le besoin d'explication analytique cre la fonction d'abstraction. 3. Obtenues des fins pratiques d'investigation scientifique, ces outils mathmatiques prsentent quasi ncessairement d'autres avantages que ceux initialement envisags pour les forger: lorsqu'ils ont fait leurs preuves, il ne faut donc pas se contenter de les admirer, mais tenter de les utiliser systmatiquement". Por esta actitud, que Dhombres considera que representa una concepcin rigurosamente organizada tpica de la madurez de Laplace, la mayora de las aportaciones matemticas de Laplace quedaron inmersas en epgrafes aplicados, sobre todo en el terreno de la mecnica celeste y las probabilidades. Algo que l mismo expresaba en una carta a Lagrange en 1784 y que caracteriza muy bien el sentimiento general de los creadores de la poca(109): "L'on ne peut trop dsirer que le domaine de la Gometrie s'tende. C'est dans cette vue que je me suis un peu livr la Physique, et je ne dsespre pas de dterminer quelques nouveaux objets physiques, assez bien pour y appliquer l'Analyse". Laplace, el gran seor de la mecnica celeste y las probabilidades, disciplinas concretas de las que ser un punto inexcusable de referencia durante varias dcadas, difumina sin embargo sus concepciones generales sobre las matemticas que, por el contrario, en Lagrange quedan perfectamente establecidas. No es solamente Lagrange el autor de uno de los libros ms emblemticos del pensamiento del siglo XVIII, la Mcanique Analytique, es tambin -y eso le confiere un papel especial

en la articulacin del paradigma- el gran sintetizador de la doctrina en los aos finales del siglo. Quizs no est de ms aadir alguna reflexin adicional a esta imagen del agotamiento de las matemticas. Los Dhombres(110) han aportado una cita de un autor que muchos analistas desearan quizs ver como letrero de uno de los momentos cruciales de las matemticas; me refiero, claro est, a Augustin Louis Cauchy(111). Esta cita desbarata la hiptesis algo malintencionada de la supuesta depresin de Lagrange, ya que a los cuarenta y cinco aos no puede pensarse en senilidad. El joven Cauchy, de veinte aos, se expresaba de esta manera(112): "Que dirais-je des sciences exactes: la plupart paraissent parvenues leur plus haute priode. L'arithmtique, la gomtrie, l'algbre, les mathmatiques transcendantes sont des sciences que l'on peut regarder comme termines, et il ne reste plus faire que d'utiles applications". Por tanto, la percepcin de Lagrange tuvo que ser producto de un conocimiento precoz que estaba en el ambiente cientfico de la poca; si no, es difcil de creer que un joven meritorio se atreviera a expresar, treinta aos despus de la carta de Lagrange a d'Alembert, tan categrico rquiem precisamente en una Academia, la de Cherbourg, quizs no tan plagada de sabios como la de Ciencias de Pars, pero en la que a buen seguro habra corresponsales directos de los cientficos de la capital de Francia. Mas la feliz cita recogida por los Dhombres no slo reafirma la aprensin de agotamiento, tambin sita a Cauchy en la estela de un paradigma concreto y de una forma de hacer matemticas dirigidas hacia las tiles aplicaciones, enormemente expresiva del marco de referencia en el que se desarroll la obra del gemetra de Arcueil(113). Si algunos analistas analistas aoran a Cauchy, qu podra decirse del princeps mathematicorum, Carl Friedrich Gauss, que aparece como gran mentor cada vez que se ataca el problema de contar la historia de las matemticas contemporneas con las deformaciones tpicas debidas a los no profesionales. La imagen de Gauss ha sufrido una de las ms grotescas transformaciones por obra y gracia de la manipulacin de una historia que se ha hecho ms veces de las que se debiera para gusto y satisfaccin de las ya mentadas bajas pasiones nacionalistas. No quiero enzarzarme en este momento en el dolor antiguo que soportan muchos historiadores alemanes y otros matemticos ni alemanes ni historiadores que aprecian una inexistente postergacin del profesor de Gttingen(114). La figura de Gauss ha sido histricamente manipulada para oponer falsamente los valores germanos a los franceses por una parte y para enfrentar a los partidarios del orden establecido que nos ha hecho -por mandatos divino o natural totalmente inmutables- a unos ricos y a otros pobres con el tono y aroma revolucionarios de las matemticas galas de las Luces. Es justo y es verdad que las primeras y notables contribuciones matemticas del nio y joven-prodigio Gauss, su tesis doctoral, su diario y sus Disquisiciones arithmeticae, revelan una forma distinta de escribir matemticas que la vigente en aquellos aos finales del XVIII. Y qu? Los lderes de la comunidad matemtica de aquel momento, casi todos residentes en Pars, no hicieron las matemticas que hacan por no conocer los trabajos impresos de Gauss, sino porque tenan sus propias concepciones y marcaron su propio rumbo. En efecto, Bossut(115) escribe en su historia de las matemticas:

"Enfin M. Gauss, fameux gomtre de Brunswick, a trait ce sujet [la teora de los nmeros] dans la plus grande tendue, et d'une manire originale, dans un ouvrage latin, intitul: Disquisitiones arithmeticae, publi en 1802(116), et traduit en franais en 1807, par M. Poulet de Lisle, savant professeur de mathmatiques au lyce d'Orlans. On distingue principalement dans cet ouvrage la section VII, o l'auteur examine les propiets des quations qui dterminent les sections circulaires. On savait depuis longtemps diviser gomtriquement la circonfrence du cercle en divers nombres de parties gales, comme 3, 4, 5, 6, 10, etc. M. Gauss a trouv, par la rsolution des quations binmes, qu'on pouvait diviser de mme la circonfrence en un grand nombre d'autres parties gales, comme, par exemple, en 17, ce qui n'tait pas connu". Esta larga cita revela un conocimiento bastante detallado de la existencia y los mritos de un gemetra del que era difcil que se pudieran conocer las cosas que escriba en la soledad de su alcoba o que retuviera en su cabeza por temor al clamor de los beocios(117). Conocimiento y reconocimiento que para s hubieran querido otros gemetras de expresin no francesa. Pero an hay ms. Ni su obra ni su brillante trayectoria profesional, en todo momento vinculada al Observatorio de Gttingen, se distinguieron precisamente de las pautas de aplicabilidad marcadas desde la Isla de Francia; ni el crculo de sus amistades y corresponsales cientficos ms prximos, como Bessel, Schumacher o Weber, revela una vocacin estrictamente purista. Slo su consideracin del rigor y, como Cauchy, su derechismo(118) en poltica revelan un golpe de timn poltico en la evolucin de las matemticas. Adems, la imagen de Gauss es la de un sabio aislado en el reducto de Gttingen y, en casos de aislamiento, o se es el orculo -y para esto tena serios competidores- o se tienen escasas posibilidades de convertirse en el lder que marque la evolucin de los asuntos. Un testigo tan imparcial como Abel, indudablemente aventajado y quizs predispuesto a aceptar de buen grado los xitos de la matemtica germnica, seala al inicio de su viaje por Europa en 1826 que, en su opinin, la matemtica alemana puede comenzar a conocer perodos ms felices y aade que los jvenes matemticos berlineses adoran a Gauss, pero que el viaje a Gttingen, que posee una buena biblioteca, no vale la pena, porque Gauss est all solo y adems es absolutamente inabordable(119). 4.3. El Paradigma hilbertiano Sin embargo, los grandes maestros y los modestos cultivadores tenan delante de sus ojos un mundo lleno de posibilidades. Como dice Perrin(120), al analizar la obra de Lebesgue en la compilacin de Le Lionnais, la clave de la innovacin siempre se encuentra en mirar las cosas viejas con ojos nuevos. Esa nueva forma de mirar los viejos enigmas aparentemente agotados hizo aparecer nuevos filones que, naturalmente, hubieron de explotarse en estratos de abstraccin ms profunda, por seguir con la analoga minera contenida en la carta de Lagrange a d'Alembert(121). La ruptura del paradigma lagrangiano se manifiesta en muy diversos campos y en un periodo bastante dilatado de tiempo que prcticamente llev todo el siglo XIX. El agotamiento del paradigma proceda tanto del cmulo de enigmas en los que se haba llegado a una solucin formal, que con los presupuestos tericos del setecientos no daba ms de s, como de las cada vez ms altas cotas de dificultad de los problemas histricos heredados del paradigma griego. Ya en el primer tercio del siglo XIX comienzan a plantearse problemas conflictivos para el paradigma lagrangiano que, andando el tiempo, turbaran poderosamente su estabilidad. Aqu se va a aludir a los ms sealados.

Pero antes de entrar en las quiebras internas de las matemticas lagrangianas, conviene hacer una consideracin en las variables sociales ms arriba consideradas. Las altas y honorables metas del paradigma griego no hicieron que, salvo histricas y contadas excepciones, como las de los cosmgrafos italianos, alemanes, portugueses o mallorquines(122), los centros de formacin de inters militar(123) o el Gresham College(124), los estados creasen instituciones especficas de aprendizaje cientfico; a lo ms que se lleg fue a propiciar el encuentro de los ya considerados sabios en entidades que, adems de ciencia, pudieran otorgar, sobre todo, prestigio cortesano, como las academias del siglo XVII(125). Pero la vertiente pragmtica de las matemticas del paradigma lagrangiano s que consigui la institucionalizacin de su enseanza, dirigida fundamentalmente al especfico papel de formacin de diversos tipos de tcnicos civiles y, sobre todo, militares. Esto no es novedad. Las estructuras poltico-sociales a lo largo de la historia de la Humanidad, retomando la caracterizacin ms arriba expuesta, nunca han invertido recursos econmicos en la formacin de poetas, hombres justos, sabios o santos; sin embargo, han mantenido siempre mecanismos de reproduccin de tcnicos calificadores de la calidad potica, sabidura, santidad u hombra de bien de los dems. Las matemticas no tenan por qu ser una excepcin. Pero, al margen de esa digresin, la creacin de instituciones de enseanza supuso la generalizacin de la profesin de cientfico. Una vez pasados los fervores militantes de los periodos lgidos de crisis social, la ciencia se fue despojando paulatinamente de interpretaciones pragmticas de inters poltico inmediato, por una parte, y por la otra, los cientficos -y entre ellos los matemticos que pudieron, aunque siempre en menor proporcin- se fueron convirtiendo en simples profesionales que, salvo excepciones, encontraron un modus vivendi en la enseanza, en la astronoma prctica o en laboratorios pblicos o privados cuando las ciencias comenzaron a hacerse rentables(126), y se convirtieron en ciudadanos comunes clasificados como profesionales. Este aspecto se fue profundizando con el siglo, complementndose las instituciones cientficas de prestigio con la aparicin de las asociaciones para el progreso de las ciencias(127) primero y los avances institucionales de rango nacional o universitario despus(128). Esto supuso en los pases ms avanzados en la disciplina el aumento de publicaciones estrictamente matemticas(129) y, al final de la centuria, la aparicin de la figura de la comunidad matemtica internacional, plasmada en los congresos cuatrienales(130). Si del sabio clsico al militante del setecientos fundamentalmente en sus aos finales- hay ms de un paso, de ambos al profesional de las postrimeras del siglo XIX hay un abismo. Ello no obstante, no sobra volver a insistir en la idea de que las rupturas en matemticas tienen un tono menos drstico que en otras disciplinas cientficas y diferentes paradigmas coexisten a lo largo del tiempo ms o menos pacficamente. La casi genuina creacin francesa del paradigma lagrangiano facilit el despegue de estas concepciones, que se impregnaron de un fuerte tinte de afirmacin nacionalista(131) cuando la situacin lo requiri. La relacin nominal de aportaciones que supusieron rupturas concretas del paradigma lagrangiano sera muy larga, adems de que se puede jalonar con la eleccin adecuada de los resultados sealados en las historias clsicas de las matemticas. Creo que no sobrar insistir, no obstante, en que slo desde la estrechez de miras deformadora de la realidad histrica se puede postular que la irrupcin de una de estas rupturas en la literatura

matemtica signific el desmantelamiento del paradigma lagrangiano vigente. Por dos razones. La primera podra explicarse con un refrn: una cosa es predicar y otra dar trigo o, en otras palabras, una cosa es que un concepto o idea aparezca publicado y otra el momento en que este trabajo llega a y es aceptado por un nmero suficientemente amplio de profesionales. La segunda porque un sorprendente resultado en geometra o anlisis no tiene una seleccin inmediata entre los elementos fundamentales definitorios de la matemtica en un momento dado. Lo que se va a hacer a continuacin es el sealamiento de los rasgos ms ilustrativos de ruptura del paradigma anterior. Weyl, posiblemente el ms dilecto seguidor de Hilbert, sealaba en 1928 en su famoso libro Gruppentheorie und Quantum Mechanik algunos de los rasgos de ruptura con lo viejo y afirmacin del nuevo modo de contemplar la matemtica, diciendo(132): "La mathmatique occidentale n'a pas tant suivi au sicle prcedent les conceptions grecques que les courants d'ides issus de l'Inde et diffuss par les Arabes: elle a en effet affirm la priorit logique du concept de nombre par rapport la gomtrie. Il en est rsult que nous avons constamment entrepris l'tude des diffrents domaines de grandeurs avec un mme et universel concept de nombre, labor de faon abstraite, indpendamment de toute application ventuelle. On peut dire par contre que nous assistons aujourd'hui en mathmatiques un renversement complet de points de vue; il nous apparat en dernire analyse que la conception la plus profonde est la conception grecque selon laquelle tout domaine entrane l'existence d'un sistme de nombres qui lui sont propre et le caractrise. Pour l'algbriste d'aujourd'hui, le continu des nombres rels ou des nombres complexes n'est plus qu'un corps, ou un corps antisymtrique parmi une infinit d'autres qui ont droit la mme considration (...) Les nouvelles recherches axiomatiques relatives en particulier aux fondments de la gomtrie projective forment le pendant gomtrique de cette tendance. Toute cette nouvelle mathmatique, celle de la thorie des groupes et des algbres abstraites est anime d'un esprit nettement diffrent de celui de la mathmatique classique, qui a trouv dans la thorie des fonctions de variable complexe son plus haut panouissement"(133). Naturalmente, como todos hacemos nuestras cabriolas para llevar el agua a nuestro molino, Weyl y Lautman concluirn afirmando la unidad de las matemticas y yo preferir quedarme con sus apreciaciones sobre las netas diferencias. Uno de los primeros enigmas que rompe con los moldes establecidos standard en todos los siglos anteriores de historia de las matemticas es el de la resolucin por radicales de la ecuacin de quinto grado. Metodolgicamente, el abordaje de Abel encierra dos aspectos fundamentales para la comprensin de la ciencia contempornea. El primero es la actitud autofalseadora del matemtico noruego, que de alguna forma diferencia a los grandes cientficos de los aficionados porque, desde la existencia de las Academias, lo normal era que su primera versin sobre la resolucin de la ecuacin de quinto grado hubiera ido a una Academia, terminando, como alguien ha sealado, con la palabra eureka! Pero al margen de esta actitud ejemplificadora, que en nuestros das ha inspirado una tcnica de demarcacin de calidades cientficas, el resultado del proceso autofalseador no poda ser ms inslito y sugerente. En efecto, a las metodologas tradicionales de demostracin de proposiciones se aada un nuevo camino representado por la demostracin de la

imposibilidad de llegar a una apetecida meta cientfica concreta. De hecho, los ms sealados enigmas de la historia de las matemticas, pendientes de resolucin desde los albores del paradigma griego, iban a dejar de serlo por la va metodolgica sealada por el matemtico noruego(134). Otro aspecto de singular trascendencia que afecta a la estructura interna del paradigma en dominios instrumentales es el de la generalizacin de los campos habituales de expresin de las proposiciones matemticas. La ampliacin de los dominios geomtricos o aritmticos de siempre a conjuntos de objetos sin caracterizacin especfica supuso tambin una brecha en el marco paradigmtico, que haba permanecido inalterado desde los primeros momentos de afirmacin del paradigma griego e incluso anteriormente. Las aportaciones que desde diferentes vas se hicieron en este aspecto por parte de Boole, Cantor, Du Bois-Reymond, Helmholtz y otros, junto a los caminos sealados por los trabajos de Cauchy y Galois desde perspectivas algebraicas, y por Kummer y Dedekind desde las numricas, sentaron las bases para la elaboracin de uno de los conceptos claves y ms representativos de la matemtica del siglo XX: la nocin de estructura. Un cambio, ms que quiebra, que viene representado por un proceso de reparacin de la atolondrada construccin formalista de la teora de funciones del paradigma lagrangiano y que se basa en la incorporacin progresiva del rigor y coherencia internas que caracteriz las elaboraciones de los analistas del XIX a partir de Cauchy y, sobre todo, de la escuela de Weierstrass. Sin embargo, a pesar de su entidad, estos planteamientos crticos quedan disminuidos ante el impacto significativo de las geometras no eucldeas, tanto por su significacin intrnseca como por sus implicaciones respecto a sus fundamentos y a su solidez arquitectnica. Las geometras no eucldeas plantean, en su difcil proceso de implantacin, dos problemas claros. El primero es el relativo a su incidencia en el concepto de espacio intuido en el que se desarrollan las especulaciones matemticas. El hecho de la construccin de modelos geomtricos ni visualizables en principio (los trabajos de Beltrami, Klein y Poincar surgen a partir de 1868) ni imaginables de una forma factible ni relacionables con el espacio fsico donde los objetos estn y son, significa la ruptura definitiva con los modelos sensibles y la instalacin en el paradigma intuido -pero an no consagrado- de un marco totalmente abstracto y aparentemente despreocupado de su reflejo o de su referencia en el mundo material. Otras dos rupturas afectan tambin los esquemas geomtricos del paradigma lagrangiano: la primera en el tiempo, anterior a la primera elaboracin no euclidiana, es la visin proyectiva del espacio elaborada por Poncelet; la segunda, la aparicin y manipulacin de los espacios n-dimensionales. Desde luego, son rupturas, pero en grado mucho menor que las representadas por los trabajos de Lobachevsky, Bolyai y Riemann. En primer lugar, porque los dos conceptos tienen antecedentes claros en trabajos de matemticos del paradigma lagrangiano e incluso griego; en segundo lugar, porque la visin proyectiva de Poncelet no afecta lo ms mnimo al concepto de espacio, aportando exclusivamente una tcnica diferente de contemplar el mismo. La aparicin del espacio n-dimensional, tan poco entusisticamente aceptada en un principio, se haca en un terreno preparado por la polmica en torno al espacio, desatada por la presencia de unas geometras no verificables, en principio, en el espacio fsico real intuido hasta entonces. Tambin es preciso fijarse en otros detalles importantes de la transformacin, como es el cambio de los materiales con los que se trabaja. Cavaills, uno

de los ms lcidos y rigurosos seguidores del paradigma hilbertiano, seala claramente este relativismo en la eleccin de los objetos a la hora de construir el gran desideratum profesional de la poca, una matemtica rigurosa(135): "il n'y aura mathmatique rigoureuse que lorsqu'on aura, par l'investigation mme des procds, dfini le champ d'objects auxquels ils conviennent". Como los procesos en la historia son convergentes, las distintas teoras se fueron entremezclando sucesivamente y se fue planteando de forma perentoria la exigencia de criterios claros sobre la cuestin de la Verdad en geometra. Este debate, el ms singular de los desarrollados en el siglo XIX, conocido como la cuestin de los fundamentos, fue abordado y resuelto por Hilbert en el ltimo ao del siglo XIX. Por su entidad y significacin respecto al paradigma que se haba estado construyendo a lo largo de todo el siglo, he denominado hilbertiano al nuevo paradigma que surgi de la ruptura del lagrangiano. Pero hay ms implicaciones de las cuestiones ms arriba expuestas. El tema de la Verdad en geometra conduca a dos metas insoslayables de ruptura. La primera afectaba a los aspectos conceptuales internos, la segunda a los grandes y ennoblecedores objetivos de los dos paradigmas anteriormente descritos. En efecto, los griegos haban exigido a las proposiciones especiales cuya veracidad no haba que probar el estatuto de la evidencia. Evidencia intuitiva y visual que, a pesar de algunos deslices de menor cuanta, haba dado en general buenos resultados. La verdad de los desarrollos de Lobachevsky y Bolyai no poda ni intuirse ni visualizarse (antes de los esquemas de Beltrami, Klein y Poincar, entre otros). De ah que, en el conjunto de elementos bsicos conceptuales, la evidencia intuitiva ya no poda ser baremo de veracidad. Hilbert, y con l la comunidad matemtica internacional, adoptaron el criterio de sustituir la evidencia intuitiva de los axiomas por el libre albedro del autor. El modo de producir matemticas en el entorno de 1900 que se ensay como modelo de desarrollo disciplinar y ejemplar fue por tanto el axiomtico. Peano con la aritmtica axiomtica, Zermelo con la teora axiomtica de los conjuntos y el propio Hilbert con la geometra crearon un estilo que es cierto que no acab con todos los francotiradores, pero que sent las bases del desarrollo de un tipo de matemticas para una buena temporada. En cuanto a la presentacin, que puede aparentar algo de irona por mi parte en lo referente al libre albedro del autor, siento tener que decir que la irona, si es que existe, est en Hilbert. Cuando en un texto programtico que desarrolla los fundamentos de la geometra se declara que igual que de puntos, rectas y planos se podra hablar de sillas, mesas y jarras de cerveza, se est deslizando un modo muy peculiar y distinto de entender las matemticas(136). Es claro que este salto hacia adelante, que poda tranquilizar el trabajo interno de los matemticos -protegido de las pesquisas sociales por el caparazn defensivo del esoterismo cada vez ms palpable- y que justificaba las mltiples vas de desarrollo que las matemticas podan tomar en funcin de la capacidad imaginativa de cada autor al romperse los rgidos corss establecidos en los paradigmas anteriores, no poda dejar de tener agudas consecuencias en el quehacer profesional de los matemticos. Porque la relativizacin del concepto de Verdad matemtica a una categora mucho ms funcional y domstica privaba a las matemticas hilbertianas del empaque de dignificacin que los pensadores griegos haban ganado para la ciencia prncipe, y tambin se sustraa la finalidad de utilidad pblica objetiva preconizada en el Siglo de las Luces.

Lo agudo de esta posicin crtica de las matemticas que se estaban elaborando en el siglo XIX por las comunidades ms avanzadas propici el gran debate polmico en torno a los objetivos cientficos de la actuacin matemtica sobre la base de la cuestin del espacio. Dicho debate se fue extinguiendo con el tiempo, quedando como vencedores los rupturistas. De hecho, alguno de los participantes ms destacados en la implantacin del nuevo paradigma, como Bertrand Russell, no tuvo reparos en reconocer que, con los nuevos planteamientos "mathematics is the subject in which we do not know what we are talking about nor whether or not what we are saying is true", epigrama no refutado por incontestable y que piadosamente se interpreta sobre la base de las caractersticas abstractas y formales de las verdades matemticas(137). Las crisis de las matemticas del siglo XIX se puede decir que haban sido superadas por consenso al final del siglo, con la aceptacin general del nuevo paradigma. Pero, como se ha planteado ms arriba, esa aceptacin llevaba consigo el reconocimiento de la prdida de muchos rasgos positivos y honorables que la Humanidad haba otorgado a las matemticas desde los tiempos de la Grecia clsica. La aceptacin bsica del paradigma hilbertiano por la mayor parte de la comunidad matemtica internacional exiga una contrapartida, un contrapeso a los presupuestos tericos expuestos. Fue el momento de acudir con necesidad a complementos tericos que afirmasen el riguroso y etreo continente matemtico. La comunidad matemtica no poda dejar su ciencia, que adems era su trabajo, al descubierto ante un posible ataque exterior que exacerbase algunas de las caractersticas que sealaban la dudosa solidez de su verdad. Tampoco poda permitirse el lujo de subrayar objetivos netos de no utilidad, ante la posible crtica fcil, en un ambiente general de necesaria y optimista esperanza de progreso. La solucin ante esta problemtica se consigui por dos vas. Por una parte, a pesar de las protestas de unidad interna de las matemticas promulgada por Hilbert en Pars en 1900, con la segregacin explcita de las matemticas llamadas aplicadas; por otra, con el establecimiento explcito de un tratamiento de sntesis, realizable bien a nivel histrico, bien a nivel filosfico. En el famoso II Congreso Internacional de Matemticos, celebrado en Pars en 1900, el joven Hilbert present la

llamativa comunicacin sobre los Problemas Futuros(138) y sent las bases para el establecimiento de las interrelaciones entre las matemticas y el conjunto del pensamiento cientfico. Hilbert arriesg incluso la hiptesis de la evolucin futura de las matemticas, aunque le enga su visin totalizadora. El planteamiento hacia el futuro comenzaba con un noble deseo, que Hilbert expresaba diciendo que la matemtica era un todo nico, un organismo cuya fuerza vital tiene por condicin la indisolubilidad de sus partes(139). Era un primer presupuesto terico para hacer viable el mantenimiento en el seno del paradigma de las figuras de los grandes cientficos de la Edad Moderna. Observado desde un punto de vista objetivo y crtico, Hilbert impone el modelo de desarrollo futuro sobre la base del nuevo paradigma. Esto es coherente. Y es lo que ms llam la atencin en la comunidad matemtica internacional, a la que ahorr el trabajo de encontrar la expresin particularizada de veintitrs de los enigmas ms sobresalientes de ese momento histrico. Enigmas que, en expresin hilbertiana, eran los fines particulares. El sealamiento expreso de la existencia de objetivos particulares indica la existencia de una finalidad general que Hilbert mantuvo oculta en su comunicacin. La presentacin de estos veintitrs asuntos concretos, con todo su enorme atractivo, propici asimismo que el tema de la unidad estructural en las matemticas quedase escondido o por lo menos postergado. La tesis hilbertiana de la unidad de las matemticas le llev a presentar su historia como una funcin continua y creciente. Hilbert necesitaba apoyarse en este postulado de continuidad histrica para poder extrapolar, dentro de un grafo suficientemente grueso, las lneas de desarrollo de los futuros fines particulares. Y lo expona claramente:

"les grandes divisions du temps non seulement permettent de jeter un regard sur le pass, mais encore attirent notre pense sur l'avenir inconnu"(140), sealando que(141) "l'histoire enseigne la continuit du dveloppement de la Science". Durante bastante tiempo ha sido la tesis triunfante e indiscutida. Por eso, cuando Lautman abord en su tesis doctoral los problemas de la estructura y de la unidad en las matemticas siguiendo pautas francesas -Cavaills, Bourbaki-, crticas con lo que consideraban empirismo de Baire, Borel, Lebesgue o el convencionalismo de Poincar, tena, escrito sea con el mayor respeto para este filsofo trgico, clara la tesis de conclusin. A pesar de la lucha de contrarios (finito-infinito, local-global, discreto-continuo, algebra-anlisis, etc.) las matemticas contemporneas revelaban sobre todo su unidad inquebrantable. Dieudonn, en el prefacio que escribi a los ensayos de Lautman, lo deja bien claro(142): "[La] thse de Lautman [est] consacre l'examen de ces oppositions, sur lesquelles sa position est voisine de celle de Hilbert, chez qui l'on trouve exprime avec force la conviction qu'il ne s'agissait l que d'apparences superficielles masquant des parentes beaucoup plus profondes. Tout le dveloppement des mathmatiques depuis 1940 n'a fait que confirmer la justesse de cette position (...)". El universo epistemolgico en el que Hilbert se siente a gusto sugiere situaciones de transicin, sin establecimiento de compromisos inviolables explcitos, pero apostando por formas concretas de desarrollo que esconden las finalidades fundamentales. La defensa explcita de la necesidad de situar la historiografa de las matemticas en el paradigma hilbertiano corri a cargo de Moritz Cantor(143), cuya intervencin, con rango de conferencia general, trat del estado de esta disciplina en el umbral del siglo XX. Su concepcin de la historia de las matemticas corresponde a un esquema lineal de engarce acumulativo de los sucesivos descubrimientos y hallazgos. No hay rupturas, ni estancamientos, ni conflictos. Es ms, por no haber no hay apenas referencias al universo aplicado de las matemticas y sa ser una de las herencias claves del desarrollo de la disciplina durante la mayor parte del siglo XX. A diferencia de la visin inaugural de Montucla-Lalande, la prctica totalidad de las historias generales de las matemticas del siglo XX han sido en realidad historias de las matemticas puras, mutilacin que ha permitido deformaciones tericas de todo tipo a la hora de analizar la evolucin histrica de la disciplina. Una historia, por tanto, que prcticamente se ha reducido al mbito europeo. Gerdes lo ha expuesto con claridad(144): "As historias dominantes da matematica sugerem que (quase) nao houve matemtica fora da Europa, esquecendo de que a colonizaao contribuu para a estagnaao e eliminaao de tradioes cientficas nas Amricas, Africa, Asia e Australia". El hilo conductor que desde los albores de la historia llega hasta el II Congreso Internacional de Matemticos no presenta solucin alguna de continuidad, ni relacin comprometida con ninguna situacin ajena a las matemticas. Esa lectura de la historia corresponde a un criterio firmemente anclado en el paradigma hilbertiano, reivindica el

prestigio histrico acumulado en los paradigmas griego y lagrangiano, pero sin sealar porqu las matemticas en esas pocas respectivas alcanzaron gloria y prestigio, con lo cual evita el tener que sealar ningn razonamiento analgico entre la produccin matemtica basada en el paradigma hilbertiano y la de los anteriores. La comunidad matemtica internacional planteaba de esta forma el complemento necesario para sustentar el paradigma, complemento que explcitamente no haba aparecido en los paradigmas griego y lagrangiano, en los que los objetivos de la actividad cientfica quedaban suficientemente claros. El grado de desarrollo de las diferentes partes de las matemticas y la experiencia acumulada a lo largo del siglo XIX haban forjado ya en la comunidad matemtica la conciencia de que, si se quera que una determinada rama fructificase, haba de institucionalizarse de alguna forma. Si Bernal(145) ha destacado claramente la influencia que el apoyo industrial ha tenido para la consolidacin y desarrollo de algunas especialidades de las ciencias experimentales, Wussing ha sealado(146) un criterio claro de seleccin de las teoras matemticas": "De entre la infinidad de teoras concebibles construidas axiomticamente, mediante acoplamiento histrico-social de reaccin con el entorno humano, son seleccionadas aqullas cuyo conjunto nosotros denominamos ciencia matemtica. Y slo han tenido y tienen -como demuestra la historia de las matemticas- existencia, han permanecido y se mantienen vivas y fecundas aquellas teoras que bajo cualquier forma se orientan hacia problemas de la realidad objetiva". En matemticas, una de las fbricas est situada en la Universidad. Por eso, tras el establecimiento del marco general de sntesis del nuevo paradigma hecho en el Congreso de Pars, la comunidad matemtica internacional tena que definirse respecto de la situacin de la historia de las matemticas, contemplada como disciplina, en el cuadro docente de las universidades. Dicho pronunciamiento lo realiz el III Congreso Internacional de Matemticos(147), reunido en Heidelberg en 1904. En la sesin de clausura del Congreso, se votaron por unanimidad las siguientes resoluciones(148): 1. "El III Congreso Internacional de los Matemticos vota a favor de la creacin de ctedras universitarias de Historia de la Matemtica y de la introduccin de nociones de historia de las ciencias en la enseanza secundaria superior. 2. El Congreso apoya el voto de la seccin de historia, que tiende a la fundacin de una asociacin de los sabios que se dedican a la historia de las matemticas. 3. El Congreso expresa su ms viva simpata para los esfuerzos de los matemticos que tienden a obtener en todas partes los medios indispensables a los estudios matemticos en su forma moderna (nmero suficiente de ctedras, bibliotecas bien provistas, salas de dibujo, salas de trabajos prcticos, instalaciones para aparatos de proyeccin, colecciones de modelos, etc.) y emite el voto de que los gobiernos y las autoridades escolares den a los matemticos el apoyo que necesitan".

Al margen de la crnica e inevitable aoranza de los medios solicitados por los matemticos de comienzos de siglo (en la medida que la solicitud pueda dar idea de posibilidad de satisfaccin) queda clara la voluntad de la comunidad matemtica internacional de conceder una opcin clara de existencia en el paradigma hilbertiano a la historia de las matemticas, a sus excelencias y utilidades, con la ciencia normal que se sustentaba en dicho paradigma y para cuya demostracin se necesitaba. La historia de las matemticas aportaba adems una caracterizacin singular a la propia ciencia que la ayudaba a distinguirse de las dems. Esto es, mientras las matemticas seguan siendo desplazadas del punto central y preeminente del concepto de sabidura, eran la nica ciencia que poda enarbolar la bandera de su existencia al ms alto nivel en ms de dos milenios. Y no es menos interesante el hecho de que la reivindicacin de la componente histrica del pensamiento matemtico se hiciera en vsperas del ao 1905, un ao singular y premonitorio respecto de la proyeccin de futuro de las ideas que se haban forjado en las postrimeras del siglo XIX, sobre todo en el orden cientfico. Adems del tantas veces citado trabajo pionero sobre la electrodinmica de cuerpos en movimiento de Einstein(149) en el que esboz sus ideas nucleares sobre la teora especial de la relatividad, dentro del territorio matemtico surgan tambin una serie de aportaciones que recuerdan en cierta manera los debates, dudas, preocupaciones y remedios de dos siglos atrs sobre el clculo y sus derivados, en torno a la teora de conjuntos que emerge, llena de obstculos tericos, desde los cimientos de una nueva construccin del edificio matemtico(150). Cavaills lo seala claramente: "La crise thorique dclenche en 1905 ne fait qu'en embarrasser de restrictions et de scrupules les raisonnements sans arrter leur puissance interne d'expansion". Las dificultades seran afrontadas de forma similar a como recomendaban d'Alembert y Lagrange en su tiempo. Sobre esto Cavaills sigue diciendo en 1938(151): "Aujourd'hui restrictions et scrupules passent au second plan quoique le problme du fondement semble moins prs que jamais d'une solution (...)". Antes de entrar brevemente en consideraciones de infraestructura ideolgica y en la reflexin sobre la primera gran crisis del paradigma hilbertiano, es preciso sealar un aspecto fundamental. La ruptura del concepto de espacio fsico producida en el siglo XIX no fue caprichosa, sino necesaria. Necesaria para ampliar el campo de las investigaciones matemticas y porque los enigmas que se estaban planteando desde los sucesivos paradigmas fsicos necesitaban un tratamiento matemtico para el que resultaban totalmente insuficientes los estrechos esquemas tericos del supuesto espacio real nico del paradigma lagrangiano. Porque las especulaciones tericas de los matemticos del XIX -y en esto hay que recalcar la agudeza de Riemann, tras cuya obra todo fue diferente- consiguieron romper una forma ancestral de contemplar el espacio. Lo que es importantsimo para la ciencia contempornea -y hay que ponerlo en el haber de los matemticos- es que, al justificar lgicamente las imaginativas concepciones espaciales, al romper con la rutina, los matemticos estaban dando a los cientficos en general y a los fsicos en particular la idea

de la posible existencia de espacios naturales que no se ajustasen a los esquemas conceptuales del paradigma griego. Ahora bien, es preciso sealar en este momento dos cuestiones que dan lugar a las reflexiones hasta aqu realizadas sobre el paradigma hilbertiano. En primer lugar, la plena conciencia de que las posiciones rupturistas de primera hora no tenan nada que ver con el espacio real o con diferentes formas de ver algunos espacios naturales (a pesar de la calidad y profundidad de algunas premoniciones geomtricas, Lobachevsky llam imaginaria a su geometra y Cayley, al referirse a su geometra n-dimensional, la denomin ideal). De ah que se hiciera una abstraccin consciente de la posible aplicacin de las nuevas teoras. Por ello, cuando se instituy el paradigma hilbertiano hubo de hacerse relativizando el concepto de verdad absoluta que los griegos haban reivindicado. La ruptura superpuesta a la dislocacin del tradicional concepto de espacio es de un nivel ms terico y abstracto y afecta a la concepcin constructiva de las matemticas que, al contrario de lo que suceda en el paradigma lagrangiano, ni se ven obligadas a servir a ninguna otra disciplina en concreto -como deca textualmente Bzout(152)- ni tienen que proceder sobre supuestos fenomenales dados. Las aportaciones geomtricas del siglo XIX propiciaron de hecho el planteamiento de estos supuestos sobre la base de las ideas sugeridas tras consideraciones puramente abstractas. La segunda reflexin gravita en el hecho nuevo y necesariamente admitido de la necesidad de respetar la autonoma creativa de los matemticos. Pero, como es lgico, este respeto relativiza mucho ms el problema de la adecuacin a la verdad, el de la posible adaptacin fenomenal antes aludida y el de la posible utilidad de las matemticas. La orientacin marcada por el Congreso de Heidelberg fue seguida, al parecer, con cierta puntualidad en las universidades en las que los estudios de matemticas ocupaban un lugar de vanguardia. En Alemania, Francia, Rusia, Reino Unido, Italia y con ms intensidad en los Estados Unidos de Amrica se crearon algunas ctedras de historia de las matemticas aunque, todo hay que decirlo, sin un fervor excepcional. Tampoco se descuid institucionalmente la vertiente de las llamadas matemticas aplicadas, que fueron objeto de diferentes valoraciones, siempre positivas, en el conjunto de los intereses matemticos. El paradigma afirmado por la comunidad matemtica internacional en sus primeros congresos y que se ha visto funcionar, salvo algn sorprendente y natural sobresalto, en buena parte del siglo XX, se estableci sobre el criterio de compatibilizar las construcciones matemticas con cualesquiera bases epistemolgicas subjetivas. Los grandes y explcitos objetivos que los matemticos haban otorgado a su trabajo podan coexistir con los de aquellos que, careciendo de objetivos extramatemticos, no manifestaban ms preocupacin que la de resolver una sucesin de enigmas concretos de formulacin interna y de aplicacin interna. Desde el punto de vista de la fundamentacin epistemolgica el paradigma hilbertiano era de una gran permisividad. Su eslogan propagandstico hubiera podido ser Todo vale y, desde luego, sobre la base de ese paradigma se defendieron a lo largo del siglo posiciones matemticas contrapuestas con resultados anlogos; distintos autores de diferentes pensamientos y pareceres contrarios pretendan poner, segn los casos, velas a Dios o al Diablo(153). En ese contexto, las matemticas, si haban perdido el carcter platnico de ciencia prncipe, por lo menos pretendan situarse por encima de los intereses terrenales, hacindose compatibles con todos. Nunca en la historia de la Humanidad como en ese estricto periodo de afirmacin del

paradigma hilbertiano los matemticos se vieron ms despreocupados y con menos complicaciones para trabajar en cualquier situacin. En el cerrado universo matemtico implantado por el paradigma hilbertiano todo era sosiego y las relaciones entre sus miembros de cooperacin. Mas cuando pareca que las matemticas estaban ms por encima de la groseras influencias del mundo sensible, insoslayables acontecimientos histricos evidenciaron lo endeble de este soporte bien intencionado, pero errneo.

5. Sic transit pax mathematicorum


Por desgracia o por suerte para las matemticas -en esto es difcil definirse- el desarrollo de las ciencias no va a estar exento de tensiones y conflictos ni de incidencias externas entre las que la situacin poltica dominante no es, lgicamente, inslita. Dhombres recuerda(154) cmo un autor tan adaptable a las diferentes situaciones que le toc vivir como Lacroix reconoca abiertamente la influencia del mundo poltico en la actividad cientfica. En aquel momento, el de la Revolucin Francesa, para bien. En otros, no tanto. Las comunidades matemticas francesa y alemana han compartido la lnea de vanguardia creadora (en el periodo que estamos analizando) a lo largo del siglo XIX. Y si el paradigma lagrangiano responde a las realizaciones epistemolgicas, tericas y tcnicas de la comunidad gala en un tremendo porcentaje, los mimbres del paradigma hilbertiano llevan el sello mayoritario de las aportaciones germanas. Las referencias ms arriba expresadas sobre la situacin emergida del consenso general de las primeras reuniones de la comunidad matemtica en los primeros aos del siglo se vieron seriamente afectadas por el estallido de la Primera Guerra Mundial (1914-18). Si alguien poda tener algn asomo de duda sobre las vinculaciones sociopolticas de tipo local, el primer congreso celebrado tras la contienda se lo hara desvanacer totalmente. Naturalmente, la opinin sobre este episodio no es unnime y Jean Dieudonn considera(155), por ejemplo, que "Aprs 1918, la France, dont la jeunesse scientifique a t saigne blanc par l'hcatombe, va se replier sur elle-mme pendant 10 ans". Entre el 22 y el 30 de septiembre de 1920 se reuni en Estrasburgo un congreso matemtico que no lleva nmero de orden correlativo con los anteriores(156). En esa reunin(157), si nada especial hubiera ocurrido se hubiera debido consagrar definitivamente y sin ambages el paradigma expuesto en Pars y Heidelberg en el primer lustro del siglo. Y, si ese paradigma hubiera sido consistente, no hubiera podido verse afectado -segn su propia definicin- por las eventualidades del mundo sensible. Sin embargo, una guerra es una guerra -y ms si adquiere las trgicas dimensiones de la de 1914-18- y hace saltar las contradicciones internas o los planteamientos puerilmente bienintencionados de todas las posibles especulaciones intelectuales humanas. Y en esto las matemticas tampoco tenan porqu ser una excepcin. En el Congreso de Estrasburgo se reunieron doscientos matemticos procedentes de 27 pases(158). Con relacin a los anteriores encuentros internacionales algo serio haba cambiado. Una somera reflexin sobre la participacin cuantitativa en los Congresos de Pars, Heidelberg,

Roma y Cambridge(159) indica que las matemticas -y todava ms los matemticosdistaban mucho de estar por encima del bien y del mal. Las copiosas participaciones de encuentros anteriores se vean, tras la Guerra, profundamente mermadas. Los gobiernos tenan que empearse como primera tarea en la reconstruccin de cada pas y, cuando se cultivaron las afirmaciones profesionales o propagandsticas postblicas, procuraron que fueran del menor coste econmico posible. En tan slo veinte aos, desde el Congreso parisino en el que se alababan encomisticamente los consejos que Hermite diera al joven Mittag-Leffler sobre la vala de los trabajos de Weierstrass(160) en plena guerra franco-prusiana, se haba pulverizado el statu quo consensuado. Y el espejismo cantoriano de la universalidad del pensamiento matemtico se haca aicos ante la evidencia de que las matemticas tenan vnculos geogrficos. El propio Hilbert lo haba reconocido en plena guerra en un prrafo un tanto crptico que admite diversas interpretaciones, si bien todas preocupantes: "Una sociedad particular slo puede desarrollarse saludablemente cuando tambin lo hacen los pueblos que le son vecinos. De manera anloga, el bienestar y el inters de los estados demandan no slo el mantenimiento de un orden interno, sino tambin la existencia de un orden general en las relaciones entre ellos. Lo mismo ocurre en la ciencia"(161). No es que la idea fuera nueva, lo que llam y sigue llamando ms la atencin fue el hecho de reconocer que las matemticas podan militar en diferentes frentes blicos. Pero hay que volver al Congreso de Estrasburgo. Los franceses se volcaron en un intento firme de que ningn participante echase en falta a ningn matemtico vivo, del campo aliado, claro. Desaparecidos los monstruos sagrados de la matemtica francesa de la transicin, Hermite y Poincar, la Presidencia de Honor le fue concedida a uno de sus ms prximos contemporneos, Camille Jordan. No obstante, la presidencia ejecutiva y el peso del Congreso a escala de protagonista lo llev el lder de los matemticos franceses de la postguerra: Emile Picard. El Bureau del Congreso lo completaban Dickson (Universidad de Chicago), Larmor (U. de Cambridge), Villat (U. de Estrasburgo), Norlund (U. de Lund), De la Valle-Poussin (U. de Lovaina) y Volterra (U. de Roma) como vicepresidentes. Koenigs desempeaba la Secretara General y los introductores de las Secciones eran Picard (Aritmtica, Algebra, Anlisis), Goursat (Geometra), Koenigs (Mecnica, Fsica Matemtica, Matemticas Aplicadas) y Villat (Cuestiones filosficas, histricas, pedaggicas). No todos los pases enviaron delegaciones oficiales, lo que da una cierta idea de la tensin existente. Tan slo lo hicieron Blgica, Checoslovaquia, Dinamarca, Estados Unidos, Francia, Grecia, Inglaterra, Italia, Japn, Noruega, Portugal y Suiza. Aunque algunos otros, como Espaa, estuvieron inscritos colectivamente por medio de Academias(162) u otros organismos colectivos. Para la aseveracin del compromiso de las matemticas hay una pieza maestra en la historia contempornea, cuidadosamente dejada en el olvido por cuanto, a pesar de la fluidez literaria y de la calidad de la firma de Emile Picard, representa la ruptura fehaciente del liberalismo internista del paradigma hilbertiano.

Las alocuciones de Picard en el Congreso de Estrasburgo(163) apenas si ocupan seis pginas, pero son seis pginas que revelan claramente la primera fisura estructural en el paradigma. El discurso de la sesin de apertura comienza por fijar algunas ideas, por lo dems tpicas en los congresos cientficos, pero que en 1920 llevaban una carga ideolgica inexcusable. Picard engarza con el espritu del progresista siglo XIX, aprovechando la reunin para resaltar el inters del gobierno francs por el progreso de las ciencias. En el Congreso de Estrasburgo, el estribillo que sistemticamente se reproduce en cada reunin de saludar a la noble tierra de... adquira un carcter especial. Porque en este caso particular la noble tierra era Alsacia que, como el propio Picard reconoce, se haba convertido en un smbolo. La consabida retahla de eptetos elogiosos a los profesionales que participan en congresos se ve enriquecida en Estrasburgo por expresiones laudatorias del tipo admirable conducta... en la guerra, la fe patritica que ha contribuido a la victoria comn e incluso, resalta Picard, las huellas gloriosas del herosmo de los ms jvenes. Siempre en su misma alocucin de la sesin de apertura, Picard utiliza la historia de la ciencia para mostrar las races francesas de Estrasburgo, resalta la estancia cientfica en la ciudad alsaciana de Sarrus, Arbogast y Pasteur e incluso relaciona los trabajos de este ltimo sobre la hemiedra y la polarizacin rotatoria con la geometra. Y, tras esta introduccin, Picard seala la necesidad de relacin "entre savants qui s'estiment et qui, sans aucune arrire-pense, n'ont d'autre souci que le culte dsintress de la verit". Y aade que dicha relacin es particularmente til a los matemticos "qui ont parfois montr quelque tendance s'isoler dans des parties trs limites de leur science", pero esto no sera en principio ms que una reflexin vaga de cualquier observador objetivo de la realidad. Donde aparece el primer contrapunto cualificado hacia la posicin programtica de la preguerra es cuando concluye rotundo: "Non, la mathmatique n'est pas la science trange et mystrieuse que se reprsentent tant de gents; elle est une pice esentielle dans l'dification de la philosophie naturelle"(164). Y esta posicin, que hay que sealar historiogrficamente como nueva en el siglo XX, parte de races muy antiguas, como se puede corroborar por lo sealado en las definiciones de los paradigmas griego y lagrangiano. Pero adems es una afirmacin muy francesa, que hubieran suscrito con gusto y sin reservas toda una serie de ilustres gemetras del siglo XIX como Fourier, Hermite, Darboux o Poincar entre otros. La afirmacin de Picard tiene un cierto sabor de afirmacin nacionalista, que se puede comprobar por la marcada preferencia a trabajar con elementos paradigmticos autctonos(165). As, Picard, en su tcito planteamiento reivindicativo del paradigma lagrangiano(166), pero que no puede ignorar ni dejar de englobar los importantes hallazgos de la matemtica del paradigma hilbertiano, insiste en su reflexin afirmando que lo que no es til de la matemtica, la que no se puede aplicar ya, es una consecuencia de la ignorancia del colectivo cientfico. Y para corroborar su tesis invoca por medio del argumento ejemplificador de la historia de la ciencia al espritu de Lagrange (cmo no!), del que recoge una de sus ms directas opiniones:

"Les matemticas sont comme le porc, tout en est bon". Picard termina su primera alocucin al Congreso de Estrasburgo con una hiptesis de futuro, en la que resignadamente admite que siempre habr entre los matemticos incorregibles idealistas que "semblables la femme de l'Evangile, croiront avoir choisi la meilleure part en scrutant les propiets de l'espace, et en analysant dans ses coins les plus subtils l'ide de fonction elle ne leur sera pas te". Si el tono crtico del discurso de apertura es mesurado, debido a que el objeto de sus reflexiones pblicas es la propia matemtica, no ocurre lo mismo en el de clausura, en el que el tono es mucho ms belicoso y directo. Es natural que puesto a decir cosas contundentes eligiera ese orden y que las expresiones ms duras las reservase para el acto de clausura, cuando el congreso, habiendo concluido sus sesiones de trabajo, ya no corra peligro alguno. La clausura era el momento de lanzar tesis concretas no necesariamente moderadas. El argumento bsico del discurso de Picard establece que la bsqueda desinteresada de la verdad ha tomado partido y, por ello, hay que subrayar que en situaciones anteriores de enfrentamiento blico no se haban roto los vnculos entre los sabios de los diferentes pases en conflicto, pero en 1920 la situacin es distinta. Citando las resoluciones de las Conferencias Inter-Acadmicas de los pases aliados de los aos 1918 y 1919, Picard seala(167): "Des crimes sans nom vont laisser dans l'histoire des nations coupables une tache, que des signatures au bas d'un trait de paix ne sauraient laver". Sobre esta tesis, Picard desprende lgicamente que hay que abandonar las asociaciones vigentes del periodo anterior y crear unas nuevas. Entonces cabe preguntarse: dnde se quedan los etreos y melifluos razonamientos que asignaban a las matemticas una situacin por encima del bien y del mal? Y cabe seguir preguntndose si lo que se haba comprometido en los bandos en lucha eran los matemticos, las matemticas o ambas cosas. Se refiere Picard al compromiso de las matemticas -puras o aplicadas, puesto que todas valen- en el servicio de una causa poltico-militar concreta? Parece que s. Ms que una apariencia es una evidencia. Y el planteamiento no es de un matemtico vulgar en una reunin vulgar. Picard es en 1920 uno de los profesionales con ms autoridad en la comunidad matemtica internacional -autoridad ganada en razn de sus descubrimientos matemticos- y la reunin es un congreso matemtico al ms alto nivel. No se trata, pues, de reflexiones superfluas. Las alocuciones de Picard en el Congreso de Estrasburgo son una descarga contra la lnea de flotacin del paradigma hilbertiano, con las que defiende dos causas bien concretas: la primera, servir a su pas; la segunda, terminar con la interesada e hipcrita relativizacin de las matemticas etreas. Y, por si quedara lugar a dudas, Picard sostiene que, como hombres, los sacerdotes de la ciencia de los nmeros y la extensin -por utilizar una manida denominacin- no estn dispuestos a aislarse en una torre de marfil. Picard cerr el Congreso con una referencia concreta al rechazo de insoportables hegemonas en el terreno cientfico y confiando a los sucesores el cuidado de analizar el

sincero arrepentimiento de aquellos que se haban excluido del concierto de las naciones civilizadas. El Congreso de Estrasburgo signific, por s mismo y por el complemento otorgado por las alocuciones de Picard, la prdida de la inocencia de la matemtica institucionalizada en los congresos de la primera dcada del siglo XX. Tras la reunin de Estrasburgo, y aunque no se hiciera excesiva referencia a ello, la produccin matemtica poda ponerse al servicio de una causa tan antiplatnica, en principio, como la guerra o la poltica y, sin lugar a dudas, la importancia de las investigaciones trascenda, aunque no todo el mundo se diera cuenta de ello, al pretendido cerrado contexto de la matemtica del paradigma hilbertiano. Esta presentacin un tanto negativa de la evolucin de las matemticas en el primer tramo del siglo XX, con el colofn en la reunin de Estrasburgo, ha incitado a algunas personas que me han escuchado en ocasiones a replicarme con alguna imagen de unidad inmediata en el mismo terreno. Y, para ello, nada mejor que traer a colacin el Congreso de Bolonia de 1928, en el que se dice que se volvi a sellar la unidad y en el que Hilbert volvi a recuperar el protagonismo con la presentacin de otro impactante trabajo suyo tambin relacionado con sus concepciones ms generales sobre las matemticas. A mi modo de ver el Congreso de Bolonia responde a una idea muy particular de unidad propiciada por la vigencia del fascismo en Italia, existencia nada disimulada, sino todo lo contrario, y en cuyo mbito las lacras condenadas como resultado de la guerra vuelven a campar con una altivez creciente -como la propia historia europea se encarg de demostrar a la vuelta de cinco aos-. Sobre su significado, y aparte de las conclusiones personales que haya podido extraer, quiero presentar alguna impresin ms general, como pueda ser la planteada, sin firma y por lo tanto de responsabilidad ms amplia, en la revista oficial de la comunidad matemtica espaola, la Revista Matemtica Hispano-Americana(168). El Congreso de Bolonia, VIII de los internacionales de matemticos que iniciaron su andadura en Zurich en 1897, tuvo un eco notable por causa de ser un punto de encuentro en un momento, la semana del 3 al 10 de septiembre de 1928, en el que las tensiones de todos los rdenes en el continente europeo eran palpables. El annimo y colectivo firmante de la crnica postcongresual no dud a la hora de valorar como la nota saliente de la convocatoria no ningn sorprendente resultado, conferencia o exposicin, sino un factor harto externalista(169): "la presencia de gran nmero de matemticos de Alemania y naciones a ella aliadas en la guerra ltima". Este hecho no era resultado de consideraciones derivadas de los evidentes mritos internos de los matemticos germanos en las ciencias matemticas, sino de largas negociaciones previas, que supusieron, entre otras cosas, que el Congreso no fuera organizado por la Unin Matemtica Internacional, como era preceptivo, sino por la Universidad de Bolonia, con lo que desaparecan las trabas relativas a la nacionalidad de los congresistas. En dichas negociaciones tuvo un importante papel Pincherle, Presidente del Comit Organizador del Congreso. Este singular congreso cont con una florida sesin inaugural en la que un elenco verdaderamente notable de personalidades(170) de la vida pblica

acompaaron a Pincherle. Fue el Podest quien salud a los participantes en nombre de Bolonia fascista y quien pidi a los matemticos que "contribuyeran a deshacer la atmsfera que contra el fascismo [haban] formado algunos italianos en el extranjero"(171). Saludo que fue amplificado por el Ministro de Instruccin Pblica en nombre del gobierno fascista quien, con crudeza, trasmiti(172) una extendida y muy repetida idea sobre el concepto que algunos tienen de las matemticas, segn la cual la ciencia es aristocracia y la ciencia matemtica es aristocracia entre la aristocracia que debe trabajar lejos de la multitud. A juzgar por la impresin del annimo cronista la comunidad matemtica del ao 1928 fue sensible a este tipo de soflamas, porque tanto las negociaciones mediante las que se saltaron a la torera los estatutos de la Unin Matemtica Internacional como las palabras del ministro fascista fueron muy aplaudidas(173). Hilbert pronunci una de las conferencias generales sobre los problemas de la lgica matemtica que tambin despert expectacin y seguimiento, aunque su impacto en la comunidad matemtica haya sido indudablemente menor que el de la de los problemas futuros de las matemticas que haba ledo veintiocho aos antes en Pars. Una ltima consideracin sobre la vigencia del paradigma hilbertiano vendra de su confrontacin con la realidad vivida en los pases emergentes del tercer mundo en fechas posteriores a la Segunda Guerra Mundial. Paulus Gerdes, siguiendo un sendero por el que camina un nutrido conjunto de matemticos crticos(174), enuncia con rotundidad(175) uno de los problemas ms evidentes que ha tenido, en la segunda mitad del siglo XX, el marco programtico de referencia universal: "Os fracassos da introduao da Nova Matematica nos pases do Terceiro Mundo obrigaram a uma reflexao profunda". Este enunciado y esa reflexin profunda, que se extiende a territorios concretos del primer mundo, permitira caracterizar la matemtica sacralizada en el primer tercio del presente siglo con atributos tan precisos como el imperialismo y el colonialismo o, como mnimo, con la aspiracin indisimulada de dominacin de la mayora del planeta por parte de una minora que como exponente de su distincin podra exhibir una incontestable superioridad en una ciencia tan objetiva como las matemticas. Esta realidad, evidente en trminos planetarios, se hace tambin patente dentro de los propios pases ms ricos, donde las matemticas juegan un papel primordial en la seleccin de lites, proceso en el que han sustitudo a las lenguas clsicas.

6. El problema de la modernidad
Ya he hecho referencia anterior a la justificacin de Bzout, copiada por Bails, sobre las peculiares relaciones de dependencia de las matemticas puras y las matemticas mixtas en

el siglo XVIII. Las primeras se hacan para desarrollar las segundas, ms prximas al bienestar de los mortales y, por lo tanto, de reclamo ms consistente que las especulaciones puramente tericas. Con riesgo de ser tildado de sustentar una concepcin obsoleta, por remontarme, como ejemplo analgico, a dos siglos atrs, debo declarar que tambin mi pensamiento me incita constantemente a considerar si los elementos tericos que pueda elaborar tras un proceso de reflexin sirven para algo ms que para satisfacer mi personal egolatra. Si he gastado mi tiempo en estructurar este modelo ha sido, como he sealado hace muchas pginas, para poder estudiar con un mnimo rigor un problema recurrente de la historiografa matemtica -y no slo matemtica- espaola: el problema de la modernidad de su produccin. Espaa es un curioso pas en el que, a pesar de que vox populi se considera que ha tenido una produccin cientfica bastante limitada a lo largo de la historia, se ha generado una Polmica sobre este tema caracterizada por una notable irritacin e irascibilidad de los contrincantes. Principalmente los sucesos intelectuales del ltimo cuarto del siglo XIX(176) giraron en torno a los mritos -evidentes, nulos o dudosos, segn quien los considerara- de los matemticos espaoles desde el siglo XVI. Y en el anlisis de esos mritos emergi como una amenaza que se cerna sobre cualquier autor u obra una pregunta concreta: la pregunta de la modernidad. Esto es: dada una obra y un autor se impona como primera y, por los hechos, nica cuestin a dilucidar si aquella era moderna o no. Naturalmente haba que definir lo que era o no moderno, cuestin en la que se gast algn tiempo, porque los primeros contendientes o no eran cientficos o no eran historiadores, oponindose generalmente como argumento listados ms o menos largos de autores y obras, en un caso espaolas y en el otro no espaolas(177). Con semejante artillera conceptual no es extrao que la querella se hiciera enormemente larga y diera ocasin a intervenir a personas potencialmente interesadas de varias generaciones y de variada condicin profesional. As, si la polmica se inici con presencia preferente de polgrafos formados en el campo de las humanidades acadmicas ms tradicionales y alguna incursin, punzante y breve, desde la tribuna de la Academia de Ciencias, en el entorno del cambio del siglo los cientficos aparecen en varios escenarios dando su opinin ms extendida y supuestamente ms experta. Por la parte crtica, el primero en enarbolar la bandera de las listas de autoridades extrajeras fue el ingeniero, poltico y Premio Nobel de Literatura, Jos de Echegaray, que aprovech su discurso de entrada en la Academia de Ciencias para asentar su posicin(178). Con el retorno de los Borbones al trono de Espaa en 1875 en la persona de Alfonso XII, los tintes se suavizaron un tanto y las estridencias del momento prerrevolucionario se intentaron matizar. Son conocidos como puntos de referencia sistemticamente recurrentes dos famosos trabajos, el del ingeniero y catedrtico de la Universidad Central Gumersindo Vicua(179) y el de quien a la vuelta de un cuarto de siglo sera el primer Premio Nobel espaol de Medicina, Santiago Ramn y Cajal(180). En este momento histrico, la Restauracin, fue cuando las posiciones tradicionalistas, una vez pasado el susto del Sexenio Revolucionario (1868-74) pasaron a la carga. En matemticas el tema de los listados de libros espaoles correspondi a Menndez y Pelayo -que trabaj en el tema durante una dcada- entre los polgrafos(181) y casi al final de siglo al catedrtico del

Instituto Cardenal Cisneros de Madrid, Acisclo Fernndez-Valln -que dedic su trabajo al siglo XVI-, entre los matemticos(182). Por supuesto la lista es mucho ms larga y las referencias a la polmica sobre la ciencia espaola son omnipresentes en el abanico de publicaciones cientficas, tcnicas e incluso de informacin general en toda esta poca. Lo ms lgido del enfrentamiento vino tras dos dcadas de un relativo intento de acometer el problema de la historia de las matemticas con modestia y con una cierta objetividad, a veces un poco hagiogrfica, pero que aspiraba a presentar tal cuales eran los hitos del pasado matemtico espaol. Bien es verdad que el impacto intelectual que supuso la prdida de las ltimas colonias americanas (Cuba y Puerto Rico) y asiticas (Filipinas) templ en buena medida los altisonantes recordatorios de pasadas grandezas imperiales e incit a los espritus ms conscientes a mirar hacia dentro del pas y a contar con herramientas como el trabajo para regenerar el decadente y atrasado rumbo iniciado a comienzos del siglo XIX. Y as estaban las cosas cuando apareci en escena un joven brillante que en un perodo de tiempo significativamente breve no slo alcanz el ltimo peldao del escalafn profesional sino que era catedrtico de Madrid antes de cumplir los veinticinco aos. Se trata de Julio Rey Pastor, que al ser encargado de preparar el discurso inaugural del curso acadmico 1912-13 de la Universidad de Oviedo, a cuyo claustro acababa de acceder, quiso poner el punto final a la controversia sobre los mritos cientficos de los matemticos del llamado Siglo de Oro espaol. Prepar el discurso pero, en un gesto premonitorio de lo que sera su vida profesional, ni se molest en ir a Oviedo a leerlo y se lo encarg a otro colega. Tres aos ms tarde, y con motivo de pronunciar el discurso inaugural de la Seccin de Ciencias Matemticas del V Congreso de la Asociacin Espaola para el Progreso de las Ciencias, quiso tambin sealar el lamentable estado en que haba encontrado la matemtica espaola cuando l haba llegado a la profesin. Estos dos discursos(183) marcan un hito en el debate del problema de la modernidad de la ciencia en Espaa. Sobre ambos trabajos de Rey Pastor hay ya una pequea literatura monogrfica(184), tanto desde la perspectiva hagiogrfica lisa y llana que da por bueno todo lo que dijo este gemetra, como de la perspectiva crtica, que da por bueno lo que entiende por bueno, por criticable negativamente lo que parece negativo y, sobre todo, no pretende hacer oficio a base de vestir santos con prendas que no les acompaan. La tesis de Rey Pastor en ambas piezas literarias es fcil de retener. En lo tocante al siglo XVI, y en general a todas las obras de matemtica espaola de la Edad Moderna, se limita a elegir algunas que considera claves -paradigmticas, deberamos decir aqu- y comprueba su seguimiento en los textos hispanos inmediatamente posteriores cronolgicamente, a los que dirige su implacable ojo crtico. Si ni en la cubierta del libro, en su cabecera o en el ndice aparecen rastros evidentes de haber caminado detrs de Pacioli, de Cardano, de Vieta o de quien corresponda, el libro en cuestin es arrojado, sin ms prembulos, a la basura de la historia con el estigma de haber nacido carente de modernidad. En lo que respecta a la poca contempornea, el siglo XIX, el planteamiento consiste en elegir una serie de teoras elaboradas en esa poca y patroneadas por sonoros nombres -Cauchy, Riemann, Weierstrass- y afirmar que en Espaa se ignoran. Tanta tosquedad procedimental y semejante falta de profesionalidad, ya que no tuvo tiempo de leer -ni siquiera con ligerezalos textos renacentistas -algunos escritos en latn retrico- y del siglo XIX lo que saba era de odo, le obligaron a corregirse en las varias ocasiones en que volvi sobre el tema y a recibir crticas, a veces cidas(185), sobre sus apreciaciones de otros historiadores ms

prudentes. Por supuesto, la matemtica era planta rara que creca en el limbo social, sin ningn vnculo de relacin con cualquier cosa que le fuera ajena. No es el momento ni el tema de entrar en la diseccin de esta argumentacin, por otra parte nada extica en el mundo de los matemticos que se meten a historiadores. En el seno de esta disciplina ha sido bastante usual proceder a reducir el territorio para simplificar el campo de investigacin. La va de trabajo, ya lo he sealado antes, se ha basado en la bsqueda del genio -si perteneca a uno de los siete pases ms ricos del mundo, el famoso G7, mejor- para, sobre la base cimentadora del trabajo de algunas docenas de matemticos de los veinticinco ltimos siglos, construir el prodigioso edificio de la matemtica de todos los tiempos. Con esta poltica se matan literalmente de hecho dos molestos pjaros de la historia. Por una parte toda la ciencia colectiva, la matemtica sin autor intuible, el fondo cultural de las diferentes civilizaciones y de los diferentes medios tnicos. Por otra pueden marginarse todos aquellos gemetras que no hicieron nada genial en sus vidas profesionales. Esta concepcin, ms extendida de lo que sera de desear, es, adems de histricamente suicida para muchos de sus sostenedores, por un lado, incorrecta y por el otro, falsa. Lo incorrecto del planteamiento tiene dos facetas bastante claras que proceden de una transgresin conceptual tambin bastante habitual. Se trata de la trasposicin -elija el lector si mecnica o simplemente irreflexiva- de los criterios y valores actuales a pocas suficientemente alejadas en el tiempo y en el espacio(186) que da como resultado distorsiones del objeto y de su entorno completamente deformadoras. Esta transposicin(187), normalmente criticada y por lo tanto normalmente advertida, es ms usual de lo que la buena teora de la historia recomienda sobre todo en dos campos concretos, el de la valoracin de las obras en s, en sus coordenadas adecuadas, y el de las comunicaciones. Las sucesivas historias de las matemticas, desde que en el siglo XVIII se comenz a intentar reconstruir el hilo evolutivo de los acontecimientos, han ido produciendo un sucesivo precipitado histrico de obras maestras, importantes, singulares, destacadas, meritorias, y un largo etctera. Confrontar cualquier otro trabajo con alguna de esta piezas supone pasar por encima de dos condicionantes no por evidentes menos olvidados. La primera distorsin del objeto proviene de la adjudicacin del carcter de obra de relevancia general en el mismo momento de su edicin y, con ello, de la eleccin como modelo y testigo de comparacin contempornea. Slo en el caso de corroboracin de teoras asimiladas intuitivamente sera vlida esta posicin, como sucedi, por ejemplo, con los desarrollos del newtonianismo una vez que ste se acept como referente exento de impiedad(188). Pero cuando se trata de alumbrar nuevas ideas, aun en el caso de libros que hayan tenido aceptable difusin y pasando por alto a su vez otras barreras tcnicas, como las de la torre de babel lingstica, la aceptacin por parte de la comunidad lleva un tiempo ms o menos largo para proceder a su digestin. Obras relativas a aspectos importantes, de las que se hacen esperar, como los trabajos de Cauchy de la dcada de los veinte sobre clculo infinitesimal(189), por no hablar del particular viacrucis de George Cantor(190) con la formulacin abstracta de conjuntos, tardaron bastante en ser asumidas como referentes bsicos por la generalidad de los matemticos, incluidos autores bien eminentes. En el caso de Cauchy podra poner varios ejemplos. Quizs el ms elocuente sea la persistente

pervivencia en Francia y otros muchos pases de los tratados de clculo de Lacroix(191) a pesar del pretendido impacto del riguroso planteamiento programtico de Cauchy y abstraccin hecha de la muy razonable apreciacin de la falta de originalidad de Lacroix(192). Otro ejemplo significativo podra venir de la presentacin que un acadmico, en su poca prestigioso, como Joseph Bertrand -por ms que el tiempo haya pasado por encima de su figura con una cierta dureza- haca a propsito de las notas de la tercera edicin de la Mcanique Analytique de Lagrange(193): "En lisant les notes trs courtes places au bas des pages, on verra cependant qu'un assez grand nombre d'inadvertances subsistaient dans la deuxime dition. J'ai cru devoir les signaler. Mais cette critique minutieuse, qui porte parfois sur le sens d'un mot ou sur quelques termes d'une formule, n'implique dans aucun cas l'ide d'une opinion oppose celle de Lagrange, et que j'autais la hardiesse de proposer au lecteur"(194). No habra ms que recordar la cita sobre la opinin de Lagrange sobre los infinitamente pequeos, que he recogido al tratar del paradigma al que he adjudicado su nombre, y retener el ejemplo que hemos puesto del libro de Cauchy, un compaero de corporacin todava vivo, por otra parte, para convenir que la asimilacin de obras relevantes no es automtica ni siquiera para los miembros de las instituciones cientficas ms al da. En lo que respecta al caso de Cantor, no creo que haya alguien que se atreva a considerar a Kronecker matemtico mediocre medido en las unidades de referencia que se quiera. Estas ideas no quieren ser ms que un apunte que podra extenderse muchsimo ms y que corroboraran mi aserto de que las obras verdaderamente definitivas de la historia de las matemticas son merecedoras de tal denominacin muchos aos despus de ser escritas. Por lo tanto, ponerlas como elemento comparativo en los anlisis de terceros es una transgresin incorrecta. La segunda de las posiciones distorsionadoras proviene de una cuestin tan elemental como los problemas tcnicos de las comunicaciones. Ni siquiera ahora, momento en el que, segn todos los analistas, estamos viviendo una revolucin en los sistemas de comunicacin -ya que las revoluciones vinculadas al mundo del dinero son siempre las que mejor se aceptanla recepcin y aplauso masivo de y sobre temas cientficos en mbitos suficientemente informados es automtica. Ahora, a pesar de los artefactos tcnicos que nos facilitan mucho ms la tarea -donde los hay- tambin se tarda en recibir informacin valiosa por las ms diversas razones. Con todo, aplicar esquemas de nuestro tiempo, o simplemente desde que se generalizara el sistema de correos por timbre postal, a cualquier otro momento de la historia es una falacia considerable. La comunicacin en la ciencia ha sido siempre un problema de primer orden, ya que la difusin de los libros cientficos desde la aparicin de la imprenta no ha tenido en todo momento canales difanos. Eso, cuando la ciencia ha usado como vehculo el libro impreso, lo que no siempre ha ocurrido, o se ha expresado en lengua aceptada como asequible en la comunidad cientfica. El problema de la comunicacin ha sido una condicin de dificultad importante(195) a lo largo de la historia que hay que tener presente a la hora de juzgar el nivel informativo de algn autor. Qu proceso pudieron llevar los impresos de Regiomontano, la Summa de Pacioli, los libros gticos del XVI o los textos del XVII a la hora de servir de partitura obligada para la adscripcin de la modernidad? Si en el siglo XIX hay casos tan flagrantes como los de Galois o Bolzano, que conocemos bien porque encajan perfectamente en el modelo

matemtico adoptado en los dos primeros tercios del siglo XX, qu otros silencios han podido existir realmente en la historia y que nosotros, en nuestra prepotencia informativa, pasamos olmpicamente por alto? En el problema de la comunicacin hay un maniquesmo deformador a veces irritante(196). La solucin de este enfoque deformador del anlisis histrico debe pasar por tener en cuenta un tiempo de espera para el conocimiento y valoracin de toda la produccin matemtica que se acepta como punto de referencia por la generalidad de los presuntamente implicados en su mantenimiento y desarrollo, factor que debe condicionar el juicio que se vierta sobre una determinada obra. Mas he afirmado que adems esta concepcin de la historia de las matemticas es falsa, aserto un poco fuerte, ya que puede aplicarse a buen nmero de las historias generales de las matemticas que se han escrito. Por eso requiere una explicacin cuidadosa. Es falsa porque no responde a la realidad. Las matemticas, hasta el primer tercio del siglo XX, insisto, no pueden considerarse un ejercicio intelectual de unas pocas docenas de genios que, a veces en sus ratos libres, han enriquecido el acervo cultural de la humanidad con algunas brillantes aportaciones. S, por supuesto, perfectamente, que el oficio de o la aficin por las matemticas no han sido un elemento perturbador de masas que haya desatado pasiones en las amplias mayoras de los pueblos. Las matemticas slo renen masas ahora, gracias al desarrollo de los sistemas educativos en la mayora de los pases del mundo, aunque todas esas dignsimas personas no hayan sido matemticos para profesionales como Dieudonn. S que en la antigedad los hombres libres que tenan recursos econmicos y rareza social como para dedicarse a este menester debieron ser forzosamente escasos, y me imagino que en la Edad Media no hubo de haber multitudes que se dedicaran a trabajar en un rea de conocimiento extraa dentro de un campo de saberes en principio hostil, a pesar de que fuera demostrando progresivamente su utilidad para ir resolviendo problemas de la vida cotidiana. Lo que ya me resulta ms difcil de encajar es que, a partir del Renacimiento, en el que la vida cotidiana se complica lo suficiente(197) como para demandar expertos que entiendan de los asuntos matemticos y que stos enseen e incluso escriban sobre ellos, se siga defendiendo un estatuto exageradamente minoritario. No creo que sea correcto gasear intelectualmente a la inmensa mayora de matemticos de todos los tiempos simplemente porque no han sido genios. La mayora, a su vez, de los matemticos que en la Edad Contempornea han adoptado y adoptan esta posicin, Rey Pastor incluido(198), tampoco lo han sido, ni lo son, ni lo sern, y aqu es donde encaja la tesis de la concepcin suicida: si un profesional de las matemticas considera que esta disciplina es slo asunto de genios y l/ella, habindose preparado para ello, advierte que no lo es, si es intelectualmente honrado/a, no le queda ms camino que la inmolacin. La actividad matemtica, especialmente desde el siglo XVIII, es asunto de una comunidad progresivamente numerosa en la que, como en las constelaciones del firmamento, hay estrellas de todas las magnitudes y todas cumplen su funcin iluminadora. Condenar al infierno de la indiferencia o del olvido a los autores que cada generacin resumen y ponen a disposicin de sus conciudadanos los avances de esta ciencia con honestidad y modestia ni responde a la realidad -por eso es un enfoque falso- ni es decente. Y esa comunidad, en casi todos los pases, se ha movido intelectualmente ms lentamente que la vanguardia de los

creadores ms activos. Esa comunidad adopta o rechaza miembros en funcin de categoras ms planas -como anttesis a saberes de punta- que las avanzadillas de los ms listos. Adems est el escalafn. Si las personas no son iguales tampoco los pases son iguales. En cada momento de la historia puede haber un primero, un quinto y un sptimo. Uno de los defectos en que muchos podran escarmentar en cabeza ajena -en este caso espaola- es que a la larga no conduce a ninguna parte la obsesin por ser el primero en todo y siempre. Es imposible y frustrante. No es nimo de aplanar la historia para permitir la entrada en ella de las masas de menos dotados intelectualmente para el oficio de matemtico, sino de reconstruir la historia real de las matemticas contando con las condiciones iniciales y de contorno tambin reales. Lo realizado hasta ahora slo indica que la historia de las matemticas est todava a un nivel bastante bajo en el que slo ha habido tiempo de estudiar algunas de las grandes luminarias del firmamento matemtico, faltan todava muchas de primera magnitud y casi todas las restantes. Un ltimo apunte sobre el particular: quien esto escribe considera que los genios no surgen de la nada. A condiciones personales excepcionales se han unido, en cada caso, cuadros ambientales de soporte que han favorecido decisivamente la produccin y difusin de las realizaciones ms destacadas. La perspectiva global y omnicomprensiva de todos los elementos debe resultar enriquecedora de los anlisis y sntesis que se lleven a cabo sobre el hecho matemtico en cada momento de la historia. Concluyendo, no me parece convincente la metodologa que se restringe a analizar las ms brillantes obras de los ms prodigiosos autores para enjuiciar la construccin de la ciencia y para valorar al resto. Si ese criterio hubiera sido el efectivo en la situacin cotidiana de la ciencia, muchos de los que se han reclamado y reclaman cientficos se veran privados de esa categora y les dolera ser tenidos por escoria. Por eso propongo un cambio drstico en la consideracin de la valoracin de las producciones matemticas, que sera trasladable a otros campos de la ciencia con ciertas modificaciones. Es cierto que con el modelo que voy a exponer a continuacin an quedara un fleco para m difcil de encajar, el de los elementos autctonos, propios de cada cultura y civilizacin local, que en definitiva son tambin un elemento ms de modernidad por la va de adaptacin al medio(199) de cada sistema cientfico, toda vez que para m el pensamiento cientfico es una componente inexcusable de la cultura de los pueblos, por ms que haya protagonistas que se obstinen en escaparse de sus races. El rotundo cambio que propongo no tiene por objeto enjuiciar valores absolutos, ya que est por ver si se conserva el teorema de Bolzano-Weierstrass en compactos definidos por intervalos cronolgicos de historia humana e incluso si la funcin produccin cientfica es continua, sino elegir como punto de referencia lo que responde a lo que el buen sentido ha decantado como positivo en la evolucin humana: los rendimientos medios, que a la larga es lo que marca el progreso positivo de las civilizaciones, de las economas y de las polticas. La experiencia histrica del siglo XX ser muy ilustrativa respecto al hecho de que son precisamente este tipo de polticas de conservacin de la media las que mejor protegen la posibilidad de situaciones singulares excepcionales(200) y son adems las que no producen daos irreparables a los que, queriendo escalar hasta los primeros peldaos de la escala, fracasan en el intento.

El propio sistema cientfico ha tomado en consideracin muchas veces el criterio de la valoracin de los rendimientos medios como aspecto positivo de mayor calado para el enjuiciamiento de los procesos de todo orden que definen o explican situaciones cambiantes en el tiempo. Siempre he recordado el impacto que me produjo la lectura, en el libro de Samuel Lilley(201) Hombres, mquinas e Historia, de la reflexin comparativa entre el mundo clsico y el medieval que, desde la perspectiva de nuestra poca, se presentan, en muchas ocasiones, homologados, cuando no -como en el caso de las matemticas- en evolucin negativa. Lilley razona as en el tema de la comparacin entre los dos estadios histricos(202): "Muchos historiadores de la cultura han llevado su preocupacin nica o principalmente a (...) parciales aspectos de la civilizacin y, por consiguiente, han visto la Edad Media slo como una Edad de las Tinieblas, en la cual la civilizacin habra perecido, realizndose slo escasos y muy limitados progresos hasta que, mediante un mgico Renacimiento, los hombres hubiesen vuelto a descubrir las artes y las ciencias elaboradas en Grecia y Roma y se verificase el retorno a la civilizacin". Y contina: "Pero debe ser recordado que el arte, la literatura y la ciencia terica en el mundo antiguo eran prerrogativas de unos cuantos hombres ricos y ociosos. No podan ser estimados como ndice del nivel alcanzado por la civilizacin en aquellos tiempos. Si dirigimos la mirada hacia ms all de ellos y consideramos la forma en que viva la humanidad en general, hallaremos un cuadro muy diferente de la Edad Media; se ofrecer ante nosotros como un perodo de renovado avance despus de una poca de relativo estancamiento. El nivel de una civilizacin ha de medirse no solo tomando en consideracin las cimas alcanzadas por la cultura intelectual, sino tambin el nivel de vida del pueblo en su conjunto"(203). Ese es un punto de vista, a mi modo de ver acertado, para enfocar el problema de la evaluacin del progreso sostenido general de una civilizacin o de una comunidad particular, como es la matemtica. Claro est que es obligado hacer una aplicacin del caso general al particular, porque el escenario que se contempla en este trabajo est definido por el universo de lo matemtico y ese conjunto forma parte del panorama de la cultura intelectual. As, siguiendo a Lilley, si las altas cimas de la cultura intelectual no representan informacin suficiente para definir a una civilizacin, tampoco las altas cimas de la cultura matemtica en un momento dado de la historia pueden representar de manera adecuada el nivel de desarrollo y modernidad de toda la comunidad que trabaja en esta parcela del conocimiento. De hecho, en la ya larga historia de la humanidad hay muchos captulos que deben estudiarse sin referencias nominales, cual es, por ejemplo, el caso de las matemticas mesopotmicas, sin que este aspecto sea obstculo para poder construir un juicio ponderado sobre el nivel de desarrollo del saber en un espacio humano sin figuras. En muchos otros, en los que lo que se sabe es la mera grafa del nombre de un autor, tampoco aporta gran cosa saberlo, y debe sustituirse el anlisis comprensivo del evento histrico correspondiente por referencias de carcter general a la poca, las escuelas o al estudio interno de las distintas producciones cientficas.

Y no se piense que sta es una realidad asimilable a perodos ms o menos antiguos de la historia humana en los que el paso del tiempo ha borrado las huellas de sus ms selectos protagonistas. En primer lugar no es verdad, porque en las culturas de la edad del bronce antedichas o en otras ms recientes, hay un buen nmero de nombres de la cultura o del arte que se conocen mejor y que constan de muchos ms rasgos de identificacin. En segundo lugar, porque hay sistemas en los que las posiciones extremadas quedan casi automticamente autoexcluidas. Las complejas y ricas culturas del Extremo Oriente son un claro ejemplo de la afirmacin anterior. Nadie que tenga un mnimo de sensibilidad intelectual se atrevera a desdear las construcciones intelectuales de estas culturas milenarias -incluida su ciencia- aunque sus protagonistas hayan quedado manifiestamente desdibujados en el curso de la historia y esa prevencin hacia los extremos sea perceptible en las colas de la distribucin normal en tiempos bien recientes e incluso actuales. Mas no slo estos casos que podramos decir que se distinguen por su peculiaridad son explicativos de la ley de los rendimientos medios. Cuando se ha evaluado en todo el mundo occidental el fenmeno -varias veces aludido en este trabajo- de las llamadas matemticas modernas y de su fracasado saldo, los analistas de las cuestiones de educacin, los responsables de polticas educativas, los pedagogos y expertos en didctica o los meros matemticos que se han atrevido a enunciarlo, no tenan en la mente a ningn genio. Normalmente los genios no fracasan en lo suyo. La experiencia de la introduccin prematura de la abstraccin matemtica en los sistemas de enseanza de casi todos los pases del mundo a lo ms que ha llegado ha sido a personificarse en un Juanito sin cara(204) y sin otros atributos que los de ser un nio normal escolarizado. Naturalmente, en la dcada de los sesenta y de los setenta, que es cuando surgi semejante sensacin, los congresos internacionales de matemticos seguan reunindose y entregando los preciosos galardones Fields a colegas enormemente inteligentes que no slo no haban tenido ningn problema con las llamadas matemticas modernas sino que haban alcanzado las ms altas cimas del ejercicio profesional y de la capacidad creadora. Y otros, sin llegar ni mucho menos a tanto, tampoco tuvieron problemas en alcanzar sus pertinentes titulaciones y ejercer su profesin incluida la de matemtico- con total competencia. Lo que detect el fracaso de la aplicacin de un tipo matemticas a etapas tempranas del aprendizaje fue la disminucin de la media de los rendimientos obtenidos por conjuntos suficientemente amplios de nios y jvenes de todo el mundo. Las mismas matemticas proporcionan a veces analogas sugerentes para enjuiciar este tipo de problemas. Cuando se complica el aparato, no por capricho del autor sino, a la manera de Riemann, para intentar abordar problemas del mundo real, hay que complicar tambin el conjunto de datos que garantice la obtencin de solucin nica de un determinado problema. A veces, como ocurre con las ecuaciones diferenciales, slo se estiman como problemas bien definidos -dicho en otros trminos que ponen un tanto nerviosos a algunos amantes de la pureza doctrinal, fsicamente bien puestos- los que aseguran la existencia de una solucin nica que adems dependa de forma continua de los datos. Por qu no habr que aplicar el mismo procedimiento para afrontar la solucin de un problema histricamente bien planteado que sera de desear que tuviera conclusin nica que dependiera de todos los datos que deben intervenir en su enunciado? Ya s, por supuesto, que los problemas no pueden afrontarse de una forma extensa y sin matices y que hay que

prepararlos -aislarlos- para que puedan ser sometidos al anlisis de los expertos, pero esas simplificaciones o arreglos no suelen empaar la generalidad del apetecido resultado. El concepto de modernidad tiene, como las complicadas situaciones que se abordan en el anlisis matemtico superior, una gama importante de matices que se tratan segn la propia ideologa general o la lnea de pensamiento matemtico le d a entender al correspondiente autor de turno en cada momento. Las obras culminantes que como hitos se van colocando a lo largo de la historia de las matemticas sirven para delimitar el camino y para construir un modelo fcil. En el modelo que yo propongo de atender a las medias estos hitos han de jugar el papel de elevar ese rengln intermedio, pero nunca podrn suponer la nica referencia comparativa. Plantear un ejemplo que me sugiri la lectura de la conferencia de Mittag-Leffler(205) en el tantas veces mencionado II Congreso Internacional de Matemticos sobre una prueba de la honestidad de Hermite -que fue, durante las dcadas finales del siglo XIX, uno de los emblemas de la comunidad matemtica francesa-. Segn este testimonio, Hermite habra recomendado al joven Mittag-Leffler irse a Berln, en lugar de quedarse en Pars, para trabajar en el seminario de Weierstras si quera progresar decisivamente en matemticas. El sabio matemtico sueco lo contaba as: "Weierstrass tait alors (1870) en passe d'tre consider, tant en Allemagne qu' l'tranger mme, comme le savant qui avait su pntrer mieux qu'aucun de ses contemporains les nigmes les plus caches de l'Analyse. Trois ans plus tard, je vins Paris suivre le cours d'Hermite; je n'oublierai jamais la stupfaction que j'eprouvai aux premiers mots qu'il m'adressa: Vous avez fair erreur Monsieur, me dit-il; vous auraiez d suivre les cours de Weierstrass Berlin. C'est notre matre tous". Hermite tait Franais et patriote; j'appris du mme coup quel degr aussi il tait mathmaticien"(206). Aireado suficientemente este consejo en un momento en el que Alemania tena conocidas aspiraciones hegemnicas en el mundo, y no slo en matemticas, se acu enseguida la impresin de que las matemticas modernas y la ciencia moderna en general eran asunto germano, al que las restantes comunidades cientficas seguan como podan. Los alemanes producan ms que los dems y seguramente mejor. Los ncleos de Gttingen y Berln, fundamentalmente, inundaban de ciencia positiva impresa los anaqueles de las bibliotecas de todas las universidades del mundo que quisieran aspirar a un cierto prestigio en matemticas y en casi todo. Weierstrass, Hilbert, Dedekind, Cantor, Klein, Zermelo y una larga lista de primersimas figuras bastaban y sobraban para demostrar el aserto. Hasta tal extremo que otras figuras igualmente rutilantes o ms, y para no equivocarme citar solamente a Poincar, quedaron en su tiempo un tanto empequeecidas ante la pltora emergente de la ciencia alemana. La resistencia a aceptar esa realidad vino ms, en ocasiones, de causas ideolgicas o polticas que de un anlisis desapasionado y riguroso del asunto. Aunque, naturalmente, en los momentos de mayor tensin -o sea en los entornos de los perodos blicos- el conflicto surgi pletrico de aristas, entre las que se encontraba tambin la ciencia. Enormemente ilustrativa de esta situacin resulta la lectura de un libro del Dr. Achalme que lleva el expresivo ttulo de la ciencia de los civilizados y la ciencia alemana, publicado en 1916(207). En este libro, bendecido por el prlogo del Presidente de la Academia de Ciencias de Pars, quien no vacila en sealar su agradecimiento a M. le Dr. Achalme, por haber

"mis bien en vidence l'injustice jalouse et voulue des Allemands l'egard de la Science franaise"(208), adems del reivindicativo florilegio galo, se contiene una respuesta, de un cientfico tan eminente como Wilhem Ostwald, autoexplicativa de la carga ideolgica con la que se trazaron los esquemas conceptuales a los que estoy aludiendo. As, en este libro, Ostwald dice(209): "L'humanit s'lve de l'tat de hordes l'individualisme et de l'individualisme l'organisation. Les Franais et les Anglais (les Russes et les Italiens sont prendre en moindre considration ce point de vue) croupisent politiquement et scientifiquement dans l'individualisme, parce qu'il leur est avant tout impossible de comprendre le progrs par la Kulture qui consiste dans l'organisation. C'est pourquoi ils confondent celle-ci avec l'tat de hordes et sont incapables de concevoir la base de notre supriorit, qui consiste en ce que nous avons ateint la haute Kulture organisatrice"(210). Con estos mimbres ideolgicos no debera causar extraeza que el cesto histrico que se ha compuesto haya clasificado la grandeza de los cientficos por el color de su pasaporte y haya incluso expulsado al informe estado de horda a la inmensa mayora de la humanidad pensante. Dicho esto, y volviendo al tema, no ser yo quien niegue la apreciacin de la importancia objetiva de la matemtica alemana desde mediados del siglo XIX y hasta la subida al poder de los nazis. Lo que s negar es que, por lo menos los franceses, esto es, los Poincar, Hermite, Darboux, Borel, Lebesgue, etc., y sin duda alguna muchos ms franceses o extranjeros, eran tambin capaces de crear matemticas de todas las categoras, estaban en condiciones de entender las realizaciones cientficas alemanas y enseaban matemticas del correspondiente nivel en toda la estructura educativa, a la que iban incorporando -a veces con malos resultados, como se ha ido demostrando a lo largo del siglo- los aspectos nuevos que se consideraban convenientes. Naturalmente en Francia, como en casi todos los pases del mundo, esta gama de posibilidades no ha dependido de una forma estrecha de la voluntad de sus propios cientficos, sino de cmo evolucionaran los acontecimientos en el orden poltico-social. Pero, a la pregunta eran modernas las matemticas francesas de las dcadas finales del siglo XIX y comienzos del XX? mi respuesta es clara: s. He elegido este ejemplo porque me conviene para mi argumentacin, ya que no creo que haya ninguna persona culta que sabiendo, aunque sea por encima, algo de la historia contempornea de las matemticas, no est de acuerdo en que mi respuesta respecto a la modernidad de las matemticas francesas es correcta. Por lo tanto, la modernidad no ser funcin exclusivamente dependiente del grado de originalidad de una produccin matemtica ni de la estimacin de la envergadura de unos resultados. Poincar o Klein miraban con recelo(211) el irresistible ascenso de las estructuras abstractas y de la axiomatizacin, aunque no creo que haya nadie que se atreva a dudar de que ambos las conocan y eran capaces de entenderlas. Simplemente se dedicaban a otros asuntos que les parecan ms interesantes entre los que, por cierto, se encontraban la filosofa de las matemticas en el caso de Poincar y la historia y la didctica de las ciencias en el del alemn -y, en ste, casi en exclusiva-. O sea, que Klein, quien al acabar exhausto tras su

carrera dialctica con Poincar a cuenta de las funciones meromorfas cambi el rumbo de su vida profesional hacia la historia y la didctica, al tiempo que su relacin con las matemticas de expresin simblica se reduca al trabajo de las clases, era o no era moderno? No creo que haya tampoco ningn bravo analista que se atreva a colocar sobre la estela del gran Klein apostilla negativa ninguna para ninguno de los periodos de su vida profesional. Si esto es as, admitido como axioma que los matemticos y los historiadores de las matemticas no son unos cnicos que puedan pronunciarse sobre hechos y autores por razones ajenas a la estricta ciencia, significar que tambin puede admitirse que ni siquiera la expresin de ciencia simblica es necesaria para que un matemtico pueda considerarse moderno, y segn el axioma con el que acabo de sustentar mi teora, esto podr ser aplicado a no importa qu matemtico de no importa qu pas en no importa qu poca. Garca de Galdeano se atrevi a escribir la cruda verdad de la verdadera importancia del trabajo cientfico. As en su personal anlisis de 1913 del peculiar curso que imparta en la Universidad de Zaragoza escribi(212) que saber pensar vale infinitamente ms que expresarse con tales o cuales smbolos. Con estos ejemplos pretendo mostrar que la adscripcin de modernidad como elemento clave para justificar atencin e inters por parte de los historiadores debe pasar por elementos ms objetivables que el subjetivismo hasta ahora habitual. Y en este sentido entiendo que un esquema como la referencia al uso de los paradigmas matemticos universales puede ayudar en esa direccin de forma significativa. Aclararemos un poco esta afirmacin. Los paradigmas matemticos universales representan el ncleo del saber matemtico general en un determinado instante dentro de una determinada poca. Suponen, como he intentado explicar ampliamente ms arriba, el conjunto de ideas que asumen como referencia la generalidad de los personas implicadas en el mantenimiento, difusin y desarrollo de la disciplina. Se trata, por tanto, de ideas bsicas y no de las aportaciones puntuales que en el seno de una rama particular van haciendo avanzar esa parte y el todo. El enunciado de solamente tres paradigmas implicar, si la teora camina en una direccin de aceptacin razonable, las adecuadas matizaciones intermedias que expliquen el encaje de los paradigmas y los procesos de preparacin de lo nuevo y sustitucin de lo viejo. Es obvio que los procesos de articulacin de los paradigmas necesitarn de un enriquecimiento ms detallado. Caso especial supone el paradigma griego, no tanto en lo referente a la antigedad clsica y el perodo medieval islmico y cristiano, sino a los dos largos siglos de transformaciones que genera el Renacimiento, aunque por las razones que he expuesto con anterioridad en mi opinin no supusieran convulsin de los referentes generales. En mi opinin la modernidad hay que encajarla en el esquema del paradigma correspondiente que hay que rastrear y contrastar, donde adems habr que superar las simplificaciones lineales, para lo que planteo un nuevo medio: la banda de modernidad. Este concepto se establece en funcin del tiempo que las ideas necesitan para difundirse con la suficiente generalidad en el seno de la comunidad cientfica, generalidad que se refiere por supuesto al nmero de personas que adoptan y utilizan esas nuevas ideas. Con este concepto, estrechamente dependiente de la poca que se considere, pretendo aislar las

aportaciones excesivamente restringidas o las de mbito ms general pero que siguen un camino de entrada en el acervo mundial ms lento. Las matemticas son una disciplina de presentacin plural. Hay matemticas para la generalidad de los ciudadanos que se reproducen en las aulas de enseanza primaria de todos los pases desarrollados, en vas de desarrollo o por desarrollar totalmente. Son las matemticas de la vida cotidiana y su caracterstica ms esencial es la inmutabilidad. Sumar es sumar y su aprendizaje -salvo que se quiera correr riesgos innecesarios-, aunque haya podido incorporar mltiples matices a lo largo del tiempo, tiene un resultado nico y nada original. Se sabe sumar en el sistema de numeracin socialmente instalado en el medio o no se sabe. Se puede admitir sin ms que el estudio de la suma es arcaico? Habr que despojar al profesional de las matemticas que se dedica a tan imprescindible menester de toda suerte de honorficos atributos porque dedica su esfuerzo a tarea tan antigua como la de instruir a nios o nias en la prctica de las operaciones elementales -pero necesarias- de la aritmtica o de la regla de tres? Rodrguez Vidal escribi, parafraseando a Wanda Landowska(213): Cuntas matemticas hay en una regla de tres! Soy consciente de que se trata de un ejemplo que puede ser calificado de exagerado, pero a veces, para ganar en claridad argumental, hay que procurar elegir ejemplos de tintes ntidos. Las matemticas, en su faceta instrumental, se presentan en una amplsima gama de contenidos y funciones distintas. Elegir, a la hora de otorgar el privilegio de la modernidad, la sutileza representada por el ltimo feliz descubrimiento supone hacer abstraccin de las matemticas ms importantes por ms necesarias y ms tiles. La banda de modernidad de cada momento histrico no puede estar definida por la instantnea de los hallazgos, sino por la existencia de conjuntos humanos capaces de comprenderse entre s en el proceso de la comunicacin. Esta consideracin conservara dentro de la banda de modernidad a miles de matemticos de la actualidad que pueden comprender las matemticas que se van construyendo (en el campo de trabajo en el que se desenvuelven) aunque es altamente probable que nunca hagan aportaciones significativas al avance de la lnea del frente investigador. Situacin similar es exportable a otros perodos de la historia. En las dcadas finales del siglo XVIII haba muy pocos matemticos que pudieran emular a Lagrange, pero haba muchos que podan comprender sus escritos -que adems se dejaban comprender-. Pues bien, todas esas personas yo las considero inmersas en la banda de modernidad de las dcadas finales del siglo XVIII. Y as sucesivamente. Quizs todo este despliegue terico mueva bastante al escepticismo si se intentan medir con l comunidades como Pars, Berln, Gttingen, Roma o algunas otras universidades en las que se han elaborado matemticas de alta alcurnia en los ltimo siglos. No son los centros que me han motivado para elaborar el tema. Como he dicho al principio de este ltimo captulo del trabajo mi principal preocupacin ha surgido de mi propio entorno histrico, o sea de Espaa, y una vez hecho me parece que puede servir adecuadamente para enjuiciar con un tipo de rigor diferente y ms ecunime la produccin matemtica de la inmensa mayora de pases del mundo que hasta ahora no han tenido el privilegio de entrar en la nmina de los hacedores de historias de las matemticas. Incluso en los pases del centro matemtico, fundamentalmente Francia y Alemania, no todo son los centros arriba mencionados. Aunque a veces no lo parezca, Francia es algo ms que Pars y Alemania tambin ha elaborado su cultura matemtica en ms puntos geogrficos que las dos grandes universidades mencionadas ms arriba. Un ltimo apunte me viene a la mente: los dos

elementos, paradigmas matemticos universales y banda de modernidad, pueden ayudar a matizar adecuadamente los juicios y, con ello, a hacer justicia a las obras de muchos matemticos que, a veces en condiciones no precisamente favorables, dedicaron sus vidas al progreso de esta prodigiosa ciencia. Esta tambin puede ser una digna causa.

Notas:
(1)MEDAWAR, P.B. (1988) Los lmites de la ciencia. 1 ed. en espaol, Mxico, FCE, p. 9. (2)GEYMONAT, L. (1977) Storia del Pensiero Filosofico e Scientifico. IX vols., Milano, Ristampa della ediz. de 1975. (3)PANZA, M. (1992) "Gonseth et les prolgomnes d'une logique de la connaissance". In: M. Panza & J.C. Pont (Eds.) Espace et horizon de ralit. Paris, Masson, pp. 23-45. (4)Ib., p. 24. (5)HILBERT, D. (1902) "Sur les problmes futurs des mathmatiques". In: Compte rendu du deuxime Congrs International des mathmaticiens tenu Paris du 6 au 12 aot 1900. Paris, Gauthier-Villars, pp. 58-114. (6)LAUTMAN, A. (1977) Essai sur l'unit des mathmatiques et divers crits. Paris, Union Gnrale d'Editions. Adems del trabajo que da ttulo al libro, contiene otro Essai sur les notions de Structure et d'Existence en Mathmatiques y tres prlogos de Costa de Beauredard, Dieudonn y Loi. (7)Ib., p. 157. (8)El subrayado es de Lautman. (9)HILBERT, D. (1993) Fundamentos de las matemticas. Seleccin e introduccin de Carlos Alvarez y Luis Felipe Segura, traduccin de Luis Felipe Segura. "Coleccin Matema". Mexico, UNAM, Facultad de Ciencias, p. 23. (10)Slo a modo de apunte se podran traer a colacin las referencias cuantitativas que Philip J. Davis y Reuben Hersch recogen en el captulo How much mathematics is now known? para corroborar la imagen de la imposibilidad [DAVIS, P. J. & HERSCH, R. (1980) The mathematical experience. Boston, Birkhuser, pp. 17-20]. (11)En el momento de ultimar la versin final de este trabajo se renan en Madrid el Fondo Monetario Internacional y el Banco Mundial, cuyos expertos no han tenido ningn reparo en decirnos a los espaoles que nuestros males acabarn el da que se establezca el despido libre, se liquide el seguro de desempleo y se deje de pagar con fondos del estado a las personas que han trabajado toda la vida. Lo chusco del caso es que nadie les ha

expulsado del territorio espaol por intolerable injerencia en los asuntos internos de un pas soberano. (12)Entre las muchas afirmaciones de este militante anticomunista, antisocialista, antiigualitarista y encendido defensor del elitismo intelectual prefiero presentar las contenidas en la Parte III del Volumen 2 de sus escritos inditos y pstumamente publicados: LAKATOS, I. (1978) Mathematics, Science and Epistemology - Philosophical Papers Volume 2. Cambridge, Cambrigge U.P. [Yo he trabajado con la versin castellana de Ribes, D. (1981) Matemticas, ciencia y epistemologa. Madrid, Alianza Universidad]. Dicha parte, titulada Ciencia y educacin [Op. cit., pp. 325-342], recoge tres apartados sumamente significativos de la trastienda ideolgica de este autor. Son el texto de una larga Carta al director de la London School of Economics, en el que expone su particular visin de la autonoma y de la democracia acadmicas; un breve texto sobre la enseanza de la historia de la ciencia; y un jugoso alegato sobre La responsabilidad social de la ciencia que, para Lakatos, obviamente, no existe. No obstante, yo aqu no pretendo criticar las ideas de Lakatos, sino simplemente sealar la posicin nada neutral de su pensamiento. (13)HORMIGON, M. & KARA-MURZA, S. (1990) "Ciencia e Ideologa". LLULL, Revista de la Sociedad Espaola de Historia de las Ciencias y de las Tcnicas, 13 (25), 447-514. (14)Aliados que podan permitir a un programa filosfico disponer de medios de los que suelen carecer los filsofos mondos y lirondos: comprar con dinero (va cargos) adeptos que tuvieran poder de decisin en el aparato docente, investigador, administrativo, editorial y un largo etctera que nos llevara a encontrar inslitos aficionados a la filosofa en el mundo de las altas finanzas y de la alta poltica de los pases de Occidente. Creo que pocas personas se atrevern a negar el aserto siguiente: en Occidente han tenido ms fcil la carrera acadmica los popperianos que los marxistas. Este apasionante tema queda fuera de los propsitos del trabajo actual y por eso no me explayo. (15)DELACAMPAGNE, C. (1989) "Les fondements philosophiques d'une critique du marxisme". In: Karl Popper et la science d'aujourd'hui. Actes du Colloque organis par Rene Bouveresse au Centre Culturel de Cerissy-la-Salle du 1er au 11 juillet 1981, pp. 417427. (16)Una buena gua para iniciarse en el viaje sobre estas cuestiones la constituye ECHEVERRIA, J. (1989) Introduccin a la Metodologa de la Ciencia. La Filosofa de la Ciencia en el siglo XX. Barcelona, Barcanova. (17)Feyerabend fue el ms incmodo y, quizs por eso, su muerte a comienzos del verano del 94 pas inadvertida para la comunidad cientfica, mientras que la de Popper, sucedida en las postrimeras de la citada estacin, fue recogida por los medios de comunicacin de todo el mundo al servicio de los de siempre. (18)KUHN, T.S. (1962) The Structure of Scientific Revolutions. Chicago, University of Chicago Press (2 ed. 1970). Yo he trabajado con la primera reimpresin de la primera edicin en espaol [KUHN, T. (1975) La estructura de las revoluciones cientficas. Mexico-Madrid-Buenos Aires, Fondo de Cultura Econmica].

(19)MIKULINSKI, S. (1979) "Estado actual y problemas tericos de la historia de las ciencias naturales". In: Investigaciones soviticas en Historia de la Ciencia. Mosc, Academia de Ciencias de la URSS, Instituto de Historia de las Ciencias Naturales y de la Tcnica, p. 26. (20)Las ideas medulares de Hardy se hallan en su archiconocida obra HARDY, G.H. (1967) A mathematician's apology. London, Cambridge U.P. Foreword by C.P. Snow. (21)Dieudonn ha mantenido una postura militante de este tipo de sensibilidad en la prctica totalidad de sus obras, aunque posiblemente donde ha desplegado sus posiciones de una forma ms arrogante haya sido en: DIEUDONNE, J. (1987) Pour l'honneur de l'esprit humain. Les mathmatiques aujourd'hui. Paris, Hachette. Un comentario ms extenso sobre este libro y su autor lo tengo hecho en: HORMIGON, M. (1990) "Sobre las matemticas actuales. La subversin involucionista de la ciencia de Jean Dieudonn". LLULL, Revista de la Sociedad Espaola de Historia de las Ciencias y de las Tcnicas, 13 (24), pp. 169-181. (22)TITCHMARSH, E.C. (1966) Esquema de la matemtica actual. Mxico, FCE, pp. 192-193. Los subrayados son mos (M.H.). (23)FLATO, M. (1990) Le pouvoir des Mathmatiques. Paris, Hachette, p. 81. (24)LENIN, V.I. (1970) Materialismo y empiriocriticismo. Buenos Aires, Ediciones Estudio, p. 324. (25)A pesar de la tinta gastada para contar, glosar y analizar los pormenores que acompaaron la preparacin, desarrollo y consecuencias del Proyecto Manhattan, ste es y seguir siendo durante mucho tiempo un modelo paradigmtico de referencia clsica de lo que supone la implicacin de la ciencia en la estrategia de objetivos de los estados ms desarrollados. (26)Vase, por ejemplo, LOSEE, J. (1979) Introduccin histrica a la filosofa de la ciencia. Madrid, Alianza, 2 edicin espaola de A. Montesinos de la primera inglesa A historical introduction to the Philosophy of Science [Oxford U.P. 1972], pp. 192 y ss. (27)La primera vez que pens esto fue hace casi treinta aos; la primera vez que lo escrib, hace casi quince. Ahora, aunque s que no prueba nada, estoy mucho ms convencido del enorme talento, agudeza, perspicacia y capacidad de sntesis de John D. Bernal, el rojo pelirrojo y mujeriego irlands que gener ms premios Nobel que ningn otro cientfico hasta la fecha. (28)En espaol, sin ir ms lejos, donde el mercado editorial de obras cientficas recorre siempre dificultosos caminos, en los once aos que transcurrieron entre 1968 y 1979 se hicieron cinco ediciones de esta emblemtica obra en Ediciones Pennsula.

(29)Quizs sea momento de empezar a sealar que esta profunda raz de la cultura humana alcanza orgenes mucho ms antiguos. En este sentido los trabajos de Paulus Gerdes, D'Ambrosio y otros historiadores del Tercer Mundo sobre etnomatemtica estn ya jugando un papel de enorme inters en la modificacin de los prejuicios que todos llevamos encima. En un inmediato futuro la atencin a estos estudios deber ser mucho ms fina. (30)No pueden subestimarse los hechos de la historia. Las ciencias y las tcnicas vivieron en buena parte del siglo XX del prestigio adquirido en el XIX gracias a las vacunas, el ferrocarril, el telgrafo, el buque de vapor y otros ingenios que aliviaron el duro sobrevivir de muchas personas. En ese ambiente, que dos cientficos como Adams y Leverrier se adelantaran con sus clculos a la comprobacin experimental de la existencia del planeta Neptuno supuso en la opinin pblica ms o menos ilustrada una aquiescencia de respetuosa posicin. (31)LAKATOS, I. (1976) Proofs and Refutations. London, Cambridge, U.P.; LAKATOS, I. (1978) Mathematics, Science and Epistemology - Philosophical Papers. 2 vols. Cambridge, Cambridge, U.P. (32)HILBERT. D. (1902) "Sur les problms futurs des mathmatiques". In: Compte rendu du deuxime Congrs International des mathmaticiens. Paris, Gauthier-Villars, pp. 113114. (33)MUGUERZA, J. (1975) "La teora de las revoluciones cientficas (Una revolucin en la teora contempornea de la ciencia)". In: I. Lakatos & A. Musgrave (Eds.) La crtica y el desarrollo del conocimiento. Actas del Coloquio Internacional de Filosofa celebrado en Londres en 1965. 2 ed., Barcelona, Grijalbo, pp. 13-14. (34)Uno de los ltimos eslabones de la cadena lo representa el libro colectivo recientemente editado por HORWICH, P. (Ed.) (1993) World changes; Thomas Kuhn and the nature of Science. Cambridge (Mass.), MIT Press. (35)La corriente estructuralista se enriqueci, a partir de la obra de SNEED, J.D. (1971) The Logical Structure of Mathematical Physics [Dordrecht, Reindel], con las aportaciones de STEGMLLER, W. (1981) La concepcin estructuralista de las teoras [Madrid, Alianza]; STEGMLLER, W. (1983) Estructura y dinmica de las teoras [Barcelona, Ariel]; MOULINES, C.U. (1981) Exploraciones metacientficas [Madrid, Alianza] y otros. (36)En la historia del problema que aqu estoy abordando hay un precedente que todos los profesionales tenemos en mente. Me refiero, naturalmente, al bien conocido debate CroweMehrtens en las pginas de Historia Mathematica a mediados de la dcada de los setenta: CROWE, M. (1975) "Ten laws concerning patterns of change in the History of Mathematics". Historia Mathematica, 2, 161-166; MEHRTENS, H. (1976) "T.S. Kuhn's theories and Mathematics: a discussion paper on the new historiography of mathematics". Historia Mathematica, 3, 297-320. Estos dos artculos serviran precisamente para abrir el volumen que sobre las revoluciones en matemticas apareci en 1992 y en el que hay interesantes aportaciones de otros autores, entre las que quiero destacar las dos contribuciones de Joseph Dauben sobre las revoluciones conceptuales y la historia de las

matemticas: DAUBEN, J. (1992) "Conceptual revolutions and the history of mathematics: two studies in the growth of knowledge (1984)". In: D. Gillies (Ed.) Revolutions in mathematics. Oxford, Clarendon Press, pp. 49-71; DAUBEN, J. (1992) "Appendix (1992): revolutions revisited". Ib., pp. 72-82. Naturalmente, no han sido las nicas aproximaciones tericas al concepto. B. Kedrov public en 1979 un interesante artculo sobre el tema de las revoluciones en la ciencia, aunque sigui fiel a la tradicin de optar por las ciencias experimentales como banco de pruebas y por incluir las transformaciones radicales cientficas en las correspondientes al pensamiento [KEDROV, B. (1979) "Criterios de la revolucin cientfica". In: Investigaciones soviticas en Historia de la Ciencia. Mosc, Academia de Ciencias de la URSS, Instituto de Historia de las Ciencias Naturales y de la Tcnica, pp. 53-71]. (37)Naturalmente, conozco el controvertido barullo conceptual en que los filsofos de la ciencia se enzarzaron, y enzarzaron a todos los interesados en estos temas, a cuenta de los mltiples sentidos y definiciones que el propio Kuhn ofrece en su obra fundacional. Mi pretensin no es entrar en esa batalla y, por ello, prefiero dejar por ahora en una deliberada ambigedad -por otra parte entendida por todos- el concepto de paradigma. (38)Justo es sealar que no tuvo porqu ser extrao a las percepciones de los gemetras de la poca toda vez que, en definitiva, siempre ha sido ms o menos as. No son acaso externalistas las posiciones de Pascal, Newton o al-Jwarizmi, que hacen girar toda su produccin cientfica en torno a la grotesta devocin a un Dios cuya existencia est lejos de soportar el menor anlisis crtico y a la observancia de unas normas y rituales de clave estrictamente partidista? Quiz haya que comenzar a sealar que el externalismo slo genera mala opinin cuando se hace en beneficio de la liberacin de la humanidad y que es bien recibido cuando sirve los intereses de los poderosos califas, papas, emperadores y miembros de los consejos de administracin de todas las Standard Oil Company que en el mundo han sido. (39)DELL'AGLIO, L. (1993) "Des glisements dans lhistoriographie des mathmatiques: le cas du Bollettino di bibliografia e storia delle scienze matematiche de Gino Loria". In: E. Ausejo & M. Hormign (Eds.) Messengers of Mathematics: European Mathematical Journals (1800-1946). Zaragoza, Siglo XXI de Espaa Editores, pp. 283-297. (40)CANTOR, M. (1902) "Sur l'Historiographie des Mathmatiques". In: Compte rendu du deuxime Congrs International des mathmaticiens. Paris, Gauthier-Villars, pp. 27-42. (41)Ib., p. 28. (42)Ib., p. 28. (43)Ib., p. 28. (44)Ib., p. 35. (45)Ib., p. 36.

(46)A somero ttulo de ejemplo he aqu una breve relacin de historias de las matemticas contaminadas por las definiciones geogrficas particularistas: Catalogue de la littrature scientifique polonaise. Krakow, 1901; DRACH, J. (1903) Histoire des Sciences Mathmatiques en France, au XIXe sicle. Leipzig; GUIMARAES, R. (1909) Les mathmatiques en Portugal. 2nd ed., Coimbra; GUTZMER, A. (1904) Geschichte der Deutchen Mathematiker Vereinigung und ihrer Begruendung bis zum Gegenwart. Leipzig; ISELY, L. (1902) Histoire des sciences mathmatiques dans la Suisse Franaise. Neuchatel; KAVAN, J. Katalog knibovny Jednoty ceskych mathematiku. Praha; KLEIN, F. (1911) "The development of mathematics in German Universities". In: Evanston Colloquium. New York; MACFARLANE, A. (1916) Lectures on Ten British mathematicians of the Nineteenth Century. Wiley; MIELI, A. (1923) Gli scienzati Italiani dall'inizio del medio-evo ai nostri giorni. Roma; MIKAMI, Y. (1910) Mathematical Papers from the Far East. Leipzig; NIELSEN, N. (1910) Mathimatikeui Danmark 1801-1908. Copenhagen; PICARD, E. (1917) Les sciences mathmatiques en France depuis un demisicle. Paris. Como es obvio esta relacin se podra extender muchsimo. En la Bibliography and Research Manual of the History of Mathematics de K.O. MAY [Toronto and Buffalo, University of Toronto Press, 1975] se consignan ms de quinientos trabajos sobre las matemticas en cincuenta y cinco pases o reas geogrficas y en ms de ochenta ciudades o universidades. En la -como su propio ttulo indica- bibliografa selectiva de J.W. Dauben tambin hay un buen nmero de referencias al desarrollo de las matemticas en culturas, pases e instituciones concretas que podran servir para poner en entredicho el categrico veto de Cantor [DAUBEN, J.W. (1985) The History of Mathematics from Antiquity to the Present. A Selective Bibliography. New York & London, Garland Pu. Inc.]. Ms recientemente todava, en los dos volmenes que recogen los trabajos del Symposium on the History of Modern Mathematics [Vassar College, 1988] hay apartados dedicados a estilos nacionales en algebra, matemtica aplicada en Francia a comienzos del siglo XIX y matemtica aplicada en los USA en la segunda Guerra Mundial [ROWE, D.E. & McCLEARY, J. (Eds.) (1989) The History of Modern Mathematics. San Diego, Academic Press, 2 vols.]. Y ya en este ao de 1994, no hay ms que referirse a la Encyclopedia editada por Grattan-Guinness y repetidamente citada en lo sucesivo en este trabajo. (47)Mikulinski seala [Op. Cit., p. 23] que el mismo Price lleg a reconocer que el acontecimiento ms importante del II Congreso de Historia de la Ciencia fue la aportacin de los delegados soviticos. (48)Demidov, S. (1992) "Historiographie des mathmatiques en Russie et en URSS avant 1941". Arch. Int. Hist. Sc., 42 (128), 94-113. (49)Del senado del Instituto formaron parte, adems, Borischak, Bujarin, los hermanos Vavilov, Vernadsky, Krylov, Oldenburg, Krzhizhanovsky, Strumilin, entre otros [USTINOV, N.D. (Ed.-in-Chief) (1989) Institute of the History of Natural Sciences and Technology. Devolopment and Organization of Research into the History of Science and Technology. Moscow, Nauka, p. 9]. (50)Yo he trabajado con la excelente versin espaola: HESSEN, B. (1985) Las races socioeconmicas de la Mecnica de Newton. Informe presentado al II Congreso

Internacional de Historia de la Ciencia y la Tecnologa. La Habana, Editorial Academia. Traduccin del ruso, prlogo y notas de P.M. Pruna. (51)Science at the Crossroad. Papers from the Second International Congress of the History of Science and Technology. 2nd ed., London, 1931. (52)Una idea de la importancia del texto de Bernal de 1939 puede darla el hecho de que en el XVIII Congreso Internacional de Historia de la Ciencia celebrado en las ciudades de Hamburgo y Munich entre el 1 y el 9 de agosto de 1989 se reuniera un Simposio monogrfico dedicado a la conmemoracin del cincuentenario de la publicacin del libro de Bernal, en el que se presentaron trabajos de Gnter Krber (RDA), Alan L. Mackay (U.K.), Karel Mller (Checoslovaquia), Wolf Shfer (USA/RFA), Helmut Steiner (RDA), M. Teich (U.K.), I. Malecky (Polonia), J. Marie Legay (Francia), Roy MacLeod (Australia), entre otros. Que un libro cientfico merezca esta atencin cincuenta aos despus dice mucho en favor suyo. (53)LEVY-LEBLOND, J.M. & JAUBERT, A. (1975) (Auto) critique de la science. Paris, Seuil, p. 260. (54)En los aos posteriores a la efervescencia terica del 68 surgieron muchas publicaciones crticas en el universo de la ciencia, como Impascience (Francia, 1975), Labo-contestation (Francia, 1970), Survivre...et vivre (Francia, 1971), Science for the people (USA, 1969), Radical Science Journal (Gran Bretaa, 1973) y otras ms. Muchas de ellas no soportaron bien el paso del tiempo a causa de los problemas econmicos que conlleva la publicacin de una revista y a causa de que el ardor entusiasta desprendido puede apagarse en determinados crculos intelectuales con un poco de dinero y abriendo las pginas de otras revistas de mayor calado y fuste profesional a ciertos temas. No obstante esta lnea de contestacin nunca se ha extinguido y siempre vuelve a revivir con nuevo empuje. (55)GRAMSCI, A. (1974) La formacin de los intelectuales. Barcelona, Grijalbo, p. 34. (56)Esta necesidad choca, sin embargo, frontalmente con las realidades administrativas de casi todos los pases del mundo desarrollado o por desarrollar. Los problemas de la armonizacin y reparto de tareas (dinero) y del debate cientfico en el seno de un equipo o entre equipos (ideas) se ven distorsionados indefectiblemente por la realidad del mercado de trabajo. A corto, medio y largo plazo los problemas cruciales -aunque no sea nada cientfico ni intelectual- sobre los que pivotan todos los dems son los de los puestos de trabajo, la carrera acadmica de los individuos y el del reparto del presupuesto. (57)Las expresiones descarnadas del lenguaje simblico a ultranza, por una parte, y el desprecio de ciertos sectores de la intelectualidad hacia campos distintos de expresin, por otra, han favorecido esta imagen. A los humanistas que se vanaglorian de su ignorancia de las ciencias positivas habra que darles un somero repaso basado en las aportaciones de la ciencia a la cultura a travs de los tiempos. A los cientistas que, ufanos, desprecian los planteamientos filosficos, histricos o artsticos porque no se atienen a una metodologa cientfica, habra, entre otras cosas, que recomendarles la lectura de La fsica, aventura del

pensamiento de Einstein e Infeld, en el que se seala que las tentativas de leer el grande y misterioso libro de la naturaleza son tan antiguas como el propio pensamiento humano. (58)KUHN, T. (1975) La estructura de las revoluciones cientficas. 2 ed. en castellano, Mxico, FCE, p. 272. (59)DIEUDONNE, J. (1986) Abreg d'Histoire des Mathmatiques, 1700-1900. Paris, Hermann, p. 5. (60)KUHN, Op. Cit., pp. 149-165. (61)LAKATOS, I. (1993) Historia de la ciencia y sus reconstrucciones racionales. Madrid, Tecnos, 3 ed. en espaol de PSA 1970 - In Memory of Rudolf Carnap. Dordrech, Reidel, 1971, pp. 15-16. (62)POPPER, K. (1974) Conocimiento objetivo. Madrid, Tecnos, p. 195. (63)Yo incluido. (64)KUHN, Op. Cit., p. 269. (65)GRATTAN-GUINNESS, I. (1992) "Structure-similarity as a Cornerstone of the Philosophy of Mathematics". In: J. Echeverra, A. Ibarra & T. Mormann (Eds.) The Space of Mathematics. Philosophical, Epistemological and Historical Explorations. Berlin-New York, de Gruyter, p. 107. (66)Ib. p. 104. (67)FICHERA, G. (1992) "Rigore e profondit nella concezione di Archimede della matematica quantitativa". In: C. Dolo (Ed.) Arquimede: mito, tradizione, scienza. Firenze, Leo S. Olschki, pp. 1-20. (68)Coolidge inicia su clsico y exhaustivo libro sobre los mtodos geomtricos con una interesante reflexin sobre la geometra en el reino animal [COOLIDGE, J.L. (1940) A History of Geometrical Methods. New York, Dover, pp. 1 y ss.]. (69)Esta tesis se va abriendo paso poco a poco. Zaslavsky afirma que Africa pudiera ser el lugar de nacimiento de las ideas matemticas, lo mismo que lo fue de la Humanidad, y que, por ello, for thousands of years, Africa was in the mainstream of mathematics history [ZASLAVSKY, C. (1994) "Mathematics in Africa: Explicit and implicit". In: I. GrattanGuinness (Ed.) Companion Encyclopedia of the History and Phylosophy of the Mahematical Sciences. London, Routledge, 2 vols., pp. 85-92]. Una interesante discusin sobre los origenes de la geometra siguiendo el hilo de las culturas de los pueblos en otro momento colonizados se encuentra en: GERDES, P. (1992) Sobre o despertar do pensamento geomtrico. Curitiba, Editora da UFPR, pp 13-20.

(70)No exento tampoco de contradicciones. Muchos estudiosos de formacin cristiana consideran verdaderos un enorme conjunto de hechos relacionados con los primeros siglos de la Iglesia y con la vida de Jesucristo sobre los que no existe el menor atisbo de prueba. Sin embargo, para admitir la incidencia de otras corrientes culturales se muestran rotundamente estrictos. (71)ENGELS, F. (1968) Anti-Dhring o la revolucin de la ciencia de Eugenio Dhring (Introduccin al estudio del socialismo). Madrid, Ciencia Nueva, Traduccin de Jos Verdes Montenegro. (72)Ib., p. 47. (73)POPPER, K. (1981) "Le mythe du cadre de rference". In: Karl Popper et la science d'aujourd'hui. Actes du Colloque organis par Rene Bouveresse au Centre Culturel de Cerissy-la-Salle du 1er au 11 juillet 1981, pp. 11-61 [p. 19]. (74)La abundancia de referencias explica tambin la existencia de un incontable nmero de aproximaciones superficiales y exageraciones ridculas. (75)RUSSELL, B. (1975) La sabidura de Occidente. 2 ed. castellana, Madrid, Aguilar, p. 59. (76)HERNANDO GONZALEZ, A. (1989) "ALgunas anotaciones sobre las limitaciones del fondo terico en la ciencia antigua". LLULL, Revista de la Sociedad Espaola de Historia de las Ciencias y de las Tcnicas, 12 (23), 341-363. (77)Ib., p. 343. (78)Ib., p. 351. (79)Quien para Popper cmo no! es le plus grand peut-tre de ces premiers penseurs [POPPER, 1981, p. 19]. (80)BERNAL, J.D. (1968) Historia Social de la Ciencia. 2 ed. en castellano, Barcelona, Pennsula, vol. 1, p. 228. (81)CLAGETT, M. (1953) "The medieval latin translations from the Arabic of the Elements of Euclid, with special emphasis on the versions of Adelard of Bath". Isis, 44, 1642. (82)Busard fue objeto de un merecido homenaje con motivo de su septuagsimo cumpleaos. [FOLKERTS, M. & HOGENDIJK, J.P. (Eds.) (1993) Vestigia Mathematica. Studies in medieval and early modern mathematics in honour of H.L.L. Busard. Amsterdam-Atlanta, Editions Rodopi B.V.].

(83)RICCARDI, P. (1887-1890) Saggio di una bibliografia euclidea. Bolonia, Gamberini e Parmeggiani. (84)Vase a propsito de este proceso GIUSTI, E. (1993) Euclides Reformatus. La teoria delle proporzioni nella scuola galileana. Torino, Bollati Boringhieri. (85)GAZTELU, L. (1913) "Principios de moderna pedagoga matemtica". Revista de Obras Pblicas, 1963 (8 de mayo de 1913), p. 235. (86)A este aspecto, la reforma til del libro V, se han dedicado en los ltimos tiempos varios trabajos, entre los que cabe destacar el rigurossimo texto de Enrico Giusti antes citado, quien tras abordar la teora de las proporciones en el siglo XVI tal como es heredada de las traducciones latinas procedentes del rabe y sus relaciones con el lenguaje de la naturaleza, trata de la teora galileana de las proporciones y las aportaciones de su escuela y de otros autores que la toman como referencia. (87)DOU, A. (1974) Fundamentos de la matemtica. Barcelona, Labor, pp. 23-24. (88)El anecdotario de la ciencia rabe o islmica est repleto de situaciones que indican un uso aprovechado de la ciencia. Snchez Prez relata, por ejemplo, un caso protagonizado por Avempace. Sabiendo este filsofo y cientfico zaragozano que se iba a producir un eclipse de luna durante la noche en la que se velaba a un amigo suyo muerto, escribi unos versos en los que invitaba al astro a ocultarse en seal de duelo. Ledos en el momento oportuno y producido el hecho origin el lgico asombro de la concurrencia y el aumento de su fama y prestigio personales [SANCHEZ PEREZ, J.A. (1921) Biografas de los matemticos rabes que florecieron en Espaa. Madrid, p.123]. (89)PASCAL, B. (1963) "De l'esprit de la gomtrie et de l'art de persuader". In: Oeuvres compltes. Tours, Seuil, pp. 348-359; "Extrait d'un fragment de L'introduction la gomtrie", Ib., p. 359. (90)LAGRANGE, J.-L. (1965) Mcanique Analitique. Paris, Blanchard, 2 vols. Edition complte runissant les notes de la troisime dition revue, corrige et annote par Joseph Bertrand et de la quatrime dition publie sous la direction de Gaston Darboux. (91)Ib., pp. I-II. (92)Ib., p. IV. (93)MONTUCLA, J.F. (1968) Histoire des Mathmatiques. Paris, Blanchard, 4 vols. Nouveau tirage de l'dition des ans VII (1799) - X (1802), achev et publi par Jrme de La Lande, augment d'un Avant-Propos par M. Ch. Naux. (94)Ib., p. 10.

(95)RASHED, R. (Ed.) (1989) Sciences l'poque de la Rvolution Franaise. Recherches historiques. Paris, Blanchard, p. 5. (96)DHOMBRES, N. & J. (1989) Naissance d'un nouveau pouvoir: sciences et savants en France 1793-1824. Paris, Payot. (97)Ib., pp. 482-531. (98)Ib., pp. 492 y ss. (99)Merece la pena hacer un apunte poco conocido que los Dhombres destacan: sealada la singularidad de la obra de Condillac, es tambin reseable en este aspecto la aportacin de Lagrange, quien essaya de dvelopper un calcul portant non plus sur les fonctions, mais sur les oprations elles-mme auxquelles on les soumettait [Ib., p. 492]. (100)El anlisis general mejor construido de este proceso que conozco es de Vladimir P. Vizguin, que lo desarroll en un ciclo de conferencias en la Universidad de Zaragoza con el ttulo La 'Revolucin Francesa' en la Fsica: nacimiento matemtico de la fsica clsica en el primer tercio del siglo XIX. Estas conferencias estn impresas y pendientes de publicacin en espaol en Mxico, aunque el Prof. Vizguin tuvo la gentileza de obsequiarme con el manuscrito de este interesantsimo trabajo que yo, por supuesto, he ledo con atencin y que, a mi parecer, corrobora -sin nombrarla- mi tesis del paradigma lagrangiano. Trabajos monogrficos sobre los autores que participaron en en esta Revolucin -Lagrange, Laplace, Berthollet, Biot, Poisson, Cauchy, Arago, Malus, GayLussac, Navier, Dulong, Petit, Poinsot, Coriolis, Poncelet, Fourier, Fresnel, Ampre, S. Carnot, etc.- hay muchos, aunque queden todava muchas cosas por estudiar de forma ms pormenorizada. (101)DHOMBRES, Op. Cit., p. 511. (102)Ib., p. 114. (103)DIEUDONNE, J. (1986) Abreg d'Histoire des Mathmatiques, 1700-1900. Paris, Hermann, p. 4. (104)GRATTAN-GUINNES (1990) Convolutions in French Mathematics. Basel, Birkhuser, vol. 1, p. 107. (105)La percepcin lagrangiana del agotamiento del paradigma, sobre todo en lo que respecta a la geometra, est explcitamente recogida en una carta de 21 de septiembre de 1781 dirigida a d'Alembert, en la que dice: Me parece (...) que la mina es ya demasiado profunda, y a menos que se descubran nuevos filones, ser necesario abandonarla ms pronto o ms tarde. Las referencias a este prrafo son numerosas en la historiografa de las matemticas. Puede verse, por ejemplo, DIEUDONNE (1986) Abreg d'Histoire des Mathmatiques, 1700-1900. Paris, Hermann, p. 15.

(106)Me refiero, principalmente, a los trabajos publicados por Leibniz en las Acta Eruditorun de Leipzig en 1684 y 1686 con los ttulos Nova methodus pro maximis et minimis itemque tangentibus, quae nec fractas, nec irrationales quantitates moratur, et singularis pro illis calculi genus y De geometria recondita et Analysi indivisibilium atque infinitorum, respectivamente. [Existen traducciones inglesas de ambos textos en STRUIK, D.J. (Ed.) (1986) A Source book in Mathematics 1200-1800. Princeton U.P., pp. 272-282]. Estoy de acuerdo con Norberto Cuesta [CUESTA DUTARI, N. (1984) "En el tricentenario de las ecuaciones diferenciales de Leibniz". LLULL, 7(12), 91-92] en que lo nuevo era la resolucin de ecuaciones diferenciales, no el problema de las tangentes a las curvas planas. (107)DOU, A. (1993) "Introduccin". In: EULER, L. Mtodo de mximos y mnimos. Seleccin del Methodus, con introduccin, traduccin, notas y apndices a cargo de Albert Dou. Barcelona, Publicacions de la UAB & Edicions de la UPC, p. 14. (108)DHOMBRES, J. (1989) "La thorie de la capillarit selon Laplace, mathmatization superficielle ou tendue?" Rev. Hist. Sci., 42(1/2), 43-77. (109)Ib., p. 45. Carta del 11 de febrero de 1784. (110)DHOMBRES, Op. Cit., p. 508. (111)El traer a colacin a Cauchy en este momento no tiene ninguna carga ideolgica respecto a los analistas, cuya familiaridad con el fantico legitimista, del que prcticamente no conocen ningn rasgo personal, se debe a la cotidianeidad de los teoremas, criterios, frmulas y dems especies matemticas de Cauchy que se ven obligados a frecuentar y que, lgicamente, les mueven a admiracin. De todas formas, la lectura de Cauchy nunca puede ser del todo desapasionada; por ello sigue siendo tan sugerente la lectura de VALSON, C.A. (1970) La vie et les travaux du Baron Cauchy. Rimpression augmente d'une Introduction par Ren Taton. Paris, Blanchard. (112)CAUCHY, A.L. (1811) Mmoire lu devant l'Acadmie de Cherbourg en 1811. Citado por DHOMBRES, Op. Cit., p. 508. (113)De la vinculacin de Cauchy a los territorios aplicados da buena prueba el libro de DAHAN DALMEDICO, A. (1992) Mathmatisations. Augustin-Louis Cauchy et l'cole Franaise. Arhenteuil, ditions du Choix. (114)Hay cosas en este mbito verdaderamente sorprendentes. As, en una obra bastante estimada entre los matemticos profesionales, puede leerse el siguiente aserto, que se formula sin demostracin: Augustin-Louis Cauchy (1789-1857) was the dominant mathematical figure in a Paris that still regarded itself as the center of the mathematical world (despite the fact that Gauss never left Germany) [EDWARDS JR., C.H. (1979) The historical development of the Calculus. New York, Springer-Verlag, p. 309]. (115)BOSSUT, CH. (1810) Histoire Gnrale des Mathmatiques depuis leur origine jusqu' l'anne 1808. Paris, Chez F. Louis, vol. 2, pp. 164-165.

(116)Fecha errnea, la correcta es 1801. (117)Ni en las cartas a Farjas Bolyai ni, que yo sepa, en ningn otro escrito, aclar Gauss, que nunca sali de su territorio, si esta denominacin se deba a otros conjuntos humanos que los alemanes que exclusivamente frecuent. (118)No generalizable a los matemticos alemanes de la poca. Jacobi, Eisenstein, Kummer o Dirichlet tuvieron sentimientos liberales en la revolucin de 1848 y participaron en crculos democrticos y de trabajadores [BOTTACCINI, U. (1981) Il calcolo sublime: storia dell'analisi matematica da Euler a Weiertrass. Torino, Boringhieri, p. 81]. (119)Citado en BOTTAZZINI, Op. Cit., p. 83. (120)PERRIN, L. (1962) "Henri Lebesgue, renovador del anlisis moderno". In: F. Le Lionnais (Ed.) Las grandes corrientes del pensamiento matemtico. Buenos Aires, EUDEBA, pp. 306-311. (121)No quiero afirmar con rotundidad que sea la nica forma de hacer aflorar un cuerpo terico nuevo, pero es obvio que esa actitud representa un camino de novedad. As, en los desarrollos tericos rupturistas del paradigma lagrangiano, los habr que versen sobre temas nuevos tratados con metodologas nuevas y los habr que traten de problemas clsicos. Para stos, su matemtica seguir siendo una pieza clave del edificio de la filosofa natural y, por tanto, vivir una coexistencia conflictiva con otras posturas ms individualistas y caprichosas. (122)En puridad la astronoma fue siempre un testigo incmodo en el dominio de las ciencias exactas durante el largo perodo de vigencia del paradigma griego a causa de su vinculacin con la navegacin e incluso con su pariente la astrologa. El desprecio de lo til que siempre se ejemplifica en Euclides -aunque las ancdotas se aplican all donde conviene- se da de bruces con estos elementos impulsores de los estudios de matemticas a lo largo de todo el perodo de vigencia del paradigma y singularmente con el de la Baja Edad Media y el Renacimiento, que es cuando la astronoma recibe la demanda de mayor eficacia para acometer las grandes singladuras martimas. (123)Otro ejemplo similar al anterior. La penetracin de la idea de la eficacia ofensiva y defensiva en el orden militar tambin sirvi para agrietar el estricto seguimiento de la slida herencia de la bsqueda de la verdad y la belleza del paradigma clsico. La Catlica Majestad de Espaa, Felipe II, no dud en 1582 en poner en marcha una Academia de Matemticas, por la carencia que haba en el reino de artilleros. (124)El Gresham College, fundado en 1579, representa tambin un sntoma de resquebrajamiento de la tradicin clsica, tanto por lo que tiene de sntesis entre los intereses mercantiles y humansticos como por el singular papel otorgado a los nuevos saberes.

(125)El prestigio cortesano no es materia exclusiva de los monarcas ilustrados, ya que es perfectamente perceptible en las antecmaras de muchos monarcas de tiempos anteriores o posteriores. Antes del XVIII las ms de las veces ocurre que los cientficos quedan enmascarados por los hbitos de la orden religiosa que tiene el favor real. Despus, cuando no aparecen los hbitos, lo hacen los grupos de presin de todo orden. (126)Una de las cosas que ms llaman la atencin a los profanos que se acercan a la historia de la ciencia y de la tecnologa del siglo XIX es la corporeizacin de unos nombres de sociedades mercantiles harto comunes de nuestro tiempo como Thompson, Siemens, Diesel, Citren y un enormemente largo etctera. (127)Para un desarrollo ms extenso de este tema vase AUSEJO, E. (1993) Por la Ciencia y por la Patria: La institucionalizacin cientfica en Espaa en el primer tercio del siglo XX. Zaragoza, Siglo XXI de Espaa Editores. (128)Una primera aproximacin al tema puede hallarse en GRATTAN-GUINNESS, I. (Ed.) (1994) Companion Encyclopedia of the History and Philosophy of the Mahematical Sciences. London, Routledge, vol. 2, pp. 1427-1554. (129)Sobre este tema puede ampliarse la informacin en AUSEJO, E. & HORMIGON, M. (Eds.) (1993) Messengers of Mathematics: European Mathematical Journals 1800-1946. Zaragoza, Siglo XXI de Espaa Editores. (130)Los Congresos Internacionales de Matemticos comenzaron a reunirse en Zurich en 1897. El segundo tuvo lugar en Pars en 1900, luego lo hicieron cada cuatro aos Heidelberg, Roma, Cambridge, ...- salvo los huecos forzados por las Guerras Mundiales o las dificultades organizativas. El ltimo, se ha reunido en Zurich de nuevo en el verano de 1994. (131)Una de las primeras y ms notorias rupturas del paradigma hilbertiano fue planteada por la resurreccin remota del espritu caracterstico de los planteamientos lagrangianos, nunca abandonado del todo por otra parte, con motivo del Congreso de Estrasburgo de 1920 que se comenta en el apartado 5 de este trabajo. (132)WEYL, H. (1928) Gruppentheorie und Quantum Mechanik. Leipzig, S. Hirzel Verlag, p. VI [Citado en LAUTMAN, A. (1977) Essai sur l'unit des mathmatiques et divers crits. Paris, UGE, pp. 155-156]. (133)Los subrayados son de Weyl. (134)Como todos los grandes hallazgos de la historia humana la admisin de la imposibilidad de encontrar una solucin a un problema gener la correspondiente literatura filosfica a cuenta de la ignorancia o no ignorancia caractersticas de la especie humana, embutida en sentencias en latn. Para mayor abundamiento en la tesis, el protagonismo de Hilbert en esta cuestin qued evidenciado hasta en su tumba. En su famosa comunicacin al Congreso de Pars de 1900 lo expres con toda rotundidad: "Jamais, en effet,

mathmaticien ne sera rduit dire: Ignorabimus" [HILBERT, D. (1902) "Sur les problms futurs des mathmatiques". In: Compte rendu du deuxime Congrs International des mathmaticiens. Paris, Gauthier-Villars, p. 69]. (135)CAVAILLES, J. (1965) Philosophie mathmatique. Paris, Hermann, p. 27. (136)Citado en WUSSING, H. & ARNOLD, W. (1989) Biografas de grandes matemticos. 1 ed. en espaol, Zaragoza, PUZ, p. 622. (137)Las referencias a la provocadora sentencia de Russell son muchas. Uno de los ms interesantes comentarios se encuentra en un artculo de de Marshall Stone publicado en 1961 en el Bulletin of the Association of American Colleges y que fue recogido ese mismo ao en las pginas del American Mathematical Montly. Yo me he basado en la traduccin castellana [STONE, M. (1978) "La revolucin en matemticas". In: J. Piaget, G. Choquet, et al. La enseanza de las matemticas modernas. Madrid, Alianza Universidad, pp. 7397]. (138)HILBERT. D. (1902) "Sur les problms futurs des mathmatiques". In: Compte rendu du deuxime Congrs International des mathmaticiens. Paris, Gauthier-Villars, pp. 58114. (139)Ib., p. 113. (140)Ib., pp. 58-59. (141)Ib., p. 58. (142)DIEUDONNE, J. (1977) Avant-propos. In: LAUTMAN, Op. Cit., pp. 15-20 [p. 17]. (143)Moritz Cantor (1829-1920) estudi en Heidelberg y Gttingen, donde fue alumno de Gauss y Weber, y en Berln, donde recibi enseanzas de Dirichlet. Ense en Heidelberg. En el momento de la celebracin del Congreso de Pars era el matemtico ms reconocido como historiador de las matemticas. (144)GERDES, P. (1992) Sobre o despertar do pensamento geomtrico. Curitiba, Editora da UFPR, p. 9. (145)BERNAL, J.D. (1968) Historia social de la Ciencia. Barcelona, Pennsula, vol. 2, p. 413. (146)WUSSING, H. & ARNOLD, W. (1989) Biografas de grandes matemticos. 1 ed. en espaol, Zaragoza, PUZ, p. 628. (147)KRAZER, A. (Ed.) (1905) Verhandlungen des Dritten Internationalen Mathematiker Kongresses in Heidelberg vom 8. bis 13. August 1904. Leipzig, Teubner.

(148)Utilizo la traduccin castellana de la resolucin que apareci en Revista Trimestral de Matemticas, 4(1904), 175-176. (149)En realidad, Einstein, entonces un bastante desconocido empleado de la Oficina Suiza de Patentes de Berna, public en este ao crucial otros dos notables artculos sobre el movimiento browniano y la nueva teora cuntica del efecto fotoelctrico, respectivamente. En concreto, este ltimo trabajo le vali el Premio Nobel de Fsica de 1921. Para una introduccin rpida y sencilla en este amplsimo tema puede verse EINSTEIN, A., GRNBAUM, A., EDDINGTON, A.S. et al. (1973) La teora de la relatividad. Seleccin de L. Pearce Williams. Madrid, Alianza Universidad. (150)Algunas referencias servirn para dar mayor entidad a esta afirmacin. Entre otras cosas se publicaron en el ao 1905 los siguientes trabajos: BERSTEIN, F. (1905) "Untersuchungen aus der Mengenlehre". Math. Ann., 61, 117-165; BERSTEIN, F. (1905) "ber die Reihe der transfiniten Ordnungzahlen". Math. Ann., 60, 187-193; BERSTEIN, F. (1905) "ber der Beweis der Wohlordnung". Math. Ann., 60, 463; BOREL, E. (1905) "A propos d'un thorme de M. Zermelo". Math. Ann., 60; KNIG, J. (1905) "ber die Grundlagen der Mengenlehre und das Kontinuumproblem". Math. Ann., 61, 156-160; KNIG, J. (1905) "Zum Kontinuumproblem". Math. Ann., 60, 177-180; etc. (151)CAVAILLES, J. (1962) Philosophie mathmatique. Paris, Hermann, p. 26. (152)De amplia incidencia en muchos pases de la periferia matemtica como, por ejemplo, Espaa. Bails en su monumental obra Elementos de Matemticas en diez volmenes, escribe en el prlogo del tomo IV: Ya es tiempo de que manifestemos la aplicacin de estos artificios, por que en ella estriba el beneficio que resulta al gnero humano del estudio de las matemticas. [BAILS, B. (1772-1783) Elementos de Matemticas. Madrid, Imprenta de la Viuda de Joaqun Ibarra, vol. 4, p. I]. (153)Para evitar cuaquier tipo de malentendido sealar que lo que pretendo sostener es el innegable hecho de que las matemticas -salvo en episodios aislados como el Congreso de Estrasburgo que ms adelante relatar- crearon un territorio en el que podan colaborar nazis y antifascistas o marxistas-leninistas comprometidos y agentes de la CIA. Y eso resulta, objetivamente, bastante inslito. (154)DELAMBRE, J-B. (1989) Rapport historique sur les progrs des sciences mathmatiques depuis 1789 et sur leur tat actuel. Rapports l'Empereur sur les progrs des sciences, des lettres et des arts depuis 1789. I. Sciences mathmatiques. Prsentation et notes de Jean Dhombres. Paris, Belin, p. 31. (155)DIEUDONNE, J. (1986) Abreg d'Histoire des Mathmatiques. 1700-1900. Paris. Hermann, p. 7. (156)VILLAT, H. (Ed.) (1921) Compte rendu du Congrs International des mathmaticiens. Strasbourg, 22-30 septembre 1920. Toulouse.

(157)El VI Congreso Internacional de Matemticos hubiera debido reunirse en Estocolmo en 1916, pero fue cancelado a causa de la guerra. (158)Congresistas participantes en el Congreso de Strasburgo de 1920: Australia 1; Blgica 10; Brasil 1; Canad 1; Checoslovaquia 12; Dinamarca 3; Egipto 1; Espaa 10; Estados Unidos 11; Filipinas 1; Francia 80; Grecia 6; Holanda 5; India 2; Inglaterra 9; Italia 5; Japn 2; Mxico 2; Noruega 4; Polonia 2; Portugal 3; Repblica Argentina 6; Rumania 6; Rusia 1; Servia 1; Suecia 1; Suiza 14. (159)Evolucin de la participacin por pases en los Congresos de Pars (1900), Heidelberg (1904), Roma (1908) y Cambridge (1912). Pars Heidelberg Roma Cambridge Alemania (con Baviera y Prusia) 26 Argentina 1 Austria-Hungra 10 Blgica 11 Brasil 1 Bulgaria Canad 1 Chile Dinamarca 5 Egipto Espaa 3 Estados Unidos 19 Francia 93 Grecia 1 Holanda 2 India Italia 22 Japn 1 Luxemburgo 1 Mxico 1 Noruega 2 Per 2 Portugal 3 Reino Unido 12 Rumania 4 Rusia 14 173 1 25 2 1 1 13 1 15 24 1 6 12 2 * 7 2 30 174 74 4 1 1 5 1 5 27 92 3 4 190 1 4 33 6 25 53 5 36 5 1 1 5 5 4 2 25 60 39 4 9 3 35 3 2 3 2 221 4 30

Servia Suecia Suiza Tnez Turqua TOTALES * incluidos en Suecia

2 6 7 1 251

8 12 337

1 6 18 2 667

1 12 8 564

(160)MITTAG-LEFFLER, M.G. (1902) "Une page dans la vie de Weierstrass. Extrait d'une communication plus tendue". In: Compte rendu du Deuxime Congrs International des mathmaticiens. Paris, Gauthier-Villars, pp. 131-153. (161)Hilbert pronunci estas palabras en 1917 en una conferencia titulada El pensamiento axiomtico (Axiomatiches Denken) en Zurich ante la Sociedad Matemtica Suiza y que apareci un ao despus en los Matematische Annalen, 78, 405-415. Vase HILBERT, D. (1993) Fundamentos de las matemticas. Seleccin e introduccin de Carlos Alvarez y Luis Felipe Segura, traduccin de Luis Felipe Segura. "Coleccin Mathema". Mexico, UNAM, Facultad de Ciencias, p. 23. (162)En el caso espaol por la de Ciencias de Madrid. (163)PICARD, E. (1921) "Allocutions". In: Compte rendu du Congrs International des mathmaticiens. Strasbourg, 22-30 septembre 1920. Toulouse, pp. XXVI-XXIX y XXXIXXXIII. (164)Ib., p. XXVII-XXVIII. (165)Esto es un hecho universal y no exclusivamente francs. Al fin y al cabo, todo autor tiende a ejemplificar sus argumentos con los elementos que mejor conoce y, en ese sentido, la eleccin de casos provenientes del propio entorno es una rutina procedimental. (166)Naturalmente, no en estos trminos. (167)PICARD, Op. Cit., p. XXXI. (168)"Varia. VIII Congreso Internacional de matemticos". Revista Matemtica HispanoAmericana, 3(2 serie)1928, 222-225. (169)Ib., p. 222. (170)Esta fue la mesa: S.A.R. el Duque de Bergamo, el Ministro de Instruccin Pblica, S.E. el Cardenal, el Prefecto, el Podest, el General Tallarigo y el Rector de la Universidad. (171)Ib., p. 222.

(172)Ib., p. 223. (173)Ib., p. 223. (174)D'AMBROSIO, U. (1987) Etnomatemtica: razes socioculturais da arte ou tcnica de explicar e conhecer. Campinas, UNICAMP; CARRAHER, T. et al. (1982) "Na vida, dez; na escola, zero; os contextos culturais de aprendizagem da matemtica". Cadernos de Pesquisa (Sao Paulo), 42, 79-86; ESHIWANI, G. (1979) "The goals of mathematics teaching in Africa: a need for re-examination". Prospects (Paris), IX (3), 346-352; EL TOM, M. (1979) Developing mathematics in Third Wold countries. Amsterdam; POSNER, J. (1982) "The development of mathematical knowledge in two West African societies". Child Development (Chicago), 53, 200-208; GAY & COLE (1967) The new mathematics and an old culture: a study of learning among the kpelle of Liberia. New York; y otros. (175)GERDES, P. (1992) Sobre o despertar do pensamento geomtrico. Curitiba, Editora da UFPR, p. 9. (176)Una antologa siempre aprovechable sobre parte de la literatura emanada en torno a este asunto es GARCIA CAMARERO, E. & GARCIA CAMARERO, E. (Introduccin, seleccin y notas) (1970) La polmica de la ciencia espaola. Madrid, Alianza Editorial. (177)Vase sobre este tema AUSEJO, E. & HORMIGON, M. (1994) "Historiography of Mathematics in Spain: a weapon loaded with future", forthcomming. (178)ECHEGARAY, J. (1866) Historia de las Matemticas puras en nuestra Espaa. Discurso de Recepcin en la Real Academia de Ciencias Exactas, Fsicas y Naturales de Madrid. Reproducido en GARCIA CAMARERO, E. & GARCIA CAMARERO, E. (1970) La Polmica de la Ciencia Espaola. Madrid, Alianza Editorial, pp. 161-190. (179)VICUA, G. (1875) Cultivo actual de las ciencias fsico-matemticas en Espaa. Discurso ledo en la Universidad Central en el acto de la apertura del curso acadmico de 1875 1876. Madrid. (180)RAMON Y CAJAL, S. (1876) "Deberes del Estado en relacin con la produccin cientfica". La Revista Contempornea, I, 30-V-1876. Reproducido en GARCIA CAMARERO, Op. Cit., pp. 373-399. (181)MENENDEZ Y PELAYO, M. (1953-4) La Ciencia Espaola. Edicin preparada por Enrique Snchez Reyes, del Consejo Superior de Investigaciones Cientficas. Santander, 3 vols. [Nihil obstat: Augustinus M. Pelayo, Cannicus Magistralis. Censor. Imprimatur: Josephus, Episcopus Santanderiensis]. La Ciencia Espaola fue una obra construda a lo largo de ms de una dcada. El primer libro de tal ttulo lo public Menndez y Pelayo en 1876. Lanz la segunda edicin en 1880 y apareci, ya en tres volmenes, en los aos 1887-88.

(182)FERNANDEZ-VALLIN Y BUSTILLO, A. (1894) Cultura Cientfica en Espaa en el siglo XVI. Discurso de recepcin en la Academia de Ciencias de Madrid. (183)REY PASTOR, J. (1913) Los matemticos espaoles en el siglo XVI. Discurso Inaugural del Curso Acadmico 1912-13 de la Universidad de Oviedo; REY PASTOR, J. (1915) "El progreso de Espaa en las Ciencias y el progreso de las Ciencias en Espaa. Discurso inaugural de la Seccin Primera, Ciencias Matemticas". In: Asociacin Espaola para el Progreso de las Ciencias. Quinto Congreso celebrado en Valladolid del 17 al 22 de octubre de 1915. Madrid, Imprenta de Eduardo Arias, tomo I(2), pp. 11-25. Este segundo discurso est tambin reproducido con el ttulo Espaa y el progreso de las Matemticas en REY PASTOR, J. (1994) Escritos de las dos orillas. Logroo, IER, Edicin a cargo de Luis Espaol Gonzlez, pp. 25-41. (184)AUSEJO, E. & HORMIGON, M. (1985) "Dos discursos sobre historia". In: Luis Espaol (Ed.) Actas del I Simposio sobre Julio Rey Pastor. Logroo, Instituto de Estudios Riojanos, pp. 163-174. Detalles sobre el discurso de Oviedo se pueden consultar en ARAGON DE LA CRUZ, F. (1990) "El entorno acadmico-cultural del discurso Los matemticos espaoles del siglo XVI -Oviedo, curso 1913-1914". In: Luis Espaol, Op. Cit., pp. 173-180. (185)La ms notable del historiador de la matemtica espaola Francisco Vera en el curso de una conferencia editada por la Asociacin de Historiadores de la Ciencia Espaola en la que, tras repasar la versin reypastoriana del ruinoso pasado matemtico espaol, haca constar que en el discurso de Rey Pastor faltaba una conclusin, a saber: La matemtica espaola fue un desastre, hasta que llegu yo! [VERA, F. (1935) Los historiadores de la matemtica espaola. Madrid]. (186)No creo que pueda sostenerse, ms que gratuitamente, que el espacio es inmutable en el transcurso del tiempo. Esa simplificacin grosera slo es admisible en ciencias poco elaboradas. (187)En el tema que estoy desarrollando las patologas afectan a los asuntos que se desarrollan entre intelectuales que vivimos suficientemente bien como para poder dedicarnos a estos asuntos y, por lo tanto, no son muy graves. A nadie nos quita el sueo el que en una determinada pieza histrica no se le haya hecho justicia a tal obra de tal autor. Donde esta faceta tiene tonos de mayor trascendencia y donde s puede alcanzar tintes dramticos es en la prctica docente, y en este campo s que es, por desgracia, habitual, exigir a los nios y nias, muchachos y muchachas, en el tiempo rcord de unas pocas semanas, adquirir, asumir y dominar conceptos a los que hombres y mujeres inteligentsimos dedicaron dcadas o siglos. (188)En este proceso la Mcanique cleste de Laplace sera el mejor ejemplo. Laplace ratific a Newton, con lo que no haba nada nuevo que discutir. Los dems demonios que no eran de Newton s que se discutieron ardorosamente. (189)Me refiero, sobre todo, a los trabajos: CAUCHY, A. (1821) Cours d'analyse l'Ecole Royale Polytechnique. Paris; CAUCHY, A. (1923) Resum de leons donnes a l'Ecole

Royale Polytechnique sur le calcul infinitsimal. Paris; CAUCHY, A. (1929) Leons sur le calcul diffrentiel. Paris. (190)Puede seguirse muy bien en la obra varias veces citada de CAVAILLES, J. (1965) Philosophie mathmatique. Paris, Hermann, tanto en el Captulo II de las Remarques sur la formation de la thorie abstraite des ensembles, que lleva por ttulo La cration cantorienne, como en la correspondencia Cantor-Dedekind que se contiene en el mismo volumen. (191)HODGKIN, L. (1981) "Mathematics and revolution from Lacroix to Cauchy". In: H. Mehrtens, H. Bos, I. Schneider (Eds.) Social History of Nineteenth Century Mathematics. Boston-Basel-Stuttgart, Birkhuser, pp. 50-71. (192)GRATTAN-GUINESS, I. (1969-70) "Bolzano, Cauchy and the New Analysis of the early nineteeenth century". Arch. Hist. Exact. Sci., 6, 372-400. (193)LAGRANGE, J.-L. (1965) Mcanique Analytique. Paris, Blanchard, 2 vols. Edition complte runissant les notes de la troisime dition revue, corrige et annote par Joseph Bertrand et de la quatrime dition publie sous la direction de Gaston Darboux, p. IX. (194)El subrayado es de Bertrand. (195)Quiero dejar claro que no me refiero a razones represivas de tipo externo como censura eclesistica o dictaduras de derecha con cualquier tipo de matiz. (196)Durante dcadas se ha considerado que los cientficos de los pases socialistas estaban atrasados porque no citaban -decan- a los occidentales, a los que no lean -decan- por problemas de censura. Sin embargo, casi ningn cientfico occidental lea y citaba a los colegas del Este europeo -y se supone que no tena problemas de represin aparente- sin que supusiera demrito para su brillante palmars curricular. Diferentes varas de medir. (197)Esto es generalizable a otras civilizaciones tambin complejas -China, India, Inca, Maya, etc.- de las que por deformacin personal, como ya he apuntado, conozco muy poco y, por respeto hacia esas culturas y por deseo de no decir simplezas, opto por la prudencia de no decir nada. (198)A su obra matemtica me remito. Siguiendo su mtodo compresela con la de Poincar, Hilbert, Klein, Weyl, Noether, Van der Waerden, Lusin, etc. y vern sus hagigrafos cmo queda. (199)La literatura est repleta de ejemplos, algunos por la va del escarnioso ridculo, en que los que cientficos de saln, sacados fuera de su medio acadmico y del conocimiento de los libros de su especialidad, son incapaces de afrontar los problemas elementales, incluso de supervivencia, derivados de la vida cotidiana en situaciones diferentes a aquellas para las que estn amaestrados. Los grandes cientficos no han tenido graves reparos en

hacerse eco de tales situaciones. Al clsico ejemplo de Los viajes de Gulliver de Swift se podran aadir muchos otros. (200)Sin duda, en el momento de escribir estas ideas -verano del 94- las situaciones se encuentran todava sometidas al ardor de diferencias de opinin y a la cerrada defensa de demasiados intereses demasiado inconfesables, mas ello no obsta para que los que estamos libres de esas contingencias recordemos qu tipo de sociedad ha sido capaz de mantener medias de instruccin altas de mbito general y al mismo tiempo preparar con garantas a los superdotados en el ajedrez, la natacin, el atletismo, la pintura o la msica; eso por no referirnos a la topologa, la teora de nmeros o la fsica nuclear. Mas muy posiblemente el reconocimiento de estos hechos evidentes necesite algunos aos para acabar de destruir los mejores sentimientos de solidaridad y fraternidad y los ms elevados ideales de libertad e igualdad de la especie humana. Quizs, cuando ya sea solamente cosa de los libros, se reconozca. (201)LILLEY, S. (1965) Man, Machines and History. 2 ed., London, Lawrence & Wishart. La referencia corresponde a la la 2 ed. en espaol [Hombres, mquinas e historia, Madrid, Artiach, 1973]. (202)Ib., pp. 49-50. (203)Las cursivas son de Lilley. Las versales son mas (M.H.). (204)Estoy aludiendo, claro est, al subttulo del libro de KLINE, M. (1973) Why Johnny Can't Add: The Failure of the New Math. New York, St. Martin's Press. Yo he trabajado con la edicin espaola [El fracaso de la matemtica moderna. Madrid, Siglo XXI de Espaa Editores]. (205)MITTAG-LEFFLER, M.G. (1902) "Une page dans la vie de Weierstrass. Extrait d'une communication plus tendue". In: Compte rendu du Deuxime Congrs International des mathmaticiens. Paris, Gauthier-Villars, pp. 131-153. (206)Ib., p. 131. (207)ACHALME, Dr. (1916) La Science des civiliss et la Science allemande. Paris, Librairie Payot. Avec un Prface de M. Edmond Perrier, President de l'Acadmie des Sciences et une rponse du Proffesseur Otswald. (208)Ib., p. 11. (209)OSTWALD, W. (1916) "L'organisation allemande et la science". Ib., pp. 189-203. (210)Ib., pp. 200-201.

(211)Vase ROWE, D.E. (1994) "The philosophical views of Klein and Hilbert". In: Ch. SASAKI; S. MITSUO & J.W. DAUBEN (1994) The intersection of History and Mathematics. Basel-Boston-Berlin, Birkhuser Verlag, pp. 187-202. (212)GARCIA DE GALDEANO, Z. (1913) Sumario de mis cursos de clculo infinitesimal. Zaragoza, Tipografa de G. Casaal, p. 29. (213)Wanda Landowska dijo en una ocasin: Cunta msica cabe en un minu!