Javier de Lorenzo: una filosofa plural de la praxis matemtica

Por Jos Ferreirs1

Me gustara comenzar con unos comentarios personales, unos recuerdos de experiencia: espero
que el lector disculpe esta ruptura con los usos acadmicos, pero con ello no hago ms que
recurrir al estilo intelectual de Javier de Lorenzo.
Conoc a Javier en Junio de 1994, en la ciudad de Mxico, gracias a un excelente congreso
internacional organizado por el profesor Alejandro Garciadiego en la UNAM. La extraa realidad
es que yo (habiendo realizado, entre 1988 y 1991, una tesis doctoral sobre la historia de la teora
de conjuntos) nunca haba ledo las obras del principal filsofo de las matemticas espaol. Ni
siquiera el libro de 1977, La Matemtica y el problema de su historia, pese a ser directamente
relevante para el tema de mi tesis! Cosas algo extraas y tristes de la vida acadmica en Espaa
En opinin del colombiano Fernando Zalamea, la de De Lorenzo es una obra notable no slo
dentro del mundo hispnico donde brilla por su aislamiento y su unicidad sino dentro del
mbito general de la filosofa de la matemtica en el siglo XX, donde slo muy contadas
percepciones filosficas pueden describirse como realmente atentas a los desarrollos
contemporneos de la matemtica y a la especificidad de sus diversos modos creativos.2
Mi primer contacto con su pensamiento fue oyendo la conferencia que dict en Mxico, El
discurso matemtico: ideograma y lenguaje natural;3 el primer libro de Javier que leera con
calma iba a ser La Matemtica: de sus fundamentos y sus crisis, que rese en 1998 para la
Revista de Libros Me impresion, ya en 1994, el estilo intelectual de Javier de Lorenzo, su

Univ. de Sevilla. En J M Chilln, F Caldern (eds.), Matemtica, ciencia, filosofa: Homenaje

al prof. Javier de Lorenzo. Madrid: Manuscritos, 2014, pp. 79-87.
2

F. Zalamea, Javier de Lorenzo: por una filosofa dinmica de la praxis matemtica. Mathesis
(Mxico), Enero-Junio 2007, pp. 1-35.
3

Publicado luego en Mathesis Vol. X-3, pp. 235-254.

inteligencia por supuesto, su estilo hablado y escrito tan peculiar, sincopado y tan castellano, su
permanente estado de alerta frente a las tendencias recientes (ya fuera en matemticas o en
filosofa), su estilo muy europeo de intelectual comprometido Me doy cuenta ahora de que sus
ideas, junto con la lectura (que hice ya en 1988) de la Philosophie mathmatique de Jean
Cavaills, fueron mi primer contacto con la orientacin prctica en filosofa de las matemticas,
orientacin a la que ha quedado ligado mi propio desarrollo intelectual.4
Como gusta decir Javier, su trabajo filosfico surgi de la experiencia y no del mero inters
acadmico. Estudiando Filosofa y Matemticas en el Madrid de los 1950, nuestro autor
demuestra una aguda sensibilidad hacia las tensiones en la prctica de las matemticas.
Confrontado a la introduccin agresiva del bourbakismo en la Universidad, que coexista sin
embargo con otros modos de hacer bien diferentes y ms clsicos los cuales se pretenda
eliminar, confrontado con la emergencia de la matemtica moderna en las escuelas durante los
1960, aplica los mtodos de contextualizacin histrica tpicos del filsofo al problema de
comprender la configuracin del saber matemtico.
Una beca literaria de la Juan March le permitir en 1966 dedicar tiempo exclusivo a su proyecto
filosfico-matemtico, liberndole del trabajo de enseante. El resultado ser una serie de cuatro
libros que se van publicando a lo largo de los aos 1970, verdaderamente novedosos en el
panorama espaol.5 El primer gran fruto segn creo de esta tarea, plenamente logrado y
maduro, es su escrito sobre La filosofa de la matemtica de Poincar (Madrid, Tecnos, 1974,
384 p.), acogido en Francia como una importante aportacin a la sistematizacin de las ideas del

J. Cavaills, Philosophie mathmatique (con Remarques sur la formation de la thorie des

ensembles, Paris, Hermann, 1962; originales de 1938); ver tambin su Mthode axiomatique et
formalisme (Paris, Hermann, 1937, traducido en Mxico, UNAM). Habra que aadir, sin duda,
los contactos con historiadores de las matemticas interesados tambin en las prcticas, como
Chemla, Goldstein y otros. Y no olvidar tampoco claro! a historiadores de la ciencia como
Javier Ordez, mi gua constante en los primeros pasos
5
Una primera obra, Introduccin al estilo matemtico (Madrid, Tecnos, 1971, 209 p.), es ya
original en su temtica; se encuentra referenciada en Paolo Mancosu: Mathematical Style, The
Stanford Encyclopedia of Philosophy (Spring 2010 Edition, ed. E. N. Zalta, URL =
http://plato.stanford.edu/archives/spr2010/entries/mathematical-style/).

clebre francs. Es en este libro donde por vez primera surge la locucin caracterstica, el hacer
matemtico, que en opinin de la recensora Anne-Franoise Schmid se inspira en el enfoque del
propio Poincar: el propsito del autor es poner en valor la idea del hacer matemtico [faire
mathmatique] que recoge [emprunte] de Poincar, idea que le conduce a una interpretacin
antropolgica del desarrollo de las matemticas, la cual opone a la interpretacin teolgica
que hace el realismo.6 Es posible que haya una inspiracin poincariana, no lo pondr en duda,
pero lo cierto es que la expresin Hacer matemtico adopta una pregnancia y una centralidad en
la obra de De Lorenzo que nunca encontramos en Poincar.
Esa nocin se va conformando y articulando rpidamente hasta convertirse en eje vertebrador de
la reflexin epistemolgica de Javier. Enseguida le permitir articular algunos de los principales
contrastes entre el estilo matemtico de los bourbakistas y el de quienes se vieron desplazados
por ellos. Parece que al comienzo las preferencias de nuestro autor se orientaban hacia las
tendencias ms o menos constructivas. Baso esta afirmacin en impresiones sacadas de diversas
lecturas, pero sera un punto que convendra aclarar y precisar en un estudio de detalle; quiz el
propio Javier quiera matizarlo. Mi impresin es que la reaccin inicial de nuestro autor fue ms
bien contraria al dominio del bourbakismo, inclinada a un rescate de las formas de hacer
geomtricas y constructivas. Quiz de ah venga su gran inters por las ideas de Poincar crtico
matizado de algunas tendencias de la matemtica moderna, un tanto escptico respecto al
conjuntismo, duro crtico del logicismo y tambin por las de Kant, el gran filsofo clsico del
hacer matemtico euclidiano.7 Aadira, a ttulo bien personal, que la opcin por Poincar me
parece una muestra ms de fino instinto filosfico, ya que las reflexiones asistemticas y a veces
algo vagas de Poincar estn llenas de insights profundos y son ricas en conexiones e
implicaciones.

A.-F. Schmid, Javier de Lorenzo: La filosofia de la matematica de Jules Henri Poincar. Revue
d'histoire des sciences Tome 31 (1978) n2, pp. 183-185.
7

En 1992 se publicar Kant y la matemtica (Madrid, Tecnos, 183 p.).

Ser andando los aos, y probablemente gracias a una contraposicin productiva entre
preferencia individual y tendencias mayoritarias, que De Lorenzo acabar contraponiendo el
Hacer global o estructural del siglo XX al Hacer figural, constructivo que le precedi, como dos
tendencias complementarias. Con esto sigue la tendencia que en mi opinin fue la ms reflexiva
durante el siglo XX, que en lugar de apostar exclusivamente por los mtodos modernos o
estructurales, se inclin ms bien por la complementariedad de una pluralidad de enfoques. Esta
tendencia ha sido minoritaria, pero ha contado con un buen nmero de los mejores filsofos de
las matemticas: Cavaills, Bernays, Feferman, etc. De ah que hablemos de una filosofa plural o
pluralista de las matemticas.
La transicin del Hacer figural al Hacer global se inicia en los entornos de 1827, y se consolida
en los entornos de 1875, tal como aclara Javier en otro fruto maduro aparecido poco despus del
libro sobre Poincar, La Matemtica y el problema de su historia (Madrid, Tecnos, 1977, 161 p.).
En mi opinin, esta obra sigue revelando la impronta francesa de las ideas principales de De
Lorenzo con su mtodo histrico-crtico y su epistemologa rupturista, que recuerda a un
Bachelard o un Cavaills. Pero lo de menos es esta cuestin de las influencias, que por lo dems
se hacen explcitas en esos libros de los aos 1970:8 lo importante es el esfuerzo por pensar y
articular uno mismo las ideas, por dar vida a los pensamientos, y por pensar las experiencias
vitales, esfuerzo que iba realizando ejemplarmente Javier en esos aos. Aos, hay que decirlo,
que a juzgar por las obras mencionadas tienen un indudable aroma de trabajo solitario: no ha sido
Espaa buen lugar para que este tipo de inquietudes se vieran suficientemente acompaadas por
instituciones y colectivos, ni en los duros pero estimulantes aos 1970, ni en tiempos
posteriores
En esa obra plantea la radical historicidad del hacer matemtico, insistiendo en que el hacer
matemtico no es un hacer nico a lo largo de historia evolutiva alguna (De Lorenzo 1977, op

Vase en especial la completa bibliografa del libro de 1974, con referencias en italiano,
espaol, ingls, pero sobre todo en francs (Borel, Beth, Couturat, Cavaills, Freudenthal,
Hadamard, Herbrand, Ladrire, Le Lionnais, etc.): una riqueza de referencias que seguramente
era inusual en aquellos aos, entre nosotros.

cit, 111). Como en otras obras, se atiende siempre a la coexistencia plural de aproximaciones y
enfoques, ms all de las tendencias simplificadoras que inevitablemente surgen y se propagan en
la cultura. Y se insiste tambin en las inversiones que representan nuevas maneras de entender
la prctica matemtica con respecto a las anteriores. As por ejemplo, la concepcin
estructuralista del hacer matemtico, forma que toma el Hacer global y la axiomtica en los
entornos de 1939, pone el hincapi en las nociones de estructura y morfismo, invirtiendo la
mirada: ahora los sistemas clsicos quedarn relegados a simples ejemplificaciones de las
estructuras abstractas; pinsese en las estructuras matrices de Bourbaki y los diversos hbridos
a los que dan lugar, pinsese en R n considerado como mero ejemplo de espacios mucho ms
generales. Ahora bien, se equivoca quien piense que esa forma o enfoque es la verdadera
matemtica, el telos evolutivo al que sin saberlo se encaminaron los matemticos de todas las
generaciones anteriores. No; como deca Cavaills: la matemtica es un devenir, y la praxis
dinmica adoptar otras formas y dar origen a otros sistemas tericos y otras creencias, tal como
de hecho lo vemos en el presente. En otras palabras, el Hacer matemtico no es un saber ya
plenamente cristalizado sino un saber vivo, en constante proceso, un saber manifestacin de la
razn constructiva matemtica en la que se incardina, tambin, una imaginacin ensoadora.9
Zalamea ha resaltado la atencin prestada por Javier a los desarrollos modernos y
contemporneos de la matemtica, ms all de las cuestiones de lgica y fundamentos, y su
constante inters por la especificidad de sus diversos modos creativos, por la riqueza temtica y
metodolgica que encontramos en el estudio polimorfo de geometras, lgebras, topologas,
anlisis, etc. En grandes maestros como Pascal, Kant o Poincar, de Lorenzo apoya una visin
dinmica y constructiva de las matemticas, donde se contraponen y entrelazan mltiples haceres.
Una atencin inusual a los avances de las matemticas en los siglos XIX y XX completa su
bagaje. (Zalamea 2007, op cit). En efecto, obras como las dos que he resaltado suponen el
anlisis y reflexin crtica en torno a la produccin y la praxis de toda una serie de autores
principales de la matemtica de los siglos XIX y XX: Abel, Galois, Cauchy, Dedekind, Cantor,
9

As dir en La Matemtica: de sus fundamentos y sus crisis (Madrid, Tecnos, 1998, 190 p.), p.
16.

Hilbert, los Bourbaki, etctera. Tambin era toda una toma de posicin la decisin de analizar
sistemticamente el pensamiento de Poincar, a las alturas de 1970, ya que esto supona una
opcin pluralista frente al dominio frreo del mtodo axiomtico-estructural bourbakista.
El ciclo primero de obras filosfico-matemticas de Javier se complet en 1980 con El mtodo
axiomtico y sus creencias (Madrid, Tecnos, 198 p.). Una obra que analiza la prctica del mtodo
axiomtico en sus diversas variantes, no slo la formalista que suele centrar la atencin de los
lgicos, sino tambin la postulacional o pragmtica que es clave en el hacer de los
investigadores matemticos. Y sobre todo, una obra que explora las creencias que acompaan a la
axiomtica, algunas de ellas base de la misma gestacin del mtodo en su forma moderna; tres
tipos de creencias, diseccionadas en la segunda parte, que el autor resalta sucintamente como lo
dado (el enfoque pitagrico-platnico que toma el objeto matemtico como dado independiente
y autnomamente del matemtico), lo descubierto (orientacin ms aristotlica, que ve los
mathemas como abstrados de lo natural, aunque de forma idealizada y necesitada de
justificacin), y lo construido (para el que dichos objetos son ante todo productos
conceptuales, obtenidos en una prctica cultural aislada de las restantes burbujas en que los
humanos desarrollamos nuestras vidas). Las simpatas del autor se orientan sin duda por esa
tercera va, que resalta la independencia de la prctica conceptual matemtica, pero sin perder de
vista sus condicionantes, sin querer en absoluto fomentar la idea de una torre de marfil: la
Matemtica es un trabajo, un producto y una produccin de la especia humana, o ms bien de
parte de esa especie, y como tal, con su dependencia y su influjo en el desarrollo de slo cierto
tipo de sociedades (De Lorenzo 1998, op cit, 16).
A todo ello hay que aadir que, ya desde los aos 1990, De Lorenzo tomaba nota tambin del
nuevo Hacer computacional y su impacto transformador. Dado el nfasis de Javier en el hacer
por encima de lo hecho, en la praxis matemtica o cientfica, etc. como fuente de las teoras, y
en la imbricacin entre los productos tericos y las condiciones materiales y sociales de trabajo,

era natural que precisamente l fuera desde muy pronto sensible a estos cambios.10 Desde
entonces, se ha seguido hablando mucho de los impactos del computador, oscilando las opiniones
entre los tradicionalistas que piensan que la teorizacin matemtica no cambiar, y los
innovacionistas que opinan todo lo contrario. En realidad, como seguramente dira Javier, la
situacin en que nos encontramos es plural: reas de las matemticas que se han visto
profundamente transformadas por el mundo digital, junto a otras reas que han prolongado
modos de hacer ya clsicos; provocando un renacimiento, eso s, de lo constructivo y lo discreto a
impulsos de la transformacin digital, lo que reafirma la intuicin de Javier y los dems filsofos
antes citados. Junto a ello encontramos maneras de hacer hbridas, en interaccin humanocomputador, que han hecho posibles logros antes inimaginables (desde teoremas como la
conjetura de Kepler, hasta formalizaciones completas de resultados avanzados con Coq o
Isabelle),11 o en otros casos una comunidad de humanos enlazada digitalmente y trabajando en
red,12 etc.
Incluso el Hacer global se est viendo modificado y reconfigurado en nuevas formaciones
hbridas con el estilo computacional de los ltimos aos. Pienso sobre todo en HoTT, la Teora
de Tipos Homotpica que se est desarrollando a marchas forzadas, impulsada por el Programa
de Fundamentos Univalentes (en Harvard, Princeton, Carnegie Mellon) bajo el impulso de
10

Vanse trabajos como La razn constructiva matemtica y sus haceres, Mathesis 9 (1993);
La Matemtica, incompleta, aleatoria, experimental? Theoria, 16-18, tomo A (1992); El
ordenador y la demostracin matemtica, en J. Echeverra, J. de Lorenzo, L. Pea (eds.):
Calculemos... Matemticas y libertad (Homenaje a Miguel Snchez-Mazas; Madrid, Trotta,
1996); The Mathematical Work-Mode and its Styles, en E. Ausejo, M. Hormign (eds.):
Paradigms and Mathematics (Siglo XXI, 1996).
11

Se trata de sistemas de demostracin de teoremas interactivos, o proof assistants, que generan

demostraciones formales verificadas por el propio programa, gracias a la interaccin entre
humano y mquina; dicha interaccin saca partido tambin de un conjunto de heursticas
implementadas en mdulos del mismo programa.
12

Como el proyecto Polymath que ha forjado el gran avance hacia el teorema de los primos
gemelos en 2013, ver p. e. la revista Wired: Sudden Progress on Prime Number Problem Has
Mathematicians Buzzing, http://www.wired.com/2013/11/prime/. A da de hoy est demostrado
que hay infinitos pares de primos separados por 600 nmeros o menos.

Voevodsky, Awodey y algunos otros. Este enfoque combina ideas provenientes de varios campos
en una manera sorprendente: parte de su inspiracin viene de la teora de tipos intuicionista y del
mundo de la computacin, incluidos los sistemas de demostracin interactiva como Coq, pero
estas ideas se conectan con ingredientes del mundo de las topologas y las categoras, elaborando
una semntica homotpica. Con ello se pretende establecer una nueva fundamentacin
univalente de las matemticas, que evita la compleja y nunca plenamente controlada explosin
ontolgica de la teora de conjuntos, a la vez que busca compatibilizar lo mejor de dos mundos: el
computacional de las demostraciones efectivas y plenamente especificadas, y el categrico de los
enfoques estructurales flexibles y transponibles.13
Pero volvamos a nuestro tema principal. Que la opcin por el pluralismo es constante en las
reflexiones de Javier de Lorenzo, es algo que resulta todava ms claro si atendemos a un libro
singular en su produccin: Experiencias de la razn, editado de forma retrasada en 1992.14 Un
libro quiz poco atendido, menos de lo que sin duda merece, pero que es la mejor expresin de la
amplitud de los intereses del autor. Si alguien pensaba en Javier como un matemtico metido a
pensador, pero limitado a fin de cuentas a los mathemas, se llevar una sorpresa al descubrir este
trabajo. Constituye toda una reivindicacin de la experiencia creativa humana en su pluralidad,
que, bien lejos de la tentacin cientificista o de cualquier impulso reduccionista, reclama atencin
y espacio para las mltiples y diversas experiencias simblicas a nuestro alcance (habla as de
la razn mtica [sic], la religiosa, la artstica), para las formas de hacer conceptuales (razones
13

Vase el libro disponible en http://homotopytypetheory.org/book/ . All se dice: Homotopy

type theory offers a new univalent foundation of mathematics, in which a central role is played
by Voevodskys univalence axiom and higher inductive types. The present book is intended as a
first systematic exposition of the basics of univalent foundations, and a collection of examples of
this new style of reasoning but without requiring the reader to know or learn any formal logic,
or to use any computer proof assistant. We believe that univalent foundations will eventually
become a viable alternative to set theory as the implicit foundation for the unformalized
mathematics done by most mathematicians.
14

Experiencias de la razn (Publicaciones de la Univ. de Valladolid, 1992, 364 p.); puede verse
una resea larga y detallada de Eladio Chavarri: Experiencias de la razn, Estudios Filosficos,
123 (1994), pp. 295-309. Asunto relacionado es el que trata un libro reciente de Javier: Ciencia y
artificio (Corua, NetBiblo, 2009).

matemtica, explicativo-cientfica, y comprensiva anlisis y crtica de la vida humana en sus

manifestaciones pasadas o presentes) y, en fin, para las experiencias tecnolgicas. Estos siete
grandes mbitos o Burbujas como l dice se entienden y analizan en lo que tienen de
especfico, insistiendo en la autonoma que cada una de ellas alcanza como forma de experiencia.
Todas y cada una de ellas son formas del Espacio Cultural, que conforman modos humanos de
habrselas con la naturaleza y la vida, bien diferentes de los propios del primer Espacio que es el
orgnico-biolgico, o del segundo que sera el perceptivo.
Esta obra termina siendo una incisiva denuncia de la banalizacin de la vida y las experiencias
humanas, de la reduccin del hombre a instrumento de las fuerzas productivas o del pretendido
progreso econmico o tecnolgico, y una seria llamada de atencin sobre los riesgos de
irracionalidad que acarrea precisamente en opinin de De Lorenzo el desatender y marginar la
especificidad de cada forma de razn. Todo un programa de crtica a nuestra civilizacin y
formas de vida. Javier ha sido muy consciente de que toda mirada se inscribe en un contexto
material y cultural subyacente; como dice Zalamea (2007), en el caso de nuestro autor, no
pueden pasarse por alto su fina formacin dialctica, su hbil percepcin de tonos y modos, su
rechazo de posiciones dogmticas, su sensibilidad por las rupturas y los quiebres de todo lo
humano.
Desde hace unos aos, la etiqueta de filosofa de las prcticas matemticas est en ascenso;
tanto, que incluso he escuchado a algn prcer de la filosofa lgico-lingstica criticando esa
tendencia como la nueva vaca sagrada del gremio. Ya en la ltima dcada del XX, la atencin a
la prctica pareca convertirse en un lugar comn, presente en casi toda obra de filosofa de las
matemticas. Pero en muchas ocasiones se trataba de un mero gesto, un reconocimiento de algo
que se estaba convirtiendo en habitual, pero que en realidad no se integraba en el discurso sino de
manera superficial. En aquellos casos en los que la integracin era ms profunda, su origen poda
venir de muchos lugares: los enfoques histricos de Lakatos y Kitcher en alguno (p. e.
Tymockzo); la influencia del ltimo Wittgenstein en otros (Tait, Dreben); el contacto con grupos
de investigacin matemticos (Maddy, McLarty); o el influjo de enfoques cognitivos (Lakoff y
Nez). En alguno de esos ejemplos la influencia original determina una cierta estrechez en la

mirada, contrastando en eso con la gran amplitud de visin que se expresa en el autor que
venimos glosando. Para nosotros, un origen clave, una influencia sustancial en el giro prctico, ha
procedido ms bien de la tradicin francesa y de sus reelaboraciones hispanas, que tuvieron un
momento lgido y original en las contribuciones de Javier de Lorenzo desde los aos 1970. En mi
caso, pues, sirvan estas pginas como accin de gracias al respecto.
Los avances recientes en ese campo pueden presumir de haber ofrecido complementos y/o
profundizaciones importantes, como son por dar slo tres ejemplos algunos anlisis detallados
de las funciones trans-lgicas (si se me permite el trmino) de la demostracin, la atencin
pormenorizada al papel de los diagramas en diferentes modos de hacer matemtica (el euclidiano,
el cartesiano, etc.), o el esfuerzo por conectar las prcticas matemticas bsicas con sus
condicionantes cognitivos. Todo ello debera permitirnos imbricar la consideracin del hacer
matemtico con una serie larga y complejo de conocimientos sistemticos acerca de mltiples
aspectos del trabajo conceptual humano. Pero hay un riesgo en esta reorientacin sistemtica,
rigurosa y algo especializada de la investigacin, y es que perdamos de vista el papel de reflexin
crtica que es marca de la filosofa (sin la cual deviene disciplina de especialista). A Javier, y al
ejemplo de otros como l, les debemos el que esto no suceda.