ILUIL , vol.

26, 2003, 903-917

DEL HACER MATEMTICO Y SUS FILOSOFIAS

JAVIER DE LORENZO
Universidad de Valladolid

RESUMEN

ABSTRACT

En el ltimo tercio del s. XX la

Matemtica se ha ido desprendiendo del
difuso enfoque formalista que la haba
dominado desde mediados de siglo. Su
nueva interrelacin con las ciencias, la
aparicin del ordenador han suscitado
nuevos problernas conceptuales a la vez
que han perrnitido resolver viejos problemas. En paralelo, la Filosofa de la
Materntica se ha desprendido de la pretensin de conseguir unos Fundamentos
definitivos. Sin embargo el pensamiento
rnatemtico no se ha desarrollado en
paralelo al desarrollo matemtico aunque
hay que reconocer que se ha producido
una cierta renovacin por la Filosofa de
la Matemtica. Renovacin en terrenos
de inters ms purarnente filosfico o
sociolgico que estrictamente matemtico
como lo reflejan escuelas (maturalistas
cuyo inters se centra en el estatuto ontolgico de las entidades matemticas y sus
consecuentes estrategias epistemolgicas.
Aunque algunas tendencias de carcter
constructivista tratan de aprehender, sin
constituir sistema, el Hacer matemtico
en s.
Rec-ibido el 14 de enero de 2003

In the final third of the twentieth

century, mathematics had been moving
away from the diffuse formalist approach
that had been dominant since the middle
of the century. Its new relationtionship
with the sciences and the appearance of
the computer have given rise to new conceptual problems at the same time they
have provided for the solution of old
ones. In parallel fashion, the philosophy
of mathematics has moved away from
the aspiration of arriving at definitive
foundations. Nonetheless, mathematical
thought has not developed parallel to the
development of mathematics, althought
it is necessary to recognize that it has produced a kind of renewal in itself, a
renewal in fields of interest more philosophical or sociological than strictly
mathematical, as reflected in the <maturalist schools focused on the ontological
statute of the mathematical entities and
their corresponding epistemological
strategies, althought some constructivists
attempt to understand, without constructing a system, the mathematics in
and of itself.
LS.S.N. 0210-8615

904

JAVIER DE LORENZO

LLULL, 26

Palabras clave: Filosofa de la Matemtica, Matemticas, Siglo XX.

I
En los primeros arios del siglo XX se produjo entre los matemticos cierta discusin y, en parte, escisin, por aceptar o no demostraciones de carcter
existencial no constructivo y que pueden resumirse en la expresiva afirmacin
de Paul Gordan esto no es matemtica, sino teologa. Escisin radicalizada
desde la formulacin explcita del Axioma de eleccin por parte de Zermelo en
1904. Los procesos existenciales no constructivos, el axioma de eleccin y sus
equivalentes hincaban sus races en un Hacer Global cuyo punto de partida no
era ya la figura, la ecuacin, la funcin dadas, sino el sistema o conjunto de objetos de naturaleza cualquiera al que se dotaba de una u otra estructura seg n la
ley de operacin interna que se definiera. Discusiones entre matemticos que
pronto sufri un cambio de horizonte: algunos buscaron una fundamentacin
definitiva del Hacer matemtico y, desde el terreno filosfico, convirtieron
varias dificultades terico-conjuntistas en autenticas paradojas provocando la
sensacin de una crisis en el hacer matemtico, cuando dicha crisis lo era,
bsicamente, en los pretendidos intentos de dicha fundamentacin.
Intentos de fundamentacin que se plasman, en un primer momento,
entornos de 1908, en tres grandes lneas, muy diferentes entre s:
Axiomatizacin de la Teora de conjuntos por parte de Zermelo; Logicismo
formal por parte de Russell-Whitehead como variante del logicismo iniciado
por Frege desde la elaboracin de su Conceptografa en 1879; Fenomenologa
como apoyatura para dar cuenta de una autentica filosofa de la Aritmetica por
parte de Husserl. Junto a ellas, se tienen los intentos de los neokantianos de las
escuelas de Marburgo y Baden que pretenden compatibilizar el nuevo hacer
matemtico, conjuntista, con el espritu kantiano. Todos ellos buscan dar una
fundamentacin definitiva a la praxis matemtica. Praxis que, con independencia a esas b squedas, a esas pretendidas crisis, va a tener un desarrollo espectacular al unir la base conjuntista con la tecnica de definicin aportada por el
mtodo axiomtico. El Anlisis funcional que se origina con los trabajos de la
escuela francesa con Lebesgue y Frechet como figuras estelares, la Topologa
con Poincare y posteriormente Brouwer, el enfoque estructural-algebraico que
culmina con la escuela de Emmy Noether, el Anlisis de variable real...,
suponen un desarrollo espectacular del dominio matemtico.

LLULL, 26

DEL HACER MATEMATICO Y SUS FILOSOFAS

905

En medio, y desde los arios 20, se origina una nueva discusin entre los
matemticos: Herman Weyl, en nombre de un intuicionismo brouweriano,
publicar en 1921 una soflama afirmando la existencia de una crisis en la matemtica y no slo en sus regiones limtrofes como pueden ser las lneas conjuntistas, sino en el propio ncleo de la matemtica al ver que, en ella, las demostraciones carecen de todo tipo de carcter constructivo y el continuo ha perdido su
carcter especial incluso tras su discretizacin conjuntista. Wey1 requiere la
aparicin de una revolucin al estilo bolchevique encabezada por Brouwer.
En defensa del imperio matemtico, Hilbert se orientar hacia un finitismo an ms radical que el intuicionista de Brouwer y, para mantener el
Hacer Global donde el infinito actual reina de manera absoluta, acepta el manejo de este infinito como un elemento de ficcin, en el mismo sentido que los
matemticos han tenido que ir aceptando elementos ideales como los imaginarios, los puntos en el infinito en geometra proyectiva... Ficcin ideal til que
ha de adjuntarse al dominio de los elementos finitos, a la matemtica real que
maneja el matemtico no somos infinitos para dar cuenta del total de la
matemtica que se va realizando. Enfoque pragmtico, ciertamente, pero que
obliga a Hilbert a plantear el manejo de la matemtica ideal, de la matemtica
que emplea ese infinito actual mediante unos procesos de axiomatizacin y
posterior formalizacin que le conducen a defender un Formalismo como base
para el Hacer matemtico.
De las tendencias que he mencionado, hacia el final de los veinte se mantena un Logicismo devaluado al que ahora se suman el Intuicionismo de
Brouwer y el Formalismo de Hilbert. La Fenomenologa de Husserl se decanta, definitivamente, por el lado filosfico al igual que las corrientes neokantianas. Desde esta dcada, y como tpico, van a considerarse como nicos temas
de la Filosofa de la Matemtica estas tres corrientes: Logicismo,
Intuicionismo, Formalismo como si las dems no hubieran existido o como si
tampoco existiera el pensamiento de algunos matemticos que, a pesar de todo,
seguan pensando adems de continuar haciendo matemticas. Tres corrientes que, desde su origen, y a pesar de su imagen, estaban abocados al fracaso
porque el Hacer matemtico, como praxis, como Hacer, no se halla, hasta
ahora, definitivamente clausurado y, realmente, no se encuentra reflejado, de
modo total, por esas escuelas.
Sin embargo, los xitos conseguidos partiendo del Hacer global y la definicin axiomtica como uno de sus instrumentos bsicos, fueron imponiendo una

906

JAVIER DE LORENZO

LLULL, 26

difusa visin formalista del Hacer matemtico especialmente en los terrenos de la

enserianza y ello a pesar de los teoremas de limitacin de los sistemas formales que
se demuestran en los arios treinta. Una visin formalista que tiene en el grupo
Bourbaki su mximo exponente a partir de los arios cincuenta.
Hay que reconocer que, de modo innegable, el enfoque axiomtico y el
desarrollo en profundidad en campos especficos propici un desarrollo espectacular del Hacer matemtico as como posibilit la resolucin de algunos viejos problemas pendientes de solucin como ha puesto de relieve, y como ejemplo paradigmtico, la definitiva resolucin del teorema de Fermat. Es un desarrollo, sin embargo, que tambien condujo a una escisin en materias cada vez
ms desarrolladas y, simultneamente, separadas entre s y que hacen difcil
para un nico matemtico dominar todos esos nuevos campos.
Pero tambien hay que reconocer que es un hacer que carece de relacin,
en el fondo, con las grandes lneas de pretendida fundamentacin. Lneas que
permanecieron como grandes tpicos en lo que vino en denominarse Filosofa
de las matemticas identificada con Fundamentos de la misma, siendo intercambiables ambos ttulos. Los anlisis lgicos y filosficos acerca de la matemtica llevados a cabo desde esas visiones parecan no tener relacin con la praxis real de dicha matemtica y quedaban en los extrarradios del imperio matemtico para decirlo en la terminologa utilizada por Wey1 en 1921.

Desde los arios setenta se produce una inflexin tanto en el interior de la

matemtica como en el contexto en el cual se realiza la misma. Esa inflexin
supone, en el interior, una mezcla de disciplinas con apoyatura en el elemento
geometrico que viene aportado, esta vez, por la Topologa. Al igual que una
vuelta a sus orgenes con un claro enlace con la Fsica. Enlace propiciado, adems, por la aparicin del ordenador que, con Steen, se ha convertido en un
intruso en el ecosistema matemtico que, como tal, provoca variaciones en
dicho ecosistema.
En el exterior, la insistencia en que el Hacer matemtico, como cualquier otro hacer, es tanto una produccin como un producto humanos y no
de los dinosaurios y, como tal, constituye un Hacer social que depende tanto
del matemtico en su individualidad concreta como del contexto social en el
cual ese matemtico nace, se educa y trabaja. Y lo hace con unos temas y unos

LLULL, 26

DEL HACER MATEMATICO Y SUS FILOSOFAS

907

medios determinados, con unos bagajes que, de modo evidente, condicionan

su hacer.
En esta tesitura, la Filosofa de la Matemtica ha quedado en un terreno
un tanto hbrido. Para el pensamiento matemtico, supuso la ntida conviccin
de la inutilidad en la bsqueda de una fundamentacin definitiva y segura, a
pesar de que en algunos autores se mantenga el trmino fundamentos pero
ya sin la querida pretensin de los primeros arios del siglo XX. Desde esta conviccin se ha propiciado la existencia de lo que se pueden considerar dos
grandes lneas en cuanto a la Filosofa de la Matemtica.
Por un lado, se encuentran quienes identifican la Filosofa de la
Matemtica con la Filosofa de la Lgica, restos de un ariorado logicismo que
se pretende renovar a la vez que la de aquellos lgico-matemticos que procuran unas fundamentaciones en la Teora de conjuntos en el sentido de mostrar
que se puede desarrollar la matemtica en dicha teora, porque ya en la Lgica
se ve inviable porque es la misma Lgica, escindida en multitud de lgicas, la
que tendra que ser, de alguna manera, analizada si no fundamentada. Con
ellos, quienes pretenden una Filosofa de la Matemtica como fundamentos
pero entendiendo ahora este trmino como un anlisis conceptual, estrictamente filosfico, tanto de los conceptos matemticos como de sus tipos de
demostracin... Con ellos, los que pretenden una fflosofa naturalizada en el
sentido de no depender de unos primeros principios de carcter extramatemtico, pero que poseen un carcter estrictamente filosfico, anclando sus
anlisis en campos ontolgicos y semnticos.
Por otro lado, se encuentran aquellos que pretenden pensar acerca del
Hacer matemtico en s, y se tiene en cuenta la gnesis, la historia y, sobre todo,
tratan de atender a la praxis matemtica como se va produciendo, observando
que la Matemtica ha sufrido cambios profundos incluso a lo largo de nuestra
propia vida y que no slo se han reflejado en la enserianza sino en la imagen de
la misma. Un tener en cuenta los procesos genticos e histricos, los educativos... que se pretende no como mera reconstruccin racional sino reflejo ms
real de los mismos.
En este repaso a la Historia se puede observar, por ejemplo, que la aproximacin formal de carcter sintctico en la segunda mitad del siglo XX no ha
sido tan completa sino que su imposicin ha dependido de unos condicionantes ideolgicos y polticos muy determinados. Matemticos como von

908

JAVIER DE LORENZO

LLULL, 26

Neumann, como Wiener o Turing, como los polacos ligados al caf escocs
entre los cuales destacar Ulam..., las escuelas soviticas de Markov o matemticos como Arnold o Alexandrov, por no citar muchos otros, investigaron en la
matemtica marginados a cualquier formalismo sintctico estilo Hilbert o
Bourbaki y mantuvieron el enlace matemtica-ciencia siempre tan querido para
el conocimiento y para el propio pensamiento matemtico.
Un enlace que pareca una interrelacin perdida pero que, en el ltimo
cuarto de siglo ha sido recuperada. Sobre todo mediante la interrelacin con las
teoras del campo cuntico, la teora de cuerdas, la simetra especular con la geometra simplctica... que han llevado a nuevas ideas en el interior del hacer
matemtico. Ideas y nuevos problemas que, en particular y desde un terreno de
anlisis conceptual, se centran en los papeles que la demostracin y el rigor vuelven a mantener, as como en la problemtica de la existencia de lo manejado.
Desde esta interrelacin, parte de la terminologa empleada por los fsicos ha entrado en la jerga matemtica al igual que, en lo demostrativo, se ha vuelto a tener conciencia de que la labor del fsico no es ver si la naturaleza funciona con rigor y demostrativamente, sino averiguar cmo funciona. Y el matemtico tiene, en este terreno, un papel semejante: desarrollar nuevas ideas para ese
estudio, aunque en un principio la demostracin de las mismas carezca del rigor
exigible desde posiciones ms formalistas. Es lo ocurrido con teoremas como los
de Borchards o de Donaldson, apoyados en analogas directas de la teora de
cuerdas y las simetras fsicas. A su vez, el hacer matemtico sigue aportando sus
teoras, mtodos y conceptos para el trabajo del fsico especialmente a travs de
las lgebras semisimples de Lie, por ejemplo, o las aportaciones que he indicado
procedentes de la topologa y la geometra como la simplctica.
De estos dos grandes bloques en los que se puede escindir una pretendida Filosofa de la Matemtica voy a detenerme, y muy brevemente, en slo
algunas lneas en que los mismos, a su vez, se escinden. Para una visin ms
amplia y completa remito, en particular, a mi libro de Lorenzo 2000.
I. En cuanto al bloque ms puramente filosfico, hay al menos dos
grandes lneas:
a. Por un lado, la corriente que he mencionado como conjuntista y que
se quiere ms ligada al Hacer matemtico. En ella se pretenden explicar tres
cuestiones: los conceptos fundamentales y los objetos que caen bajo esos conceptos; los axiomas, la lgica. Con lo cual los fundamentos de toda la

LLULL, 26

DEL HACER MATEMATICO Y SUS FILOSOFAS

909

matemtica, incluyendo la lgica matemtica y el propio mtodo axiomtico,

caen ahora bajo la teora de conjuntos. De aqu que los fundamentos de la
matemtica sean, de hecho, los de la teora de conjuntos por lo que hay que
dar cuenta tanto del concepto bsico de conjunto de conjuntos como de la
lgica de esa teora que no es, en este caso, teora axiomatizada. Ello supone
que las proposiciones acerca del universo de todos los conjuntos son verdaderas y no porque estn determinadas a partir de unos axiomas sino que son
los propios axiomas los que estn sometidos a la exigencia de que, en alg n
sentido, han de ser verdaderos en ese universo.
Es lnea en la cual me limito a serialar los trabajos de Monk o de
Mayberry. Frente a lneas de trabajo que aceptan que la matemtica se puede
desarrollar a partir de la Teora de Categoras, estos autores siguen manteniendo que toda la matemtica puede descansar en las teoras conjuntistas. El gran
problema con el que se enfrentan estas posiciones es dar cuenta del viejo dilema: discreto-continuo y la imposibilidad, en el fondo, de reducir los conceptos
geomtrico-topolgicos a meros sistemas conjuntistas.
A la vez, se ha replanteado la cuestin de si los axiomas hasta ahora adoptados como bsicos para la teora de conjuntos, en cualquiera de sus formulaciones, representan el total de la propia nocin de conjunto. Ya el propio
Zermelo haba indicado que su objetivo era el de acotar esta nocin en el sentido de que en ella no pudieran producirse paradojas. Pero esa misma acotacin
entraria que, desde su planteamiento, la axiomtica elegida no da cuenta del total
de lo que pretende delimitar. En este terreno se han producido trabajos interesantes en los campos calificados de estabilidad desde los cuales se trata de explicitar los conceptos informales que, en cierta manera, contin an entornando el
trabajo conjuntista.
b. En un enfoque ms puramente filosfico, en los entornos de los setenta se produce la publicacin por parte de Benacerraf de dos ensayos que van a
relanzar el debate filosfico en torno al Hacer matemtico. Por un lado,
Benacerraf hace ver lo que califica de indeterminacin de los n meros naturales si los naturales se identifican con conjuntos: cmo considerar, por ejemplo,
el nmero 2 como conjunto en la versin conjuntista de Zermelo {{}} o en la
de Neumann {A, (n. Ambos conjuntos son, claramente, diferentes pero el
nmero 2 ha de ser uno de ellos por lo cual queda realmente indeterminado.

910

JAVIER DE LORENZO

LLULL, 26

Tras el ensayo de Gettier en el que pone de relieve que la caracterizacin

de conocimiento platnica es insuficiente y la solucin propuesta por Goldman
de aceptar la teora causal del conocimiento para completarla, Benacerraf lanza
lo que desde entonces se denomina dilema de Benacerraf: lo que hace posible
el conocimiento matemtico imposibilita la existencia de los objetos matemticos; la existencia de los objetos matemticos imposibilita su conocimiento. Con
este dilema Benacerraf vuelve a plantear, en el fondo, el viejo problema de cmo
se alcanza el conocimiento de los objetos matemticos considerados como
objetos abstractos, independientes al sujeto epistemico. Son dos ensayos, dos
lneas que se dirigen contra la admisin del realismo matemtico, realismo que
se pretende identificar con el clsico platonismo.
Al debate originado por estos ensayos, y que es realmente ontolgico, se
suman los pensadores bsicamente anglosajones que tratan de discutir acerca de
la existencia o no de las entidades matemticas, abstractas, y se escinden en tendencias como el realismo con sus dos grandes acepciones metafsico o
semntico, el nominalismo, el estructuralismo, modalismo...
A este debate propiciado por los ensayos de Benacerraf a los que se
sumaran los de Steiner, entre otros se agrega un tercer elemento, el aportado por Quine y luego Putnam acerca de la indispensabilidad o no de la matemtica: las entidades matemticas son indispensables para las teoras fsicas y,
por ello, poseen su mismo estatuto cientfico. Una lnea argumental que se pretende, frente a las dos anteriores, como defensora del realismo matemtico, a la
que se agrega la posicin de quienes, desde lo pragmtico, buscan la mejor
teora posible...
El realismo matemtico afirma, desde el terreno metafsico, que las entidades matemticas nmeros, funciones, estructuras... existen y son independientes al espritu y al lenguaje, por lo cual el matemtico en su trabajo se
limita a descubrir las teoras matemticas acerca de esas entidades donde las
teoras no son ms que sistemas proposicionales de juicios verdaderos o falsos
en virtud de las propiedades de dichos objetos existentes en s.
Es un realismo que, por partir de la creencia ontolgica previa de unas
entidades abstractas existentes en s, exige elaborar estrategias que den cuenta
de cmo el matemtico alcanza el conocimiento de esas entidades. Estrategias
que han llevado a pensadores como Penelope Maddy a sostener que percibimos los conjuntos, existentes en s: cuando observamos una docena de huevos,

LLULL, 26

DEL HACER MATEMTICO Y SUS FILOSOFAS

911

por ejemplo, no observamos simplemente cada uno de los huevos separadamente sino el conjunto que constituyen. No sin irona habra que agregar que
no se observa el conjunto cuyo cardinal finito es 12, sino el conjunto cuyo cardinal finito es 13 porque el recipiente en el que se encuentran los huevos
tambin es algo.
Uno de los problemas es que en teora de conjuntos hay que admitir la
existencia del conjunto cuyo elemento es un conjunto y, por ello, tambin se
observa el conjunto unitario que tiene como elemento el conjunto de 13 elementos los huevos y su recipiente--, as como el conjunto de conjuntos con
elemento unitario que tiene el conjunto anterior como su elemento, etctera...
Todo ello en una percepcin nica. Con el posterior de cmo se percibe aqul
conjunto cuyo cardinal no sea finito... aunque en este caso pueda acudirse a la
enserianza y a la autoridad de quien enseria para aceptar la captacin de tales
conjuntos de cardinalidad transfinita. En cualquier caso, es una propuesta en el
fondo fctica la de que se perciben no ya entidades en su singularidad concreta
sino conjuntos y conjuntos de conjuntos... cuando se observan esas entidades.
Y hasta ahora, y desde la neurobiologa, no parecen encontrar corroboraciones
fcticas a la misma.
Junto a las propuestas de Maddy se tienen las estructuralistas o modalistas por las cuales las entidades matemticas pueden considerarse no en su individualidad concreta sino que siempre hacen relacin a una estructura o una
ordenacin en la cual se encuentran inmersas. De esta forma, y muy en esquema, se puede afirmar que 12 sea o no primo no depende de 12 sino del lugar que
ocupa en la ordenacin de los n meros naturales. Con lo cual lo existente no es
el nmero en s, o el conjunto del cual derivar luego el n mero sino la estructura en la cual ese nmero se haya insertado pero con la dificultad de cmo saber
que lo insertado es o no un n mero y distinguirlo conceptualmente de la
estructura de la que forma parte y es lo nico existente.
Junto a los realistas metafsicos aparecen los realistas semnticos: para
ellos las proposiciones matemticas son verdaderas por ser objetivas, con
independencia de nuestro conocimiento respecto a los objetos matemticos
que en esas proposiciones entren. Es decir, para un realista semntico lo nico
que se requiere para asegurar la verdad o no de una proposicin es su objetividad y no el compromiso en cuanto a la existencia de entidades de tipo alguno. Es posicin que tiene en Quine un posible partidario pero que encuentra

912

JAVIER DE LORENZO

LLULL, 26

en una poca de Putnam su representante ms conspicuo al que

posteriormente se unir Dummett.
Naturalmente para quien la clave sea la pregunta acerca de la existencia
o no de las entidades matemticas, es posicin insatisfactoria porque lo que
interesa de verdad es si existen o no los objetos matemticos. Existencia de la
cual cabe plantear, adems, si es una existencia necesaria o contingente y no
slo permanecer anclados en la vieja cuestin epistemolgica de cmo alcanzar
su conocimiento.
Una salida a esta problemtica se centra en el ficcionalismo nominalista
representado bsicamente por Field. Para esta concepcin las proposiciones
matemticas son, en s, totalmente falsas. Bien entendido que lo son en el
mismo sentido que las ficciones literarias. Afirmar 13 es un n mero primo es
falso porque no existe entidad alguna como 13. Va en paralelo a decir Don
Quijote plant batalla a los molinos de viento creyendo que eran gigantes que
constituye una proposicin falsa porque no hay entidad alguna que sea Don
Quijote. Sin embargo, de ficciones literarias como Don Quijote, Hamlet cabe
afirmar que son entidades existentes pero siempre dentro de la historia en la
que se encuentren. Por ello la proposicin acerca de Don Quijote puede considerarse verdadera aunque slo en el interior de la novela cervantina, aunque no
sea verdadera en s. Lo mismo cabe decir respecto a las entidades matemticas
como los nmeros: pueden considerarse existentes pero slo en un universo de
ficcin. Por ello, afirmar 13 es n mero primo supone enunciar una proposicin que es verdadera en la Aritmetica de los n meros naturales con el criterio
de divisibilidad aunque no sea verdadera en s.
Uno de los problemas para el ficcionalismo nominalista de Field es si
se deja a un lado la cuestin de los matices del termino verdad que esas entidades no existentes se muestran claves para el conocimiento fctico de la naturaleza; es decir, que la matemtica se muestra indispensable para construir nuestro conocimiento de la naturaleza de la que formamos parte. Y que hay matemticos, y no slo matemticos, que se dedican a estudiar ficciones como los
criterios de primalidad y, adems, tratan de aplicarlos a temas muy prcticos
como los de codificacin y descodificacin e incluso tratan de ir ms all, a
terrenos como los de la biologa, por no citar otros terrenos.
La estrategia utilizada por Field es mostrar que se puede prescindir de
esas entidades para elaborar las teoras fsicas; en otras palabras, trata de

LLULL, 26

DEL HACER MATEMATICO Y SUS FILOSOFAS

913

mostrar que puede explicarse el comportamiento de los sistemas fsicos en trminos intrinsecos de dichos sistemas sin invocar entidades extrinsecas sean o
no matemticas, entidades cuyas propiedades han de ser irrelevantes para el
comportamiento del sistema dinmico en cuestin.
Un programa de ficcin que, por lo mencionado, comporta dos pasos:
tratar de buscar interpretaciones intrinsecas para dar cuenta del comportamiento de los sistemas dinmicos; eliminar de las teoras cientficas hasta ahora
propuestas todo tipo de entidad no existente, eliminar de la Mecnica newtoniana, de la Teora de la relatividad, de la Mecnica cuntica... todas las entidades matemticas. Programa del cual el mismo Field tuvo que reconocer que
hasta el presente no sabemos cmo eliminar entidades matemticas de toda
explicacin cientfica que aceptamos y que toda la metodologa que hasta ahora
se ha manejado implica, en el fondo, una justificacin para creer en dichas entidades. Lo que le conduce a realizar una apuesta por cul es la visin ms satisfactoria del lugar que ocupa la matemtica en el mundo, una apuesta por la cual,
y frente a este ficcionalismo, parece razonable mantener el papel que la matemtica tiene en lograr esa visin del mundo.
2. Junto al bloque anterior que considero de inters ms filosfico que
matemtico aunque se citen trminos matemticos como si se hiciera una filosofa adjetiva de la Matemtica, se puede considerar otro bloque en el cual se
trata de tener presente al Hacer matemtico en s. En l podran mencionarse
desde los trabajos que tienen presente la gnesis conceptual del Hacer matemtico desde sus orgenes y que llevan desde la Antropologa matemtica
Wilder hasta los intentos de establecer los diferentes estilos en los que se
materializan los tres grandes mbitos en que se sit a el Hacer matemtico:
Figural, Global, Computacional de Lorenzo pasando por posiciones que
mantienen que la matemtica es aleatoria y experimental Chaitin. Me
remito, para ello, a de Lorenzo 2000.
De entre todas ellas voy a citar, en primer lugar, el trabajo de Feferman
quien se plante como preguntas: qu hace que los conceptos y mtodos de la
matemtica posean un campo distintivo de conocimiento? y cul es la naturaleza del contenido conceptual de la matemtica? En b squeda de respuestas
Feferman ha planteado un programa de anlisis lgico muy rico y en el cual se
pretenden investigaciones que lleven a una Clarificacin conceptual que posibilite establecer definiciones ms precisas de los conceptos ms bien informales que de hecho se manejan en la praxis matemtica, hasta lo que denomina

914

JAVIER DE LORENZO

LLULL, 26

Expansin reflexiva de conceptos y principios y que no es ms que la b squeda del tipo de actividad que lleva al matemtico a pasar de espacios tridimensionales a n-dimensionales, por ejemplo, o a intentar explicitar conceptos que
en la praxis matemtica quedan, de hecho, implcitos. Un programa que, a pesar
de ser bautizado por Feferman como de Fundamentos supone, en el fondo, un
anlisis conceptual que tiene en cuenta, precisamente, la plasticidad genetica e
histrica del Hacer matemtico.
En esta lnea, la aparicin del intruso, del ordenador en el ecosistema
matemtico, ha hecho que la praxis matemtica sufra en algunos campos, una
cierta inflexin. Al menos en terrenos como los siguientes. Por lo pronto, en el
terreno demostrativo. La demostracin de la conjetura de los cuatro colores
provoc el problema de si admitir dicha prueba como autntica demostracin,
lo que ha ido en paralelo a lo que antes indique en la interrelacin MatemticaFsica. Es claro que ning n matemtico puede comprobar todos y cada uno de
los pasos de la prueba dada por Appel-Haken pero ello no impide considerar
conceptualmente a dicha prueba como autenticamente demostrativa. Basta plantear la misma cuestin para demostraciones de longitud suficientemente larga
como la establecida para la clasificacin de los grupos finitos. Si se admite que el
ordenador pase a tener un cierto papel, hay que admitir la existencia de demostraciones asistidas por ordenador. Y ello sabiendo que los ordenadores son falibles porque tambien tienen sus fallos tanto puramente accidentales como de
los propios procesos algortmicos. Es el concepto de demostracin matemtica el que, una vez ms, se pone en juego con la multitud de matices que en este
concepto entran en juego y que impiden que se reduzca a mera sucesin
sintctica de frmulas como pretenda el logicismo fregeano y sus sucesores.
Adems, el ordenador muestra un papel en un terreno que, hasta ahora,
no ha sido muy estudiado: el de la enserianza. Si se tiene presente que se han
construido algoritmos lo suficientemente flexibles para realizar integrales o
resolver ecuaciones tanto algebraicas como analticas, para dar respuesta a una
serie de problemas de combinatoria de forma que el alumno pueda responder a
estas cuestiones sin ms que manejar el ordenador y las teoras subyacentes,
parece conveniente replantear el tipo de enserianza que se debe impartir al alumno o, al menos, el tipo de cuestiones que se le puedan plantear. Supone volver a la peticin de Galois: saltar sobre los clculos para ir a las ideas, a los metodos. Es un programa en el cual no interviene slo el contenido de una disciplina sino que est en juego, realmente, que considerar como ideas y mtodos
matemticos que, de momento, van ms all de lo reducible a puramente

LLULL, 26

DEL HACER MATEMTICO Y SUS FILOSOFIAS

915

algortmico. Y no es, en modo alguno, lo que algunos como Chaitin califican

como matemtica experimental ni tampoco que el alumno maneje simplemente
el ordenador en clase.
Tambin el ordenador ha posibilitado que la Matemtica amplie su
campo de aplicabilidad a terrenos que le estaban vedados por la dificultad
material, no conceptual, de realizar los cmputos correspondientes. As, en la
posibilidad de calcular un nmero suficiente de trminos en los desarrollos en
serie de algunas funciones, de las que Ilevaron a Poincar, por ejemplo, a plantear la existencia de funciones con fuerte sensibilidad a las condiciones iniciales. En otras palabras, a constituir una ayuda tcnica bsica para poder establecer teoras como, en este caso, la teora del caos con su determinismo e impredecibilidad asociados. Igualmente ha permitido elaborar el programa Lions que
se manifiesta, esencialmente, en la elaboracin de modelos con el previo
establecimiento de los correspondientes procesos de simulacin.
Ms conceptual, pero enlazado a problemas como los anteriores y que
se incardinan en lo que califico de Hacer computacional, se ha vuelto a plantear el permanente dilema discreto-continuo. El Hacer Global lo resolvi suprimiendo el continuo al considerarlo como un conjunto discreto cuyos elementos, los nmeros reales, pasaron a tener un estatuto existencial ontolgico.
Estatuto ontolgico negado por constructivistas como Poincar para quien el
continuo es el que posee un estatuto existencial propio no siendo los nmeros
reales ms que smbolos para indicar posiciones sobre ese continuo. Y el continuo es el elemento bsico para la conceptualizacin geomtrica y topolgica,
por ejemplo. Pero desde la discretizacin conjuntista se planteaba el problema
de cmo obtener, en la prctica, un n mero real: en la prctica bastaba una
aproximacin racional adecuada sabiendo que en esa aproximacin se comete
un error.
Desde los terrenos de la computabilidad cabe desterrar el elemento existencial ontolgico asociado al n mero real y convertirlo en nmero real computable: nmero real x enfocado como un programa en el cual al dar el input k
nmero positivo-- se producen dos nmeros racionales: un valor m, que
se considera una aproximacin a x y una cota del error E, valor no negativo por supuesto. Lo que se requiere es que para dos inputs k y k los intervalos [rnk-Ey,m,+E] y [mk.-E,,m,f+Ekl se corten de manera que para E>0 y todo
k suficientemente grande, la longitud del intervalo sea menor que E. En otras

916

JAVIER DE LORENZO

LLULL, 26

palabras, la idea intuitiva subyacente es que todos esos intervalos tengan un

nico punto en comn: el nmero real computable bajo construccin.
Una construccin que si tiene una cara pragmtica positiva porque
puede desarrollarse todo el Anlisis en un estilo constructivo a lo Bishop,
encuentra unas dificultades conceptuales bsicas: las cuestiones de si un n mero real computable es racional o irracional y la de comparar dos n meros
reales computables son indecidibles.
Son problemas los de indecibilidad y computabilidad que, unidos al
papel que puede desemperiar el ordenador tanto en las demostraciones como en
la modelizacin matemtica de procesos dinmicos a partir de procesos de
simulacin llevan a replantear, desde el interior del Hacer matemtico, el viejo
problema del papel del cerebro y, con el, el de la razn y el pensamiento.
III

En este esbozo deseara concluir advirtiendo que los profundos cambios

que se han producido en el Hacer matemtico y que han llevado desde el Hacer
Global al Computacional, rompiendo el difuso formalismo que en algunos pases se impuso desde mediados del s. XX, no ha tenido una autentica renovacin
en el pensamiento filosfico que le debera ir en paralelo. Las reconstrucciones
racionales de la historia en la lnea de Lakatos, las filosofas de la matemtica en
el mbito anglosajn que han pretendido romper los moldes que se autoimpuso de la tendencia analtica pasando a una pretendida filosofa naturalizada pero
en la cual el tema ontolgico se muestra esencial con argumentos en los cuales
no se sabe si se habla acerca de entidades matemticas o angelicas, los logicismos renovados, los excesos de los enfoques sociolgicos... parecen muy
marginados a la autentica praxis matemtica.
Son los enfoques constructivistas los que, en cierta manera, tratan de
captar lo que en esa praxis se efect a. Pero los constructivismos, desde su origen y por su propia naturaleza, se muestran reticentes a ser plasmados en sistema, que es lo ms propio de quienes se tratan de situar en terrenos ms pretendidamente filosficos. En cualquier caso, se puede observar un renovado interes en estos campos eliminada ya la imagen tpica de establecer unos fundamentos definitivos de una praxis matemtica que, en esencia, afinca su raz en
la interrelacin entre la physis y la razn conceptual que, como parte de esa
physis y, hasta ahora, no ha conseguido ser clausurada.

LLULL, 26

DEL HACER MATEMTICO Y SUS FILOSOFIAS

917

BIBLIOGRAFA
ABERTH, O. (2001) Computable Calculus. Academic Press.
LORENZO de, J. (2000) Filosofas de la Matemtica fin de siglo XX. Ed. Univ. Va.
MAYBERRY, J. P. (2001) The Foundations of mathematics in the theory of sets.
Cambridge Univ. Press.
TYMOCZKO, Th. (ed.) (1988) New Directions in the Philosophy of Mathematics.
Princeton Univ. Press.
(Tanto en DE LORENZO [2000] como en TYMOCZKO [1988] se encuentran muy
extensas y valiosas bibliografias)