El signicado losco de las matemticas en la cultura griega

Sergio Toledo Prats

Voy a resumir algunos aspectos de la actividad matemtica griega, durante los tres siglos y medio que separan a Tales de Mileto de Arqumedes de Siracusa. Me sito en la perspectiva defendida por Oswald Spengler en La decadencia de Occidente, brillantemente desarrollada por Jacob Klein en El pensamiento matemtico griego y los orgenes del lgebra, a saber: que cada cultura tiene su propia matemtica. Lo que implica que los significados, funciones, finalidades y mtodos del quehacer matemtico deben ser interpretados desde dentro de la cultura en que tienen lugar, y por tanto, en conexin con otros elementos de ella, al menos si pretendemos tener una perspectiva histrica. As pues, no es posible trasponer sin ms los conceptos y procedimientos de los matemticos griegos a nuestra cultura, a la matemtica occidental iniciada en el siglo XVII, como si hubiera una continuidad sin fisuras de su sentido, de su forma, de su valor. De modo que voy a comentar algunos avateres de la matemtica griega en relacin a otro saber con el que estuvo muy vinculada: la filosofa.

Tales y la escuela de Pitgoras

Se suele considerar que la gran aportacin de los matemticos griegos fue transformar la matemtica emprica de civilizaciones anteriores, como la mesopotmica o la egipcia, en una matemtica terica, es decir, en un saber que prueba o demuestra sus construcciones por deduccin a partir de un conjunto de axiomas, postulados, definiciones. Ello fue resultado de un largo proceso que lleva desde Tales hasta Euclides de Alejandra. La insistencia de las fuentes antiguas en los viajes de Tales y Pitgoras por Egipto y Mesopotamia no es sino un reconocimiento de la deuda de las matemticas griegas con los egipcios, los fenicios y los babilonios. Este reconocimiento alcanzaba, probablemente, no slo a las matemticas prcticas difundidas en Grecia por mercaderes o artesanos extranjeros, sino a un corpus de conocimiento ms organizado que requera el aprendizaje in situ. Parece ser que la primera historia de las matemticas fue escrita por Eudemo de Rodas, hacia el 330 a.n.e., a peticin de su maestro Aristteles, como parte de un vasto plan para recopilar algunos saberse consolidados, a ejecutar por los miembros del Liceo. Debemos recordar que una primera dificultad que enfrentan los historiadores actuales de la matemtica preeuclidiana es la carencia de los textos originales, ya que no se han conservado obras anteriores a la poca helenstica, y las de esa fecha se conservan como manuscritos copiados en plena Edad Media por bizantinos y rabes. Una segunda dificultad es la falta de informacin acerca de la transmisin oral del conocimiento matemtico, tanto respecto a los procedimientos de trabajo como respecto a la difusin de resultados obtenidos, factor nada desdeable si tenemos en cuenta que la escritura no se populariza en las capas cultas de las polis helenas hasta los tiempos de Platn.

73

Sergio Toledo Prats

Aunque la obra de Eudemo se perdi, algunos fragmentos sobrevivieron, copiados por autores posteriores, como Gmino o Proclo. Por eso sabemos que en ella se otorgaba a Tales el honor de ser el primer matemtico griego. Los cinco teoremas cuya demostracin se le atribuye inclinan a pensar que dichas demostraciones deban ser an parcialmente empricas, muy apoyadas en lo visual, en la igualdad por simetra o superposicin de figuras; desde el punto de vista lgico quiz se apoyaban en una especie de principio de razn suficiente, de modo que una tesis argumentada deba aceptarse si no haba un contraejemplo o un contraargumento mejor. Sin embargo, encontramos ya en Tales el primer paso hacia la matemtica terica: el paso de lo particular a lo universal. En un teorema tan sencillo para nosotros como el de que el dimetro divide al crculo en dos partes iguales encontramos la conversin de cualquier posible figura emprica circular en la figura terica crculo, haciendo abstraccin de sus distintos tamaos y de su disposicin en el espacio; lo mismo ocurre con la conversin de todos los dimetros posibles en la figura dimetro; e igualmente queda definida la figura centro. O sea, todos los crculos son el crculo, todos los dimetros son el dimetro y todos los centros son el centro. La pluralidad es sintetizada en unidad mediante la definicin de las propiedades inherentes a esas figuras. Quien probablemente inici el camino idiosincrtico de las matemticas griegas fue Pitgoras, a partir de la fundacin de su secta en Crotona hacia el 525 a.n.e. Sus principales doctrinas religiosas fueron la reencarnacin y la inmortalidad de las almas de todos los seres vivos. Los pitagricos le imprimieron una dimensin mstica a las matemticas, porque constituyen la esencia de la Naturaleza y son, por tanto, un saber sagrado. Los nmeros y las figuras son y nos permiten comprender la razn fundante de los seres fsicos. A sus ojos la prueba es clara: las matemticas proporcionan verdades eternas, por tanto, verdades divinas, cuyo origen no es humano, pues todo lo humano est sujeto al cambio y la corrupcin. Excepto el alma, precisamente. Si tenemos en cuenta que para los griegos hay una equivalencia entre ser y pensar, entre la physis y el logos, comprendemos mejor la correlacin entre la inmortalidad del alma y las verdades eternas. Aunque para los primeros pitagricos ni los nmeros ni las figuras existen separados de los objetos que cuentan y modelan, la idea de propiedad matemtica eterna har emerger el concepto de verdad como categora fundamental del logos, con una fuerza cuasidivina, como podemos comprobar viendo la persistencia de la idea de verdad eterna en el pensamiento teolgico, filosfico y cientfico de Occidente hasta ayer mismo. La teora fsica pitagrica es consecuente: se basa en la tesis de que las cosas son nmeros. Consideran que las cosas estn formadas por una cantidad determinada de partculas, todas iguales entre s, como si fueran una especie de puntos materiales, con dimensin. Las propiedades de las cosas dependeran del nmero de partculas y de su configuracin geomtrica. As pues, los pitagricos son los primeros atomistas griegos. La profunda vinculacin que establecieron entre aritmtica y geometra ha motivado que algunos historiadores de la ciencia denominen este perodo inicial de la matemtica pitagrica como aritmogeometra. Probablemente entre el ao 500 a.n.e. y el 470 a.n.e. los pitagricos descubrieron la existencia de magnitudes inconmensurables, al estudiar la relacin entre el lado y la diagonal del pentgono regular, o bien, del cuadrado. Una vieja leyenda da pie a pensar que el descubridor pudo haber sido Hpaso de Metaponto. Esto arruinaba la creencia pitagrica en que todo lo existente poda ser medido por el nmero, que todas las magnitudes podan ser expresadas como razn entre nmeros. Dos consecuencias de inters fueron la creciente importancia de la geometra, en

74

El significado de las matemticas en la cultura griega

detrimento de la aritmtica, y la sustitucin, hacia mitad de siglo, del atomismo matemtico pitagrico por el atomismo fsico de Leucipo y Demcrito. Fue una suerte para el devenir de las matemticas que hacia el 450 a.n.e. los pitagricos fueran expulsados de Crotona por motivos polticos. De ese modo se diseminaron por las polis helenas, convirtindose en profesores de matemticas. Los lazos entre sus miembros se iran debilitando, aunque conocemos comunidades activas todava a principios del siglo IV a.n.e. Los residuos de la secta desaparecen hacia el 300 a.n.e., justo por la poca en que Euclides de Alejandra va a recoger en sus Elementos buena parte de la herencia pitagrica en geometra y aritmtica. La pretensin pitagrica de que las matemticas son conocimiento verdadero plantea dos cuestiones que sern trabajadas y debatidas durante los siglos V y IV a.n.e.: el mtodo matemtico y la ontologa de los conceptos matemticos.

Mtodo y Ontologa en Matemticas

Respecto al mtodo sealemos que los historiadores no concuerdan en si la demostracin deductiva fue inventada por los pitagricos y desarrollada por los filsofos elatas o viceversa. Aunque se suele considerar que su origen remoto se halla en la retrica judicial, el documento ms antiguo conservado con razonamientos deductivos es el Poema de Parmnides de Elea, escrito hacia el ao 480 a.n.e. En l se expone una cosmologa basada en un principio: lo Uno, lo nico que es. Mediante deduccin se van probando las propiedades fundamentales de lo Uno: que no tiene principio ni fin en el tiempo, que es inmutable, inmvil, homogneo, continuo y limitado; se afirma adems que es esfrico. Esta cosmologa ataca dos aspectos del pitagorismo: no acepta que haya dos principios fundamentales lo lleno y lo vaco reducindolos al primero, y rechaza su pluralismo atomista. Las demostraciones son indirectas, por reduccin al absurdo. En vez de razonar a partir de la tesis que se quiere demostrar se parte de la anttesis hasta llegar a una contradiccin, lo que nos permite rechazar la anttesis, por el principio de no contradiccin, y afirmar la tesis, mediante el principio de tertio excluso. Pues bien, Euclides ha conservado en los libros de aritmtica de los Elementos un conjunto de teoremas demostrados por reduccin al absurdo y que son de procedencia pitagrica. Entre ellos estn los teoremas acerca de los nmeros pares e impares, que se consideran anteriores al 450 a.n.e. Se atribuye a Hipcrates de Quos que us la reduccin al absurdo en su cuadratura de las lnulas la redaccin de los primeros Elementos, hacia el 435 a.n.e., es decir, el primer ensayo de presentar el saber matemtico partiendo de unos principios definidos. El trmino elemento significaba por entonces aquello a partir de lo que se construye algo, o bien aquello simple en que se resuelve lo complejo. Ni esos Elementos, ni los posteriores de Len o de Teudio, se han conservado, eclipsados por los de Euclides, que hacia el ao 300 a.n.e. convirtieron en cannica la forma de presentacin de los conocimientos matemticos a partir de axiomas o postulados, nociones comunes y definiciones. A partir de los Elementos de Hipcrates se debi ir abriendo paso la distincin temtica entre construccin de figuras caracterstica de la matemtica pitagrica y la demostracin de teoremas. Lo mismo debi ocurrir con la distincin entre anlisis y sntesis. Esta se consagr como mtodo de exposicin del conocimiento matemtico, de modo que partiendo de los principios establecidos se llegaba, mediante una serie de pasos, hasta la tesis

75

Sergio Toledo Prats

a demostrar, quedando su verdad demostrada como consecuencia necesaria de los principios. El anlisis, cuya invencin atribuye Proclo a Hipcrates, y que sera explicado ms tarde por Platn en su Repblica (VI, 511 a), consiste en el camino inverso. Suponiendo resuelto el problema hay que derivar deductivamente consecuencias que nos lleven hasta los principios, que permiten luego justificar esa solucin porque son condicin suficiente y necesaria para ello. La cuestin ontolgica presenta ms dificultades. Los primeros pitagricos haban considerado la lnea como una yuxtaposicin de puntos, la superficie como una yuxtaposicin de lneas y el cuerpo slido como una yuxtaposicin de superficies, siendo todos ellos puntos, lneas, superficies y slidos entes materiales. Tras el descubrimiento de las magnitudes inconmensurables debieron intentar soslayar el problema mediante la teora de la fluxin: una lnea es un punto que fluye hasta otro punto, etc. Pero en contra de ello, las aporas de Zenn de Elea, hacia el 450 a.n.e., trataron de demostrar que el espacio no existe, que ni los cuerpos slidos ni las lneas son conjuntos de puntos, y que los conceptos de espacio y movimiento no sirven para la investigacin de la Naturaleza, porque producen contradicciones al pensar, tanto si se los considera como continuos o como discontinuos. Poco despus, hacia el 435 a.n.e., en la Atenas de Pericles, Anaxgoras intentar refutar esas aporas estableciendo un cierto principio de continuidad, al afirmar que no existe lo ms pequeo entre los ms pequeo, ni lo ms grande entre lo ms grande, o sea, que toda magnitud puede seguir siendo dividida hacia lo mnimo de modo ilimitado o creciendo hacia lo mximo en un proceso sin fin. Anaxgoras fue uno de los filsofos junto a Empdocles, Leucipo y Demcrito que, para hacer compatibles la lgica parmendea del ser y el no ser con la evidencia de los cambios en la Naturaleza, ofrecieron soluciones pluralistas para la composicin de las cosas, uniendo el concepto fsico de mezcla con el concepto matemtico de proporcin.

Las matemticas ideales, la democracia ateniense y Platn

Despus de Zenn, los matemticos avanzan hacia la consideracin de los conceptos matemticos como referidos a entes ideales no materiales. No ser sin discusin, pues hay resistencia contra esos entes matemticos doblemente idealizados: sin materia y sin dimensin. Algunos sofistas, entre el 450 a.n.e. y el 400 a.n.e., no slo pondrn en duda la validez de los principios matemticos, sino tambin la pertinencia del propio mtodo deductivo, y querrn hacer valer los derechos de lo emprico frente a lo terico, del conocimiento sensible frente al conocimiento lgico. Ello se ve, por ejemplo, en la discusin de Protgoras acerca de que la tangente no toca slo en un punto al crculo, o en los procedimientos de Antifonte y Brisn para cuadrar el crculo mediante la inscripcin y circunscripcin de polgonos de un nmero cada vez mayor de lados, o incluso, en las comparacin de las superficies de corte de un cono por un plano, por el atomista Demcrito. La implantacin de la democracia en Atenas, hacia mediados del siglo V a.n.e., trajo consigo el debate pblico acerca de la educacin. Algunos sofistas rechazaron que se eneara matemticas por su inutilidad prctica; otros filsofos, como Aristipo, las recusarn porque con ellas no se aprende tica, no ayudan a formar ciudadanos virtuosos. Esta poca ve consagrarse como mtodo

76

El significado de las matemticas en la cultura griega

de produccin del saber el dilogo polmico que busca refutar a los dems interlocutores para triunfar imponiendo el discurso propio. Platn (427-347 a.n.e.) inventa la escritura filosfica imaginando ese tipo de dilogo aunque con una finalidad retrica de consenso entre Scrates y sus interlocutores. Entre ellos, algunos sofistas, a quienes Platn el gran paladn de la matemtica idealizada execrar acusndolos de confundir los nmeros abstractos o las figuras geomtricas ideales con las apariencias fsicas sensibles; pero como ya hemos expresado, no se trata de una confusin, sino de una opcin diferente a la de Platn. A pesar del vuelo mstico de las matemticas platnicas, recordemos que D. H. Fowler, en su obra Mathematics in Platos Academy ha demostrado de manera convincente la importancia fundamental de la antifresis o sustraccin mutua, mtodo de origen emprico para determinar la relacin entre dos magnitudes, tanto en la Academia como en matemticos anteriores y posteriores. Platn funda la Academia en el ao 387 a.n.e. y en ella trabajarn matemticos de renombre como Teeteto, a quien se atribuye buena parte de los libros X y XIII de los Elementos de Euclides, y Eudoxo, quien con su teora de las proporciones y su mtodo de exhaucin, recogidos en los libros V y XII de los Elementos, solucionar el tratamiento de las magnitudes inconmensurables. Adems, Platn, en sus viajes a Sicilia, recibir la influencia de importantes matemticos pitagricos, a travs de los escritos cosmolgicos de Filolao y los trabajos de Arquitas de Tarento. La piedra angular de la filosofa platnica es su teora de las Formas o Ideas. Con ella pretende explicar la existencia de los seres naturales como copias de arquetipos nicos externos a la Naturaleza. Cada conjunto de seres naturales semejantes, que podemos conocer mediante los sentidos y denominamos con un mismo concepto, deben su existencia y sus caratersticas comunes a su Forma arquetipo, conocida exclusivamente mediante la razn. Las Formas mencionadas son: formas de especies naturales, formas de virtudes morales, formas de conceptos matemticos. En Repblica, donde plantea esa divisin entre seres sensibles e inteligibles, Platn expone que estos ltimos son de dos tipos: las Formas y los entes matemticos, como nmeros y figuras. Esto da lugar a dos tipos de conocimiento epistmico: el saber notico o dialctica, que consiste en la inteleccin de las Formas, y las ciencias matemticas, que usan el razonamiento discursivo. La superioridad del primero sobre el segundo estriba en que demuestra todos sus principios, mientras que las matemticas se fundan en postulados indemostrables. Para Platn, los entes matemticos juegan el papel de intermediarios entre las Formas y los seres naturales. Pero en escritos posteriores se ir diluyendo esa separacin entre Formas y entidades matemticas, pues usar cada vez ms conceptos matemticos para tratar de conseguir su objetivo fundamental: presentar una jerarquizacin de los principios de todo lo que existe. Para ello usa el mtodo de generalizacin y divisin. Veamos algunos claros ejemplos. En Repblica la Forma suprema es el Bien, pero en Las Leyes, su obra postrera, ser la de Unidad. Cuando presenta su cosmologa en el Timeo, adjudica a las partculas que componen los cuatro elementos fsicos tierra, agua, aire y fuego formas de poliedros regulares hexaedro, icosaedro, octaedro y tetraedro. Curiosamente su atomismo geomtrico se basa en una combinatoria de las superficies de los poliedros, no de sus volmenes. Ah mismo distingue tres gneros de ser: las Formas eternas inmutables, el Espacio ser inteligible, receptculo de todo lo que nace y perece y los seres naturales. Los principios primeros que explican la existencia de los seres naturales son la Unidad y la Dada dada que es lo Grande y lo Pequeo. Asimismo en El Sofista presenta como

77

Sergio Toledo Prats

gneros supremos cinco: el ser, el reposo y el movimiento, lo igual y lo desigual. En el Teeteto se afirma que tras percibir las sensaciones el alma compara y distingue lo semejante y lo diferente: esa reflexin constituye la ciencia. Convencido de que las matemticas expresan la necesidad de la verdad, Platn llegar a decir en Las Leyes que los dioses no se resisten ni luchan contra las matemticas. Hay indicios de que pudo elaborar una teora de los nmeros ideales, que no lleg a escribir, donde asociaba las Formas fundamentales a los nmeros de la Dcada, siguiendo una tradicin pitagrica. De modo consecuente, Platn propone en Repblica que los jvenes destinados a futuros gobernantes de la polis ideal estudien, entre los 20 y los 30 aos, las cinco ciencias matemticas, en orden creciente de complejidad: aritmtica, geometra, estereometra, astronoma y armona. Luego habrn de estudiar dialctica cinco aos. Segn Iscrates, los platnicos usaban las matemticas para entrenarse en el conocimiento abstracto y en la tcnica deductiva. Todas esas ciencias admiten un uso terico que Platn considera superior y un uso prctico, por su utilidad para el comercio, el arte de la guerra, la navegacin, la medicina, etc. Por ello criticar a Arquitas, por usar las matemticas para la mecnica, y al propio Eudoxo, por no limitarse a la astronoma matemtica. Es muy probable que fuera a peticin de Platn por lo que Eudoxo, hacia el 355 a.n.e., elabor el primer modelo astronmico matemtico del movimiento del Sol, la Luna, los planetas y la esfera de las estrellas fijas: la teora de las esferas homocntricas. Esto constituye toda una novedad, pues la palabra planeta significa errante y Eudoxo les va a poner a esos vagabundos del espacio una camisa de fuerza matemtica. Esta conversin de los cielos en el reino de la regularidad permitir luego a Aristteles separar la zona supralunar incorruptible e inmutable de la zona sublunar corruptible y cambiante. Aunque Platn no fuera un matemtico de relieve, en sus obras toma una posicin clara respecto a la cuestin ontolgica. Los nmeros y las figuras son entidades ideales, inteligibles, eternas, inmutables, independientes y separadas de los seres naturales. Niega entidad a los puntos, a los que considera simplemente extremos de lneas, y afirma que las entidades ideales son la lnea, la superficie y el slido. Respecto a los nmeros, segn fue envejeciendo, se fue haciendo ms pitagrico. En el Filebo dir que el Nmero es el principio intermedio entre lo Uno y lo Ilimitado. Aristteles seala que Platn distingua tres tipos de nmeros: los sensibles, que cuentan las cosas, los matemticos, conjuntos de mnadas o unidades, y los ideales, como la dada o la trada, siendo cada uno de estos ltimos una especie diferente. En definitiva, con Platn las matemticas se reafirman en la dimensin cosmolgica y sagrada adquirida con los pitagricos, yendo incluso hyperouranos. Los nmeros y figuras son los principios eternos que gobiernan la Naturaleza cambiante y mortal. Las matemticas expresan el orden de la necesidad, la verdad sobre el mundo, comprensible slo por el alma racional, no por el cuerpo sensible. Al final de su vida llega a proponer como religin popular de la polis racional ideal una teologa astral que se funda en la astronoma matemtica.

78

El significado de las matemticas en la cultura griega

Las matemticas y Aristteles

No es extraa, entonces, la queja de Aristteles:
Las matemticas se han convertido hoy en filosofa, y en toda la filosofa, por ms que se diga que su estudio no debe hacerse sino en vista de otras cosas.

El estagirita va a realizar una nueva clasificacin de las ciencias. Las ciencias tericas son las de valor superior, y en orden decreciente de importancia son: filosofa primera, matemticas y fsica. Luego vienen las ciencias prcticas, como tica, poltica, economa, retrica. Finalmente las ciencias productivas, como medicina, navegacin, arquitectura, etc. Enumerar algunos de los presupuestos que sostienen esa jerarqua. Las ciencias de los entes inteligibles son superiores a las de los entes materiales. Las ciencias que parten de principios son ms rigurosas que las que no lo hacen. La aritmtica es ms exacta que la geometra porque se basa en menos principios. En los Analticos Primeros, donde explica su lgica silogstica, y en los Analticos Segundos, donde expone su teora de la demostracin y la definicin, Aristteles va a establecer el canon para el conocimiento cientfico. La silogstica tuvo poco xito como mtodo de exposicin o de justificacin del conocimiento, a pesar de su rigor lgico; en cambio, su epistemologa tuvo mayor influencia, aunque ni siquiera el propio autor se atuvo demasiado a ella en sus obras, usando con frecuencia procedimientos descriptivos y argumentos retricos que no se atienen estrictamente al mtodo proclamado. Demostrar es razonar a partir de lo necesario, no simplemente a partir de lo verdadero. Toda ciencia demostrativa ha de constar de principios indemostrables propios o comunes, aserciones de existencia hiptesis y definiciones. Para defender las ciencias Aristteles refuta tanto a quienes niegan certeza al conocimiento por la supuesta necesidad lgica de un retroceso ad infinitum en la justificacin de los principios como a quienes intentan demostrarlos de modo circular. Por ello rechaza la posicin platnica de que la dialctica demuestra todos sus principios, aduciendo en contra de un proceder tpico de su maestro que una definicin no sirve como demostracin, pues hay que probar que corresponde a una realidad. Cada ciencia tiene su propio objeto de estudio y su propio mtodo. Por eso no se puede demostrar nada saltando de una ciencia a otra
excepto [aplicando] los principios geomtricos a las cuestiones mecnicas u pticas, y los principios aritmticos a las armnicas (An. Pos., 1076 a).

Y contina diciendo
No debe exigirse rigor matemtico sino para objetos inmateriales. Y as el mtodo matemtico no es el de la fsica, porque la materia es el fundamento de la Naturaleza.

Las demostraciones producen verdades eternas; as lo expresa con un ejemplo:

La conmensurabilidad entre lado y diagonal no es en el tiempo, ni tampoco la inconmensurabilidad; una por no ser nunca, la otra por ser siempre.

79

Sergio Toledo Prats

Aristteles es un pensador finalista: todo se produce en vistas a una finalidad que es el Bien. El conocimiento es una de las formas del bien. Aplicado esto a las matemticas significa que en ellas todo conocimiento tiene causa formal y causa final. La primera consiste en que todo conocimiento nuevo se produce a partir de conocimientos preexistentes; la segunda estriba en el teorema, prueba o construccin, buscado por el razonamiento matemtico. Respecto al tema ontolgico, para Aristteles los principios matemticos ni son principios internos de los cuerpos fsicos como sostenan los pitagricos ni son principios externos como sostena Platn. Tampoco los considera sustancias, o sea, algo capaz de subsistir por s mismo. Son para l formas abstradas de los cuerpos fsicos. Por ello prefiere definir los puntos, lneas y superficies de modo relativo: como lmites o divisiones. Hoy nos resulta chocante a simple vista su definicin del lugar como superficie envolvente de un cuerpo. Para comprenderla hay que darse cuenta de que Aristteles est intentando soslayar las discusiones ontolgicas sobre el espacio, provenientes de las teoras de Parmnides y Zenn. No quiere mezclar con su fsica la idea matemtica de un espacio homogneo, sin cualidades. Su espacio es pleno, heterogneo y cualitativo. Siguiendo la estela eletica en la fsica aristotlica no existe el vaco, cada cuerpo tiene su lugar natural y el conjunto de los lugares ocupa plenamente el espacio. En diversos puntos de su obra Aristteles intenta refutar las paradojas de Zenn para afianzar los conceptos matemticos fundamentales. Para ello introducir la distincin entre infinito actual e infinito potencial. No hay infinito fsico ni matemtico actual, es decir, como realizacin efectiva, como algo presente. En cambio, tanto la magnitud como los nmeros son infinitos potenciales, aunque con simetra inversa. Los nmeros son potencialmente infinitos hacia lo grande, pero hacia lo pequeo tienen su lmite en la Unidad. Las magnitudes son potencialmente infinitas hacia lo pequeo, pues al ser continuas pueen ser divididas sin fin, pero tienen un lmite hacia lo grande: la esfera de las estrellas fijas, donde acaba el universo. De ese modo representa Aristteles lo matemtico en el marco de lo fsico; si bien las matemticas tienen la prioridad lgica, a la fsica corresponde la prioridad ontolgica. Respecto a los nmeros aceptar la idea pitagrica de que la Unidad es el principio de los nmeros, justificndolo porque contar implica siempre disponer de una unidad de cuenta. Por tanto, para l la Unidad no es un principio comn de los cuerpos fsicos como era para los pitagricos sino su medida. Euclides recoger ms tarde esta idea del nmero como medida en sus definiciones del libro VII de los Elementos. Digamos en conclusin que en el camino del consenso matemtico en torno a principios y mtodos Aristteles representa un paso adelante: la retrica persuasiva de los dilogos de Platn se ve sustituida por una lgica expositiva basada en principios, definiciones y demostraciones, que quiere convencer sin dejar lugar a dudas. Con la mirada de un profesional del saber quiere poner orden en el abanico de las ciencias. La lgica ser el instrumento necesario para todas las ciencias. Estas sern clasificadas y jerarquizadas. Cada una tendr que especificar sus principios propios y los que comparte con otras ciencias. Se trata de evitar confusiones de mtodo en el tratamiento de los objetos de investigacin y de evitar incoherencias en el mtodo de exposicin. A pesar de que hoy los practicantes de las ciencias podamos reconocernos en esta mirada tcnica ms que en la de sus predecesores, Aristteles conserva respecto a las matemticas algunos ideales tpicos de la cultura griega, como la perspectiva tica y esttica, que no aparecen con mucha frecuencia en la filosofa actual de las matemticas. Por ejemplo, en su Metafsica dir que

80

El significado de las matemticas en la cultura griega

incurren en error los que pretenden que las ciencias matemticas no hablan ni de lo bello ni del bien. De lo bello es de lo que principalmente hablan y lo bello es lo que demuestran.

Esta belleza reside para l en el orden, la simetra, la limitacin y la proporcin.

La ciencia helenstica y los Elementos de Euclides

Discuten los historiadores de la ciencia cul haya podido ser la influencia de la Academia y el Liceo sobre el desarrollo de la ciencia helenstica. Sealemos ante todo que la oposicin entre Platn y Aristteles no fue tan marcada en el mundo antiguo como lo ser en Europa a partir de la filosofa escolstica de los franciscanos y los dominicos, que enfrentarn versiones cristianizadas de ambos. Pero basta estudiar las culturas bizantina y rabe, correspondientes a nuestra Edad Media, para ver qu estrechamente cohabitan maestro y discpulo. Los Antiguos vern, en general, la obra de Aristteles como una continuidad con variaciones de la obra de Platn. En lo que respecta a las matemticas es obligado hablar de Euclides, que entre el 300 a.n.e. y el 280 a.n.e., compil sus Elementos en Alejandra. Esta obra no pretende ser ni un tratado exhaustivo sobre las matemticas anteriores, ni siquiera un resumen de los hallazgos ms valiosos. Los Elementos es una obra redactada con intencin pedaggica, como texto para el estudio de las matemticas. Por ello Euclides tiene que combinar dos perspectivas: Conservar partes de las tradiciones y escuelas anteriores, como la pitagrica, la de Quos, la platnica; a veces manteniendo las demostraciones y construcciones originales, a veces aadiendo pruebas ms acordes con su sistema de exposicin; tambin, desarrollando reas iniciadas por otros, como la teora de las magnitudes irracionales de Eudoxo o la estereometra de Teeteto. Seguir las exigencias metodolgicas de Aristteles para la elaboracin del conocimiento cientfico. Por ello se apoya en un breve conjunto de axiomas y nociones comunes, as como en un gran nmero de definiciones, referidas a entidades cuya existencia ir siendo probada. Hay que recordar que la influencia de Aristteles ser notable entre los estudiosos alejandrinos, y ms desde que Estratn de Lampsaco, tercer director del Liceo, traslada al Museo la biblioteca del estagirita, as como sus colecciones zoolgicas y botnicas. Pero tambin hay platonismo en Euclides. El argumento clsico es que los Elementos acaban presentando la construccin de los poliedros regulares como homenaje a la cosmologa de Platn en el Timeo. Es cierto que el argumento no es contundente, porque ese final puede deberse simplemente al orden de exposicin, que avanza desde lo simple a lo complejo. Pero difcilmente en esa poca alguien interesado por las matemticas poda sustraerse al influjo de Platn, y la mera empresa de elaborar un manual sistemtico para la enseanza de las matemticas se inserta en la poltica cultural platnica. Los Elementos es una obra que conecta perfectamente con la poltica cultural de los Ptolomeos, ejercida desde el Museo y la Biblioteca, fundados hacia el 285 a.n.e., consistente en recopilar, seleccionar y sintetizar todo el saber adquirido por la civilizacin helena, para su enseanza y difusin. Es posible que los Elementos hayan determinado el canon de la ciencia alejandrina, que

81

Sergio Toledo Prats

pasando por la Syntaxis Mcnica de Filn de Bizancio (circa 225 a.n.e.) y los tratados de Hern (s. I d.n.e.) alcanza hasta la Syntaxis astronmica (s. II d.n.e.) de Claudio Ptolomeo, el famoso Almagesto.

Arqumedes, cumbre de las matemticas griegas

Ms difcil resulta a los historiadores pronunciarse sobre el platonismo o aristotelismo de Arqumedes de Siracusa (285-213 a.n.e.). Este dilema se halla conectado a dos cuestiones relacionadas entre s y que se convertirn en un tpico obligado a partir de los autores del siglo I d.n.e., como Hern de Alejandra, Carpos de Antioqua y Gmino, a saber, cus es la conexin entre geometra y mecnica, y cul es el papel de Arqumedes en la historia de la mecnica. El historiador latino Plutarco de Queronea lo presenta en su Vida de Marcelo (circa 100 d.n.e.) como un platnico riguroso, pero es una visin idealizada. Otros autores lo han visto como el matemtico ingeniero, ms en consonancia con el aristotelismo. En la mayora de sus obras Arqumedes no parece seguir el canon cientfico de Aristteles o Euclides, aunque podemos presumir con bastante seguridad que conoci las obras de ambos relativas al tema. Sus obras parecen tener un formato distinto, son una especie de informes monogrficos sobre sus investigaciones. En El Mtodo, dirigido a su amigo Eratstenes, obra perdida durante siglos y recuperada por Heiberg en 1903, sigue la costumbre, iniciada por los estudiosos alejandrinos, de presentar los tratados cientficos con una carta-prlogo donde el autor toma posicin respecto a los asuntos all expuestos mediante referencias a autores ms antiguos, predecesores en esos temas. Sabemos que le gustaba enviar a los matemticos de Alejandra problemas a resolver, enunciados sin pruebas e incluso enunciados falsos, quiz como acicate de amigos y medio de discriminar entre buenos y malos matemticos. Como l mismo dice:
Es conveniente que los matemticos descubran las cosas por s mismos.

Desde la recuperacin de El Mtodo los historiadores de la ciencia han reactivado la vieja cuestin de cul era la visin de Arqumedes sobre la relacin entre geometra y mecnica. Es la mecnica un simple mtodo heurstico para resolver problemas matemticos que luego debemos probar mediante la geometra? Consideraba igual de valiosas las demostraciones mecnicas, donde hace uso de equilibrios y centros de peso, que las demostraciones geomtricas al modo eucldeo? En su clebre libro sobre Arqumedes defiende Dijkterhuis que las objeciones que el siracusano poda plantear respecto a sus propios trabajos mecnicos no se deban a las consideraciones mecnicas, a la mezcla de mecnica y geometra, sino al uso de indivisibles. Ahora bien, necesitaba Arqumedes probar mediante la geometra lo que ya haba probado mediante la mecnica para asegurarse de la certeza de sus resultados o slo para que fueran aceptados? Ya hemos visto anteriormente cmo en los Analticos Segundos Aristteles considera apropiado el uso de los principios geomtricos en la mecnica, considerando esta ciencia subordinada a la primera. Todo descubrimiento por la va mecnica, aunque fuera considerado til, probable o razonable, deba ser validado por la va geomtrica como garanta de verdad: slo eso poda ser llamado demostracin. Aunque lo importante no es slo la obtencin de nuevos

82

El significado de las matemticas en la cultura griega

resultados, sino que adems el mtodo mecnico proporciona pistas adecuadas para conseguir la demostracin geomtrica, indicando por dnde hay que avanzar. Cuando Arqumedes escribe El Mtodo est convencido de que el mtodo mecnico conducir a nuevos descubrimientos en el futuro, por l mismo y por otros matemticos que lo adopten. Por el contrario, el uso de indivisibles era un tema problemtico desde que Zenn haba expuesto sus aporas, que ni el propio Aristteles, pese a sus esfuerzos, haba logrado conjurar. Aunque Arqumedes no tuviera reparo en usar los indivisibles como mtodo heurstico deba ser consciente de la dificultad de que los resultados obtenidos con ese procedimiento fuesen aceptados por la comunidad matemtica, en particular por la alejandrina, y de hecho no parece haber tenido ningn inters en justificar epistemolgicamente el uso de indivisibles, emulando y distancindose de Aristteles. En definitiva, en Arqumedes podemos encontrar rasgos eucldeos, como el hecho de empezar su obra Sobre el equilibrio de planos introduciendo una serie de postulados; rasgos aristotlicos, en lo que atae, por ejemplo, a las relaciones entre geometra y mecnica; rasgos platnicos y pitagricos, como la creencia en que las matemticas constituyen los principios de la Naturaleza; e incluso podemos afirmar que comparte con Tales la conviccin de que las figuras geomtricas tienen propiedades naturales inherentes. Con esto quiero decir que aunque Arqumedes sea heredero de toda la matemtica griega, no creo que pueda ser adscrito a ninguna tendencia o escuela determinada. Me imagino a Arqumedes como alguien que fue educado en las matemticas desde la infancia, por su padre el astrnomo Fidias, y que ya para siempre proyect esa mirada matemtica con curiosidad sobre todas las facetas del mundo que le rodeaba. As parece indicarlo la enorme variedad de sus campos de trabajo y su posicin marginal respecto a los sistemas epistemolgicos dominantes. Era un matemtico vocacional mucho ms interesado en resolver problemas que en justificar sus resultados. Sabemos que consider que el sistema heliocntrico defendido por su contemporneo Aristarco de Samos poda ser verdadero; ello nos da una prueba ms del estilo abierto de Arqumedes, capaz de enfrentar tradiciones arraigadas y arriesgarse en la bsqueda de nuevas vas para el conocimiento.

Arqumedes en Iberia
Para terminar quiero desmentir una falsa noticia sobre la posible presencia de Arqumedes en la Pennsula Ibrica, noticia que se remonta a Leonardo da Vinci. A principios del siglo XX el estudioso italiano Antonio Favaro expona:
Al tempo in cui Torelli scriveva non era ancor noto un passo di Leonardo da Vinci, il quale nota daver ritrovato nelle storie delli spagnioli che Archimede Siracusano si trovava presso Eclideride, re dei Cilodastri, nel tempo in cui erano in guerra con glinglesi, e, combattendose sul mare, sugger certa disposizione da darse allarmatura delle navi per la quale poteva lanciarsi facilmente pece infuocata che obbligava il nemico ad abbandonare il combattimento e metteva in grava pericolo i vascelli. Antonio Favaro, Archimede, 2 ed., 1923]

83

Sergio Toledo Prats

La obra mencionada de Torelli es Archimedis quae supersunt omnia cum Eutocii Ascalonitae commentariis, Oxford, 1792. Parece, por tanto, que en algn momento posterior a la obra de Torelli y anterior a la de Favaro alguien repar en una cita sobre Arqumedes en un manuscrito de Leonardo. En su famosa obra de 1956 sobre el matemtico de Siracusa todava el historiador de las matemticas Dijkterhuis repeta:
According to a statement in the biography with which J. Torelli introduces his great Archimedes edition Archimedes is said after his return from Egypt to have visited other countries as well. There is a particular story about a voyage to Spain in a note by Leonardo da Vinci, in which the latter mentions that he has read in a history of the Spaniards that the Syracusan Archimedes aided Ecliderides, King of the Cilodastri, in a maritime war against the English through the invention of a device for spouting burning pitch on the ships of his opponents. It is, however, altogether unknown in what work Leonardo can have read this, and authorities on spanish History ignore both King Ecliderides and the people of Cilodastri. [Dijksterhuis, Archimedes, 1956]

Y en la edicin catalana de El Mtodo su traductor y prologuista P. G. Urbaneja seala:

Hi ha un testimoni, no comprovat, de Leonardo da Vinci, que assegura que Arquimedes va estar a la pennsula Ibrica, cridat per Eclidrides, rei dels cilodastres, a qui va ajudar en els seus combats navals. [Mtode, 1997, prlogo de Gonzlez Urbaneja]

Es lgico que nadie pudiera informar a los antedichos autores sobre el rey Ecliderides, ni sobre el pueblo de los cilodastros, porque nunca existieron ni uno ni otro. El tal Ecliderides no es otro que El Cide Ruy Dez, a quien separan de Arqumedes trece siglos. Segn mi hiptesis, esa confusin se remonta a la poca en que Leonardo fue ingeniero general de fortificaciones del ejrcito de Csar Borgia, entre el verano de 1502 y la primavera de 1503. Los Borgia eran una familia originaria del reino de Valencia, territorio que haba sido conquistado a finales del siglo XI por El Cid Ruy Dez de Vivar. All disponan de amplias posesiones y ostentaban un ttulo nobiliario: el ducado de Ganda. Leonardo debi leer en algn libro de la biblioteca de los Borgia la atribucin al Cid de un ataque con catapultas contra naves enemigas. Cuando tiempo ms tarde record ese suceso, probablemente a propsito del tema de los ingenios mecnicos, Leonardo ya no recordaba el nombre con precisin y no deba tener acceso a su fuente escrita original. De ah que al citar de memoria convirtiese a El Cid Ruy Dez en Ecliderides. La cita de Leonardo debe hallarse en alguno de los diarios donde anotaba asuntos de su inters, de mecnica entre otros. En qu obra pudo haber ledo Leonardo esa referencia al Cid? Entre las obras manuscritas posibles, anteriores a la imprenta, habra que citar las siguientes: Historia de Valencia, del autor rabe Ben Alcama, escrita hacia el ao 1100 y hoy perdida. Historia Roderici, escrita hacia el 1200. Chronicon Mundi, del obispo Lucas de Tuy, que data de 1236 y tuvo una gran influencia en los historiadores del crculo de Alfonso X el Sabio. De rebus Hispaniae, de Rodrigo Jimnez de Toledo, redactada en 1243. Crnica de Castilla, hacia 1300. Crnica particular del Cid, hacia 1400.

84

El significado de las matemticas en la cultura griega

Entre los libros impresos, el ms probable sera la Crnica del Cid Ruy Daz, editado en Sevilla en 1498. Entre los manuscritos citados considero que el ms probable es el de Jimnez de Toledo, por ser su autor una eminencia de la Iglesia, y porque su obra tuvo una gran difusin hasta el siglo XVI. Si el hecho histrico atribuido al Cid es cierto debera referirse al ataque por mar que tropas de Alfonso VI de Castilla, aliado con Gnova y Pisa, dirige contra el puerto de Valencia en el ao 1092. Recordemos que Alfonso VI es el rey de Castilla a quien se enfrent el Cid, segn queda recogido en el Cantar del Mo Cid, texto fundacional de la literatura espaola. El uso de catapultas contra los navos en esa poca y ms tarde est bien documentado. En 1238 las tropas de Jaime I las usaron para conquistar Valencia, enfrentndose a las naves enviadas por Abu Zakkariya, rey de Tnez, en auxilio de Zayyan, rey de Valencia. Por las misma poca en que Leonardo se relacionaba con los Borgia el famoso pirata berberisco Barbarroja saque Cullera (1503), suceso que debi ser conocido y comentado por los Borgia. Respecto a los Cilodastros slo puedo hacer conjeturas. Ni siquiera podemos saber por ahora si el texto en que se basa la confusin de Leonardo estaba escrito en latn o en castellano. Sospecho que equivoc el sentido de una frase que juntaba dos trminos. Uno poda ser cide o cidello, o bien cielo o caelo; el otro, astro rey o astris rex. De modo que, por ejemplo, una frase como del cielo astro rey pudo ser interpretada y transformada en la memoria como rey de los cilodastros. Tngase en cuenta las dificultades de lectura de los manuscritos, las erratas frecuentes de los amanuenses, y para el caso de que fuera un texto impreso, el hecho de que an no haba una tipografa estndar, adems de las erratas. En cualquier caso, volver a localizar el diario de Leonardo donde consta la cita sobre Arqumedes ser mucho ms fcil que averiguar el texto de donde la sac. As pues, respecto al tema de la posible presencia del genio siracusano en Iberia, debemos contentarnos con recordar que en la poca de da Vinci haca tiempo que haba llegado a la Pennsula Ibrica, de manos de los matemticos rabes, el espritu de Arqumedes.

Fundacin Canaria Orotava de Historia de la Ciencia

85

Sergio Toledo Prats

Bibliografia:
Las citas de obras de Platn y Aristteles corresponden a las traducciones al espaol publicadas en Editorial Gredos, Madrid. Las citas de Arqumedes corresponden a la edicin en castellano de El Mtodo, Alianza Ed., con prlogo de Luis Vega, y a la edicin catalana Mtode, de la Fundacin Bernat Metge, con prlogo de Pedro G. Urbaneja. Brunschvicg, L: Les tapes de la philosophie mathmathique, A. Blanchard. Burkert, W.: Lore and Science in Ancient Pythagoreanism, Harvard Univ. Press, 1972. Burnyeat, M.F.: Plato on Why Mathematics is Good for the Soul, en el libro Mathematics and Necessity, Oxford University Press, 2000. Caveing, M.: Znon dle, Vrin, 1982. Caveing, M.: Introduction gnrale aux Elments dEuclide, en la obra Euclide dAlexandrie: Les Elments, vol. 1, P.U.F. 1990. Caveing, M.: La figure et le nombre: Recherches sur les premires mathmatiques des Grecs, Presses Universitaires de Septentrion, 1997. Dijksterhuis, E.J.: Archimedes, Princeton University Press, 1987. Fowler, D.H. The Mathematics of Platos Academy, Clarendon Press 1987. Frajese, A.: Attraverso la storia della matematica, Le Monnier, 1977. Gardies, J.-L.: Le raisonnement par labsurde, P.U.F. 1991. Gardies, J.-L. - Lorganisation de mathmatiques grecques de Thtte Archimde, Vrin 1997. Heath, Th.: Mathematics in Aristotle, Thoemmes Press., 1996. Kirk, G. S. y Raven, J.E.: The Presocratic Philosophers, Cambridge Univ. Press, 1966. Klein, J.: Greek Mathematical Thought and the Origins of Algebra, M.I.T. Press, 1968. Knorr, W.: The Evolution of the Euclidean Elements, Reidel, 1975. Knorr, W.: Infinity and Continuity: The Interaction of Mathematics and Philosophy in the Antiquity, en Kretzman, W.: Infinity and Continuity in Ancient and Medieval Thought, Cornell University Press, 1982. Mueller, I.: Philosophy of Mathematics and Deductive Structure in Euclids Elements, M.I.T. Press, 1981. Serres, M.: Les origines de la Gometrie, Flammarion, 1993. Spengler, O.: La decadencia de Occidente, Espasa Calpe, 1923 Szab, .: The Beginnings of Greek Mathematics, Reidel, 1976. Tannery, P.: Pour lhistoire de la science hellne, Jacques Gabay 1990. Van der Waerden, B.L.: Awakening Science, Noordhoff, 1956.

86