Anda di halaman 1dari 10

TRES PUNTOS CRUCIALES EN LA EVOLUCION PENSAMIENTO MATEMATICO

Luis gonzlez

DEL

Pocas Ciencias presentan un aspecto tan distinto segn se las mire desde fuera o desde dentro, como la Matemtica. Para el profano, la Matemtica es una Ciencia venerable, que tiene en su haber el respaldo de una tradicin milenaria, es una Ciencia perfecta, acabada, inmutable, en la cual se ha dicho ya la ltima palabra, y no queda en ella nada por hacer. Presenta el aspecto de un monumento gigantesco y majestuoso, cuya solidez inexpugnable se yergue como un desafo a la eternidad. Para el matemtico, en cambio, su Ciencia es algo palpitante de vida, es una cosa cambiante y en plena evolucin. Presenta el aspecto de un volcn en actividad: un buen da revienta por ac un nuevo crter y expulsa un enorme chorro de lava que hace cambiar el aspecto del paisaje en muchos kilmetros a la redonda otro da se derrumba por all una montaa, y el aspecto del paisaje vuelve a quedar profundamente modificado. Es evidente que, para poder apreciar estos cambios en su verdadera magnitud, es indispensable tener una visin panormica del paisaje antes y despus del cambio. As pues, empezaremos por dar una idea general del aspecto que presentaba la ciencia matemtica en la poca de' los griegos. Dice Carca Bacca, en su notable 7ntroduccin 1i1osfica a la geometra de Eudides, que la Geometra griega naci bajo el signo de la triple unicidad. Surgen de aqu inmediatamente tres preguntas, a saber: I.-Por qu se dice habitualmente que la Geometra naci en Grecia? Es que antes de los griegos no haba Geometra? II.-Por qu motivo, al hablar de la ciencia matemtica griega, nos referimos especialmente a la Geometra? I1I.- Qu quiere decir esto de la triple unicidad? Cada una de estas preguntas habr de merecer nuestra atencin durante breves instantes. En primer lugar, es bien cierto que antes de los griegos diversas civilizaciones poseyeron conocimientos geomtricos nada despreciables. Se cita, por ejemplo, que los chinos conocan un caso particular del teorema de pitgoras, muchos aos antes de que floreciera la civilizacin helnica. Adems, es ya una trivialidad casi insoportable, mencionar que los egipcios se servan hbilmente de numerosos, conocimientos geomtrico s que aplicaban con acierto en sus realizaciones prcticas. Pero, de esto, a la Geometra como Ciencia racionalizada y sistematizada, hay una gran diferencia. Tratar de poner en claro esta diferencia, mediante el siguiente ejemplo: Nosotros vivimos rodeados de fenmenos fsicos. Percibimos la luz, el calor" el sonido vemos el relmpago, la lluvia, el arco iris. Pero todos estos fenmenos, de suyo, no constituyen la Fsica. La Ciencia fsica nace cuando el hombre elabora,

326

LUIS GONZALFZ

una interpretacin racional de la naturaleza; cuando crea un cuerpo de doctrina terico, que explica y coordina los hechos observados, de una manera lgica y coherente. Pues, de igual manera, una cosa son los hechos geomtricos aislados, y otra cosa es la Geometra como cuerpo de doctrina cientfico. Puede decirse con propiedad que la Geometra, como Ciencia racional del espacio, naci realmente en Grecia. En lo referente a la Ciencia matemtica griega, podemos decir que se reduca prcticamente a la Geometra. En efecto, por ms importancia que queramos atribuirles a las contribuciones de los pitgricos en Aritmtica, y a los balbuceos de Diofanto de Alejandra en Algebra, es lo cierto que: mientras la Geometra sali de manos de los griegos ya adulta, la Aritmtica y el Algebra quedaron en paales. Para los griegos, un problema de aritmtica que implicara una divisin, era ya muy complicado desde el punto de vista de la tcnica operatoria. Esta es quiz la razn por la cual desarrollaron mucho los problemas de construccin geomtrica y de clculo grfico. Veamos ahora qu quiere decir eso de la triple unicidad. En cada poca y para cada colectividad ha habido siempre un conjunto de ideas bsicas, comunmente aceptadas por todos, ya sea de una manera consciente o inconsciente, y que vienen a ser algo as como el teln de fondo de la vida intelectual. Pues bien, nos dice Garda Bacca que el tipo mental griego que cre la Geometra se caracterizaba por la creencia filosfica en la unicidad del ser, la unicidad de la verdad ontolgica y la unicidad de la verdad ntica. De ah el nombre de "poca de la triple unicidad". Trataremos de explicar brevemente qu quiere decir todo esto. La unicidad del "ser" quiere decir que cada "ser" no puede ser lo que es, ino de una sola manera ni ms ni menos. Es fcil notar que la unicidad del ser es una consecuencia inmediata o, si se quiere, una modalidad del principio de identidad. -En efecto, si un mismo "ser" pudiera ser lo que es de varias maneras distintas, no podramos predicar la identidad de cada ser consigo mismo. Ahora bien, la unicidad de la verdad ontolgica es una consecuencia inmediata de la unicidad del ser. En efecto, en cada orden de cosas, la verdad, que es patrimonio del ser, que pertenece al ser, que reside en el ser, no puede menos que ser tambin unitaria. Acerca de un mismo ser, y bajo un mismo respecto, no podemos predicar dos verdades distintas que sean ciertas las dos. Si el ser es unitario, la verdad ontolgica tiene que ser tambin unitaria no es algo que ponemos al conocer, sino que suponemos para conocer, y el conocer es un identificarse con ese unitario ser de las cosas. Por ltimo, cada ser no puede menos de manifestar 10 que es, hacerse patente, de una manera tambin unitaria. Es decir, que los seres no pueden cambiar su tipo de manifestacin no pueden presentarse al mismo tiempo bajo dos aspectos distintos. Y esto es 10 que Garda Bacca entiende por unicidad de la verdad ntica. Podemos notar desde ahora que, de estos tres principios, el ms flojo es el tercero: el de la unicidad de la verdad ntica. y hasta es posible dudar de que los griegos creyeran realmente en eso, puesto que tal principio no se da en la naturaleza. Ejemplos triviales son: el del agua, que puede presentarse en estado slido, lquido o gaseoso; y el de ciertos cuerpos que pueden cristalizar en diversos sistemas. Un ejemplo menos trivial es el de la luz, que en ciertos fenmenos se manifiesta como onda y en otros como corpsculo. Sin embargo, a este respecto cabe recordar que, para los griegos, la realidad del mundo sensible no era sino un trasunto muy imperfecto de otra realidad superior, menos tangible si se quiere, pero mucho ms real y perfecta, que era el mundo metafsico de las esencias.

LA EVOLUCIO

DEL PENSAMIENTO

MATEMATICO

327

Como quiera que la Geometra es precisamente eso, un mundo de ideas abstractas, all se realizaba plenamente el principio de la triple unicidad. En todo caso, es necesario tener en cuenta que eso de querer caracterizar el tipo mental de una poca sintetizndolo en una sola frase, es tarea harto arriesgada, y que se trata, en fin de cuentas, de una sntesis interpretativa. Ahora bien, no hay interpretacinsin intrprete, con lo cual quiero decir que aun la interpretacin ms objetiva,estar siempre teida con la personalidad y los puntos de vista del intrprete. Si tenemos diez intrpretes distintos, tendremos tambin diez interpretaciones distintas. Hechas las anteriores salvedades, aceptaremos, pues, la sugestiva interpretacinde Garda Bacca, no como una verdad irrebatible, sino como un esquema til para comprender la ulterior evolucin del pensamiento matemtico. Pero cabe ahora preguntarse: Qu tiene que ver la triple unicidad con la Geometra?Esto es lo que vamos a ver en seguida. A mi entender, la creencia filosfica en la triple unicidad no influy de una manera decisiva en el contenido mismo de la Geometria pero s influy, y de una manera determinante, en la idea que los griegos-y junto con ellos la posteridadhubieronde formarse acerca de la significacin y el valor de la Ciencia matemtica. En efecto, los griegos descubren una Geometra pero, en virtud del principio de la unicidad del ser, lo que han descubierto no es "una" Geometra, sino "la" Geometra, la nica Geometra posible, ya que no podra haber dos cuerpos diferentesde doctrina geomtrica que fueran ciertos los dos. Adems, si cada proposicin de la Geometra es verdadera (lo cual est garantizadopor demostraciones rigurosas), entonces, en virtud del principio de la unicidad de la verdad ontolgica, lo que se ha encontrado no es "una" verdad geomtrica,sino que se trata de "la" verdad geomtrica, de la verdad nica, absoluta, necesaria, inmutable, incontrovertible y eterna. Finalmente, en virtud del principio de la unicidad de la verdad ntica, losseresgeomtricosno podrn cambiar jams su tipo de manifestacin no podrn carniar de estado, como el agua, sino que estarn siempre en el mismo estado geomtrico. Resulta entonces que la Geometra, como conocimiento, significa para los griegosconocimiento de la verdad absoluta. Pero ahora: Cmo valoran los griegos este conocimiento? A despecho del valor prctico que la Geometra pueda tener en sus aplicaciones a los menesteres cotidianos,los griegos le confieren ante todo y sobre todo un valor especulativo, un valor filosfico, un valor cientfico. Desde Tales de Mileto, los griegos cultivan la cienciapor la ciencia misma, independientemente de sus aplicaciones prcticas. Ellos tienenun ideal cientfico y sta es una caracterstica muy suya que no se encuentra en civilizaciones anteriores (o que, por lo menos, no se encuentra de una manera an destacada y explcita), y que constituye uno de los legados ms valiosos que el nsamientogriego ha dejado a la posteridad. Otra caracterstica muy tpica del pensamiento griego, y que dej una huella refunda en la Geometra, es el horror al infinito. Y es que los griegos confundan s conceptos de "infinito", "ilimitado" e "indeterminado". Para ellos, una operacin ae capital importancia era definir, delimitar porque no se poda hacer ciencia con objetosindeterminados. Es un hecho muy significativo que Eudides haya colocado las 'definiciones"en la primera pgina de su Geometra luego venan los postulados y r ltimo los axiomas. Lo primero era, pues, definir, delimitar. Para Eudides una condicin esencial de las figuras geomtricas es que sean . itadas. As, por ejemplo, una lnea recta ser figura geomtrica, en tanto que sea n segmento rectilneo. Hemos visto hasta aqu cul era el panorama general que ofreca la Ciencia atemticaen la poca de los griegos. Veamos ahora qu sucedi despus. Durante toda la Edad Media, la Geometra griega naveg apaciblemente

318

LUIS GONZALEZ

por las aguas tranquilas de la verdad absoluta, siempre auspiciada por el signo propicio de la triple unicidad. Pero al llegar el Renacimiento, empiezan a soplarle vientos de tempestad. En efecto, en el Renacimiento vemos desarrollarse un movimiento de renovacin en la Filosofa, que llega a su punto culminante con Descartes. Al favor de las nuevas ideas, se resquebraja un tanto el molde arcaico de la triple unicidad, y la Geometa comienza a respirar una atmsfera de mayor libertad. Es un hecho demasiado significativo para que pueda pasar inadvertido, que el hombre que orient la Filosofa hacia el pensamiento moderno, es quien al mismo tiempo inventa la Geometria Analtica. La Geometra Analtica no naci por un azar de la fortuna, sino que naci como la realizacin consciente y deliberada de un plan filosfico. Y esto que digo, no son extravagancias de literatos trasnochados, sino que es una verdad histrica. Es el mismo Descartes quien ha presentado la Geometra Analtica como una muestra de su mtodo filosfico. As, pues, el mtodo de la Geometra Analtica es una manifestacin del mtodo cartesiano. Descartes no la llam Geometra Analtica, sino simplemente "La Geometria". El nombre de Geometra Analtica se lo dio Ampare unos doscientos aos ms tarde, y este nombre hizo fortuna y se ha conservado hasta nuestros das. En todo caso, si comparamos lo que hoy se entiende por Geometra Analtica con lo que Descartes realmente escribi, nos quedaremos sorprendidos de ver que casi no se parecen en nada. Lo que Descartes leg a la posteridad no fue una Ciencia acabada, sino solamente un mtodo, "su" mtodo, el mtodo cartesiano. Y este mtodo, en manos de los continuadores, dio por resultado lo que hoy entendemos por Geometra Analtica. Tratar de explicar ahora por qu motivo y en qu sentido, el invento de la Geometra Analtica constituye un punto crucial en la evolucin del pensamiento matemtico. Es bien sabido que en Geometra Analtica las figuras geomtricas se representan por medio de ecuaciones. Una lnea recta es ahora una ecuacin; una Circunferencia, una elipse, un plano, una esfera, un elipsoide, son ahora otras tantas ecuaciones, Los entes geomtrico s se nos presentan entonces vestidos con ropaje algebraico. Y no se crea que esto es un hecho vanal, No se trata de una simple cuestin de modas. No se trata de vestir la Geometra griega a la moda del Renacimiento. No. Es que los entes geomtrcos, al presentrsenos bajo esta modalidad algebraica, empiezan a decirnos cosas que antes nunca nos dijeron. Es que la Geometra Analtica trae en su seno insospechadas posibilidades, de incalculable trascendencia. y qu nos dicen ahora los entes geomtricos? Nos dicen que la verdad ntica no es unitaria; que despus de Descartes nadie puede seguir creyendo ingenuamente en la unicidad de la verdad ntica, puesto que, con el advenimiento de la Geometra Analtica, lo que ha cambiado es, precisamente, el tipo de manifestacin de los entes geomtricos. Nos dicen tambin que este cambio en el tipo de manifestacin no ha sido independiente de la accin del entendimiento, puesto que la conexin entre ambos tipos de manifestacin se realiza a travs de un artificio puesto por la mente humana: el sistema de coordenadas. Resulta claro entonces que hay acto de creacin en el fenmeno del conocer, y que depende de la actividad del entendimiento el que las cosas se nos presenten de una o de otra manera. Nos anuncian, en fin, que ha despuntado un nuevo da y que las Matemticas han emprendido el camino hacia la libertad. y en qu forma ha propiciado la Geometra Analtica esa libertad del pensamiento?

LA EVOLUCION

DEL PENSAMIENTO

MA TEMA TICO

329

Es muy sencillo: la Geometra Analtica es la llave que le abre al entendimiento las puertas de la crcel tridimensional. Y esto se realiza con una facili~ asombrosa; con slo agregar nuevas variables a las ecuaciones, stas representarn figuras geomtricas de espacios tetra, penta, o enedimensionales. As, por ejemplo, con slo agregar una variable ms a la ecuacin de una esfera, dicha ecuacin representar un espacio tridimensional curvo, cerrado sobre s mismo, zambullido en un espacio tetradimensional, y tal que todos sus puntos equidistan de un punto dado del espacio tetradimensional. A este respecto es interesante recordar que Aristteles trat de demostrar, mediante argumentos filosficos, la imposibilidad lgica de un espacio de ms de tres dimensiones; y dedujo de ello que el espacio, teniendo ya tres dimensiones, tiene la plenitud de lo que es posible tener, y que, por consiguiente, es perfecto. y de paso, el inocente nmero 3 result salpicado, porque para Aristteles, tambin era perfecto. Es oportuno sealar aqu que, por muy propicio que hubiera sido el clima filosfico, Descartes no habria podido inventar la Geometra Analtica si el Algebra no hubiera adquirido previamente un desarrollo adecuado. Nosotros habamos dejado el Algebra en manos de Diofanto de A1ejandria. Pero de ah pas a manos de los rabes, quienes la hicieron adelantar mucho y la introdujeron en Europa hacia el ao 950. Es posible conjeturar que, como los rabes posean un sistema de numeracin infinitamente superior al de los griegos, estaban en mucho mejores condiciones que ellos para poder desarrollar el Algebra. . A la contribucin de los rabes hay que agregar la de los algebristas italianos del Renacimiento anteriores a Descartes, entre los que podemos mencionar a Tartaglia, Ferrari y Cardano, y finalmente el matemtico francs Vi{~te introdujo perfeccionamientos muy notables en el sistema de notaciones algebraicas. Otro aspecto renovador y, si se quiere, revolucionario de la Geometra Analtica, es que introdujo en las Matemticas la indeterminocin como un elemento de trabajo. Tratar de explicar brevemente en qu forma se llev a cabo este proceso. Ya hemos visto anteriormente que los griegos le tenan horror al infinito; y este horror al infinito es tambin, en el fondo, horror a lo indeterminado, puesto que ellos no distinguan los conceptos de "infinito" y de "indeterminado". Resulta entonces que el primer paso a dar consista en separar estas dos nociones. Y este paso lo dio el cristianismo (1). En efecto, el Dios de los cristianos es un Dios infinito, pero al mismo tiempo es un Dios personal. Es una persona, no tiene nada de indeterminado. No es idea cristiana identificar a Dios con las fuerzas ciegas de la naturaleza. Quien diga que cree en un Dios impersonal e indeterminado, no es cristiano. y lejos de sentir horror al infinito, el ideal cristiano consiste precisamente en llegar a identificarse de alguna manera con E, en llegar a entenderlo mediante una "intuicin" del alma. Para los griegos, la infinitud era un imperfeccin, porque significaba privacin de finitud. Para los cristianos, en cambio, la finitud es una imperfeccin porque significa privacin de infinitud, privacin de Dios. Vemos pues cmo el cristianismo ha separado estas dos ideas de "infinito" yde "indeterminado".

(1)

CARClA

BACCA

(Obra

citada).

330

LUIS GONZALEZ

Ahora bien, la Geometra Analtica introduce la indeterminacin en el cuerpo de las Matemticas, porque la contextura misma de la Geometra Analtica consiste en un entramado de constantes indeterminadas y de cantidades variables. Mediante un juego de constantes indeterminadas, la Geometra Analtica logra representar, con una sola ecuacin, curvas tan distintas como la circunferencia, la elipse, la parbola y la hiperbola, poniendo as en evidencia la ntima conexin que entre ellas existe. y por ltimo, la Geometra Analtica "enderez los caminos" para el advenimiento del clculo infinitesimal. y llegamos aqu al segundo punto crucial en la evolucin del pensamiento matemtico. El clculo infinitesimal fue inventado por Leibniz y por Newton casi al mismo tiempo, pero independientemente uno de otro. Esta gran hazaa del pensamiento humano ocurri unos 50 aos despus de la invencin de la Geometra Analtica. La Geometra de Descartes fue publicada en el ao 1637, Y la obra de Newton, PrinciPios Jlfatemticos de 1ilosofa 'Nlltural, apareci en t 687. Las circunstancias en que se produjeron estos dos acontecimientos fueron muy distintas. La Geometra Analtica haba sido acogida con beneplcito general. Casi no tuvo opositores ni provoc grandes discusiones, pues, a fin de cuentas, de 10 que se trataba era simplemente de un nuevo mtodo para resolver los problemas de Geometra que los griegos haban dejado pendientes de solucin. El clculo infinitesimal, en cambio, cay como una bomba atmica. levant una tempestad enorme y produjo discusiones acaloradsimas durante muchos aos. Los matemticos de la poca se dividieron en dos bandos: unos que aceptaban el nuevo clculo y otros que lo rechazaban de plano. y lo peor del caso es que quienes lo impugnaban llevaban la- de ganar, porque esgriman en su contra argumentos de una lgica quemante. El nuevo clculo presentaba, en efecto, una dualidad misteriosa y desconcertan te: por una parte, pareca estar basado en una contradiccin muy manifiesta, y esto era lo que inquietaba a los puristas de la lgica; pero por otra parte cenducia siempre a resultados correctos, y adems su utilidad era palmaria. De manera que quienes lo aceptaban, ponan odos de mercader a las objeciones de los lgicos, y adoptaban ms bien una actitud pragmtica. A este respecto es interesante recordar que un matemtico de la poca deca: "Allez en avant et la foi vous viendra!" No se puede negar que resuta extraa esta exhortacin a la fe en un asunto de Matemticas puras. Con el correr de los aos el clculo se fue imponiendo, porque result ser de una fecundidad maravillosa; hasta que por fin se convino en decir que en realidad era matemticamente correcto, pero que sus principios haban sido expuestos de una manera defectuosa. Durante el siglo pasado matemticos muy eminentes, como Gauchy y Weierstrass, se dieron a la tarea de edificar el clculo sobre conceptos matemticos rigurosos, y lograron darle una estructura formal que fue considerada como impecable. Desde entonces, todo el mundo se dio por satisfecho y nadie volvi a hablar ms del asunto. Sera imposible explicar aqu lo que es el clculo infinitesimal como tcnica matemtica. Pero para los fines que nos interesan, podemos decir lo siguiente: El mundo de las Matemticas presenta una polaridad; hay en l dos polos diametralmente opuestos: el polo de lo infinitamente pequeo y el polo de lo infinitamente grande. Pues bien, Leibniz y Newton fueron los intrpidos exploradores que en el siglo XVII exploraron el polo de lo infinitamente pequeo; digamos, el polo Sur de las Matemticas. El clculo infinitesimal es, pues, la tcnica matemtica ade-

LA EVOLUCION

DEL PENSAMIENTO

MATEMA TlCO

331

cuada para manipular lo infinito-tan temido por los griegos-, pero bajo esta modalidad especial de lo infinitamente pequeo. y qu nos dijeron esos intrpidos exploradores cuando regresaron de su viaje por esas tierras lejanas? Nos hicieron una revelacin sensacional: nos dijeron que all, en ese mundo misterioso de lo infinitamente pequeo, no funciona el principio de identidad. y sta es la razn por la cual, a mi entender, el clculo infinitesimal es un punto crucial en la evolucin del pensamiento matemtico. En efecto, el clculo infinitesimal demostr que es posible crear un sistema de pensamiento perfectamente coherente consigo mismo--y por aadidura de una fecundidad insondable-, saltando por encima del principio de identidad. y sta es tambin la razn por la cual el clculo infinitesimal, en su poca, produjo una conmocin tan profunda y provoc una reaccin tan violenta. El espritu de aquella poca no estaba todava maduro para recibir semejante mensaje y por eso lo recibi con una negativa rotunda. Yo s que todo esto puede sonar en los odos de muchos como una blasfemia lgica; pero ahora vamos a or otra del mismo calibre. Al final del siglo XIX, un matemtico alemn llamado Cantor emprendi un viaje de exploracin al polo de lo infinitamente grande, y cre una doctrina matemtica que se llama la Aritmtica transfinita, o Aritmtica del infinito. Pues bien, cuando los trabajos de Cantor fueron publicados, sobrevino otra conmocin semejante a la provocada en el siglo XVII por el clculo infinitesimal. Los matemticos se volvieron a dividir en dos bandos: unos que aceptaban las doctrinas de Cantor y otros que las rechazaban enrgicamente. Entre estos ltimos estaba el eminente matemtico francs Lebesgue (muerto en 1941) quien, refirindose a la Aritmtica transfinita de Cantor, se expres ms o menos en los siguientes trminos: "Hay que saber si el espritu humano debe trabajar para los dioses y preparar para ellos teorias que nosotros nunca podremos comprender, sobre objetos que nunca podremos concebir" . Estos matemticos anti-cantorianos se resistan a admitir la validez misma de los fundamentos de la Aritmtica de Cantor, que creaba seres matemticos que desafiaban toda construccin de la mente humana, y que eran incognoscibles e inaccesibles. y cul era, en el fondo, el motivo de esa oposicin tan encarnizada? Es fcil imaginario. Es que el mensaje de Cantor, cuando regres de su viaje por ese mundo fantstico de lo infinitamente grande, era el siguiente: Que all, en el otro polo de las Matemticas, tampoco funciona el principio de identidad. Pues bien, a despecho de las enrgicas protestas de los no cantorianos, la Aritmtica transfinita de Cantor fue abrindose paso poco a poco con el correr de los aos, y hoy constituye una extensa rama de las Matemticas. Quiere decir todo esto que el principio de identidad es falso y que debemos renunciar a l? iNo! En manera alguna! El principio de identidad es al matemtico, lo que la brjula es al navegante. Y as como la brjula resulta inoperante en los polos de la Tierra, el principio de identidad resulta inoperante en los polos del conocimiento matemtico. Pero renunciar al principio de identidad seria una actitud tan absurda, como si el navegante tuviera que renunciar a la brjula so pretexto de que es inoperante en los polos. El principio de identidad, de suyo, no es ni cierto ni falso, sino que es operante o inoperante. Dicho de otra manera, el principio de identidad no es una verdad necesaria, sino que es una verdad contingente. y a este respecto cabe recordar aqu la suerte que ha corrido, en el domi-

332

LUIS GONZALFZ

nio de la Fsica, otro de los principios fundamentales de la lgica. Me refiero ahora al principio de causalidad. El eminente fsico alemn Max Plank (inventor de la teoria de los cuantos) en su libro .A dnde va la Ciencia se constituye en defensor denodado del principio de causalidad pero declara explcitamente que el principio de causalidad no es una verdad necesaria, sino que es una verdad contingente y que por lo tanto, corresponde a cada Ciencia particular el investigar si, dentro de su propio campo de accin, resulta vlido. As, por ejemplo, es por lo menos discutible que en el mundo de la psicologa, en la esfera de las acciones humanas, sea vlida una estricta causalidad es decir, que no haya libre albedro. Pero volvamos nuevamente al clculo infinitesimal y al principio de identidad. Es un hecho bien sabido que Newton invent el clculo infinitesimal para resolver el problema del movimiento; es decir, para edificar sobre l la Mecnica, que es la Ciencia racional del movimiento, as como la Geometra es la Ciencia racional del espacio. y esta empresa fue coronada por el xito ms espectacular que han conocido los siglos. Ahora bien; Parmnides, en el siglo VI antes de Jesucristo, haba introducido en la Filosofa el principio de identidad como mtodo de trabajo. Y armado con este instrumento poderoso, lo aplic inmediatamente a resolver el problema del movimiento. El resultado fue el fracaso ms rotundo. Parmnides lleg a la conclusin de que el movimiento es ininteligible, porque es contrario a la razn. Segn Parmnides, la razn nos dice que el mundo tiene que estar necesariamente en reposo y por consiguiente, nunca ser posible edificar una ciencia racional del movimiento. y Parmnides se encontr ante esta disyuntiva: i La razn, o el movimiento! y se qued con la razn, y neg el movimiento. Para Parmnides el movimiento no es ms que una apariencia, y nosotros vivimos en un mundo de apariencias. Pero ahora podemos preguntamos. Dnde reside la causa del fracaso de Parmnides y del xito de Newton? La respuesta es sencilla: El principio de identidad es rigurosamente vlido en un mundo inmutable. All se realiza plenamente el principio de la unicidad de los seres. All podemos predicar siempre la identidad de cada ser consigo mismo. Pero en un mundo cambiante, donde los seres estn en un constante devenir, ya no podemos predicar la perpetua identidad de cada ser consigo mismo. As, por ejemplo, cada uno de nosotros tiene conciencia de ser siempre la misma persona, el mismo ser pero tambin cada uno tiene conciencia de no ser idntico a s mismo en todos los instantes de su vida. Una persona adulta es sumamente distinta de como era en la niez, y sin embargo es siempre la misma persona, el mismo ser. Pues bien, el Clculo Infinitesimal logra captar en frmulas matemticas este fluir, este devenir de los seres. Y para lograrlo, tiene que estudiar el proceso de ese trnsito durante un lapso cortisimo, infinitamente pequeo; y all, en ese dominio de lo infinitamente pequeo, se ve obligado a forzar, a trasgredir el principio de identidad. El fracaso de Parmnides consiste en que, consecuente con la lgica ms estricta, no lleg a dar este paso. Parmnides introdujo inmutabilidad en sus prcmisas, y obtuvo inmutabilidad en sus conclusiones. Newton, en cambio, forzando el principio de identidad en el dominio de lo infinitamente pequeo, obtuvo la Ciencia racional del movimiento. En el mbito de las Matemticas, el problema del movimiento est ubicado en el polo de lo infinitamente pequeo. y para terminar con este punto, recordemos aqu que en 1914 Ortega y Gasset clamaba por la creacin de una nueva lgica, que l llamaba la lgica del dinamismo

LA EVOLUClON

DEL PENSAMIENTO

MATEMATICO

333

la lgica de la vida, en contraposicin con la lgica de Aristteles, que l llamaba lgica esttica. Pues a mi modo de ver, esta lgica del dinamismo, por la cual clamaba Ortega y Gasset, es la que alienta y preside el desarrollo del Clculo Infinitesimal. Coloqumonos ahora en las postrimerias del siglo XVIII y los albores del siglo XIX, y veremos desarrollarse el tercer acto de este drama, que es el descubrimiento de las Geometrias no euclidianas. Desde la ms remota antigedad, el V postulado de Euclides, o sea el postulado del paralelismo, haba llamado la atencin de los matemticos, porque este postulado, en el sentir general, no presentaba el mismo grado de evidencia que los anteriores. Se pensaba que, si aquello era verdad, y no siendo una verdad evidente por s misma, debera ser posible demostrarla basndose nicamente en los postulados anteriores y en los axiomas, o en algn otro teorema previamente demostrado y que no se basara en el postulado mismo. S asunto cobr gran inters, y los espritus ms esclarecidos se dedicaron con ahinco a resolver el problema. Pero los siglos vieron sucederse una generacin tras otra, y el V postulado se resistia siempre a revelar su arcano. En los albores del siglo XIX, el V postulado de Euclides haba llegado a convertirse en la piedra de escndalo de las Matemticas. Entonces, en vista de que todos los intentos de demostracin anteriores haban fracasado, un matemtico hngaro llamado Bolyai, y otro matemtico ruso llamado Lohatschewski, trabajando independientemente uno del otro, intentaron demostrar el V postulado por reduccin al absurdo. S mecanismo de una demostracin por reduccin al absurdo es el siguiente s Si A y B son dos proposiciones mutuamente excluyentes, y queremos demostrar que la proposicin A es cierta, podemos suponer que sea cierta la proposicin B,- y sacar las consecuencias lgicas que de ah se deduzcan pero si la proposicin B es realmente falsa, pronto llegaremos a una contradiccin manifiesta. Tal contradiccin demostrar la falsedad de B y, por consiguiente, la verdad de A. Este procedimiento pareca infalible para demostrar que el V postulado es una verdad necesaria. As pues, cada uno de nuestros dos matemticos tom como punto de partida' alguna hiptesis contraria al V postulado, pero conservando intactos todos los otros y, desde luego, conservando tambin los axiomas. Y se dedicaron con empeo a desarrollar las consecuencias lgicas que de tales hiptesis se deducan, esperando siempre encontrar, en algn recodo del camino, la tan ansiada contradiccin. Pero sucedi que, despus de muchos aos de andar con la linterna de Digenes buscando obstinadamente una contradiccin en pleno dia, no la hallaron por ninguna parte. y al final vino a suceder que cada uno de estos matemticos haba creado una extensa doctrina geomtrica perfectamente coherente consigo misma, exenta de contradiccin y, sin embargo, contraria al V postulado. Desde el punto de vista matemtico, cada una de estas Geometras no-euclidianas es tan cierta como la Geometra de Eucldes puesto que, en Matemticas, el nico criterio para juzgar si una doctrina es cierta o falsa, es la coherencia interna. Se ve claro entonces que, por lo menos en Matemticas, la verdad ontolgica no es unitaria, puesto que ahora nos encontramos en presencia de diversas Geometras, incompatibles unas con otras y, sin embargo, exentas de contradiccin interna. y sta es la razn por la cual, a mi entender, el descubrimiento de las Geometras no euclidianas es otro punto crucial en la evolucin del pensamiento matemtico. Claramente se comprende que un descubrimiento de semejante envergadura, produjo, en su poca, un desconcierto y una perplejidad indescriptibles. y nosotros podemos preguntamos: Dnde reside la causa de que, modifi-

334

LUIS GONZALEZ

cando los postulados de la Geometra eucldea, puedan crearse otros sistemas de Geometra distintos sin caer en contradiccin? La respuesta es sencilla: Es que los postulados de la Geometra no son verdades necesarias como se haba credo durante siglos, sino que son verdades contingentes. Por este motivo no se cae en contradiccin cuando se prescinde de uno de ellos y se adopta otro diferente. Es que la Matemtica no es la Ciencia de la verdad necesaria, como se oye decir a veces. r ahi, Hasta hace poco tiempo era costumbre citar la verdad matemtica como un ejemplo tpico de verdad necesaria, pero esto es falso. y surge inmediatamente esta pregunta: Si la Matemtica no es una ciencia de verdades necesarias, entonces qu es? Podemos decir que es una ciencia deverdades puramente formales. Es un mecanismo lgico que asegura la correcta ilacin de las ideas que llevan desde las premisas hasta las conclusiones. La Matemtica en s no es ni cierta ni falsa. Puede ser comparada con la maquinaria de una industria, que transforma la materia prima (las premisas) en productos manufacturados (las conclusiones). Si ahora se nos ocurre volver la mirada hacia atrs para formar conciencia del camino recorrido, veremos cun lejos estamos de la triple unicidad y de la verdad absoluta de los griegos. El eplogo de este drama en tres actos es el siguiente: Que la Matemtica, despus de tantas vicisitudes y zozobras, y asqueada al fin de su comercio con el mundo de la realidad sensible, se meti en un convento y se dedic a la introspeccin; es decir, se dedic a estudiarse a s misma, a estudiar su propia estructura interna. El descubrimiento de las Geometras no-euclidianas puso en daro un hecho de capital importancia; y es que la posibilidad de las demostraciones matemticas no reside en el contenido concreto de las proposiciones, sino solamente en su contenido relacional. y este hecho es tan importante que determina el perfil y la orientacin .del Pensamiento matemtico del siglo XX. Este movimiento de introspeccin del cual he hablado hace un instante, ha venido a cristalizar en la axiomtica moderna, que surge, por decirlo as, de las cenizas de la triple unicidad. y qu es la axiomtica moderna? Es un esfuerzo (muy bien logrado por cierto) para expulsar de las Matemticas hasta el ltimo vestigio de intuicin sensible. Las definiciones axiomticas ya no definen cosas concretas, sino que definen solamente relaciones; relaciones entre elementos cuya esencia misma consiste en estar ligados por esas relaciones, en ser los trminos de esas relaciones. y estas definiciones axiomticas, totalmente vacas de todo contenido sensible, ya no son ciertas ni falsas en s, sino que son puramente' convencionales. A un sistema matemtico de premisa s ya no se le pide que sea coherente con el mundo de las realidades sensibles. Lo nico que se le pide es que rena estas dos condiciones: independencia mutua, y coherencia interna. El movimiento de la axiomtica representa, pues, la primacia de la relacin sobre la sustancia; y la Matemtica viene a ser entonces una Ciencia de puras relaciones. y el movimiento axiomtico, desarrollndose por este camino, ha conducido a la Matemtica del siglo XX a la ms sublimada abstraccin. Despus d lo dicho, resulta fcil comprender el profundo sentido que encierra esta famosa frase de Bertrand Russell, "La Ma emtica es la Ciencia en la cual uno nunca sabe de qu est hablando, ni si lo qu'~ est diciendo es cierto o falso".

Anda mungkin juga menyukai