El Paraiso de las Matematicas

cn=El Paraiso de las Matematicas,

o=www.matematicas.net,
ou=Departamento de redaccion,
Firma no verificada c=ES

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

Impactos De La Matemtica Sobre La Cultura

Miguel de Guzmn
Miguel de Guzmn, Impactos de la Matemtica sobre la Cultura, en: La Ciencia ante el
siglo XXI. Ciclo de conferencias de la Real Academia de Ciencias Exactas, Fsicas y
Naturales (Fundacin Ramn Areces, Madrid, 1995), 21-54.
Texto de una conferencia en la Fundacin Ramn Areces en abril de 1994.

Indice
1.- Introduccin
2.- Naturaleza del quehacer matemtico
3.- La motivacin primordial del quehacer matemtico
4.- El impacto de la matemtica en el mundo de la tcnica. El misterio de la
aplicabilidad de la matemtica
5.- La permanente conexin de la matemtica con el pensamiento filosfico
6.- El quehacer matemtico y el arte
7.- Oportunidades y riesgos de la matematizacin de la cultura
8.- Los riesgos de la matematizacin de las ciencias
9.- Riesgos de la matematizacin de la filosofa
10.- Los riesgos de la matematizacin en nuestra vida cotidiana
11.- Referencias

1
1
4
5
7
11
14
16
17
18
19

1.- Introduccin
El pensamiento matemtico representa hoy da una componente muy influyente
en prcticamente cada uno de los aspectos de la cultura humana, pero su espritu va a
ejercer en un futuro prximo un impacto an ms importante. En las ltimas dcadas
esto se hace cada vez ms patente a travs de la presencia creciente del ordenador y
de su estilo invasivo en nuestra cultura. Va resultando urgente tratar de analizar en
profundidad las oportunidades y los riesgos que a la cultura humana se le presentan
en esta situacin, a fin de promover las formas correctas de desarrollo y para tratar de
evitar, antes de que sea demasiado tarde, los peligros en que nuestra cultura puede
quedar inmersa. Y es muy importante que los cientficos y los matemticos en
particular no permanezcan como meros observadores en este proceso, que los
filsofos por s solos no sern capaces de analizar correctamente. Puesto que van a
ser actores principales en los desarrollos que se acercan, deberan ser plenamente
conscientes de su propia responsabilidad en darles una correcta direccin.
En las lneas que siguen tratar de presentar concisamente algunas ideas que
tal vez pueden servir para encauzar este anlisis.

2.- Naturaleza del quehacer matemtico

Cmo concebir la matemtica hoy? La concepcin tradicional de la
matemtica como "ciencia del nmero y de la extensin", aunque incompleta, como
veremos, nos puede proporcionar un buen punto de arranque. La realidad nos
presenta una estructura bsica interesante. En ella aparece, ya con la propia
autoconciencia del yo, la idea de unidad que vive en comunidad, en comunin con
otras unidades semejantes, es una unidad hasta cierto punto repetible, inmersa al

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

tiempo en una multiplicidad. Esta multiplicidad es compleja, pero no catica,
ininteligible. Es reducible a orden.
De esta primordial complejidad de la realidad el hombre adquiere inicialmente
un dominio analgico. Las muescas en los rboles que cuentan los das que pasan,
las seales en la piedra del pastor primitivo que cuenta su rebao, una por cada
cabeza de ganado, constituyen el primer intento por adquirir una cierta manipulabilidad
de la multiplicidad. De ah se pas, siguiendo una tendencia especficamente humana,
al dominio simblico, mediante la sustitucin de los grupos de muescas por smbolos,
nmeros, que permitan una expresin ms concisa. Pero el paso crucial tuvo lugar
cuando el hombre dise, despus de muchos siglos, sistemas de numeracin
operativos y eficaces, como los de los pueblos mesopotmicos, para manipular
cuantitativamente la multiplicidad. Haba nacido la aritmtica como respuesta al intento
de dominar la complejidad de la multiplicidad. Y con ello se abra tambin, ante la
posibilidad obvia de enfrentarse manipulativamente con multitudes cada vez mayores,
el sendero hacia el infinito matemtico, lo que, como veremos, constituir el aspecto
que proporciona su profundidad al quehacer del matemtico.
Junto a la multiplicidad, el mundo real presenta al hombre otra estructura
compleja primitiva, y con ella el reto de dominarla mentalmente de alguna manera. El
espacio constituye esta segunda complejidad con sus esquemas propios: coincidencia,
adyacencia, separacin, conexin, forma, medida,... Histricamente esta estructura de
la realidad fue tratada estticamente antes que racionalmente, a travs de la
abstraccin y teoretizacin se llegase a la geometra. Una muestra inicial de una
caracterstica de la matemtica que aparecer recurrentemente y que ms tarde
analizaremos. A travs de la belleza sensible se va pasando hacia la bsqueda y
creacin de la belleza y armona intelectual.
Considerando los aspectos comunes de este proceso mental, podramos decir
inicialmente que la matemtica es una exploracin de la complejidad de ciertas
estructuras de la realidad.
Pero, naturalmente, esto se podra afirmar tambin de cualquier otra ciencia. El
quehacer matemtico se distingue por la forma peculiar como se acerca a sus propios
objetos. La matemtica trata de obtener su domino sobre ellos a travs de:
1) Una simbolizacin adecuada.
2) Una manipulacin racional rigurosa de ellos, donde rigurosa quiere decir que
compele al asenso.
3) Con la finalidad de adquirir un dominio efectivo de la realidad en cuestin.
Si uno examina, a lo largo de la historia de la matemtica, las sucesivas
ampliaciones de su campo de accin que han tenido lugar, observa con claridad que
esta descripcin que de su quehacer hemos abstrado a travs de la observacin de
los orgenes de la aritmtica y geometra es perfectamente vlida tambin para ellas.
Hacia el siglo 9 comienza a surgir el lgebra como enfrentamiento y deseo de
dominio ms efectivo de la complejidad del smbolo numrico, presente en la
aritmtica.. Surge as lo que viene a ser el smbolo del smbolo con la creacin de lo
que en principio fue el lgebra cosista (la x de los algebristas fue "cosa" antes de ser
x) hasta convertirse en lgebra literal. Con el lgebra aparece un elemento que ser

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

crucial para el desarrollo posterior, la iniciacin de la representacin funcional, que
proporcionar luego la posibilidad de simbolizar la dependencia.
En el siglo 17 los matemticos se enfrentan con otras estructuras complejas de
la realidad. Ya disponen de herramientas suficientes, especialmente por la presencia
del lenguaje funcional y por la disponibilidad de instrumentos de medida del tiempo
ms eficientes, para afrontar la cuantificacin y posterior matematizacin del cambio
en el tiempo y la causalidad de las transformaciones fsicas. Surge as el clculo
infinitesimal que viene a proporcionar al cientfico los tiles fundamentales para el
dominio cuantitativo de las estructuras complejas del cambio y de la causalidad, que
en la matemtica de los griegos est ausente.
La aparicin y desarrollo de la probabilidad y estadstica representa el resultado
del enfrentamiento del hombre con un nuevo reto: el dominio de la incertidumbre. Los
fenmenos en que las causas de las transformaciones son pocas y controladas una a
una pueden ser tal vez analizadas mediante los instrumentos del clculo. Pero hay
otros muchos fenmenos fsicos en los que hay una multitud inabarcable de causas
simultneas. La nueva forma de afrontar tal estudio ser la de renunciar a controlar
todas y cada una de ellas y reducirse a aplicar las leyes de la probabilidad,
adquiriendo as un cierto dominio del azar. Otro paradigma diferente de conocimiento.
En el siglo 19 se comienza a hacer intentos por fundamentar slidamente el
anlisis. Las geometras no eucldeas atraen la atencin de los matemticos hacia la
necesidad de estudiar ms en profundidad las complejidades presentes en la
estructura formal del pensamiento. El estudio de los fundamentos, que viene a ser
culminado en la obra de Gdel, puede por tanto ser interpretado como el resultado del
matemtico en su esfuerzo por dominar ms profundamente la complejidad inherente
en la propia estructura formal del pensamiento matemtico.
En nuestro tiempo la aparicin de ciertas creaciones matemticas concretas se
puede interpretar bajo esta misma luz. La presencia del ordenador en las ltimas
dcadas ha permitido al matemtico una aproximacin a fenmenos que hasta hora le
estaban vedados por ia imposibilidad de clculo rpido, de representacin grfica
verstil e interactiva de sus experimentos.
Hasta hace unos 30 aos, los fenmenos cuya modelizacin matemtica daba
lugar a modelos no lineales haban de ser analizados a travs de sus aproximaciones
lineales. La simple iteracin 200 veces de la operacin 4x(1-x) partiendo de un valor
inicial 0,7 con quince cifras decimales era algo impensable. Los actuales ordenadores
personales lo hacen con gran rapidez y seguridad. La compleja estructura de muchos
fenmenos no lineales est as a nuestro alcance, y la experimentacin posible ha
dado lugar a la interesante teora de sistemas dinmicos en la que el caos matemtico
y las estructuras fractales hacen su aparicin de modo natural.
Para el futuro, tal vez an lejano, queda pendiente, entre otros muchos temas
importantes, el estudio de la complejidad del funcionamiento global del pensamiento
humano. Las aproximaciones de la llamada inteligencia artificial a la inteligencia
humana son an muy burdas y an no hemos empezado a atisbar lo que significa la
capacidad de autorreflexin de la mente, la conciencia humana.
Como queda corroborado por el examen de la naturaleza de las expansiones
sucesivas de la matemtica a lo largo de la historia, el quehacer matemtico consiste
en el enfrentamiento de la mente humana con ciertas estructuras complejas de la
realidad que se prestan a ese tipo peculiar de anlisis a travs de la simbolizacin

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

adecuada, que permite a su vez la manipulacin racional rigurosa de sus objetos,
proporcionando as un cierto dominio operativo de la realidad subyacente.
En 1923 Alfred N. Whitehead, en una famosa conferencia titulada Sobre el
Bien, analizaba las razones por las que la matemtica haba penetrado e iba a
penetrar an ms profundamente tantas parcelas del pensamiento humano:
"La nocin de estructura es tan antigua como la civilizacin...la infusin de
estructuras en el curso de la naturaleza y la estabilidad de tales estructuras, as
como la modificacin de ellas es la condicin necesaria para la realizacin del
Bien".
"La matemtica es la tcnica ms poderosa para la comprensin de la
estructura y para el anlisis de la relacin entre estructuras..."
"Considerando la inmensidad de su campo de accin, la matemtica, incluso la
matemtica moderna, es una ciencia en su infancia".
"Si la civilizacin contina avanzando, en los prximos 2000 aos, la novedad
predominante en el pensamiento humano ser el seoro de la inteleccin
matemtica".
Exploremos a continuacin, antes de pasar a considerar el entronque del
quehacer matemtico con el resto de la actividad cultural humana, las motivaciones
profundas que han llevado al hombre colectivo a ocuparse de la matemtica.

3.- La motivacin primordial del quehacer matemtico

La cultura griega del siglo 6 a. de C., en la que se gest la matemtica con
caractersticas muy semejantes a las que presenta la que hoy practicamos, posea un
extraordinario entusiasmo por la racionalidad. En ella se da la primaca en las
relaciones humanas al convencimiento por persuasin frente a la imposicin por la
fuerza, imperante en civilizaciones ms primitivas. Probablemente este amor por la
racionalidad fue un elemento importante para el desarrollo de la matemtica como
ciencia entre ellos. La matemtica era un mundo racional en el que el consenso es
perfectamente posible.
Los pitagricos vieron en el quehacer matemtico algo ms. Para ellos la
matemtica era un camino para penetrar en "las races y fuentes de la naturaleza", no
era meramente un objeto de estudio sino el centro de un modo de vida cientficoreligioso. La matemtica, instrumento para entender cmo "todo es armona y nmero"
en el universo, desvela al hombre la armona que l mismo debe mantener con su
entorno.
En el sentir profundo de muchos de los matemticos de todos los tiempos, sin
excluir en muchos casos la connotacin religiosa al modo pitagrico, la matemtica es
ciertamente una forma de creacin de belleza intelectual. Entre los antiguos esto es
bien patente en Platn, los neoplatnicos, la Kabala,... En el renacimiento se hace
obvio en Kepler, que viene a expresar en buena medida el sentir de su tiempo. Entre
los matemticos recientes se puede citar a Poincar, Hardy, Hermann Weyl, como
defensores bien explcitos de las profundas conexiones entre matemtica y belleza.

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

En este sentir comn de los matemticos se puede situar tal vez la aportacin
ms profunda de la matemtica a la cultura humana, y muy en particular a nuestra
cultura occidental, como heredera de los griegos. Se trata de la conviccin profunda de
que el universo es inteligible, y que en unos cuantos aspectos importantes para el bien
ser y bien estar del hombre, es inteligible mediante la razn matematizante. La
actividad matemtica es as una peculiar fusin de reconocimiento del orden presente
en el universo y al mismo tiempo de creatividad, espontaneidad, libertad, belleza. En
esto precisamente estriba su valor educativo ms profundo, mucho ms que en el
mero dominio en las destrezas tcnicas del oficio.
Las preguntas que nos ocuparn a continuacin son las siguientes: hasta qu
punto la actividad matemtica constituye realmente uno de los ejes fundamentales de
nuestra cultura? Cmo interacta con los otros quehaceres importantes del hombre,
tales como el mundo de la tcnica, de la filosofa, del arte? Cules son y qu signo
tienen los impactos profundos sobre la cultura que se pueden prever en un futuro
prximo?

4.- El impacto de la matemtica en el mundo de la tcnica

El misterio de la aplicabilidad de la matemtica
La aplicabilidad de las matemticas a la realidad es un enigma nada fcil de
resolver. El matemtico observa una parcela del mundo real, que incluye su propio
mundo mental y el universo exterior en toda su complejidad. Encuentra en l unos
cuantos elementos que le parecen reducibles a simbolizacin, a manipulacin racional.
Comienza a jugar mentalmente con estos elementos. Explora sus relaciones mutuas,
introduce estructuras ms complicadas que parecen capaces de resumir, de simplificar
su juego.
Al hacerlo se deja llevar por el sentido esttico y ldico de su espritu y por su
afn de una visin simple, unitaria, intuitiva de tales estructuras. Construye un nuevo
mundo a su medida, aunque no enteramente a su antojo, pues se atiene a una cierta
realidad externa inicial y a las exigencias de coherencia mental interna.
El juego se convierte en una teora matemtica. Se complica, se persigue por s
misma, pasa a ser un complejo mundo de la mente, con muchos ms elementos
aadidos espontneamente por el matemtico que los que provienen directamente de
la realidad externa, que por otra parte ya fue mutilada en las primeras abstracciones.
Y sin embargo, de modo insospechado resulta que el mundo real parece
adaptarse perfectamente a nuestro mundo matemtico de manera que ste es capaz
de explicar en grado bien satisfactorio estructuras muy complejas de la realidad fsica,
qumica, biolgica, econmica, sociolgica,...
Esta sensacin de intenso asombro viene certeramente expresada en las
palabras finales de un artculo de E. P. Wigner, titulado La irrazonable efectividad de
las matemticas en las ciencias naturales:
"El milagro de la adecuacin del lenguaje de las matemticas para la
formulacin de las leyes fsicas es un don maravilloso que ni entendemos ni
merecemos. Deberamos mostrarnos agradecidos por l y esperar que
permanezca siendo vlido en la investigacin futura y que se extienda, para
bien o para mal, para placer nuestro, aunque tambin tal vez para nuestra
perplejidad, a ramas ms amplias del saber".

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

Es algo as como si un desconocido me contase unos pocos rasgos de su vida
con los que yo me compusiera una novela y resultara que sta viniese a coincidir
exactamente con lo que esa persona ha experimentado en su vida incluso en detalles
superficiales.
Los ejemplos de esta situacin abundan en la historia de las ciencias. La
profunda intuicin bsica de Pitgoras de que todo en el universo es "armona y
nmero" no es, probablemente, sino el resultado de una primordial experiencia al
observar cmo los nmeros rigen objetos tan dispares como la forma espacial y la
msica. Con razn se expresa Whitehead admirativamente sobre este primer
momento de la historia de la ciencia moderna: "Verdaderamente, Pitgoras, al fundar
la filosofa europea y la matemtica europea, las dot con la ms afortunada de todas
las conjeturas, o tal vez fue una chispa de genio divino, que le hizo penetrar hasta lo
ms hondo de la naturaleza de las cosas?" (Science in the Modern World, final del
Cap.2).
La impenetrabilidad del misterio de la aplicabilidad de la matemtica ha sido
expresada por Bourbaki en nuestro tiempo, con la rotundidez que le caracteriza:
"Que existe una relacin ntima entre los fenmenos experimentales y las
estructuras matemticas parece confirmarse plenamente de la forma ms
inesperada mediante los descubrimientos ms recientes de la fsica
contempornea. Pero no sabemos absolutamente nada sobre los fundamentos
de este hecho (suponiendo que se pudiera encontrar realmente significado a
estas palabras) y tal vez no lleguemos a saber nunca sobre ello" (N.Bourbaki,
L'Architecture des Mathmatiques).
La aplicabilidad de la matemtica en nuestra cultura, en nuestro modo de hacer
ciencia y en nuestra propia vida cotidiana, es algo tan profundamente asumido
que difcilmente podramos concebir nuestro mundo actual, especialmente en lo
que se refiere a sus realizaciones cientficas y tcnicas, despojado de sus
componentes matemticas. Desde Kant, y aun antes, se viene considerando
ms o menos explcitamente, y ms o menos exageradamente, como
comentaremos ms adelante, que "en cada una de las disciplinas de la
naturaleza solamente se puede encontrar tanto de autntica ciencia cuanto se
encuentra en ellas de matemticas"
(Metaphysische Anfangsgrnde der Naturwissenschaften, Vorwort).
La aplicabilidad de las estructuras matemticas llegar, con la ayuda del
ordenador, gracias a su potencia de clculo, su capacidad de modelizacin, su
impresionante efectividad grfica, a convertir la matemtica en una verstil
herramienta til en tareas mucho ms abarcadoras an que aquellas en las que en la
actualidad se ve involucrada, con incursiones en aspectos de las ciencias sociales y
humanas cuya complejidad deja atrs la de las ciencias ms tradicionales de la fsica,
qumica, etc.
Oportunidades conllevan riesgos. Y la invasin de las aplicaciones de la
matemtica en nuestra vida mental y prctica no est desprovista de ellos. Ms
adelante tendremos ocasin de reflexionar sobre este punto. De momento vamos a
pasar a considerar otros aspectos de nuestra cultura cuya interaccin con la
matemtica ha sido y es extremadamente profunda.

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

5.- La permamente conexin de la matemtica con el
pensamiento filosfico
En la historia del pensamiento humano ha habido una constante interaccin
entre sus vertientes filosfica y matemtica. Los matemticos cuyas reflexiones han
tenido influencia sobre el progreso del pensamiento filosfico son numerosos. Como
muestra se pueden citar los nombres de Pitgoras en el mundo antiguo, Descartes,
Pascal, Leibniz en el siglo 17, el siglo de los genios en matemtica, y en nuestro siglo
Hilbert, Russelll, Whitehead, Wittgenstein, Weyl, Gdel. Los movimientos filosficos
que han buscado su apoyo, su inspiracin y hasta su modelo, en el estilo y modo de
proceder en la matemtica son multitud.
Ante este fenmeno innegable se debe preguntar uno por las razones
intrnsecas que tiene que haber que lo expliquen. Por qu se acerca el hombrefilsofo hacia el hombre-matemtico? El filsofo intenta comprender y desentraar los
muchos enigmas que el mundo real, su mundo interno y el mundo exterior, le
proponen. Pero la realidad se presenta demasiado enmaraada para tratar de
abordarla tal cual es. El mundo de la matemtica pretende ser una simplificacin,
como el armazn interno, de unos cuantos aspectos importantes del mundo real. Es
un croquis parcial del mundo, hecho por el hombre a su medida. Es natural que el
filsofo de todos los tiempos, de forma ms o menos consciente, ante su imposibilidad
de penetrar directamente en la maraa de la realidad, haya considerado certeramente
la matemtica como un primer campo de operaciones extraordinariamente valioso en
su camino hacia zonas ms ricas de la realidad. Tal fue la actitud de los pitagricos,
transmitida con su influyente estilo peculiar por Platn y retomada en diversas
ocasiones por los filsofos a lo largo de los siglos hasta nuestros das. Ese talante de
pensamiento es lo que hace aparecer aquellos filsofos antiguos tan
"contemporneos" ante nuestros ojos. Ms ajustado sera decir que el estilo de
pensamiento contemporneo conserva con bastante fidelidad muchos de los rasgos
del pitagorismo inicial.
Pero hay otros aspectos interesantes en la matemtica que atraen de modo
natural al filsofo. La dinmica interna del pensamiento matemtico, la lgica de su
estructura, simple, tersa, sobria, clara, hacen de l un modelo de reflexin fiable que
suscita el consenso de todos. Los filsofos interesados en aclarar los misterios del
conocimiento humano han visto en l un campo ideal de trabajo donde poner a prueba
sus hiptesis y teoras.
Por otra parte, en la matemtica aparecen muchos aspectos generales del
conocimiento desligados de otras componentes, de naturaleza sensorial, volitiva,... lo
que hace su estudio ms simple.
Incluso, ms recientemente, tambin los psiclogos interesados por los
aspectos relacionados con el estudio de la creatividad humana, y tambin quienes
estudian la inteligencia artificial, han acudido a la matemtica tambin por razn de su
carcter paradigmtico en los temas de su inters.
La matemtica es, pues, para el filsofo, por diversos motivos, un campo bien
til en sus propias exploraciones. Pero tambin el matemtico tiene sus propias
razones bien poderosas para aproximarse a la filosofa.
Desde los pitagricos, los matemticos se han interesado profundamente por lo
que en el fondo significa su propia actividad, plantendose un sinfn de preguntas
inquietantes. De dnde surgen las estructuras matemticas? Hay matemtica en las

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

cosas, la hay de algn modo en el exterior del hombre? Estn las estructuras
matemticas solamente en la mente humana? Cmo es la interaccin mente-mundo
para que de ella pueda surgir la matemtica? Cmo es que el mundo externo parece
adaptarse a estructuras mentales que se han desarrollado como por su propio
dinamismo, sin ninguna intencionalidad prctica, cmo explicar esa irrazonable
efectividad de la matemtica? Son muchas las preguntas que surgen de modo natural
ante el matemtico reflexivo que no queda satisfecho con el mero juego manipulativo,
que por otra parte resulta apasionante, de sus sofisticadas tcnicas.
Pero el ms profundo elemento del pensamiento matemtico es, sin duda, el
reto principal con el que se ha enfrentado desde el inicio de su existencia: el seoro
de los procesos infinitos de pensamiento. La matemtica no sera ms que una
tautologa, inmensa y creciente, eso s, pero una tautologa al cabo, de no ser por la
presencia de diversos tipos de procesos infinitos. Cmo explicar la posibilidad y el
sentido de tales procesos? Qu significa el infinito matemtico en relacin con la
estructura de la mente humana? Qu implicaciones tiene la presencia del infinito en
la matemtica?
Tal vez se podra ensayar una explicacin con la siguiente orientacin. En la
apertura inicial de la mente al conocimiento intelectual, a cualquier conocimiento
intelectual, est presente como horizonte, como condicin de posibilidad de cualquier
conocimiento concreto, el ser en su infinitud, en su inconcrecin. En este horizonte
debe destacarse el ser concreto, limitado, y este horizonte es lo que hace posible
cualquier otro conocimiento. No nos lo planteamos como objeto. Es el fondo de
nuestra visin cognoscitiva, y, de no estar ah, no habra nada cognoscible. La mente
est abierta, por su propia naturaleza, a este horizonte. Es algo constitutivo de su
forma de ser. El ser concreto y limitado se destaca en ella precisamente de modo
negativo, mostrando su limitacin, su modo de ser particular que niega el modo de ser
de otros muchos, afirmando as implcitamente que el ser importante es el que no tiene
modo. Es as como lo infinito est presente en el principio de todo quehacer
matemtico. Del uno al dos... y ya est ah el infinito presente, y aun en el uno mismo,
a travs de la conciencia de que no lo llena todo, de que es repetible en cierto modo.
Pero esta presencia, como horizonte, del infinito, no se deja atrapar como objeto por la
mente matemtica plenamente, sin dejar residuos.
No es, pues, de extraar que el enfrentamiento con el infinito sea la gran fuente
de fecundidad del pensamiento matemtico, pero al mismo tiempo la causa de las
frustraciones ms profundas en aquellos que han pensado en algn momento en
tenerlo aferrado entre los dedos. Los momentos ms fecundos de la historia de la
matemtica han tenido lugar precisamente en los instantes de audacia matemtica
hacia un nuevo tipo de comprensin del infinito: pitagricos, descubrimiento del
irracional, Zenn, clculo infinitesimal, dominio de los procesos de paso al lmite,
series, integral,... por Cauchy, Weierstrass, teora de conjuntos de Cantor, teorema de
Gdel, teoras de conjuntos no cantorianas...
En nuestro siglo ha tenido lugar el resultado ms espectacular en lo que se
refiere a las consecuencias de la presencia del infinito en la matemtica: el teorema de
Gdel. Durante el siglo 20 la matemtica ha experimentado un crecimiento sin
precedentes. Se han creado multitud de mtodos eficaces para atacar problemas
viejos y nuevos, como por ejemplo la teora de distribuciones. Se han obtenido teoras
enormemente fructferas desde los puntos de vista ms diversos, tanto desde la ptica
de la matemtica fundamental como de la matemtica aplicada. Por poner un ejemplo,
la teora de sistemas dinmicos.

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

Se han obtenido teoremas que vienen a culminar siglos de trabajo de la comunidad
matemtica, tales como el de la clasificacin de los grupos simples finitos o el teorema
de Fermat.
Y, sin embargo, desde el punto de vista de la necesaria autocomprensin de lo
que la actividad matemtica es en realidad, ningn teorema ni teora pueden ser
comparados en profundidad e importancia para el pensamiento matemtico con lo que
representa el teorema de Gdel sobre la necesaria incompletitud de cualquier sistema
matemtico. En este aspecto, el autntico teorema del siglo 20, mucho ms que el de
Fermat o el de los cuatro colores, ser, para la historia, el teorema de Gdel.
El teorema de Gdel es la respuesta tajante y frustradora al sueo que Hilbert
expresaba en 1925, en su artculo famoso ber das Unendliche: "En cierto sentido la
matemtica se ha convertido en una corte de arbitraje, un tribunal supremo para
decidir cuestiones fundamentales sobre una base concreta en la que todos pueden
concordar y donde cada afirmacin sea controlable,...Un ejemplo del tipo de
cuestiones fundamentales que pueden ser tratadas de este modo es la tesis de que
todo problema matemtico es soluble. Todos nosotros estamos convencidos de que
realmente es as. De hecho uno de los principales atractivos para atacar un problema
matemtico es que siempre omos esta voz dentro de nosotros: Ah est el problema,
encuentra la contestacin, siempre la puedes encontrar puramente pensando, pues en
matemtica no hay ningn ignorabimus".
Hilbert trat de realizar este sueo de cerciorarse del "no ignoraremos" a travs
del proceso de formalizacin, es decir, tratando de considerar la matemtica como un
sistema formal, una especie de juego de smbolos, como las fichas de ajedrez, en un
principio desprovistos por s mismos de significado que lo adquieren a travs de las
convenciones iniciales de los postulados o axiomas del sistema. Estos objetos se
manipulan a travs de las reglas de manejo que sus definiciones introducen y a travs
de las reglas de implicacin lgica en las que todos convenimos. As van resultando
los teoremas del sistema. Se tratara entonces de asegurarse de que cualquier
proposicin que se pueda proponer en el sistema con sentido dentro de l podra ser
demostrada o bien refutada, es decir su negacin demostrada.
En su artculo Sobre proposiciones formalmente indecidibles de los Principia
Mathematica y sistemas emparentados, en 1931, Kurt Gdel demostraba con la
esperanza de Hilbert. En cualquier sistema formal en el que se pueda desarrollar la
aritmtica existen proposiciones legtimas del sistema que son indecidibles, es decir ni
su afirmacin ni su negacin son demostrables. Y una de ellas es la que afirma la
consistencia del sistema, es decir la imposibilidad de que en l aparezcan
contradicciones.
No trataremos de perseguir aqu en profundidad las implicaciones profundas
que el teorema de Gdel ha causado sobre la concepcin de la matemtica.
Solamente quisiera presentar unos pocos testimonios, al modo de confesiones, de
matemticos que se hacen eco del impacto que la nueva visin ha producido en ellos.
Bertrand Russell afirmaba en 1901 que "el edificio de las verdades
matemticas se mantiene inconmovible e inexpugnable ante todos los proyectiles de la
duda cnica". En 1924 ya haba cambiado considerablemente de opinin. Para l, la
lgica y la matemtica, al igual que, por ejemplo, las ecuaciones de Maxwell, "son
aceptadas debido a la verdad observada de algunas de sus consecuencias lgicas".
En 1959, en la descripcin de su itinerario filosfico, afirma: "La esplndida certeza

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

que siempre haba esperado encontrar en la matemtica se perdi en un laberinto
desconcertante".
El mismo Carnap, de la corriente neopositivista, al que en 1930 se poda oir
ponderar la matemtica como "la ms cierta de todas las ciencias", seala en 1958
como una de las analogas principales entre fsica y matemtica "la imposibilidad de la
certeza absoluta".
Hermann Weyl, uno de los matemticos ms profundos de nuestro siglo, se
percat, incluso antes de que Gdel publicara su contribucin sobre los fundamentos,
de que la matemtica era "irremisiblemente falible". Y en 1949 presenta lo que para l
debe ser la adecuada interpretacin de la matemtica como ciencia: "Ningn Hilbert
ser capaz de asegurar la consistencia para siempre; hemos de estar satisfechos de
que un sistema axiomtico simple de matemticas haya superado hasta el presente el
test de nuestros elaborados experimentos matemticos... Una matemtica
genuinamente realista debera concebirse, en parangn con la fsica, como una rama
de la interpretacin teortica del nico mundo real y debera adoptar la misma actitud
sobria y cautelosa que manidfiesta la fsica hacia las extensiones hipotticas de sus
fundamentos."
John von Neumann afirma asimismo en 1947 que "la matemtica clsica,
aunque nunca ms se pudiera estar absolutamente seguro de su fiabilidad... se
sostiene sobre un fundamento al menos tan firme como, por ejemplo, la existencia del
electrn. En consecuencia, si se est dispuesto a aceptar las ciencias, se puede
aceptar tambin el sistema de la matemtica clsica." Y confiesa tambin cmo
experiment el mismo itinerario mental comn a tantos matemticos de nuestro siglo:
"Yo mismo reconozco con qu humillante facilidad cambiaron mis puntos de vista
respecto de la verdad absoluta de la matemtica... y cmo cambiaron tres veces
sucesivas."
Quine, uno de los lgicos matemticos importantes de nuestro siglo afirmaba
ya en 1958 desde su perspectiva: "lo ms razonable es considerar la teora de
conjuntos, y la matemtica en general, como consideramos las porciones tericas de
las ciencias naturales; en cuanto que contienen verdades o hiptesis que han de ser
vindicadas menos por la pura luz de la razn que por la contribucin indirecta y
sistemtica que hacen a la organizacin de los datos empricos en las ciencias
naturales".
En 1956 Imre Lakatos introduce en la matemtica los conceptos filosficos
sobre la ciencia de Karl Popper. Un resultado prctico de sus investigaciones fue el
siguiente programa.
Lo primero que hay que hacer es dejarse en matemticas de sentimentalismos
apegados a las verdades absolutas de los pitagricos y platnicos: "Por qu no
admitir honestamente la falibilidad matemtica y tratar de defender la dignidad del
conocimiento falible frente al escepticismo cnico ms bien que tratar de engaarnos a
nosotros mismos creyendo que seremos capaces de arreglar invisiblemente el ltimo
jirn en el tejido de nuestras ltimas" intuiciones?"
Como se ve, de acuerdo con la visin de aquellos que ms han pensado en
nuestro siglo sobre la naturaleza profunda del quehacer matemtico, hay que
considerar la matemtica como un proceso tentativo de acercamiento a la realidad que
no se puede soar en realizar de un golpe ni completamente. No tratamos de
verdades inmutables ni infalibles. La matemtica es una actividad del hombre, vieja

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

como la msica y la poesa, y que como ellas persigue una cierta armona y belleza,
esas que puede ciertamente proporcionar la estructura mental gil, limpia y elegante
de las construcciones matemticas. La causa profunda de esta incomplecin de la
matemtica es la presencia en ella de los procesos infinitos. Una presencia a la que la
matemtica no puede ni debe renunciar. Lo nuestro es lo infinito, s, pero acompaado
por la conciencia de la falibilidad de nuestros procesos de acercamiento a l y del
empeo de correccin de nuestros errores cuando estos sean reconocidos.
Como hemos tenido ocasin de comprobar, especialmente a travs de estas
consideraciones relativas al infinito matemtico, el pensamiento filosfico y el
matemtico, ciertamente dos pilares de nuestra cultura, se encuentran intensamente
entreverados. Vamos a considerar a continuacin algunas de las relaciones del
quehacer matemtico con otro aspecto importante de nuestra cultura, que es el arte.

6.- El quehacer matemtico y el arte

Las relaciones entre las matemticas y el arte son mltiples. Muchos son los
artistas que han extrado su inspiracin en las matemticas, muchos han sido los que
se han apoyado en ellas para construir y analizar estructuras artsticas, musicales,
poticas, arquitectnicas, etc. Dejando un lado tales consideraciones, que nos podran
llevar muy lejos, trataremos ahora de concentrarnos en la consideracin de la
matemtica misma como arte.
La afirmacin de la naturaleza artstica de la matemtica puede sonar extraa
en muchos odos. Si arte es la produccin por parte del hombre de un objeto bello,
espero que tal afirmacin resulte justificada al trmino de las notas que siguen.
Para los pitagricos, la armona, uno de los ingredientes de la belleza, va unida
al nmero en la constitucin ontolgica de todo el universo. Aristteles mismo se
expresa as en su Metafsica (Libro XII, Cap.III, 9): "Las formas que mejor expresan la
belleza son el orden, la simetra, la precisin. Y las ciencias matemticas son las que
se ocupan de ellas especialmente".
Son muchos los testimonios que confirman la existencia de un verdadero placer
esttico en la creacin y contemplacin matemtica. As se expresa H. Poincar en El
valor de la ciencia: "Ms all de la belleza sensible, coloreada y sonora, debida al
centelleo de las apariencias, nica que el brbaro conoce, la ciencia nos revela una
belleza suna belleza superior, una belleza inteligible, nicamente accesible, dira
Platn, 'a los ojos del alma', debida al orden armonioso de las partes, a la
correspondencia de las relaciones entre ellas, a la euritmia de las proporciones, a las
formas y a los nmeros. El trabajo del cientfico que descubre las analogas entre dos
organismos, las semejanzas entre dos grupos de fenmenos cualitativamente
diferentes, el isomorfismo de dos teoras matemticas es semejante al del artista".
Tal vez uno de los testimonios ms elocuentes de esta afirmacin sea el diario
personal de Gauss. En este diario, escrito para l mismo especialmente en la etapa
anterior a sus veinte aos, perodo de muchos de sus grandes descubrimientos, va
anotando, con un laconismo lleno de fuerza y entusiasmo, sus observaciones sobre el
universo matemtico que se va desvelando ante sus ojos asombrados.
Pero este mismo placer esttico en la contemplacin matemtica se da, en
menor grado naturalmente, en todos aquellos a quienes se les presentan
adecuadamente los hechos y mtodos ms salientes de la matemtica elemental. Por
supuesto que el goce esttico de la matemtica se encuentra en el mundo de la

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

armona intelectual, y as su percepcin requiere una preparacin inicial tanto mayor
cuanto ms elevado sea el objeto que se presenta. Por otra parte, as como el placer
que puede proporcionar la pintura y la msica, dirigidas a nuestros sentidos, al menos
de modo inmediato, es perceptible hasta cierto grado con una contemplacin ms o
menos pasiva, el placer esttico de la matemtica exige sin duda un grado de
participacin activa mucho ms intenso. En el mundo de la matemtica, a fin de gozar
del objeto bello que se presenta, es necesario crearlo o recrearlo, de tal modo que el
goce esttico aqu presente es comparable ms bien con el de hacer msica, cantar,
danzar, pintar, fabular,...
Analicemos un poco ms a fondo el origen de esta belleza matemtica desde
una perspectiva clsica. La belleza en general ha recibido muchas definiciones. S.
Alberto Magno defini la belleza en el objeto como splendor formae, el resplandor del
ncleo fundamental del ser, su unidad (armona interna), su verdad (es decir su
inteligibilidad y adecuacin consigo mismo y con el mundo en su entorno), su bondad
(su capacidad de llenar sus tendencias propias y las de los seres a su alrededor).
Estas cualidades deben resplandecer de modo que sean accesibles y deleitables sin
spero trabajo.
Otra definicin clsica de la belleza es la de Sto. Toms de Aquino: Pulchra
sunt quae visa placent. Bello es aquello que resplandece luminoso en su propio ser de
modo que a quien lo contempla le proporciona el sosiego y la facilidad de una
percepcin perfecta. Esto es la contemplacin esttica. Bello es aquello que se
manifiesta de tal forma que produce una actividad armoniosa y compenetrada de las
capacidades anmicas del hombre.
No se puede tampoco pretender describir la belleza matemtica con un simple
trazo. Me limitar a sealar unos cuantos elementos de belleza que, a mi parecer,
constituyen componentes bastante tpicas en la actividad matemtica.
Un tipo de belleza matemtica consiste en el orden intelectual que ante hechos
aparentemente inconexos comienza a aparecer. Como un paisaje desde lo alto de la
montaa que se devela de una bruma que lo cubra. Todo el objeto contemplado
aparece en conexin y la unidad lo invade. Objetos aparentemente diversos que
surgen en contextos diferentes resultan ser el mismo o estar ligados por una estructura
armoniosa. La contemplacin fcil de esta unidad es sin duda una de las fuentes de
gozo esttico presente en la contemplacin de muchos hechos matemticos.
Otro tipo de gozo matemtico consiste en la realizacin de una ampliacin de
perspectivas con la que de una visin parcial se llega a la contemplacin total de un
objeto mucho ms esplendoroso, en el que nuestro cuadro inicial queda englobado
ocupando su lugar justo. En la exposicin actual de la teora de los nmeros naturales,
enteros, racionales, reales, complejos, se resume toda una aventura apasionante del
espritu humano que, a travs de ms de sesenta siglos de historia escrita, ha tenido
sus callejones aparentemente sin salida, sus idas y venidas, sus paradojas.
Otro elemento esttico presente muchas veces en la creacin matemtica
consiste en la posibilidad de una contemplacin descansada e inmediata de una
verdad profunda, inesperada y llena de implicaciones. Como ejemplo de la matemtica
elemental pueden citarse alguna de las muchas demostraciones grficas del teorema
de Pitgoras que casi no requieren ms que posar la mirada sobre ellas.
Naturalmente que los diferentes hechos matemticos presentan muy diversos
grados de belleza. Muchos no contienen ningn elemento bello. Es indudable que el

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

que una proposicin matemtica sea cierta no implica que sea bella. Que
2^32+1=641x6700417 es una verdad matemtica interesante por motivos histricos,
pero carente de gran belleza intrnseca. Existen teoremas claramente feos. Muchas
teoras, en su nacimiento penoso y reptante, han resultado en un principio confusas y
desprovistas de unidad y belleza. El clculo infinitesimal de los tiempos de Newton y
Leibniz constituye probablemente uno de los logros ms importantes y tiles de la
ciencia moderna, pero el grado de confusin y fealdad en que en un principio se
encontraba contribuy intensamente a que su expansin y aceptacin fuesen mucho
ms lentas de lo que la teora y sus aplicaciones merecan.
Qu caractersticas debe presentar un hecho matemtico para que se pueda
calificar como bello? La belleza matemtica parece incluir cualidades tales como
seriedad, generalidad, profundidad, inevitabilidad, economa de pensamiento,
transparencia, sobriedad, adecuacin,...
La seriedad se manifiesta en las ideas que pone en conexin, que
normalmente dan lugar, en su desarrollo, a una buena porcin del campo matemtico
en que tal hecho se encuentra, ya sea porque el mtodo que lo crea es la clave que
ilumina dicho campo, ya sea porque el hecho en cuestin es el germen mismo de todo
ese cuerpo matemtico. La generalidad se ha de dar con una cierta mesura. La
generalizacin por s misma no es en muchos casos ms que el producto de una
mana, sin gran valor. Pero es cierto que un hecho demasiado concreto no despierta
una gran admiracin. Los matemticos suelen calificar un mtodo de "elegante" para
indicar el tipo de sobriedad, economa de medios y transparencia que a veces se
encuentra en la demostracin de tal o cual teorema o hecho matemtico. El proceso
diagonal de Cantor, el mtodo de dualidad en geometra proyectiva son ejemplos
caractersticos de esta cualidad.
All donde hay belleza matemtica, sta no se agota y su contemplacin nunca
cesa de producir ese sentimiento de satisfaccin, adecuacin y acabamiento que una
obra arquitectnica perfecta produce en el nimo de quien la contempla.
La cualidad artstica de la matemtica se manifiesta asimismo en el proceso de
su creacin, que participa mucho de las caractersticas del proceso creativo en
cualqueir otro arte.
Existe un magnfico estudio psicolgico de J. Hadamard, gran matemtico l
mismo, sobre el proceso creativo en matemticas (La psicologa de la invencin en el
campo matemtico). Otro de los clsicos en este tema es una famosa conferencia
pronunciada por Poincar ante la Sociedad Francesa de Psicologa titulada La
invencin matemtica. Quien no haya tenido alguna experiencia creativa en
matemticas no podr menos de sentirse asombrado ante las observaciones de
Poincar sobre el proceso matemtico. A juzgar por el papel que desempea la
intuicin, la inspiracin, el trabajo y el descanso, y aun el sueo, o el ensueo, uno
pensara asistir a la composicin de una sinfona musical. Y en este sentimiento de
ddiva repentina que la creacin matemtica comporta a menudo coinciden muchos
matemticos famosos como atestigua el mismo estudio de Hadamard. Por eso puede
afirmar Poincar con toda razn: "Puede extraar el ver apelar a la sensibilidad
apropsito de demostraciones matemticas que, parece, no pueden interesar ms que
a la inteligencia. Esto sera olvidar el sentimiento de belleza matemtica, de la armona
de los nmeros y de las formas, de la elegancia matemtica. Todos los verdaderos
matemticos conocen este sentimiento esttico real. Y ciertamente esto pertenece a la
sensibilidad. Ahora bien, cules son los entes matemticos a los que atribuimos
estas caractersticas de belleza y elegancia susceptibles de desarrollar en nosotros un

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

sentimiento de emocin esttica? Son aquellos cuyos elementos estn dispuestos
armoniosamente, de forma que la mente pueda sin esfuerzo abrazar todo el conjunto
penetrando en sus detalles. Esta armona es a la vez una satisfaccin para nuestras
necesidades estticas y una ayuda para la mente, a la que sostiene y gua. Y al mismo
tiempo, al colocar ante nuestros ojos un conjunto bien ordenado, nos hace presentir
una ley matemtica... As pues, es esta sensibilidad esttica especial la que
desempea el papel de criba delicada de la que habl antes. Esto permite comprender
suficientemente por qu quien no la posee no ser nunca un verdadero creador".
El que la matemtica participe, efectivamente, de la condicin de creacin
artstica no da, por supuesto, carta blanca a los matemticos para entregarse a un
esteticismo estril. La calidad artstica de la matemtica es como una ddiva con la
que se encuentran quienes se dedican a esta actividad que es, al mismo tiempo y en
grado muy intenso, ciencia y tcnica. A este propsito resultan muy acertadas las
sensatas observaciones de uno de los mejores matemticos de este siglo, creador l
mismo de un sinfn de campos matemticos diversos. As dice John von Neumann en
su artculo El matemtico: "A medida que una disciplina matemtica se separa ms y
ms de su fuente emprica o an ms si est inspirada en ideas que provienen de la
realidad de un modo slo indirecto, como de segunda o tercera mano, est ms
cercada de graves peligros. Se va haciendo ms y ms esteticismo puro, se convierte
ms y ms en un puro arte por el arte. Esto no es necesariamente malo si el campo en
cuestin est rodeado de otros campos relacionados con l que tengan todava
conexiones empricas ms cercanas, o si la disciplina en cuestin est bajo la
influencia de hombres dotados de un gusto excepcionalmente bien desarrollado. Pero
existe un grave peligro de que este campo venga a desarrollarse a lo largo de las
lneas de menor resistencia, de que la corriente, tan lejos de su fuente, venga a
disgregarse en una multitud de ramas insignificantes y de que la disciplina venga a
convertirse en una masa desordenada de detalles y complejidades. En otras palabras,
a gran distancia de su fuente emprica, o bien despus de mucha incubacin
abstracta, un campo matemtico est en peligro de degeneracin".

7.- Oportunidades y riesgos de la matematizacin de la cultura

En la actualidad, la penetracin de la matemtica en la cultura es bien patente.
En la ciencia antigua y moderna, el campo de aplicacin por antonomasia del
pensamiento matemtico fue durante mucho tiempo la ciencia fsica. Hoy da sin
embargo la matemtica va penetrando todos los mbitos de las ciencias, incluidas las
ciencias sociales y humanas, como la economa, la psicologa, la lingstica, a medida
que el matemtico se ha ido enfrentando con el problema de la creacin de nuevas
herramientas que se adapten a las estructuras peculiares de tales ciencias.
Nuestra medicina, por ejemplo, en sus modernos mtodos de exploracin no
intrusiva hace un intenso uso de los resultados del anlisis de Fourier, y en el estudio
profundo de los problemas relativos al extrao equilibrio que reina en nuestro
organismo entre orden y caos comienza a aprovecharse del desarrollo espectacular
que en nuestros das est experimentando la teora de los sistemas dinmicos. Incluso
la lingstica y aun el arte actual se aprovechan considerablemente de la matemtica,
no solamente a travs de las nuevas tecnologas, fruto frecuentemente de
exploraciones matemticas profundas, sino incluso en sus mismas concepciones
artsticas.
Esta tendencia a la matematizacin de las ciencias de todo tipo se ve
intensamente reforzada por la entrada en escena del ordenador. La aparicin del
telescopio trajo consigo una verdadera revolucin cientfica. Esquemas enteros del

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

pensamiento cientfico vigentes hasta el momento hubieron de ser reemplazados por
otros nuevos. La invencin, ms tarde, del microscopio introdujo una remodelacin
parecida en otros campos. Telescopio y microscopio venan a perfeccionar tan slo las
herramientas de observacin del hombre.
La irrupcin del ordenador en el siglo 20 como instrumento auxiliar del
pensamiento humano est introduciendo una revolucin mucho ms drstica y
profunda, no slo por los cambios ms o menos superficiales que en nuestra forma de
vivir se estn operando, sino sobre todo por las transformaciones que conllevan en lo
que se refiere a lo mas especfico de nuestro ser humano, la capacidad de pensar. La
superioridad del sistema hombre-microscopio para la observacin sobre el hombre con
sus ojos desnudos es ciertamente notable, pero probablemente resultar insignificante
comparndola con la superioridad para ciertos aspectos importantes de la actividad
mental del sistema hombre-ordenador sobre el hombre desprovisto de este
instrumento, sobre todo cuando con el avance de la tecnologa se logre una
interaccin mucho ms cmoda y fluida entre el hombre y su mquina. Cuando en un
futuro prximo el mdico, por ejemplo, o bien el economista pueda incorporar a su
dinamismo mental el sistema experto hbilmente programado de forma tan natural
como ahora se cala sus gafas, para tener as una idea ms exacta de los problemas
con que se enfrenta, su capacidad de tomar una decisin acertada en la mayor parte
de los casos ser extraordinariamente superior a la actual.
La penetracin imparable de la matemtica en multitud de aspectos de la
actividad cotidiana del hombre es bastante obvia. La mayor parte de nuestras
mquinas, unas ms sofisticadas y otras ms simples, no son sino la encarnacin de
principios y mtodos que provienen, en ltima instancia, del anlisis matemtico de la
realidad. Los principios de organizacin de nuestras empresas y de una buena parte
de nuestra economa pretenden basarse en principios matemticos bien sofisticados.
La influencia de la matemtica en el desarrollo humano se hace bien patente a
cualquiera que observe con atencin la historia de las ciencias y de la tecnologa, y
aun de algunas porciones del arte.
Pero los logros obtenidos gracias al desarrollo de la matemtica son de tal
magnitud, y muy especialmente en nuestro siglo, que a veces nos pueden hacer
olvidar las limitaciones profundas del pensamiento matemtico que provienen, al igual
que su potencia, de lo ms hondo de su naturaleza. A ellas debemos dedicar tambin
una parte de nuestra atencin.
El xito de la matemtica se debe a que es una mutilacin de la realidad, una
abstraccin. A travs de tal mutilacin dominamos ciertos aspectos de la realidad, pero
no la realidad misma en su totalidad. Podemos sentir la tentacin de pensar que
tenemos el pleno seoro de ella con nuestra construccin que, sin embargo, es
potente en muchas ocasiones precisamente porque ha dejado fuera de consideracin
aspectos que pueden resultar enormemente importantes para el hombre como tal, no
como productor de artefactos.
Viene bien percatarse de las limitaciones inherentes al pensamiento
matemtico a fin de contrarrestar las posibles aberraciones de una corriente hacia la
exagerada matematizacin de nuestra cultura. La matemtica es muy poderosa y muy
til en nuestro intento de obtener un cierto dominio de algunos aspectos de la
naturaleza, pero conviene no olvidar que el ser humano es mucho ms profundo que
lo que la ms potente de las estructuras matemticas pueda abarcar.

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

Trataremos de examinar a continuacin algunos de los importantes riesgos que
tanto el pensamiento cientfico en general como la filosofa misma corren si se dejan
llevar por el espejismo del xito matemtico tratando de adaptar indiscriminadamente
sus mtodos de exploracin. Desafortunadamente, aspectos importantes de la cultura
humana han emprendido esta tendencia peligrosa que no parece fcil reconducir.

8.- Los riesgos de la matematizacin de las ciencias

En un artculo muy breve y punzantemente titulado La perniciosa influencia de
la matemtica sobre la ciencia J. T. Schwartz proporciona tres claves para analizar las
perjudiciales consecuencias que pueden sobrevenirle al cientfico si cede al prurito de
matematizacin-informatizacin a ultranza prevalente en el ambiente. La matemtica,
y ms an la informtica, responde, en una descripcin psicolgica del tipo de
inteleccin que proporciona, a tres palabras clave: single-mindedness (con un slo
objetivo), literal-mindedness (apegada a la letra), simple-mindedness (de mente
simple). Estas caractersticas sealan fuertes diferencias de aproximacin a los
problemas de los cientficos y tecnlogos con respecto a la de los matemticos.
Incluso las ciencias ms precisas funcionan normalmente con aproximaciones
ms o menos bien entendidas hacia las que el mismo cientfico tiene que mantener un
apropiado escepticismo. Este auto escepticismo extraordinariamente saludable es
ajeno a la actitud del matemtico.
Por otra parte la matemtica, e igualmente la informtica, ha de trabajar con
situaciones bien definidas. El hbito del matemtico de ejercitar su sentido de
literalidad puede tener consecuencias bien desafortunadas. El matemtico convierte
las hiptesis teorticas del cientfico, que para el cientfico mismo no son en principio
ms que puntos de partida para su intencin analtica, en axiomas y luego toma estos
axiomas en sentido literal estricto. Ello comporta el peligro de que intente persuadir
tambin al cientfico a tomar literalmente tales axiomas. Y de este modo queda en la
penumbra la cuestin central en la investigacin cientfica, que es fuertemente
perturbadora en el contexto matemtico: qu va a pasar con toda esta aproximacin
inicial si los axiomas se relajan?. Se puede pensar en el episodio de la funcin delta de
Dirac, tan til a los fsicos por largo tiempo y ocasin de burla para los matemticos
hasta que encontraron las razones profundas del xito de los fsicos.
El fsico tiene sus razones para temer el argumento preciso, ya que un
argumento que solamente es convincente si es preciso pierde toda su fuerza cuando
las hiptesis sobre las que se basa cambian ligeramente, mientras que un argumento
que es robusto, es decir convincente aunque impreciso, bien puede permanecer
estable bajo pequeas perturbaciones de los axiomas subyacentes.
Por otra parte, la simplicidad e ingenuidad del ordenador, como la de la
matemtica misma, la hacen propicia para fabricar conclusiones a partir de cualquier
idea por absurda que sea, para vestir con igual entusiasmo ideas cientficas brillantes
y otras totalmente absurdas con impresionantes uniformes de frmulas y
teoremas. Desgraciadamente, una idea absurda resulta mucho ms persuasiva en
uniforme que desnuda. El resultado, tal vez ms comn en las ciencias sociales, es
mala teora con pasaporte matemtico.
La atraccin intelectual de un argumento matemtico, as como el esfuerzo
considerable para seguirlo, hace de la matemtica una poderosa herramienta de
prestidigitacin intelectual, una situacin de la que algunos se aprovechan y en la que
otros se dejan embaucar ingenuamente.

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

9.- Riesgos de la matematizacin de la filosofa
Son muchos, entre los filsofos del siglo 20, los que han quedado
desmedidamente deslumbrados por el innegable xito de los mtodos matemticos
para conseguir resolver muchos de sus intrincados problemas. La inspiracin en el
pensamiento matemtico de importantes filsofos clsicos se ha convertido en una
impositiva imitacin de su modo de proceder en escuelas enteras de pensamiento. La
opinin de Kant, a la que antes hemos aludido, que l mismo no hizo aplicable a la
filosofa, sino a las ciencias de la naturaleza,"tanto de verdadera ciencia cuanto de
matemtica", se la han apropiado para s mismos y para su propia actividad muchos
de los filsofos de las escuelas dominantes del neopositivismo y de la filosofa
analtica. El examen de las razones del xito del mtodo de la matemtica en los
ltimos 150 aos, les ha llevado a prescribir como mtodo propio de trabajo el mtodo
axiomtico, la precisin absoluta, el rigor,... declarando sin sentido todos aquellos
temas de la filosofa tradicional que no sean abordables mediante tales esquemas.
En gran parte esta situacin tiene su origen en un malentendido de profundas
consecuencias. Gian-Carlo Rota, gran matemtico y gran filsofo, ha analizado en un
breve artculo algunas de las caractersticas de esta equivocada concepcin de las
matemticas por parte de los filsofos (Mathematics and Philosophy: The Story of a
Misunderstanding).
Los filsofos han pensado en el mtodo axiomtico como mtodo de
investigacin. Ningn matemtico ni de este siglo ni de ninguno ha utilizado el mtodo
axiomtico como herramienta de descubrimiento en su propio campo. El mtodo
axiomtico ha servido para ayudar en la depuracin del trabajo de la imaginacin e
intuicin de posibles desvaros al examinar objetos particularmente sutiles.
La precisin y el rigor de pensamiento al modo matemtico se han convertido
para muchos filsofos actuales en imperativos absolutos. Todo lo que no sea tratable
con baremos de precisin semejantes a los matemticos carece de sentido para el
filsofo. Tal vez, dicen, se deba ocupar de l el psiclogo, o tal vez nadie. Pero no se
han percatado de que el rigor y precisin de la matemtica se consigue al precio de
una mutilacin consciente de la realidad, que el filsofo, si lo que pretende es tratar de
dar una interpretacin a los problemas profundos que el espritu humano en su
confrontacin con el universo tiene ante s, no se puede permitir. Con razn se
expresa Gian-Carlo Rota del siguiente modo a propsito de la filosofa analtica:
"Cunto durar la presente mana por la precisin en filosofa? Es que a un
concepto le hace falta ser preciso para estar lleno de sentido y ser efectivo? O es que
los filsofos quieren hacerse el harakiri ante el altar de las matemticas?" (M.Kac, GC. Rota, J.T.Schwartz, Discrete Thoughts. Essays on Mathematics, Science, and
Philosophy).
El pensamiento matemtico llega hasta donde puede llegar. Y ser inadecuado
pedirle que llegue ms all. Bajo esta luz se puede entender la trayectoria del
pensamiento de Wittgenstein. En su Tractatus Logico-Philosophicus, al parecer ledo
slo a medias por los filsofos neopositivistas, aparece: "Sentimos que incluso cuando
todos los posibles problemas de las ciencias de la naturaleza hayan sido resueltos,
nuestros problemas vitales no han sido tocados en absoluto. Por supuesto que
entonces no queda ninguna pregunta ya; y precisamente sta es la respuesta.-La
solucin del problema de la vida se manifiesta con la desaparicin de este problema.
(No es ste el motivo por el que las personas a quienes el sentido de la vida, tras
largas dudas, se les ha hecho claro, no pudieron decir en que consista este
sentido?).-Existe ciertamente lo inexpresable. Se muestra. Es lo mstico".

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

En realidad, se podra decir que la actitud razonable ante la imposibilidad del
lenguaje cientfico de expresar todos los contextos posibles en que se colocan los
problemas del hombre, no es la expresada al final del Tractatus: Wovon man nicht
sprechen kann, darber muss man schweigen (Sobre lo que no se puede hablar hay
que callar). Ms bien, puesto que hay multitud de cuestiones sobre las que es
imposible que el hombre calle, debera ser: Wovon man nicht sprechen kann, darber
muss man musizieren. Aunque no con el rigor y precisin de la matemtica, el hombre
puede y debe expresarse sobre sus problemas ms profundos mediante las infinitas
formas de comunicacin no matemtica que posee, la evocacin, la contemplacin, la
religin, la msica, la poesa, el juego,....
Y en realidad Wittgenstein as lo entendi ms tarde. La obra del que se
conoce como "segundo Wittgenstein" es un intento de retomar el quehacer filosfico,
especialmente sobre el lenguaje, mediante otras formas de acercamiento y
comunicacin humana.

10.- Los riesgos de la matematizacin en nuestra vida cotidiana

En el proceso de matematizacin e informatizacin, tal como va teniendo lugar,
se pueden percibir rasgos profundamente inquietantes que, de no ser neutralizados a
tiempo, pueden ciertamente conducir a una situacin que, desde nuestra perspectiva
actual, deberamos juzgar como un lamentable empobrecimiento y deterioro de la
actividad humana. La matematizacin de la cultura acompaada de una adecuada
humanizacin de la matemtica puede servir como meta brillante del futuro. Pero la
matematizacin e informatizacin en s misma no es un ideal tras el que haya que
correr sin una buena dosis de discernimiento. En la amplia avenida de la
matematizacin e informatizacin podemos encontrar numerosas trampas en las que
podemos quedar atrapados si no caminamos con suficiente atencin. En un artculo de
1988, escrito al margen de la lectura de El Sueo de Descartes de Davis y Hersh, trat
de expresar algunas de ellas, que inciden tanto en aspectos de la cultura humana
general como en la misma visin cientfica y matemtica actual:
Pensar ingenuamente que todo puede ser matematizado sin residuos.
Si la misma matemtica, como ensea el teorema de Gdel, deja necesariamente
resquicios por matematizar, incluso en temas tan importantes como los que se refieren
a su propia consistencia, es decir a la posibilidad de que en ella surjan cotradicciones,
qu no habr de quedar por hacer en el intento de matematizar la fsica o la biologa?
Bueno es que aceptemos desde un principio la existencia de lo inmatematizable. De
este modo no caeremos fcilmente en la ceguera hacia otros aspectos tan ricos del
universo como la vida y los valores del espritu humano.
Dejar que nuestra vida se ahogue en cifras y en formalismos
matemticos. El ambiente del ordenador est constituido por recetas, lenguajes
precisos, formalismos, donde lo que interesa es ms lo operativo que el autntico
sentido de las operaciones. El gran peligro no es, como algunas pelculas de cienciaficcin pretenden, que el ordenador pase a ser cuasihumano, sino que el hombre, por
adaptarse a su mquina, pase a ser un robot. Ejemplares de este fenmeno no
escasean incluso en nuestra cultura actual.
Inducir al matemtico a jugar a aprendiz de brujo. Se piensa que para cada
situacin real la matemtica tiene un modelo adecuado, sin tener en cuenta que la
matemtizacin comporta necesariamente una cierta amputacin de la realidad, y que
los elementos, de los que en este proceso se hace caso omiso, pueden resultar en
muchas ocasiones y para muchas personas enormemente importantes y su omisin

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

catastrfica. Hay muchos aspectos de la vida del hombre demasiado importantes
como para acudir con ingenuidad al matemtico y pedirle que sea l quien nos los
aclare.
Confundir manipulacin con sabidura. Nuestros ordenadores nos hacen
capaces actualmente de manipular con xito fragmentos importantes de la realidad sin
que comprendamos bien por qu. Podemos estar satisfechos de nuestro xito. Al fin y
al cabo tambin manejamos nuestro cerebro sin que entendamos casi nada de su
funcionamiento. Pero no conviene perder de vista que el xito manipulativo est an
lejos de la comprensin a la que podemos y debemos aspirar. No perdamos el sentido
y la atraccin del misterio.
Caer en el mito del genio universal que puede pontificar infaliblemente sobre
cualquier asunto. Con respecto a ciertas figuras distinguidas de la ciencia moderna
parece haberse producido en muchas personas, tanto de la calle como de la ciencia, el
siguiente discurso de pensamiento: "Si la matemtica es la base y el cemento de la
cultura, aquel que logre situarse en el corazn de ella y desde all contemplar nuestro
mundo, est en una situacin privilegiada para juzgar adecuadamente sobre su
destino. Oigmosle y sigmosle". Este parece haber sido el significado de la
veneracin cuasirreligiosa de muchos en nuestro propio siglo hacia ciertos personajes
de la ciencia. Muy a su pesar, Einstein fue convertido en una especie de sumo
pontfice de la verdad no slo cientfica, sino religiosa y moral. Sera bueno recordar
que muy a menudo el matemtico, y el cientfico en general, fuera de su propia esfera
de competencia suele ser tan superficial y sesgado como el que ms.
A la vista de problemas tales como los aqu esbozados es claro que el proceso
de matematizacin creciente que estamos viviendo actualmente, acelerado por la
presencia de la informtica, necesita ir acompaado de una reflexin profunda sobre
su sentido y sus implicaciones profundas para el hombre y la sociedad. Si nuestros
cientficos y educadores no son conscientes de las posibles trampas subyacentes al
estilo matemtico y al modo de pensar que la cultura informtica propicia, pueden
conducir fcilmente a generaciones ms jvenes a adoptar actitudes francamente
perjudiciales.

11.- Referencias
BOURBAKI, N., L'architecture des Mathmatiques, en Le Lionnais (editor), Les
grandes courants de la pense mathmatique (Cahiers du Sud, 1948), 35-47.
DAVIS, P.J. and HERSH, R., Experiencia matemtica (Labor-MEC, Barcelona, 1988).
DAVIS, P.J. and HERSH, R., El sueo de Descartes. El mundo segn las matemticas
(Labor-MEC, Barcelona, 1989).
GDEL, K., ber formal unentscheidbare Stze der Principia Mathematica und
verwandter Systeme, I, Monatshefte fr Mathematik und Physik, 38 (1931), 173-198.
HADAMARD, J., The Psycholgy of Invention in the Mathematical Field (Princeton,
Princeton University Press, 1945)
HILBERT, D., ber das Unendliche, Mathematische Annalen 95 (1925), 161-190.
KAC,M.,ROTA,G-C., and SCHWARTZ, J.T., Discrete Thoughts.
Mathematics, Science, and Philosophy (Birkhuser, Boston, 1986).

Essays

on

Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net

LAKATOS, I., Matemticas, ciencia y epistemologa (Alianza, Madrid, 1981)
von NEUMANN, J., The Mathematician, en R.B.Heywood (editor), The Works of Mind
Chicago, University of Chicago Press, 1947).
POINCAR, H., La creacin matemtica, en M.Kline (editor), Matemticas en el
mundo moderno (Blume, Madrid, 1974), 14-17.
ROTA, G-C., Mathematics and Philosophy: The Story of a Misunderstanding,
Humanistic Mathematics Network Newsletter #6, May 1991, 49-55.
SCHWARTZ, J.T., The Pernicious Influence of Mathematics on Science, en Kac, M.,
Rota, G.-C., and Schwartz, J.T., Discrete Thoughts. Essays on Mathematics, Science,
and Philosophy (Birkhuser, Boston, 1985), 19-25.
WHITEHEAD, A.N., The Interpretation of Science. Selected Essays (Bobbs-Merrill,
New York, 1961).
WHITEHEAD, A.N., Science and the Modern World (Free Press, New York, 1967).
WITTGENSTEIN, L., Tractatus logico-philosophicus (Annalen der Naturphilosphie,
Ostwald, 1921).