You are on page 1of 17

Reflexiones de un matemtico sobre

historia y filosofa
Por Jos Luis Massera
Conferencia dictada en el Colegio Nacional, Ciudad de Mxico - 4 de marzo de 1998
Tomado de "Jos Luis Massera. El cientfico y el hombre. Premio Mxico de Ciencia y
Tecnologa" Ed: Facultad de Ingeniera, Montevideo, Uruguay (1998)

Introduccin.
En abril de este ao ser editado en Pars un libro colectivo sobre la ciencia y la
dialctica, que contiene las opiniones de varios cientficos de diferentes ramas,
entre los cuales una ma. Est dirigido por el filsofo francs Lucien Sve y se
abre con un importante artculo suyo sobre el tema. Hace poco, el Instituto de
Matemtica y Estadstica, "Prof. lng. Rafael Laguardia" (IMERL) edit algunas
"Prepublicaciones de Matemtica" PreMat 97/ 01, en que se transcriben extractos
de esa colaboracin ma al libro.
Por otro lado, recientemente en el "Sminaire de Philosophie et Mathmatiques"
de l"cole Normale Suprieure" de Pars que dirigen M. Loi y otros, se han
empezado a publicar algunas de las ponencias presentadas en l que tienen
vinculacin con la dialctica; me propongo tambin comentarlas brevemente al
final de esta conferencia (las traducciones del francs han sido hechas por m).

1. Movimiento y reposo, evolucin, historia y cambios a


lo largo del tiempo.
La actitud de rechazo, lamentablemente muy difundida, hacia el pensamiento
dialctico est muchas veces fundada en malentendidos. Para tratar de aclararlos,
una cuestin esencial debe establecerse desde el principio: se trata de la relacin
entre cambio e invariancia, movimiento y reposo. La formulacin de Herclito
"todo fluye" sugiere a muchos que la dialctica sera un pensamiento vago y
flojo, mediante el cual se podra afirmar o negar lo que se quiera de cualquier
cosa o concepto. No es as en absoluto. No es posible concebir el movimiento sin
apoyarse en la nocin de reposo; Engels deca que es precisamente en trminos
de "su contrario, el reposo", que se expresa el movimiento. Consideremos un
simple ejemplo clsico, el de la clebre frase de Herclito: "No te podrs
sumergir dos veces en el mismo ro". Al decir "el mismo" est implcito que,

desde algn punto de vista, el ro no cambi; es posible reconocerlo. En la


expresin "dos veces" hay implcito un cambio del ro. Refirindonos a un objeto
concreto, si se afirma que ste cambia, esto implica que le atribuimos
verdaderamente una cierta fijacin, de otro modo la dialctica sera efectivamente
un juego de palabras vaco de sentido. Podemos adems recordar el dicho
profundo de Galileo: "Londa cammina ma lacqua non muta dal sito."
Inversamente, al menos nosotros, los que pensamos la naturaleza dialcticamente
no podemos imaginar los objetos dotados de una fijeza absoluta: una montaa
majestuosa es el resultado histrico de ciertos geolgicos pasados, no existe toda
la eternidad; podra ser modificada y hasta desaparecer como consecuencia de
una catstrofe futura, o an, a una escala menor, sufrir transformaciones debidas
a los cambios de temperatura, a los fenmenos meteorolgicos, o a la accin del
hombre; ste ltimo a su vez podra introducir cultivos, construir terrazas,
perforar tneles, construir viaductos, explotar los minerales preciosos que guarda
en su seno, etc.

2. Dos anlisis recientes


En 1994 fueron publicados un libro de Gilles-Gaston Granger y un ensayo de
Juan Fl que tratan sobre problemas importantes de la relacin entre la dialctica
y las ciencias.
2.1. G.G. Granger, citando a Hegel, observa que "se ha creado una tradicin
segn la cual la palabra 'dialctica' designara tanto como el movimiento mismo
de la creacin de los contenidos en virtud de una furma universal, as como la
ciencia de esta creacin, capaz de elucidar lo real y su historia", y expresa su
conviccin de que "las tentativas para 'formalizar' un pensamiento dialctico" no
pueden tener xito. Estoy completamente de acuerdo con estos juicios, y las
pretensiones citadas me parecen residuos inaceptables del idealismo absoluto de
Hegel. Puedo tambin estar de acuerdo (al menos a grandes rasgos) con la
opinin de que "el proyecto de que una dialctica se mantiene posible, si se
considera como una estrategia del conocimiento objetivo." Pero "ella nunca es
ms que reguladora de una intencin de conocimiento, de una prctica ms que
de una teora. Es posible reinterpretar en este sentido tanto el movimiento
dialctico hegeliano como las leyes dialcticas marxistas." Podra hasta
adelantar la idea de que una "formalizacin" de la dialctica me parece un
contrasentido: la transformara en una doctrina rgida.
En el captulo 6 de su libro, el autor discute la importante cuestin de la
inferencia y afirma: "El movimiento dialctico no provee inferencias
propiamente dichas, es decir el pasaje necesario y unvoco de un enunciado a

otro, o al menos a una alternativa definida de enunciados." Si se trata


efectivamente del sentido "propiamente dicho" del concepto de inferencia
explicitado en la frase anterior, la asercin es incontestablemente verdadera, y
esta verdad deriva de la aplicacin rigurosa, a lo largo de la inferencia, de las
reglas de la lgica formal clsica. Este es, en general, el caso de todas las ciencias
formales en el sentido de Carnap, y en particular de la lgica y de las
matemticas, y es precisamente ah en donde reside el valor de este tipo de
ciencias (ver 4 ms adelante). Sin embargo, al mismo tiempo la "verdad" de estas
inferencias no aporta novedades, es puramente tautolgica, para retomar el
trmino de Russell (ver 6.2). No hay duda de que con frecuencia las races de los
enunciados precedentes de estas inferencias "propiamente dichas" estn a
menudo profundamente ocultas, el acceso a ellas est bajo cerrojo; su puesta en
evidencia no es trivial y exige a veces los esfuerzos considerables de un gran
nmero de pensadores en el transcurso de siglos.
Pero junto a estas inferencias puramente formales hay otras (no veo por qu no
llamarlas inferencias; a menos que logremos ponernos de acuerdo en otro trmino
apropiado) que aportan novedades sustanciales, y pienso que son justamente las
ms importantes. Son ellas precisamente las que exigen una verdadera creacin
mental, un "salto" cualitativo del conocimiento. Estas iluminaciones reclaman en
general una tensin extrema del pensamiento y la participacin de otros procesos
mentales (negaciones audaces- para dar slo un ejemplo clsico, la que condujo,
luego de siglos de esfuerzos infructuosos, al descubrimiento por Bolyai y
Lobachevski de las geometras no-euclideanas, negacin que dicho sea de paso,
haba sido concebida pero no abiertamente admitida por el gran Gauss-, o aun
asociaciones de ideas imprevistas, intuiciones sorprendentes, etc.) que no pueden
reducirse a reglas rgidas de aplicacin casi mecnica. Pienso que sera apropiado
llamarlas formas de pensamiento dialctico o aun de estar inspiradas o dejarse
guiar por esquemas tales como las llamadas triadas hegelianas (a menudo
adoptadas, luego de Hegel, por pensadores marxistas), el desarrollo en espiral (o
mejor en hlice), etc.
Con mayor razn, no puedo estar de acuerdo con Granger, cuando pasa de las
ciencias formales a las naturales. Escribe: "Sin duda siempre ser posible, con
cierto ingenio, reinterpretar a posteriori en trminos de movimientos dialcticos
el desarrollo de fenmenos que describen los modelos abstractos de la ciencia.
Estos ltimos son seguramente inventados y construidos conforme a una
estrategia que no se reduce a la simple lgica, pero es la regulacin lgica la que
orienta el meta-discurso que lo organiza. Por otra parte, ellos permiten prever,
generalmente en forma satisfactoria y algunas veces con exacta precisin dicho
desarrollo, mientras que la interpretacin de una filosofa dialctica de la
naturaleza siempre lleg cuando ya estuvo todo dicho...". He tratado de mostrar

en 1 que el movimiento-reposo y otras manifestaciones dialcticas en la


naturaleza no slo no llegan tarde sino que ms bien existen antes de la
formulacin de las teoras.
Pero lo ms sorprendente me parece ser lo siguiente. En la misma pgina en que
figura la cita precedente, el autor habla de las frmulas establecidas por los
gemetras italianos del siglo XVI para resolver las ecuaciones de tercer grado,
que resultan inaplicables en el caso llamado "irreducible", ya que exigiran la
extraccin de la raz cuadrada de un nmero negativo (mi comentario: cosa
curiosa y que parece poner en evidencia una forma dialctica. Estas races eran
entonces llamadas imaginarias - nombre que perdur hasta nuestros das - y hasta
imposibles). Peor aun, agrega: "las races [reales] de la ecuacin existen en esos
casos y pueden determinarse por tanteo o por construccin grfica." (Es decir: en
el caso "irreducible" en donde aparecen en las frmulas nmeros imaginarios,
aunque las races son todas reales, pueden hallarse por tanteo, mtodo sin duda
profundamente lgico...). Y en la pgina siguiente admite: "Pero la solucin de la
contradiccin, mediante un movimiento que podramos correctamente llamar
dialctico, consistir en reformular el sistema de las reglas operatorias de modo
tal que resulte correlativo de un sistema ampliado de objetos (...): el formulario
operatorio del lgebra autorizar entonces la extraccin de races pares de
nmeros negativos, pero el campo de los nmeros utilizados se ampliar al de los
nmeros complejos (...)." Estoy completamente de acuerdo con esta frase.
Agrega adems (y mi acuerdo se acenta): "La historia de la matemtica muestra
en todo caso numerosos ejemplos de esa dialctica, en la que se comprueba que
no poda reducirse a la aplicacin de principios y leyes generales, que exige
siempre invencin y creacin, aunque su modo de avanzar nunca escapa de las
ataduras propiamente lgicas." No me canso de declarar que estoy totalmente de
acuerdo con la frase entera.
En el captulo 18 Granger expresa opiniones que me parecen igualmente
positivas. "Por dialctica, entenderemos solamente el movimiento de
reestructuracin de un sistema de conceptos que resuelve contradicciones y
tensiones internas, cuando ese movimiento no es reducible a la deduccin
regulada de consecuencias a partir de proposiciones ya establecidas. La presencia
de tales movimientos creadores en la historia de las ciencias es difcilmente
rechazable (...)". "En todo caso, cuando el libre juego de las manipulaciones se
encuentra con obstculos [que son equivalentes a una negacin] aparece la
novacin conceptual". "Que haya una dialctica interna de la ciencia no significa
entonces que la conciencia genere por s misma [a la Hegel?] sus contenidos,
sino que un sistema ms o menos coherente de actos de pensamiento sea puesto
en funcionamiento y que, al encontrar obstculos, se transforme para
sobrepasarlos. Uno de los proyectos de una filosofa de la ciencia debe ser sin

duda el exponer este trabajo." Y finalmente: "Pero la historia nos muestra que el
momento de la invencin y del genio consiste justamente en la formulacin
efectiva de los problemas (...) [que] define positivamente la lnea de su progreso."
(Cf. tambin 6.2). Estoy completamente de acuerdo con todas estas citas.
2.2. El ensayo de J. Fl analiza precisamente los conceptos de novedad y
creacin. El autor emplea en su texto, en forma sistemtica y correcta, trminos
precisos del lenguaje sistmico moderno: complejidad, entropa, etc. Se plantea
desde el principio la cuestin de adoptar "un sentido bastante preciso del
concepto de novedad"; y propone "medir la novedad por la relacin que existe
entre una relacin productora previa, por una parte, y lo que se deriva de ella, por
otra." Ms concretamente, hay novedad "toda vez que aparece una estructura o
un conjunto ordenado de alguna manera sin que la informacin necesaria para
establecer ese conjunto de relaciones en las que consiste la estructura est
incluida en los antecedentes que la producen." Dicho de otro modo: "solamente
hay novedad cuando la produccin de una estructura no est controlada por
agentes de igual estructura o de una estructura ms compleja de la cual la primera
es una parte o una consecuencia." La novedad es "una excedencia o una ganancia
respecto a la situacin antecedente."; o bien, todava "hay novedad en un sentido
fuerte toda vez que hay reduccin de la entropa."
Si por otra parte tenemos en cuenta que no es posible que el origen de la novedad
resida en los antecedentes, necesariamente concluimos que ella resulta "de una
fuente aleatoria"; debe por tanto ser encarada en el marco de "la teora
neodarwiniana de la evolucin", que requiere siempre necesariamente "un
dispositivo de seleccin natural".
Debo decir que estoy esencialmente de acuerdo con estas tesis de Fl; hasta he
dicho, sin emplear su lenguaje, refirindome a las "inferencias propiamente
dichas" de Granger, que no podan aportar ninguna novedad. No obstante,
considero necesario hacer en este punto algunos comentarios:
(i) La tendencia espontnea de los sucesos es el crecimiento de la entropa. Segn
la definicin propuesta, la novedad aparece entonces a contra-corriente del curso
de los sucesos, lo que puede sugerir que es ms bien rara. En la pareja indisoluble
evolucin aleatoria-seleccin, y sin disminuir el papel del primer factor, pienso
que hay que destacar ese papel selectivo, en principio natural, pero atribuible
sobre todo al factor humano, y particularmente al cerebro humano y a las
sociedades humanas, tal como Fl lo seala ms adelante.
(ii) Hay un ejemplo clsico (y al mismo tiempo imaginario...) del papel de la
seleccin en la fsica: es el famoso demonio de Maxwell. Consideremos un gas,

es decir un conjunto muy grande de molculas que se desplazan a velocidades


muy diferentes, y que chocan entre ellas as como con las paredes del recipiente
en choques que se suponen elsticos. Supongamos adems que el recipiente est
dividido en dos partes A y B, separadas por un tabique con un pequeo orificio
provisto de una vlvula que puede abrirse o cerrarse a voluntad. A su lado hay un
pequeo demonio, muy gil e inteligente, cuya funcin es la de abrir la vlvula
cuando llega una molcula rpida de la parte A hacia la B, para dejarla pasar, y de
cerrarla en los dems casos. Al transcurrir el tiempo, las molculas rpidas se
encuentran en B y las lentas en A: es un proceso anti-entrpico, una novedad. La
seleccin operada por el demonio, aunque ninguna mente humana intervenga, es
inteligente.
(iii) La seleccin es a menudo debida a la prctica humana, principalmente
social. Sin duda las mentes intervienen aqu, pero el papel de la accin es
predominante en el resultado. Podemos recordar al respecto la Xl Tesis sobre
Feuerbach de Marx.
(iv) Podramos comentar aqu experiencias de matemticos, desde Arqumedes
hasta Poincar, que han escrito sobre el proceso de algunos de sus
descubrimientos clebres, cosa que lamentablemente es poco frecuente... (ver
6.3). Solamente puedo decir que, en mi opinin, ellas confirman las tesis de Fl.
Para las cuestiones de que estamos hablando, el ensayo de Fl termina con
reflexiones acerca de los aspectos sociales. "Estas dificultades deben corroer,
segn creo, nuestra confianza en el modelo computacional, que es inevitable
como modelo del cerebro individual, sea un buen modelo para la produccin
intelectual de la sociedad humana en su historia. Por eso creo que es posible
escapar a la condena que el modelo computacional parece decretar contra la
creatividad - es decir, contra la produccin de novedad intelectual por parte del
hombre - mediante un modelo de creatividad extra- individual aplicable, en
particular, al desarrollo de los instrumentos y los resultados cognitivos a lo largo
de la historia. (...) Me refiero especialmente al desarrollo de la inteligencia (en
tanto capacidad para la resolucin de problemas y de representacin interna) y la
comunicacin (en tanto sistemas de seales intraespecficas que permiten la
coordinacin grupal) las cuales tienen una larga historia filogentica
independiente." "(...) es la nica manera de pasar de la lgica que opera en los
circuitos (inaccesible a la conciencia, la expresin verbal, el uso voluntario y toda
forma de tematizacin, crtica y desarrollo) a la lgica fijada en lenguajes
sociales (...) Ese salto de ciertas estructuras (...) a niveles muy superiores como
los del lenguaje y la representacin interna, es bastante claro que la mquina
individual no tiene medios de realizarlo. Solamente a travs del espacio externo
de las construcciones sociales la mquina individual obtiene una va indirecta de

acceder a su lgica interna." "(...) ese trabajo social aporta una novedad
indudable. (...) un poder nuevo, ms aun da lugar a la aparicin de un nuevo
sistema. (...) se trata de un camino en el cual el azar y la seleccin cumplieron su
papel." Estoy completamente de acuerdo con estas reflexiones, y me parece que
aportan puntos de vista verdaderamente nuevos para encarar estos problemas.
Permtaseme anotar solamente que Fl no utiliza nunca la palabra "dialctica" en
su ensayo, aunque me parece un excelente ejemplo de empleo de dicha
concepcin...

3. Sobre los orgenes de la matemtica.


No hay duda de que el origen de las nociones matemticas ms rudimentarias
debe situarse en la ms lejana prehistoria, ligadas con las actividades prcticas y
vitales de los primeros homnidos, su relacin con la naturaleza, la formacin del
lenguaje, los intercambios en el seno de la tribu as como los intertribales. Una
lenta acumulacin de "saberes" - especialmente en Babilonia y Egipto - se dio en
civilizaciones cuyos documentos escritos, relativamente abundantes, evidencian
conocimientos matemticos muy importantes. Sin embargo, hasta el da de hoy,
no se ha encontrado ningn indicio que permita sospechar que al menos
porciones mnimas de esos saberes hayan sido obtenidas por una va que
sobrepasara los mtodos estrictamente empiristas, ni siquiera si esos pueblos
supieron cmo formular resultados cientficos de carcter general. En sntesis,
sus conocimientos no constituan una ciencia, aunque fuese rudimentaria; eran
reglas prcticas, con aplicaciones sin duda importantes, pero nada ms.
Algunos siglos antes de la era cristiana, un cambio radical se produjo en esta
situacin. En Grecia la matemtica se convirti en verdadera ciencia, rica y
articulada. Es el primer caso en la historia en que un conjunto considerable de
conocimientos empricos, de "saberes" prcticos, sufrieron un cambio cualitativo,
para transformarse en gran medida en un todo orgnico, que comenzaron a
establecer sus propios mtodos y a precisar los principios que les sirven de base.
Todas las ciencias que hoy conocemos han seguido un camino anlogo.
Hay que sealar adems otra particularidad -muy rara en el conjunto de las
ciencias- que caracteriza el nacimiento de la matemtica: ni la investigacin ni la
exposicin de los resultados obtenidos apelan, en principio, al empirismo. Esta
afirmacin es demasiado tajante, aunque esencialmente verdadera, y habr que
introducirle matices, cosa que haremos en lo que sigue.
Hay por otra parte una circunstancia extraa en este acontecimiento
sorprendente: casi puede decirse que en este "alumbramiento" nacieron gemelos.
El lector adivinar probablemente de qu se trata: tambin surge la lgica. Es

cierto que durante milenios no se le ha reconocido la calidad de ciencia, de la que


nuestro siglo no duda. En la Antigedad no alcanz el grado sorprendente de
organizacin formal al que lleg la matemtica clsica, pero s en nuestro siglo.
Estos eventos tan excepcionales, cmo se produjeron? Cmo podemos
explicarlos?

4. Ciencias formales y ciencias fcticas.


Para abordar estas cuestiones, conviene adoptar la terminologa propuesta por R.
Carnap. Para l las ciencias formales son la lgica y la matemtica, y las fcticas
las dems, que tienen una base emprica: fsica, qumica, biologa, sicologa,
sociologa, historia, etc. Pero es necesario dar una definicin de carcter general.
Carnap propone tomar como base la distincin kantiana entre juicios analticos y
sintticos. Los primeros son vlidos incondicionalmente si estn sintcticamente
bien formados, y se deducen por reglas lgicas a partir de otros juicios similares,
independientemente del valor de verdad de los mismos. Los juicios sintticos son
los que no son ni analticos ni incompatibles (contradictorios en s mismos, es
decir incondicionalmente no vlidos) y a ellos se puede, en general, aplicar uno u
otro de los calificativos verdadero o falso. La distincin entre ciencia formal y
fctica "consiste entonces en que la primera no contiene ms que enunciados
analticos, y la segunda nicamente enunciados sintticos".
Las ciencias fcticas establecen juicios sintticos sobre hechos naturales,
observables o hipotticos, de los cuales se desprenden, mediante reglas propias
de las ciencias formales, otros juicios sintticos. Las ciencias formales
suministran entonces estos instrumentos auxiliares para establecer estas
inferencias ("propiamente dichas", como dira Granger, cf. 2.1). Constituyen por
lo tanto un "clculo auxiliar" para facilitar el trabajo de las ciencias fcticas,
introduciendo en el conjunto de las ciencias, formales y fcticas, una economa
global importante. Ms aun: las ciencias formales sugieren frecuentemente
nuevos desarrollos en las ciencias fcticas.
El clebre aforismo de B. Russell, que parece una broma: "La matemtica es una
ciencia en la que nunca sabemos de qu estamos hablando, ni si lo que decimos
es verdad", es entonces correcto no solamente para la matemtica, sino para todas
las ciencias formales. Es interesante recordar que Kant ya haba comprendido la
naturaleza formal de la matemtica: "La matemtica ha marchado por el camino
seguro de una ciencia desde los tiempos ms remotos que alcanza la historia de la
razn humana, en el admirable pueblo griego. (...) ese cambio es de atribuir a una
revolucin que la feliz ocurrencia de un solo hombre llev a cabo (...). (...)
encontr que no tena que inquirir lo que vela en la figura o aun en el mero

concepto de ella y por decirlo as aprender de ella sus propiedades sino que tena
que producirla, por medio de lo que, segn conceptos, l mismo haba pensado y
expuesto en ella a priori (por construccin), y que (...) no deba atribuir nada a la
cosa, a no ser lo que se sigue necesariamente de aquello que l mismo (...)
hubiese puesto en ella."
Para cualquier juicio formal, lo que importa es la coherencia entre un enunciado
cualquiera y los postulados, la correccin rigurosa de los pasos lgicos mediante
los cuales se deduce aqul de stos. La nocin de "verdad" (en su sentido
fundamental real, fctico), pierde todo significado en una ciencia formal. Por
qu la geometra euclidiana sera ms verdadera que las geometras noeuclidianas?; de hecho, los fsicos de nuestro siglo prefieren las segundas. Hay un
aspecto importante en el proceso de creacin de la teora de la Relatividad
General que es interesante considerar. Einstein comprenda bien la naturaleza
axiomtica, formal, de la geometra, pero, como buen fsico que era, senta la
necesidad de una geometra ms estrechamente ligada a la realidad, de una
geometra fctica, si puede decirse. Invent entonces la expresin geometra
prctica o fsica, que ciertamente no es euclidiana, y en la que adems los
parmetros que definen la distancia y la curvatura del espacio en el entorno de un
punto dependen de las masas materiales que en l se encuentran.
Creo que la razn fundamental por la cual los griegos concibieron la matemtica
sobre una base axiomtica resulta ahora clara: comprendieron - sin decirlo
explcitamente - cun provechoso era para la economa global de la ciencia tener
a disposicin una ciencia formal que sirviera de "clculo auxiliar". Pienso que si
consideramos la clebre definicin: "La matemtica, Reina y sirvienta de todas
las ciencias", debemos agradecer por el honor del ttulo acordado a ella, sin
olvidar que su papel principal es el de "sirvienta".
Termino este pargrafo agregando una cosa que Carnap no poda prever. Me
parece que ha llegado el momento de introducir una tercera ciencia formal, que
no exista en 1934: la informtica.

6. Matemtica y dialctica.
Hemos visto en 3 y 4 casos en los que tras la aparente "rigidez metafsica" de la
matemtica se descubra una riqueza real en contradicciones y procesos
dialcticos muy variados, que aparecieron a lo largo de su milenaria historia,
particularmente en los ltimos siglos. Alguien podra razonablemente apostar
que hoy ya somos capaces de sobrepasar fcilmente esas dificultades?
Evidentemente no. Al hacer la pregunta no pienso en las cuestiones ms simples,
a saber, las del nacimiento y desarrollo de nuevas ramas y estructuras

matemticas, ni de la resolucin de viejos o nuevos problemas que an no han


sido aclarados y que son constantemente planteados por la ciencia, la tcnica y la
prctica social. Pienso sobre todo en problemas particularmente difciles tales
como los de los fundamentos y el de la naturaleza de nuestra ciencia, as como en
los de la lgica y de las ciencias formales en toda su amplitud, que son realmente
importantes para la ciencia y a la vez muy atractivos para la filosofa.
Esto es as hasta para los ms estrictos y exigentes lgicos y formalistas. Yo dira
- y no por una atraccin malsana por las paradojas, pero s por una slida
conviccin dialctica - que el formalismo es la fuente ms rica de contradicciones
dialcticas y paradojas (Zenn parece ingenuo frente a los aprendices de brujo
modernos), el ms poderoso motor dialctico de la matemtica del siglo XX. "La
intencin de conferirle a la matemtica un estatuto de autonoma hacindola una
ciencia puramente formal, ha dicho con justeza F. Gonseth, no estaba
necesariamente ligada al proyecto de suministrar una demostracin de la
imposibilidad de la contradiccin." Tanto para los formalistas como para los
intuicionistas, ms aun en tanto se encuentran apasionadamente atados a sus
respectivas tendencias, una comprensin dialctica de sus problemas seria
extremadamente fecunda; incluira ciertamente conflictos, pero nunca "crisis"
paralizantes; constantes "negaciones de negaciones" llenas de vida, alejando el
escepticismo y el empobrecimiento de la ciencia.
Sin compartir plenamente el tono "personalista" de sus palabras, pero estando de
acuerdo con ellas en general, en tanto reflejan, a mi entender, la riqueza de los
factores dialcticos que actan en los objetos matemticos y en los
temperamentos de los matemticos, comparto la siguiente opinin de Poincar:
"que la mente de un matemtico se asemeja poco a la de un fsico o un
naturalista, todo el mundo estar de acuerdo; pero los matemticos mismos no se
asemejan entre S; unos no reconocen ms que la lgica implacable, otros
recurren a la intuicin y ven en ella la nica fuente de descubrimiento. Y sera
una razn de desconfianza. A estas mentalidades tan diferentes, los teoremas
matemticos mismos podrn aparecerles bajo la misma luz? Una verdad que no
es la misma para todos, es fa verdad? Pero observando las cosas ms de cerca,
vemos cmo obreros tan diferentes colaboran en una obra comn que no podra
terminarse sin su participacin. Y esto ya nos tranquiliza."
6.1. Dinmica externa y dinmica interna. Todos aceptarn con acentos muy
diferentes, por supuesto, segn los temperamentos, que la investigacin es
motivada tanto por los hechos materiales, "externos", como por la dinmica
ideal ,"interna" a la matemtica, o bien por las dos especies de hechos actuando
en conjunto. Los primeros pueden presentarse en tanto que problemas y
cuestiones provenientes de otras ciencias, de las tcnicas, de la prctica social, y

en particular de la vida econmica. Para el matemtico sensible a estas


motivaciones, el pasaje del motivo a la investigacin propiamente dicha puede
ser completamente directo. Hasta es posible que sea el motor principal; en todo
caso, es muy importante y se debe sacar de ello las consecuencias apropiadas : el
ms estrecho acercamiento posible - en particular en el plano de la enseanza y
de la actividad acadmica - entre las personas y las instituciones que operan en
esas esferas, por un lado, y los matemticos, por otro.
Pero del hecho de que la matemtica sea una ciencia formal resulta la enorme
importancia que tiene para ella su propia dinmica interna. Es simplemente
inconcebible escribir la historia de la matemtica sin tenerla en cuenta. Un
racconto histrico, muy sucinto, que mostrara claramente que no es posible
comprender nada sobre la racionalidad del desarrollo de la matemtica durante
ms de dos mil aos si no se da una gran atencin al encadenamiento de los
problemas, de los descubrimientos, de las influencias recprocas, de las
contradicciones, etc., que se han producido en ese desarrollo.
6.2. El papel de las definiciones. B.Russell, uno de los pioneros del logicismo
matemtico, escribe en una de sus obras, a mi modo de ver demasiado tajante,
pero en esencia justo: "La matemtica y la lgica, hablando en trminos
histricos, han sido estudios enteramente diferentes. (...) Pero ambos se han
desarrollado en los tiempos actuales: la lgica se hizo ms matemtica y la
matemtica ms lgica. Por consiguiente, ahora es totalmente imposible trazar
una lnea divisoria entre las dos; de hecho, las dos son una sola. (...) En cuanto el
trabajo matemtico moderno est obviamente en la frontera de la lgica, otro
tanto de la lgica moderna es simblica y formal, de modo que la muy estrecha
relacin entre lgica y matemtica se ha hecho obvia para todo estudioso
instruido. (...) [y hay que admitir] la identidad de la lgica y la matemtica." Ms
adelante agrega: "el principio de no contradiccin es una entre varias
proposiciones lgicas, no tiene especial preeminencia, y la prueba de que la
negacin de alguna proposicin es en s misma contradictoria probablemente
debiera requerir otros principios de deduccin aparte de aqul. Sin embargo, la
caracterstica de las proposiciones lgicas que estamos buscando, es aquella que
fue sentida e intentado ser definida, por aquellos que decan que consista en la
deducibilidad a partir del principio de no contradiccin. Esta caracterstica es la
que podemos por el momento llamar tautologa".
Estas opiniones son tambin, casi con las mismas palabras, las de Wittgenstein,
Carnap y otros lgicos y filsofos. Sin enfrentarlos directamente, no creo que
muchos matemticos se sientan felices con esta identificacin entre lgica y
matemtica, ni con la reduccin pura y simple de sta a una inmensa tautologa.

Hay alguna explicacin razonable para la divergencia de estos puntos de vista?


Es posible reconciliarlos por poco que sea?
En primer lugar, la idea de tautologa acarrea, me parece, una identidad tan
mecnica que podr revelarse por medio de una mquina - no es esto ya posible,
o al menos en un futuro previsible? - . Pero no puedo concebir que pueda hacerse
matemtica sin la intervencin del cerebro de un matemtico. Sobre este punto
estoy completamnente de acuerdo con Poincar: "Si Ud. asiste a una partida de
ajedrez, no le alcanzar, para comprender la partida, con saber las reglas del
movimiento de las piezas. Eso le permitir solamente reconocer que cada jugada
fue hecha conforme a esas reglas y esta ventaja tendr verdaderamente poco
valor. Es sin embargo esto lo que hara el lector de un libro de matemtica, si no
fuera ms que un lgico. Comprender la partida es algo completamente diferente;
es saber por qu el jugador mueve tal pieza en lugar de tal otra que hubiera
podido mover sin violar las reglas del juego. Es percibir la razn ntima que hace
de esa serie de movidas una suerte de todo organizado. Con mayor razn, esta
facultad es necesaria al jugador mismo, es decir al inventor."
Es lo que dice tambin Dieudonn, matemtico de raza a quien nadie puede
acusar de creer que la matemtica no es una ciencia formal. Agregar que algunas
dificultades que encontramos en la enseanza de la matemtica residen
precisamente en ese punto: lograr que el alumno sea capaz de sentir "el alma" de
una demostracin, su idea conductora, su esencia. Es deseable no slo que sea
capaz de seguir paso a paso una demostracin, sino que pueda aprender a
demostrar el teorema en cuestion... Es el paso previo para que pueda
ulteriormente adquirir la capacidad de demostrar por s mismo un nuevo teorema.
En segundo lugar, pienso que hay que destacar el papel que juegan las
definiciones introducidas por el matemtico. Ellas determinan una ruptura
cualitativa de la cadena ms o menos montona de teoremas sucesivos. Son actos
de creacin ideal de nuevos objetos mentales, y este caso de creacin de
novedades no escapa a las ideas del. Fl, Tampoco dudo en emplear la palabra
"objeto": la experiencia individual, colectiva e histrica de los matemticos
prueba que el conocimiento de estos nuevos objetos es a veces tan difcil como el
de objetos materiales, y en ocasiones ms aun. Se comportan frente a la
conciencia que intenta abordarlos como verdaderas fortalezas muy slidas,
inexpugnables; son a veces necesarios los esfuerzos perseverantes, durante
siglos, de numerosos matemticos llenos de talento, para conquistarlas, y a
menudo no somos capaces de hacerlo. En estas condiciones, es legtimo hablar
de tautologa? Es por esto que asigno a las definiciones un papel de primersima
importancia en la matemtica. Entre otros signos por los cuales puede medirse la

fecundidad de un matemtico, se encuentran la cantidad y el alcance de las


nuevas definiciones que ha propuesto a lo largo de su carrera.
6.3. Modo de exposicin y modo de investigacin. Utilizo las mismas palabras
que emplea Marx en su obra cientfica fundamental: "El modo de exponer tiene
que distinguirse formalmente del modo de investigar." Al mismo tiempo, los dos
modos estn estrechamente ligados entre s. Estamos aqu en pleno dominio de la
dialctica.
Comencemos por el modo de investigacin, es decir la matemtica in the making.
Ya hablamos algo en relacin a las definiciones. La investigacin de un nuevo
objeto matemtico ideal - ya sea el resultado de una definicin del propio
matemtico o de otro tipo de origen, inclusive fctico - exige un plan - que casi
nunca es formulado de manera explcita y formal - en el que se combinan
mltiples anlisis deductivos, lgicos, formales, el examen de ejemplos
concretos, tal vez ms simples y transparentes, que puedan ayudar a imaginarse
de qu se trata, el estudio de "contra-ejemplos" capaces de mostrar la falsedad de
ciertas ideas preconcebidas sobre el objeto en cuestin, las modificaciones que
pueden pensarse hacer a esas exploraciones previas para adaptarlas mejor a las
propiedades todava desconocidas del objeto, las mil variantes de vueltas y
revueltas del mismo, etc. En sntesis, se trata de tanteos difcilmente asimilables a
inferencias propiamente lgicas. Pero constituyen el terreno frtil - tal vez
asimilable a la etapa aleatoria de la cual habla Fl - donde pueden nacer las
novedades.
A mi juicio, es una pena que los matemticos rara vez describan esos trials and
errors (ensayos y errores) que implica siempre el trabajo creador. Es posible que
esta timidez est provocada por un falso orgullo, que trate de no mostrar
debilidades que se consideran vergonzosas; se prefiere exhibir, por un modo de
exposicin irreprochable, un resultado perfectamente prolijo. Esto priva a los
matemticos - particularmente a los jvenes - del conocimiento, sin duda muy
instructivo, del modo de creacin de los grandes sabios, lo cual me parece
lamentable. Ciertamente, hay excepciones: el texto sobre El mtodo de
Arqumedes, en el que el sabio griego relata (en una carta a Eratstenes) cmo
utilizando ideas mecnicas fundadas en las leyes de la palanca que acababa de
descubrir, pudo calcular reas, volmenes y centros de gravedad - una proeza que
hubiera requerido los mtodos del clculo infinitesimal del siglo XVII -; la
narracin de Poincar sobre su descubrimiento de las funciones theta-fuchsianas;
y algunos otros. B. L. van der Waerden escribi artculos interesantes sobre los
procesos de la creacin matemtica.

El relato de Poincar que recin mencion es particularmente instructivo en


relacin con las ideas de Fl. El cuadro que describe, de un perodo previo de
reflexin intensa en el cual manipul un nmero considerable de ideas
emparentadas con el problema que le preocupaba, sin inferencia lgica "causal",
me parece adecuado, por decirlo as, al surgimiento aparentemente aleatorio de la
solucin; me disculpo, no siendo yo siclogo, por osar esta interpretacin, y
deseara que siclogos profesionales consideraran este tipo de cuestiones.
Una vez hecho el descubrimiento, es obligatorio presentar los resultados de
forma absolutamente explcita y rigurosa. En esta etapa, ninguna transgresin a
las reglas de la lgica formal est permitida, ningn llamado a la intuicin es
aceptado, ninguna imprecisin es tolerada. Es aqu donde el modo de exposicin
interviene y el carcter de ciencia formal de la matemtica aparece en su
plenitud. No es en absoluto una etapa secundaria: muchas veces el rigor obligado
de la presentacin pone en evidencia fallas y errores que de otro modo pasaran
inadvertidos. Entonces se abre una nueva etapa en donde el modo de
investigacin y el modo de exposicin actan y reactan el uno sobre el otro
dialcticamente, de manera que, desde cierto punto de vista, intercambian sus
papeles respectivos.

7. Ontologia y fenomenologia en la matemtica.


Tal como he adelantado en la Introduccin me ocupar aqu muy sintticamente
de las opiniones vertidas en el Sminaire de Philosophie et Mathmatiques de
lEcole Normale Suprieure y publicadas en los fascculos 13 y 12,
respectivamente, del 25 de noviembre y el 18 diciembre de 1996.
7.1. En el primero de ellos, perteneciente a F. Patras, inicia su exposicin sobre
"Fenomenologa y matemtica" diciendo: "En fa prctica matemtica, es evidente
el defasaje entre la verdad tal como surge del mtodo axiomtico y nuestro
conocimiento de los objetos matemticos, constituida en primer lugar por
intuiciones vivas y que desborda los cuadros demasiado rgidos del formalismo."
(p. 1) Y agrega: "(...) cmo la matemtica puede al mismo tiempo y sin
contradicciones ser una ciencia axiomtica (...) y simultneamente, en el trabajo
del matemtico, una ciencia de intuiciones?" (p. 4)
Apoyndose en Husserl, dice: "(...) una epistemologa consecuente no puede
contentarse con informar acerca de las teoras o de los objetos matemticos, debe
tomar en consideracin tambin la relacin de nuestra conciencia con sus objetos.
(...) A la lgica formal y axiomtica se le yuxtapondr pues una lgica gentica
de nuestra relacin con los objetos matemticos (...)." (p. 8) "Para dar sentido a la
matemtica contempornea hara falta (...) desmontar piedra por piedra el edificio

de la matemtica e identificar cada uno de los momentos del proceso de


abstraccin hasta retornar a un sistema de proto - idealidades fundado (...) en
nuestra intuicin espacio - temporal. (...) Pero ese retorno no tiene sentido." (p.
10)
"La cuestin que sigue planteada hoy (...) es elaborar una teora del
descubrimiento que d cuenta del movimiento real de constitucin del
pensamiento matemtico, pensamiento vivo, discurso acerca de contenidos y no
forma pura ms o menos tautolgica. (...) ella debe poder decirnos cmo nuestro
conocimiento puede acrecentarse, cmo nuevas ideas y conceptos pueden
aparecer. (p. 11) "(...) cuando un matemtico piensa grupo, reflexionar en las
diferentes especializaciones posibles del concepto, en los resultados generales
que conoce, en los problemas no resueltos de la teora de grupos, en las diferentes
variantes posibles de la nocin de grupo. El pensamiento de un objeto es ms que
su representacin clara y definida - de ella hay todo un sistema de referencias que
Husserl llama de forma atrayente horizonte de intencionalidad-.(...) La intuicin
de que se trata no se centra directamente en los objetos matemticos sino que
traduce la riqueza de la arquitectura de las vivencias de conciencia, la extensin
de la estructura del horizonte asociado a nuestra percepcin de tal o cual objeto
matemtico." (p. 12-13)
"Para terminar, hacer matemticas significa trabajar sobre ciertos objetos
ensayando de extraer de ellos significaciones nuevas. El lugar en que este trabajo
se realiza no es el objeto matemtico mismo sino nuestra conciencia del objeto."
(p. 13)
7.2. En el segundo trabajo, perteneciente al. Merker y titulado: "La ontologa
explcita de los teoremas de existencia en la matemtica", el autor sostiene que:
"El elemento clave en una prueba de existencia reside en el nacimiento de la
sntesis" (p. 14) y se apoya para ello en un ejemplo estudiado por el filsofo
francs A. Lautman. Dice: "Hay una intuicin extra-matemtica en el apremio de
un problema (...) y se trata de encontrar en el seno de una teora matemtica el
problema lgico que se encuentra a la vez definido y resuelto por la existencia de
esta teora" y que en cierto modo reclama del matemtico su resolucin
satisfactoria. (p. 15) Lautman toma como ejemplo concreto el de las funciones
algebraicas "engendradas" por la estructura topolgica de "su~~ superficie de
Riemann; ste se da una superficie arbitraria y se plantea la cuestin de saber si
existe realmente una funcin algebraica de la cual aqulla es la que corresponde.
El teorema dice que ese nmero clave es el gnero topolgico de la superficie: es
como el "nombre topolgico" de la funcin. Dicho de otro modo, el gnero es la
condicin necesaria y suficiente para identificar la superficie que le corresponde,
o sea, que la caracteriza.

"Las ideas problemticas se encarnan y pasan bajo la forma de teoras realizadas


(...)" (p. 15). "De cierto modo, hay una encarnacin de las ideas en las teoras."
(p.1 6). "(...) la esencia de una materia hace nacer las formas que su estructura
dibuja." (p. 17) Lautman toma en particular el ejemplo de las funciones
algebraicas "generadas" por la estructura topolgica de su superficie de Riemann.
Este se da una superficie arbitraria y se plantea la cuestin de saber si existe una
funcin algebraica de la cual ella sea su superficie (de Riemann). El teorema
consiste en hacer nacer de la estructura topolgica un nmero determinado de
integrales abelianas (...) y enuncia que: el nmero de ellas que son linealmente
independientes es igual al gnero topolgico de la superficie (p. 19). Ese nmero
se convierte as en algo semejante al nombre topolgico de la familia de
integrales que son "propias" de la superficie, y responde, por as decirlo, a la
"ansiedad" que experimentaba de encontrar condiciones necesarias y suficientes
o de caracterizacin para el problema. "La existencia de un ser resulta de la
seleccin de un elemento distinguido por sus propiedades excepcionales" (p. 21),
dice Merker resumiendo, en un lenguaje que recuerda al de Fl en 2.2. "(...) hay
que esperar que un estrechamiento de las condiciones equivalentes para dominar
completamente el vnculo, es decir esperar saber a que estructura topolgica dada
corresponda exactamente un espacio de integrales abelianas de primera especie,y
que esta relacin est completamente dominada y se sepa que no hay ningn
intervalo que separe la existencia de las integrales abelianas y la estructura
topolgica, y por lo tanto una correspondencia enteramente satisfactoria entre dos
visiones matemticas? (...) En qu medida la imitacin funcional de una
propiedad topolgica constituye una prueba de existencia en el sentido adecuado?
(...) En lo que sigue, me propondr como finalidad comparar los esquemas de
gnesis de Lautmann con los esquemas explcitos de derivacin de existencia, tal
como se esbozan en la matemtica contempornea. Y lo que dir, es que hay un
pasaje a lo explcito (...) que es radical, restrictivo, necesario, por ejemplo para
teoremas como los que surgen del problema de Dirichlet."
"Es este gnero de problemtica de las sntesis que est presente cuando se habla
de resultados virtuales, de resultados conjeturales, cuando se "siente" que se tiene
un resultado, pero que todava no est seguro, que se siente que las cosas son
verdaderas, pero que no se las tiene todava, que no se llega a formularlas con
precisin. El aspecto de la sntesis est presente en la conjeturalidad en
matemtica (...). Y pienso que el problema de la existencia debe ser planteado en
relacin con la conjeturalidad." (p.25)
En conclusin el autor resume: "Lo que he querido poner en claro, es que la
bsqueda matemtica est implcita en cuestiones de existencia amorfas, que se
sitan en un nivel completamente indeciso, y que los matemticos se enfrentan a
la necesidad de tomar alguna iniciativa ante esas interrogaciones. Y esta

necesidad est co-implicada en la idea de una respuesta completamente


satisfactoria, es decir de condicin necesaria y suficiente, y tambin de la idea de
caracterizacin (...) o por el contrario de escrutar mucho ms conscientemente la
irreducibilidad recproca de un problema al otro, su ajenidad. Esta exigencia
hunde a menudo sus races en el debilitamiento de las condiciones originales." (p.
39).
Dentro de una impresicin quizs inevitable, esa descripcin me parece bastante
elocuente y tpica de la tensin dramtica, propia de una cosa viva, que a menudo
es el pensamiento de un matemtico en los momentos previos a alcanzar un
descubrimiento.

You might also like