Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Muñoz PDF
Muñoz PDF
Probablemente Jenfanes escribi esto muy cerca del tiempo y lugar en que Pitgoras
descubra la relacin numrica entre las notas musicales, basada en los tres primeros nmeros
1,2,3, con los que construye la escala de quintas que hoy llamamos Pitagrica. Este
descubrimiento debi ser determinante en su filosofa: los nmeros enteros daban razn del
Orden del Mundo; la esencia de todo lo existente era el nmero; lo ilimitado era el Mal, el
Caos.
En fecha incierta, probablemente hacia el 450 a.C. (2) los pitagricos demuestran que la
diagonal y el lado del cuadrado son inconmensurables: ninguna unidad de medida que
tomemos permitir expresar a la vez el lado y la diagonal mediante nmeros enteros. Dicho
con otras palabras: el nmero de veces que el lado est contenido en la diagonal es
inexpresable mediante fracciones, es un nmero irracional. Lo ilimitado se haca presente
en una cuestin geomtrica elemental, lo que chocaba frontalmente con la mstica de los
nmeros enteros de la escuela pitagrica. Dice Spengler (3): Para el alma antigua, el
principio de lo irracional, esto es, la destruccin de la serie estatuaria de los nmeros enteros,
representantes del orden perfecto del mundo, fue como un criminal atentado contra la
divinidad misma. Sin embargo, haba que aceptar el hecho, porque la demostracin era
incontestable. Por primera vez se pone de manifiesto la naturaleza propia de la verdad
matemtica: no cabe negarla; su negacin es inconcebible, carente de sentido. Por eso la
verdad matemtica no puede ser destruida, luego tampoco creada; no pertenece al orden de la
Naturaleza: haya o no haya Mundo, la raz de dos es irracional.
Las cuestiones de fundamentos son muy delicadas, en tiempos de Platn y siempre. Cuando
se extrema la exigencia de rigor es fcil sentir que hay peticiones de principio en cualquier
cimentacin de las Matemticas por debajo de los nmeros naturales; quiz haya que aceptar
lo que deca Kronecker: Dios hizo los nmeros naturales y lo dems es cosa del hombre. Y
aqu aparece una segunda caracterstica del Mundo Matemtico: no admite fundamentacin
fuera de nuestras evidencias internas. Me explico: estamos absolutamente seguros de que
nunca nadie en ningn tiempo y lugar encontrar tres enteros positivos tales que el cubo de
uno de ellos sea la suma de los cubos de los otros dos; podemos apostar ms que la vida. Sin
embargo, tambin estamos seguros, porque lo demostr Gdel en 1931 (8), de que no es
posible encontrar un sistema formal que permita deducir todos los teoremas matemticos (
incluyendo los de la aritmtica elemental) a partir de un nmero finito de axiomas y reglas de
inferencia. Viene a cuento aplicar aqu lo que dice Heisenberg en sus Dilogos sobre Fsica
Atmica: Todo conocimiento se cierne sobre un abismo sin fondo (9).
Un mundo objetivo, ajeno al tiempo, presente a nuestra visin interna y que no admite una
formalizacin completa, es decir, no-cibernetico; aunque pudiramos usar todas las partculas
del Universo para construir un super-super-ordenador, ste no sera capaz de demostrar la
totalidad de los teoremas de las Matemticas. Extraa cosa son las Matemticas. Por eso no
sorprende que en De Harmonia Mundi Kepler diga que la Geometra es parte de la
estructura divina y que, casi 400 aos despus, Grothendieck, el ms grande matemtico vivo,
diga lo mismo (11).
La flecha que seala la direccin del progreso en Matemticas apunta siempre hacia grados de
abstraccin creciente. Aunque el rigor griego fue y es el modelo para el razonamiento
matemtico, la Geometra Griega no puede escapar todava de la intuicin sensible en sus
fundamentos; as, la definicin de Punto en los Elementos de Euclides es lo que no tiene
extensin. No disponan de notaciones adecuadas para las manipulaciones algebraicas y por
eso no pudieron fundamentar las nociones geomtricas en las numricas, como se logr con la
Geometra Analtica de Fermat y Descartes, posible tras el genial trabajo de su maestro,
Franois Vite (1540-1603), que introdujo la moderna notacin algebraica, precisamente para
estudiar el isomorfismo que observaba entre el lgebra de Diofanto y los italianos del siglo
XVI y el Anlisis geomtrico de Euclides, Arquimedes y Apolonio; la logstica especiosa
de Vietta era el arte de calcular con smbolos o especies que representan magnitudes
indistintamente geomtricas o aritmticas. Puede considerarse como el hito que marca el
nacimiento de la poca moderna en las Matemticas (12).
Al identificar los puntos de una recta con los nmeros (nmeros reales, diramos hoy), los del
plano con pares de nmeros, los del espacio con ternas de nmeros, la Geometra Analtica
abre el camino para considerar espacios de cualquier dimensin, permitindonos escapar de la
crcel de lo sensible. Pero disponer de espacios de dimensin arbitraria todava no es tener
geometra en ellos. Sin salir de dimensin dos, del plano, podemos preguntarnos si la
Geometra Eucldea es la nica posible. El Axioma V de los Elementos, el que dice que por
un punto exterior a una recta pasa una paralela y solo una, parece tan claro a la intuicin como
los restantes; sin embargo, por alguna razn que no se me alcanza, siempre hubo matemticos
que pensaron que era posible una Geometra en que se verificaran todos los axiomas de
Euclides menos ese, precisamente. Y tenan razn. Antes de 1800 Gauss tena una geometra
no-eucldea, pero no public nada, como sola hacer; hacia 1820 Bolyai (hijo de un amigo de
Gauss) y Lobatchewski encontraron modelos de esa misma geometra. Un modelo del plano
de Lobatchewski, propuesto por Poincar, es el disco ordinario en el que se llama recta
(recta no euclidea) a cada arco de circunferencia ortogonal a la del disco dado; este plano no-
eucldeo tiene su propia nocin de distancia y de ngulo y el correspondiente grupo de
movimientos que respeta tales distancias; son los desplazamientos de las figuras rgidas de esa
geometra, que para nuestra intuicin eucldea no lo son. Es un ejemplo muy claro de cmo
las Matemticas nos conducen a contemplar con todo rigor y claridad mundos a los que
nuestra intuicin sensible nunca nos llevara. Las Matemticas nos sacan absolutamente de
nuestra condicin de mamferos, si se me permite la expresin. En un famoso artculo
publicado en 1960 titulado La irrazonable efectividad de las Matemticas en las Ciencias
Naturales (13), el premio Nobel de Fsica E. P. Wigner dice, entre otras cosas muy
interesantes, que la pura seleccin natural por necesidades de supervivencia, no puede llevar a
la capacidad humana de encadenar de golpe miles de silogismos en cada paso de una
demostracin matemtica. Podra decirse de otro modo, pero deja clara una vez ms la
caracterstica de gratuidad, frente a la pura necesidad material, del conocimiento matemtico,
la gratuidad de lo racional griego frente al clculo y medida de culturas anteriores. Claro que,
a largo plazo, esa actividad gratuita ha conducido a la tcnica moderna, pero eso no podan
saberlo los mecanismos de la seleccin natural, si se me permite hablar as.
Los Principia de Newton, de 1686 son, en muchos sentidos, la mayor obra cientfica de la
Historia, pero el estilo griego de Newton era menos gil, para quien no fuera Newton, que
el menos riguroso de la escuela de Leibnitz, que fue el que acab imponindose. Pero esta es
otra historia. Lo que quiero destacar a propsito del desarrollo asombroso del Clculo, por
obra de tan pocos hombres y en tan poco tiempo, es la fecundidad de las verdaderas ideas, las
que estn en la propia estructura de las Matemticas, que nunca son ocurrencias de
creadores.
Las ideas germinales del XVII se desarrollan en el trabajo de Euler, Gauss, Riemann, ..., hasta
hoy, en la Geometra Diferencial, una rama de las Matemticas de la que depende toda la
Fsica no-cuntica: Mecnica, Relatividad, Teora Clsica de Campos. En esta continuidad de
ideas, a pesar del enorme progreso, la nocin de Punto sigue siendo, esencialmente, la de la
primera Geometra Analtica. O hace mucho tiempo a mi maestro, el Prof. Sancho Guimer,
que los hitos del desarrollo de las Matemticas los marca cada avance en el camino de la
abstraccin en la nocin de Punto. Y es verdad, en la medida en que puede serlo una
afirmacin tan esquemtica. En ese sentido, el siguiente paso decisivo en la direccin de lo
abstracto vino de donde no poda esperarse que viniera ninguna nueva nocin de Punto: de
la Teora de Nmeros.
Desde los griegos sabemos que todo nmero entero se descompone de modo nico en factores
primos. Cuando se estudian nmeros de un tipo ms general, los llamados enteros de un
cuerpo de nmeros algebraicos, ya no es cierto en general el teorema. Para recuperar en
ciertos casos la factorizacin nica introdujo Kummer, a mediados del diecinueve, los que
llam nmeros ideales, entes ad hoc sin una definicin general. Ms de diez aos de trabajo
solitario dedic Dedekind a buscar las ideas que permitieran dar una definicin de los
nmeros ideales de Kummer hasta que, hacia 1870, encontr las claves fundando lo que
hoy constituye el lgebra Conmutativa en un trabajo publicado como apndice a la
Zahlentheorie de Dirichlet. En una memoria publicada en 1882 por Dedekind y Weber se
adaptan las tcnicas de Dedekind de la teora de nmeros a la teora de funciones en curvas
algebraicas. Cun por delante de su tiempo en grado de abstraccin estaba el trabajo de
Dedekind se percibe en la correspondencia publicada de Dedekind con Lipschitz: durante
bastantes aos estuvo resignado Dedekind a que solo le leyera Weber (15). En la memoria de
Dedekind-Weber aparece por primera vez en Matemticas un cambio radical de punto de
vista: el dato primordial ya no es el espacio (en ese caso la curva) considerado como conjunto
de puntos, sobre el que despus de dado se definen las funciones, sino al revs: el dato
primero es una estructura algebraica (en este caso un cuerpo de funciones algebraicas de una
variable) y, a partir de ella, se construye cannicamente un espacio en el cual los objetos de
la estructura previa son funciones. Permitidme que use un lenguaje demasiado libre para
hacerme entender: el dato primordial es el conjunto de las observaciones; la propia estructura
de este conjunto determina cannicamente aquello que es observado. Es el punto de vista
exactamente opuesto al que usamos para andar por la vida cmodamente, el que compartimos,
al parecer, con los mamferos superiores: el mundo como totalidad de cosas preexistentes a
toda observacin. Recuerda a lo que deca Wittgenstein en su famoso Tractatus: El mundo es
la totalidad de los hechos, no de las cosas... Pero es mucho ms: no hay slo hechos-
observaciones; hay, adems, un espritu-observador que decide qu es lo observado, mediante
el conocimiento de la estructura de la totalidad de los observables dada en cada caso. El
punto-cosa elemental est definido a partir del anillo-totalidad de observables. Por concretar,
permtaseme usar un lenguaje tcnico preciso: en la teora de Dedekind-Weber un punto de la
superficie de Riemann es una valoracin del cuerpo dado en abstracto como cuerpo de
funciones algebraicas de una variable. En la lgica elemental de sujeto-predicado, los
sujetos son los ideales maximales de un lgebra de Boole, el lgebra de predicados. En un
esquema afn un punto es un ideal primo de un anillo dado; por ejemplo, el esquema que
corresponde al anillo de los nmeros enteros ordinarios es el conjunto de los nmeros primos
junto con el cero. Y, ahorrndome detalles, faltando un poco al rigor, en Mecnica Cuntica
un estado puro es un ideal maximal de un anillo de observables generado por un conjunto
completo de observables que conmutan; la imposibilidad de medir con precisin
simultneamente todos los observables de un sistema mecnico-cuntico, el famoso Principio
de Incertidumbre de Heisenberg, deriva de la no-conmutatividad.
Hemos aprendido mucho desde que Euclides deca que un punto es lo que no tiene extensin,
y Platon, en el Timeo explicaba el Mundo como una imagen, lo ms perfecta posible, del Dios
eterno. Porque las Matemticas que el hombre va sacando de su interior parecen ser, como
deca Galileo, el lenguaje en que est escrita la Naturaleza. Es como si lo Exterior fuera una
realizacin de algo a lo que los hombres podemos asomarnos precisamente mirando dentro de
nosotros mismos.
Si hay tiempo y os apetece, podemos hablar de la Fsica Terica hasta 1930. De lo que ha
venido despus no me atrevo a decir nada, porque no fui capaz de entenderlo; por eso me pas
de la Fsica a las Matemticas. Las Matemticas son duras, pero honradas. Y bellsimas.