Caracterizacin del objeto matemtico

JOS TRISTN LIENDO Universidad Nacional de Crdoba

Las matemticas ocuparon siempre un lugar de preeminencia en el campo de la cultura; dijrase que sta corri la suerte de aqullas. Cuando sta detvose, en los siglos medios, aqullas se anquilosaron. En otra poca las matemticas formaron parte de la filosofa; mas, luego, por el sesgo eminentemente pragmtico que ellas tomaron, se desinteresaron de aqulla. La filosofa, empero, no puede desinteresarse de las matemticas: a ella le incumbe el averiguar el alcance de la ciencia matemtica, la fuerza de sus principios, el origen de sus postulados, la demarcacin de su objeto formal, l penetracin en el mismo, y por ltimo sealar el cauce por donde discurrir deben sus bsquedas. La ancdota que nos refiere Vitruvio de cierto filsofo socrtico, que se crey seguro al ser arrojado despus de un naufragio a las playas de Rodas, por el hecho de haber encontrado dibujadas en la arena algunas figuras geomtricas, es altamente sugestiva al respecto: Bene speremus habra exclamado el nufrago hominum, vestigia video Estemos tranquilos! Hay rastros de civilizacin, de cultura: SchemMta geomtrica!^ Esta ancdota data de unos 400 aos antes de Cristo; poco ms o menos de la poca de Platn. Es sabido tambin que este filsofo haba colocado sobre la portada de su Escuela, esta sugestiva inscripcin : "Nadie entre si no sabe g e o m e t r a , . . " . Y es que, al decir de M. Bordaz-Desmoulin, "sin las matemticas no se penetra hasta el fondo de la filosofa; sin la filosofa no se profundiza hasta lo ms
1 Citado por Coleras en Historia de las matemticas, pg. 33. 1579

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

1580

Jos TRISTN LIENDO

hondo de las matemticas, y sin ambas aunadas no se puede llegar al fondo de nada" . Esta afirmacin acaso sea, en parte, exagerada; queda empero con ella sealada la importancia de las matemticas, no slo en lo que ellas significan como instrumento, sino en lo que ellas significan como ciencia humana. No olvidemos que, aun cuando cabalgan sobre lo sensible, se elevan en sus procedimientos y se acercan, en mucho, al objeto puramente metafsico. Ser debido a esto que los grandes filsofos han sido por lo general tambin grandes matemticos? Ah est su historia desde Tales hasta Hilbert, pasando por Kant y Descartes. De este filsofo hase dicho que anatematizaba a las matemticas y considerbalas u n estorbo, un obstculo para la filosofa. "Esta disciplina dice nos inhabilita para el estudio de la filosofa, por cuanto nos deshabita del uso de nuestra razn y nos impide seguir la ruta que su luz nos traza". Este pasaje de Descartes debe interpretarse, o bien de ese estudio de las matemticas exclusivamente pragmtico o bien de u n estudio de las mismas exclusivamente unilateral. Jams Descartes ha podido tener en menos a las matemticas en cuanto tales, porque de ser ello as, se habra condenado a s mismo, gran matemtico como fu. Convenimos con Descartes en que una actividad intelectual, no precisamente matemtica, sino cualquiera otra tambin, exclusivamente orientada en un sentido o en otro, termina por encastillar al sabio dentro de su propio reducto, cortando as el vuelo del espritu. Las tierras mejores se agostan, a la larga, por el repetido sembrado de u n determinado producto. Convenimos tambin en que el estudio de las matemticas se ha venido haciendo con criterio "exclusivamente" utilitario, casi mecnico, en el que poco o nada entra la inteligencia como facultad discursiva y creadora, originndose de esta suerte en nosotros, el hbito de la operacin matemtica con la aplicacin de ciertas frmulas consagradas que nos eximen de todo esfuerzo personal, mental. Hoy se estudian las matemticas para ser ingeniero, para ser contador, para dedicarse, en suma, a las actividades comerciales, o simplemente para pasar en un examen; y este estudio enfocado as, de este modo, evidentemente no puede llevarnos a penetrar y a "poseer" su reino.
^ Citado por Gratry en Les soiirces, pg, 72.

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

CARACTERIZACIN DEL OBJETO MATEMTICO

1581

Su misterioso reino! dira Kepler, gran matemtico, cuando lo intuy escribiendo: "La matemtica es anterior al mundo, coeterna con Dios, y Dios mismo; ha informado las formas de toda la creacin, y se ha perpetuado en el homhre por la imagen de Dios". Tambin lo intuy Platn, el divino, y antes que Platn barrunt ese reino Pitgoras, quien al decir de Eudemos "convirti a esta rama del saber humano en una verdadera ciencia"^. En suma, las matemticas parecen dominarlo todo: hanse introducido en todas las ciencias, aun en aquellas disciplinas que, al parecer, estn ms lejos de su alcance: lo estn por lo pronto en la fsica, en la qumica, en la astronoma. Qu son los colores en su contextura concreta sino nmeros, lneas, vibraciones, ondas? Qu es el sonido, en su realidad fundamental? Qu la msica en su forma sensible, sino geometra, vale decir proporcin y nmero? Hasta la misma fisiologa comienza por apoyarse en la geometra, segn aquella original teora de Burdach, en base a la cual, en la forma la ms perfecta, el centro y la periferia son dobles. Pitgoras y ms tarde San Agustn llegaron ms lejos al afirmar que el alma era un nmero, una esfera, porque era armona... Aucune science ne saurait tre comprise sans sa propre histoire toujours inseparable de rhistoire de VHumanit, ha escrito acertadamente A. Comte^. Penetrar en ese reino matemtico, es penetrar en su "objeto", e intentar penetrar en ste, es penetrar en su historia. Esa historia est, como queda sealado, necesariamente emparentada con la historia de la cultura, por donde nos resultara tarea harto abrumadora esa penetracin; no podemos, empero, renunciar del todo a ella. Es, por de pronto, evidente que los filsofos griegos pre-socrticos han sido preponderantemente influenciados por el enigmtico y hermtico Oriente. Los largos viajes de Tales por Egipto y los que ms tarde emprender el mismo Pitgoras, les fueron de positivo beneficio para "construir" su ciencia. Con Grecia, la cultura, y en particular la ciencia matemtica, encuentra su propio camino. " . . .Por efecto del feliz equilibrio de las facultades de este pueblo, y tras un largo esfuerzo para conquistar la medida y la disciplina del espritu, la razn humana llega a la edad de su plena madurez"*.
1 FIERRE BOUTROUX. L'idal scientifique de la Mathmatique. 2 A. COMT;. Systhme de politique positive, t. III, pg. 2. 3 J. MARITAIN. Introduction a la Philosophie, pg. 31.

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

1582

JOS THISTN LIENDO

Arrancando desde Tales, y dejando de lado historias ms o menos legendarias, llegamos primeramente a Pitgoras, con quien la matemtica adquiere su rango, recibiendo luego ms tarde de Aristteles, el omnisciente, con su lgica deductiva y con su metafsica, ciencia de los principios primeros, un poderoso y seguro impulso. Su discpulo Eudemos nos ha hecho llegar ima resea histrica del estado de la ciencia matemtica por esa poca, conocida bajo el nombre de Registro de matemticos, dociunento ste que ha sido universalmente aceptado por la crtica histrica. Ah se nos dice que Pitgoras "convirti el ejercicio de esta rama del saber humano, en una verdadera ciencia, considerando sus fundamentos desde un punto de vista superior e investigando sus teoremas de im modo menos material y ms intelectual, y que tambin fu l quien descubriera las cantidades o magnitudes irracionales". Muchos han sido los filsofos, en las distintas pocas, que han pretendido "cimentar y coordinar" la ciencia. Recordemos a Bacon con su Instauratio Magna. Recordemos a M. Kant con su Crtica de la Razn Pura, con la que aspiraba, nada menos, que al ttulo de nuevo Coprnico del s a b e r . . . Las pretensiones empero de Pitgoras, fueron mucho ms modestas, propias de un amante de la sabidura, propias de un filsofo. Est, por de pronto, muy lejos de llamarse ni creerse un revolucionario de la ciencia. La ciencia para l, tiene su continuidad. Antes de l, las matemticas haban constituido una especie de vagar sin rumbo; un indagar sin plan, orientado siempre hacia motivos de orden prctico. Constituan, si se quiere, un arte, una tcnica, en cuanto que arte significa suma de preceptos, coleccin de recetas, etc., pero sin una explicacin sistemtica, sin una explicitacin de sus fundamentos. Las matemticas no podan contentarse con "lo dado", con lo hallado data occasione rapsdicamente. Esto podra quiz bastar para los fines prcticos, mas no para satisfacer su pretensin de ciencia, vale decir, el elevado afn de lograr una visualizacin y una validez general. De ah que todo ese material amorfo y heterogneo arrebatado al misterioso Oriente, ha debido ser elaborado, como nos dice Eudemos, para convertirlo en algo "menos material", en material de ideas, para lo cual ha sido menester un sutil esfuerzo de espiritualizacin, de sublimacin, o de "abstraccin de las singularidades concretas", para

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

CABACTERIZACIN DEL OBJETO MATEMTICO

1583

usar la terminologa aristotlica, condicin sta indispensable para el logro de toda ciencia. El espritu helnico se caracteriza particularmente por esa original modalidad en sus bsquedas. A la meticulosidad excesiva opone la visin de conjunto; a la observacin emprica del particular, la visualizacin de lo universal. As se explican las ideas platnicas; la lgica y la metafsica aristotlica. La misma escultura griega sugiere un no se qu de inmaterialidad, de universalidad jams igualada, dentro y pese a su plasticidad. Por este camino las matemticas, desligadas de todo propsito concreto de aplicacin, bajo una visualizacin universal, estructuran su propio objeto mediante un proceso deductivo y en base a principios fundamentales arraigados profundamente en la idiosincrasia del espritu, y de esta suerte, lo que haba constituido hasta ese entonces un conjunto de reglas prcticas, se jerarquiza en ciencia y se pone para siempre a disposicin de la cultura y de la humanidad. Euclides nos propondr el teorema de los ngulos, no como una propiedad del tringulo issceles en particular, sino como una propiedad universal de todos los tringulos, inclusive si alguno tuviera su vrtice en las estrellas... Schopenhauer se preguntar cul sea "la razn" o "el porqu" de la subsistencia de sa y de otras relaciones matemticas. Pero ese "porqu" no tiene "razn" de ser; sin que esto signifique, de manera alguna, caer en el reino del misterio o en el terreno de los postulados "a priori", como han credo muchos sostenedores de las geometras no-euclideanas. Supuesta, en efecto, una demostracin hecha en base a principios evidentsimos, derivados de la entraa misma del Ser y que en definitiva y en ltimo anlisis en el Ser se injertan y resuelven, el seguir preguntando "porqu, porqu", significa un preguntar balad, por cuanto equivale a preguntarse porqu el crculo es crculo, porqu " A " es " A " porqu " B " es " B " . Lo son evidentemente en razn de lo que son, de su propia esencia. Esto, naturalmente, supondr la captacin de esa esencia mediante una intuicin intelectual de la misma, de los rasgos constitutivos que la integran; pero esta suposicin y conclusin no nos arredra, no nos sorprende ni nos asusta, toda vez que creemos tambin con Godel, que las dems y otras conclusiones y soluciones que nos vienen desde 1 campo positivista o logicista acerca del problema matemtico, distan

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

1584

JOS TRISTN LIENDO

mucho del ideal de perfeccin requerido y postulado por esta ciencia. Se ha dicho que las matemticas tienen por objeto las propiedades cuantitativas de las cosas, de los seres: la cantidad en todas sus formas, continua, discreta, continua sucesiva y continua espacial en todas sus dimensiones. Nada empero se discutir tanto como esta afirmacin. Russell, gran matemtico, ha podido afirmar, con acentuado pesimismo al respecto: "la matemtica es un tema del cual nada sabemos; nunca sabemos lo que estamos diciendo, y ni siquiera si ello es verdad" \ Porque si bien es cierto que las matemticas se utilizan en todas las investigaciones de la materia y de sus propiedades, no es menos cierto que el matemtico, el matemtico puro, no se ocupa para nada de la materia ni atiende jams a ella. Esto ha hecho creer a muchos que el objeto matemtico no lo constituye la extensin de la misma. "Supongamos por un instante escribe A. Rey por u n instante tan slo porque la suposicin es absurda (no es el autor quien subraya) que el mundo de la materia no existiese, pero que existisemos nosotros de todos modos; parece ser que, en tal caso, nos sera perfectamente posible concebir y definir, en ese mundo vaco, una lnea recta, una lnea curva, un ngulo, un tringulo, una circunferencia, una perpendicular, una oblicua, una paralela y hasta formarnos ideas de superficies y de volmenes" ^ El autor ha tomado de propsito ejemplos de la geometra que parece hallarse mucho ms cerca de la materia y de lo real, que no la aritmtica y "a fortiori" el lgebra, disciplinas stas que se mueven en un plano de mayor abstraccin, si cabe, y mediante las cuales se llega a un mundo imaginario, que ni siquiera se puede imaginar, en el sentido usual de la palabra. Esta especie de contradiccin intrnseca y vital del objeto matemtico haba sido ya sealado en la antigedad clsica por el filsofo de Elea. Zenn de Elea fu el primero en barruntar las antinomias que dicho problema plantea. El descubrimiento de las magnitudes irracionales, del "a-logon" de Pitgoras, debi suscitar, en el seno de su escuela, una tremenda conmocin; fu un descubrimiento similar al de nuestra bomba atmica . . .? Si todo lo real era racional, si la esencia de las cosas la
1 B. RUSSELL. i o s principios de las matemticas, pg. 18. 2 ABEL REY. Filosofa Moderna, pg. 48.

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

CARACTERIZACIN DEL OBJETO MATEMTICO

1585

constituan los nmeros, si todo era armona y jerarqua, qu realidad asignar a lo "irracional"? A qu quedaba reducida la concepcin arquitectural, matemtico-geomtrica del Universo? En el clsico teorema d Pitgoras, qu extensin real asignar a la hipotenusa del tringulo cuando cada uno de los catetos tuviera por medida la unidad? Hoy nos llama poderosamente la atencin la sagacidad de Zenn de Elea, porque, si como se esfuerza ingeniosamente en demostrarlo, "lo ms pequeo" no existe, como tampoco existe "lo ms grande", a qu queda reducida la extensin, objeto de la matemtica, a qu queda reducida la unidad y la pluralidad y el nmero? La solucin de Zenn de Elea fu por cierto iconoclasta. Ciertamente que no desconoca l la solucin de orden prctico; la solucin de los "hechos". Para demostrar la realidad del movimiento bastaba largarse a andar; pero esas soluciones dejaban sin solucin el problema en s y a ellas responda Zenn con la consabida frase de los filsofos posteriores: "Si los hechos existen, tanto peor para ellos . . . ! " Los sofismas de Zenn de Elea no obtuvieron una refutacin, en el terreno puramente especulativo, hasta ms tarde, gracias a la contribucin de Aristteles, quien, al estructurar su lgica y al ahondar en la naturaleza del continuo, de la potencia y del acto, proporcion una base slida y segura sobre la cual habra de construirse, en lo sucesivo, la especulacin matemtica. Pero el mrito de Zenn de Elea radica en haber iluminado de manera muy sagaz, la pretendida racionabilidad de las matemticas segn la entendan los pitagricos y segn la entendern ms tarde los racionalistas del tipo Descartes. El viejo problema subsiste an y seguir subsistiendo, bajo estos trminos: Los entes matemticos dependen de la realidad como propiedad de las cosas o tienen en cambio una existencia original que llamaremos trascendente? Las teoras tejidas al respecto, de un siglo a esta parte, van formando una alta marea. No queremos mencionarlas in specie para no perdernos en esa selva selvaggia de opiniones. Pueden, no obstante, ellas ser agrupadas en dos grandes corrientes de las que participan en mayor o en menor grado, a saber: la corriente lgico-racionalista y la corriente emprico-nominalista-positivista. El racionalismo, cualquiera sea su forma, est por una supuesta posibilidad de "invencin matemtica", por encima de toda experien-

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

1586

JOS TKISTN LIENDO

ca. El carcter puramente lgico de los razonamientos matemticos, la inutilidad de todo lo que significa un prestar atencin a las cosas "externas"; la concepcin de sus definiciones, la indemostrabilidad de sus postulados, etc., todo esto nos probara que las matemticas "han sido halladas" por slo las fuerzas del espritu. Para un racionalismo del tipo Leibniz-Descartes, la razn es la Ley del Cosmos y del Espritu; el mundo es "racional" en todas sus partes, y al desarrollar la razn sus virtualidades, stas suministran los primeros principios sobre los que habr de apoyarse la ciencia matemtica, la que a su vez suministra las "leyes-lmites" en las qpie habrn de insertarse paulatinamente las leyes de la naturaleza ms concretas y ms particulares. El Universo es racional y las leyes de la razn son las leyes del Universo. Para resumirlo en una frase de Leibniz, "lo que mi razn lgica deduce, es lo que la creacin natural ha realizado y cuando Dios calcula el mundo se crea". Dum Deus ccdcidat, mundus fit. De esta suerte y para este tipo de racionalismo, el mundo aparece como un vasto sistema de leyes rigurosas, semejante a u n inmenso teorema y las matemticas como la ciencia universal. Pero al racionalismo se llega tambin por otro camino. Las teoras de Russell, de Couturat y Whitehead conducen ciertamente a l. Por otra parte, en la concepcin kantiana del conocimiento, el espritu se "anticipa" a los hechos, a lo emprico, e impone sus virtualidades "a priori" y es en funcin de ellas cmo lo real, dado en la intuicin emprica, adquiere el rango de objeto pensado. En tal hiptesis las matemticas nada nos revelaran de "lo que es". El pragmatismo moderno, tan caro a ciertos espritus, nos lleva a una conclusin similar. Para l la ciencia matemtica es un simple "artificio" un simple "instrumento", muy cmodo, muy til, pero fruto de una simple invencin. "La inteligencia haba dicho Bergson no nos ha sido dada para representarnos la realidad, sino para "construir" concepciones simblicas manejables aunque en nada conformes con la realidad..Considerada la inteligencia en lo que parece ser su tendencia fundamental y original, es la facultad de fabricar objetos artificiales y de variar indefinidamente esas fabricaciones" \
1 E. BERCSON. L'volution cratrice, pg. 321.

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

CARACTEBIZACIN DEL OBJETO MATEMTICO

1587

En el fondo aparece Kant, siempre Kant! Y antes que Kant el viejo escepticismo de Protgoras, "el hombre medida de las cosas" y el no menos craso de Sexto Emprico: " . . . tale aut tale apparere ipsum suhiectum, nenw fortasse in dubium vocat; sed de hoc, videlicet, an tale sit quale apparet, quaeritur. Apparentibus igitur acquiescendo, ea quae ad vitam communem pertinent observantes vivimus, ita tatnen ut dogma nullum statuamus" ^. Sobre este mismo terreno relativista que engendra necesariamente el escrpulo de la afirmacin, ha podido escribir E. Poincar: "Nuestras matemticas no han sido sugeridas por la experiencia; expresan s, cmodamente, las relaciones que tenemos necesidad de expresar, pero slo constituyen una especie de las muchas matemticas posibles. Son creaciones arbitrarias del espritu, deslumbrante manifestacin de su propia fecundidad"^. Para el empirismo, el objeto matemtico deriva de lo real, de la experiencia, mas como por otra parte el empirismo renuncia a toda captacin de lo universal, debe tambin renunciar a la posibilidad de una intuicin del nmero como tal, de la extensin ut sic, cerrndose as el camino para una explicacin rigurosamente cientfica y fosfica de las matemticas y tambin de toda otra ciencia en su acepcin superior. Pero en lo que el empirismo tiene razn es en la contribucin de la experiencia para el logro de la ciencia. Aqu estamos de verdad con Kant: ni experiencia sola, ni pura razn. Se debe, en definitiva, estar de acuerdo y reconocer que todo conocimiento humano postula ambos factores y que ambos concurren a la vez. Hasta dnde deba extenderse ese "aporte" del espritu; esa contribucin, y cmo deba ser interpretada, he ah el problema lgico fundamental. La determinacin del objeto matemtico, de esta suerte, corresponde no a la matemtica en cuanto tal, sino a la filosofa, y en particular a la epistemologa. Los problemas epistemolgicos estn a su vez condicionados a la solucin de un problema de carcter ms general, el problema gnoseolgico, y ste a su vez al problema metafsico. Aqu, en este plano superior, deben encontrarse el matemtico y el filsofo.
1 Pyrronicarum Inst. lib. I, c. XI. 2 E. POINCAR. La science et f hypolhse.

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

1588

JOS TRISTN LIENDO

La conclusin es sugestiva: Comte nos haba acostumbrado a un tipo de ciencias de carcter eminentemente "positivo". Lo cientfico lleg, en cierta poca, a ser sinnimo de positivo, de real, en oposicin a lo irreal, a lo metafsico en sentido peyorativo; pero he aqu que una ciencia, la ms antigua, la ms positiva porque la ms til, la ms segura y la ms simple de todas las ciencias, la matemtica, retorna a la metafsica para darnos su razn de ser. De esta suerte, el "dogma" de las tres etapas de la ciencia no pasa de ser un mito.

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3