LA MATEMTICA COMO UNA DE LAS BELLAS ARTES

(Pablo Amster)
Bienvenidos al pas de los nmeros, de las formas y de los teoremas, en donde todo es posible
(siempre y cuando no sea contradictorio). Aqu una simple frase nos puede envolver en el
ms complicado de los laberintos lgicos.

Existe belleza en las matemticas, una belleza tanto clsica como romntica, usualmente
reservada a esos seres que pasan sus das frente a un pizarrn lleno de frmulas extraas.

El poeta Fernando Pessoa afirm que el binomio de Newton es tan hermoso como la Venus
de Milo; lo que pasa es que muy poca gente se da cuenta.

El escritor (y fsico) Ernesto Sabato seala en su libro Uno y el Universo:

Alguien me pide una explicacin de la teora de Albert Einstein.

Con mucho entusiasmo, le hablo de tensores y geodsicas tetradimensionales.

- No he entendido una sola palabra dice, estupefacto.

Reflexiono unos instantes y luego, con menos entusiasmo, le doy una explicacin menos
tcnica, conservando algunas geodsicas, pero haciendo intervenir aviadores y disparos
de revlver.

- Ya entiendo casi todo me dice mi amigo, con bastante alegra. Pero hay algo que
todava no entiendo: esas geodsicas, esas coordenadas.

Deprimido, me sumo en una larga concentracin mental y termino por abandonar para
siempre las geodsicas y las coordenadas; con verdadera ferocidad, me dedico
exclusivamente a aviadores que fuman mientras viajan con la velocidad de la luz, jefes de
estacin que disparan un revlver con la mano derecha y verifican tiempos con un
cronmetro que tienen en la mano izquierda, trenes y campanas.

- Ahora s, ahora entiendo la relatividad! exclama mi amigo con alegra.

- S le respondo amargamente -, pero ahora no es ms la relatividad.

Un conjunto de mundos creados a partir de lgicas cuya finalidad ltima no es sino

una rara forma de belleza. Esto es la matemtica entendida no tanto como ciencia, sino
casi como arte.
Ms que la lgica, es la esttica el elemento
dominante en la creatividad Matemtica.

Henry Poincar

los inmediatos y accesibles encantos de las matemticas, los que hasta un mero hombre
de letras puede entender, o imaginar que entiende: el incesante mapa de Brouwer, la cuarta
dimensin que entrevi More y que declara intuir Howard Hinton, la levemente obscena tira
de Moebius, los rudimentos de la teora de los nmeros transfinitos, las ocho paradojas de
Zenn, las lneas paralelas de Desargues que en el infinito se cortan, la notacin binaria que
Leibniz descubri en los diagramas del I Ching, la bella demostracin euclidiana de la
infinutd estelar de los nmeros primos, el problema de la torre de Hanoi, el silogismo
dilemtico o bicornuto.

Borges (comentario sobre el libro Matemtica e imaginacin, de E. Kasner y J. Newman)

Edgar Allan Poe resume su concepcin sobre la creacin literaria entendida casi como un
ejercicio lgico.

Mi deseo es demostrar que ningn punto de la composicin puede ser atribuido a la

casualidad o la intuicin, y que la obra ha marchado, paso a paso, hacia su solucin con la
precisin y la rigurosa lgica de un problema matemtico. Refirindose a la clebre
Filosofa de la composicin.

El psicoanalista francs Jacques Lacan cuyo empleo de diversas frmulas y conceptos

matemticos le valieron diversas crticas. Sin embargo, el papel que otorga a tales usos es
fundamental; tanto que lleg a decir: No hay enseanza ms que Matemtica, el resto es
broma.

Hablar de matemtica no es solamente hablar del teorema de Pitgoras: es, adems, hablar del
amor y contar historias de princesas. Tambin en la matemtica hay belleza.

Muy poca gente se da cuenta, por eso es que los matemticos se sienten en el lugar del
enamorado, esforzndose por exponer las ms bellas cuestiones, sin que sus apasionados
intentos tengan la respuesta esperada cmo hacer para transmitir tal belleza a quienes, por la
razn que sea, nunca la han experimentado?

En ocasiones incluso una situacin irresoluble tiene, en definitiva, una solucin: basta
con mirar el problema de otra manera.

En matemticas se admiten o aparecen frases muy tontas, como

 9+16=25

cuya verdad parece tanto evidente como intil, sin embargo, la frase es bienvenida en
diversos contextos.

Si tomamos un tringulo rectngulo, y elevamos al cuadrado la medida de cada uno de sus

lados: no nos llevaremos una sorpresa al comprobar que hay dos de estas cantidades cuya
suma es igual a la tercera? No vamos a sorprendernos ahora, pues conocemos el teorema
general que afirma que tal cosa ocurre cada vez que uno toma un tringulo rectngulo.

La situacin descrita deja ver el carcter en realidad nada tonto del enunciado
9+16=25
. Puede verse en ella una mera identidad aritmtica, aunque la formulacin
equivalente que se ha insinuado es:
2 2 2
3 +4 =5

Podra llevarnos a pensar por ejemplo en las denominadas ternas pitagricas: conjuntos de 3
nmeros enteros positivos (a, b, c) tales que a2 +b 2=c 2 , de los cuales (3, 4, 5) es el primero

o una de ellas. A partir de all, pocos pasos restan para plantear un clebre problema que ha
cautivado tanto a matemticos como a no matemticos por ms de tres siglos:
n n n
El ltimo teorema de Fermat a +b =c para n>2

La matemtica produce belleza; una belleza no pictrica, escultrica, musical o literaria, sino
una belleza matemtica. Si preguntamos a alguien qu hay en la Odisea que lo hace un texto
bello, quizs no lo sepa: hay algo que no es transmisible. De la misma manera un matemtico
no podra explicar por qu lo conmueve el teorema de Pitgoras. Algo en el teorema lo hace
maravilloso; no podemos decir qu es. Sin embargo, con un teorema no sucede lo que a veces
pasa con una meloda: aunque no sepamos explicar por qu es bella, podemos ejecutarla y
provocar un efecto. El teorema de Pitgoras, si lo enunciamos a alguien que no sabe lo que es
un tringulo rectngulo, un cateto o una hipotenusa, no tendr el menor sentido, y no resultar
bello en ninguna forma. Tal vez, con un poco de suerte quiz le parezca agradable nuestra
manera de enunciarlo, nuestra voz o nuestros dibujos en el pizarrn; si exageramos un poco
podemos pensar que incluso es capaz de emocionarse por alguno de tales motivos, pero en
ningn caso podra decirse que capt la belleza matemtica del teorema de Pitgoras. Por eso
afirmo Bertrand Russell: La Matemtica, cuando se la comprende bien, posee no
solamente la verdad sino tambin la suprema belleza.
A grandes rasgos una teora matemtica, consiste en: trminos, definiciones, axiomas,
teoremas.

Por ejemplo la Geometra comprende una diversidad de trminos como punto, recta, o
plano, convenientemente definidos, que, merced a determinadas reglas pueden combinarse
de un modo adecuado para formar los teoremas. Dichas reglas suelen llamarse axiomas.

Un teorema no es otra cosa ms que un enunciado que se comprueba haciendo empleo de los
axiomas.

Por ejemplo.

Si alguna teora definiera a los trminos Cervantes, autor del Quijote, y manco de Lepanto, y
estableciera como axiomas:

1) Cervantes escribi el Quijote.

2) Cervantes perdi su mano en Lepanto.
Con la ayuda de la siguiente nocin comn
3) Dos cosas iguales a una tercera son iguales entre s, se podra concluir.

Teorema: El autor del Quijote perdi su mano en Lepanto.

En la lgica se abstraen los significados, de modo que los teoremas se construyen sobre
los trminos, sin que interese su interpretacin ms all de la propia lgica. Entonces, en
el razonamiento anterior, poco importa si Cervantes es el nombre de un personaje real, de
ficcin, o de alguna especie vegetal. A tal tipo de sistema, con trminos no definidos y
axiomas suele conocrsele como sistema formal. La Ciencia se vale de los sistemas
formales para efectuar sus razonamientos.

En la ciencia hay un objetivo, o al menos as lo parece: explicar el universo. Una teora

cientfica ser ms o menos aceptable de acuerdo con el modo en que se adecue despus al
universo que percibimos, y cmo sirva para explicar o predecir fenmenos. Pueden coexistir
distintas teoras que expliquen las cosas de formas diferentes pero, por ms que no se sepa si
alguna de ellas es verdadera, se acepta una o la otra de modo excluyente. Puede que nunca
sepamos, en definitiva, cmo es el mundo, pero no hay duda de que los fsicos no aceptaran
jams una teora, por elegante que fuera, si de ella se pudiera extraer la conclusin de que las
cosas caen hacia arriba.

Aqu es donde la ciencia se distancia de la matemtica.

Euclides se ocup de agrupar y formalizar los dispersos conocimientos matemticos de su poca en
una obra monumental, los famosos Elementos. Este trabajo tiene el gran mrito de basar a todo el
edificio geomtrico en unos pocos cimientos, consistentes en 5 postulados y un puado de nociones
comunes, elegidos magistralmente entre un sinnmero de propiedades ms o menos evidentes.

Con todo, aparecen en su obra ciertas lagunas, originadas en la indudable dificultad de distinguir lo
axiomtico de lo intuitivo.

Su obra es tan slida y bien construida, que muchos historiadores dudan de la existencia del autor, y
la atribuyen a la tarea de varios matemticos.

En esta teora hay un postulado que se destaca de los otros: algo debi prever el propio Euclides,
pues prefiri evitar su uso mientras pudiera, y formular la mayor cantidad posible de teoremas sin
recurrir a l. Se trata de un postulado que dice:

Por un punto exterior a una recta se puede trazar una y slo una paralela a dicha recta.

Esta es la versin ms difundida, aunque difiere bastante del enunciado original de Euclides, un tanto
ms oscuro. Al margen de eso, su verdad parece indiscutible: quin se atrevera a dudarlo? Sin
embargo, ste postulado termin hacindose clebre como el quinto postulado de Euclides; por algn
motivo, su tan indudable verdad fue objeto de sospecha y muchos matemticos se pusieron como
meta demostrarlo a partir de los otros, para dar la cuestin por finalizada.

Se sucedieron los esfuerzos. Muchas veces se crey haber dado con la solucin, sin embargo lo que
se obtena no era sino alguna forma equivalente del postulado. Algunas de las versiones del quinto
postulado son:

Dos rectas paralelas son equidistantes.

Posidonio (siglo I a.C.)

Si tres puntos estn de un mismo lado de una recta y equidistan de ella,

los tres puntos pertenecen a una misma recta.

Clavius (siglo XVI)

Si una recta encuentra a una de dos paralelas, entonces encuentra a la otra.

Proclo (matemtico Bizantino)

El hecho parece bastante verosmil; por eso quiz nos sorprendamos al enterarnos de su equivalencia
con esta otra versin, un teorema clsico mucho menos elemental:

La suma de los ngulos interiores de un tringulo es igual a dos rectos.

Finalmente, se menciona la curiosa forma obtenida por Gauss a fines del siglo XVIII.

Existen tringulos de rea arbitrariamente grande.

En el siglo XVII Girolamo Saccheri efectu una construccin a partir de la cual, tras negar el quinto
postulado, obtuvo una lnea que, segn dijo, repugna a la naturaleza de la lnea recta. Es notorio
que tan repugnante recta fuera la misma que aparecera, apenas un siglo ms tarde, en los trabajos de
matemticos de lo ms respetables, como Gauss, Bolyai o Lovachevski. Esto determin el
nacimiento de nuevas geometras, que hoy se conocen como no euclidianas.

Tradicionalmente, se denomina no euclidianas a aquellas geometras en las que se conservan todos

los postulados de Euclides, con excepcin del quinto. Tras siglos de no poder encontrar una
demostracin para el quinto postulado, los matemticos pensaron: qu pasa si lo sustituimos por
otro? Ello permite proponer dos enunciados diferentes, que se contradicen con el original y
obviamente tambin entre s:

Por un punto exterior a una recta no se puede trazar ninguna paralela a dicha recta.
Por un punto exterior a una recta se puede trazar ms de una paralela a dicha recta.

Cada uno de estos posibles reemplazos da lugar a un mundo un tanto extrao, pero tales mundos son
actualmente bien conocidos y aceptados: aunque en cierto modo repugnantes a la intuicin, estn
perfectamente construidos sobre una base axiomtica y son tan validos como la geometra clsica.

Pero en las geometras no euclidianas muchas cosas funcionan de un modo distinto al que estamos
acostumbrados; un teorema tan indubitable como el de Pitgoras es falso. El aspecto que tendra
un tringulo en cada una de las respectivas geometras, sera:

Se puede pensar simplemente que dibujamos sobre un plano que en realidad es curvo; dependiendo
de cmo es esta curvatura obtenemos una geometra o la otra. En ambos casos se observa que la
suma de los ngulos interiores de cada tringulo no es igual a 180 .

Entonces, cul es la geometra que rige el universo? Hasta hace poco no se dudaba de que la
geometra, la nica que se conoca, fuera verdadera; un influyente filsofo como Kant lleg
incluso a postular que el espacio euclidiano es una intuicin a priori. Precisamente a raz de tan
poderosas influencias, Gauss no se atrevi a publicar sus trabajos sobre esta cuestin por temor,
al gritero de los beocios.
Tiempo ms tarde Poincar rechazara la posibilidad de zanjar una cuestin tan delicada como la que
se plante Gauss por medio de la experiencia; ms an, dira que el problema en s carece de sentido,
pues una geometra no es ms o menos verdadera sino ms o menos cmoda para ser aplicada a
cierto mundo. Dicho sea de paso, la geometra del universo que propone la celebrada teora de la
relatividad es no euclidiana.

En definitiva, lo nico verdadero es que no hay una geometra verdadera. Este descubrimiento
produjo una seria conmocin en lo que respecta a la verdad: haba una verdad absoluta, la de
Euclides, hasta que vinieron unos lcidos matemticos a decir que no es as. La Matemtica, hasta
entonces la ciencia de la verdad por excelencia, se transform en la forma ms organizada de mentir,
lo que dio lugar a una sugestiva frase: La lgica es el arte de equivocarse con confianza.

Vale decir: los teoremas son verdaderos en tanto combinacin adecuada de ciertos axiomas; sin
embargo, no hay quien pueda garantizar su verdad absoluta, desde el momento en que no se
puede garantizar la verdad absoluta de tales axiomas. La Matemtica no pretende explicar el
Universo, sino que construye distintos universos. De esta forma, crea su propio objeto.

En este aspecto de creacin, la Matemtica se parece al Arte. Pero nadie piensa seriamente que la
Matemtica sea un arte: si se revisa el esquema anterior, puede observarse que en todo lenguaje las
cosas funcionan de la misma manera, pues se tienen:

Trminos: son las palabras que emplea el lenguaje.

Definiciones, que se refieren a los trminos.

Reglas, que pueden ser gramaticales o de construccin.

Textos: son cadenas de palabras formadas mediante la aplicacin adecuada de las

reglas.

No obstante, por ms que la nocin de texto (ms generalmente, podemos pensar en producciones
del lenguaje) sea anloga a la de teorema, es claro que en la Matemtica los trminos no interesan
demasiado. Hace falta que existan trminos para expresar las cosas; sin embargo, nada importar el
criterio con el que los hayamos establecido. Es lo que quiso destacar Hilbert al anunciar:

En lugar de las palabras puntos, recta y plano se debe poder decir en geometra sin
inconveniente mesa, silla y vaso de cerveza.

Un teorema en espaol conserva su belleza si se lo traduce al alemn, al francs, a un lenguaje

simblico o al lenguaje que sea. Cosa que no ocurre por ejemplo con una poesa, cuya belleza se ve
alterada con las traducciones. Ni hablar con lo que puede pasar con un cuadro, una escultura o una
sinfona, si los traducimos a otros lenguajes.
La Matemtica es una vasta tautologa.

Bertrand Russell

Qu es una tautologa? Una afirmacin evidente; con un poco ms de precisin se puede

decir: es un enunciado que siempre es verdadero, independientemente de la verdad de sus
componentes.

Llueve o no llueve

Ms all de que diluvie o brille el sol, la frase es verdadera; es el principio de tercero

excluido, en la lgica se enuncia as:
p p
y se lee p o no p

He aqu una tautologa: podemos remplazar a p por cualquier proposicin, verdadera o falsa,
y eso no afectar a la verdad de p o no p. Hay muchos enunciados evidentes como el
anterior; por ejemplo, el principio de identidad
p p
p implica p

O el de doble negacin
( p )= p
no no p es equivalente a p

En la lgica, toda verdad es tautolgica; luego, si Russell considera que la Matemtica y la

Lgica son una misma cosa, su frase se entiende mejor.

Si se estudia la lgica de acuerdo con la perspectiva histrica, no se puede omitir las antiguas
elucubraciones aristotlicas, en particular los silogismos.

Todos los hombres son mortales;

Scrates es hombre;

luego, Scrates es mortal.

Tan obvios resultan que en realidad nada agregan a nuestro conocimiento. Esa es la acusacin
que, en general, debe soportar cualquier sistema lgico.

Ninguna construccin agrega gran cosa al conocimiento: una vez establecidas las bases, todo
desarrollo que de ellas se deduzca ser pura tautologa.
Veamos el siguiente fragmento de Fernando Pessoa:

A veces, y el sueo es triste,

en mis deseos existe
lejanamente un pas
donde ser feliz consiste
solamente en ser feliz

No est mal: ser feliz consiste en ser feliz

La matemtica no se queda en la pura tautologa: aunque en rigor sea cierto que el teorema de
Pitgoras se desprende tautolgicamente de los axiomas de Euclides, eso no ocurre en forma
inmediata. Si contamos nicamente con los escasos elementos que nos brinda Euclides, la
demostracin del teorema demandar un esfuerzo considerable.
Ms all de que pueda existir una gran variedad de comprobaciones sensacionales de los ms
diversos teoremas, estos no suelen ser en absoluto triviales, con lo cual la tautologa de
probarlos paso por paso se torna ms bien imprescindible . Tanto que es, en realidad, la propia
esencia de la matemtica. En otras palabras, no podra afirmarse que la geometra consiste
exclusivamente en unas cuantas definiciones, axiomas y postulados, por ms que dicho material sea
suficiente para llevar a cabo todas las demostraciones.
De la misma manera no podra decirse que la Msica es aquello que proviene de combinar sonidos
de acuerdo con ciertas pautas; todos estarn de acuerdo en que se trata de algo ms que eso. El
desarrollo de una obra musical es anlogo al desarrollo de una demostracin; cada paso se sigue
del anterior en virtud de alguna lgica. Hofstadter encuentra una buena ilustracin de esta idea en la
obra Liberacin, del pintor M. C. Escher, a la que considera una metfora de los sistemas formales.
En ella puede verse el diseo geomtrico de unos tringulos, que se transforman finalmente en aves:
ello sugiere, segn Hofstadter, que a partir de una base rgida como puede ser un conjunto de
axiomas o reglas, se pueden liberar consecuencias diversas. Una de dichas aves, de alto vuelo,
podra ser el teorema de Pitgoras.
En los sistemas formales hay, como en un juego, trminos y reglas: si se piensa en el ajedrez, los
trminos corresponden a las piezas mientras que las reglas son las que indican cmo disponerlas
sobre el tablero y cmo moverlas. De acuerdo con esta analoga, cualquier posicin en el transcurso
de una partida tiene el valor de un teorema, pues surge de haber combinado las reglas en forma
sucesiva a partir de la posicin inicial. Al igual que en Matemtica, eso puede verificarse: basta con
volver a recorrer una por una las movidas efectuadas hasta llegar a la situacin deseada. Sin
embargo, no toda disposicin de las piezas corresponde a una partida plausible, aunquecmo
saberlo? Existe otra forma de refutar un tablero, que bien podramos llamar reduccin al
absurdo: se trata de partir de la posicin dada y continuar la supuesta partida hasta obtener una
abierta contradiccin con las leyes del juego; vale decir, una posicin que repugna a la naturaleza del
ajedrez.
Dos objetos son isomorfos cuando tienen la misma estructura. Para las teoras
matemticas o cientficas, o los lenguajes, podemos hablar de isomorfismo cuando los
sistemas formales sobre los que se apoyan son equivalentes, ms all de la multiplicidad de
posibles interpretaciones.

Hay isomorfismo lgico entre los razonamientos:

Todos los mltiplos de 4 son pares,

Algunos mltiplos de 3 son mltiplos de 4,

luego, algunos mltiplos de 3 son pares.

Y este otro, propuesto por Lewis Carroll:

Todos los gatos entienden francs,

algunos polluelos son gatos,

luego, algunos polluelos entienden francs.

Los distintos sistemas de leyes se encuentran atravesados por una lgica que les es comn. La
ley Matemtica tiene su correlato en la ley jurdica, o la ley bblica o las leyes cientficas,
filosficas, o las que rigen al Arte.
Dos personas viajan en un globo, cuando son empujados por un fuerte viento que los aleja y
les hace perder el rumbo. Extraviados, se encuentran volando sobre una regin desconocida;
ven entonces, all abajo, a un hombre, a quien preguntan:

Hola! Dnde estamos?

En un globo responde el otro.
Entonces uno de los que iban en el globo dice a su compaero:
Ves? Ese individuo es matemtico. Lo que nos dijo es verdad, pero no sirve para nada.

Esto nos lleva a observar a las Matemticas como una gran tautologa que nada agrega al
conocimiento.
Le Lionnais se propone definir la belleza matemtica bajo dos grandes rtulos: clasicismo y
romanticismo. Clasicismo es la forma acabada, perfecta, elegante. Como la msica del
periodo clsico en donde todo encaja con precisin. El romanticismo, en cambio,
representa ms bien lo catico, lo inalcanzable, lo imprevisto. Vale traer como ejemplo
una frase del poeta Baudelaire: La irregularidad, es decir, lo inesperado, la sorpresa o el
estupor son elementos esenciales y caractersticos de la belleza.
En los hechos

Belleza clsica de las matemticas

En los mtodos

En la primera dice Le Lionnais. Una proposicin matemtica es de una belleza clsica cuando
nos colma, ya sea por su capacidad de anlisis, sea porque permite unificar una variedad, sea
porque asocie estas dos impresiones en una construccin armoniosamente dispuesta.
En general, podemos pensar en la idea de orden, predominante en la Matemtica: desde
tiempos inmemoriales, siempre ha entusiasmado al matemtico encontrar un detalle que
revele un patrn, una trama coherente en el caos original. En algn sentido, en su actividad el
matemtico intenta separar la luz de la oscuridad. La creacin matemtica viene a veces
determinada por la bsqueda de un orden.
Se cuenta que cuando nio, Einstein tardaba ms de lo normal en empezar a hablar. Sus
preocupados padres no saban qu hacer, hasta que un da, a la hora de la cena, el pequeo
dijo: La sopa est demasiado caliente.
Naturalmente, los padres se sintieron contentos al ver que su hijo hablaba a la perfeccin. No
obstante, le preguntaron por qu no lo haba hecho hasta ese entonces, a lo que Albert
contest: Antes todo haba estado en orden.
Es cierto que la tautologa de los teoremas matemticos tiene la virtud de entusiasmar, al
poner orden all donde parece no haberlo. La demostracin de un teorema hace que el planteo
se complete sin dejar cabos sueltos. Le Lionnais da algunos ejemplos sobre la belleza clsica
en los hechos matemticos.
en un tringulo cualquiera, los puntos medios de los 3 lados, los pies de las 3 alturas y los
puntos medios de los 3 segmentos que unen el ortocentro con los 3 vrtices estn situados en
una misma circunferencia llamada Crculo de los 9 puntos o Crculo de Euler. As, nueve
puntos que provienen de tres definiciones diferentes vienen a estar situados sobre una misma
circunferencia.
menciona tambin a la cicloide, conocida como la Helena de la Geometra. La cicloide es
una curva que se obtiene al considerar el movimiento de un punto de una circunferencia que
gira sin deslizarse sobre una lnea recta. Dentro de las propiedades que le dieron fama a sta
curva se encuentran: las analgsicas, cuenta la historia que Pascal se dedic a estudiarla para
distraerse de un profundo dolor de muelas. Christian Huygens dedic algunos aos de su vida
para disear el pndulo perfecto, tras una serie de clculos, logr demostrar que la lnea
iscrona que estaba buscando, aquella en la cual el tiempo del movimiento pendular no
dependiera de la amplitud, no era otra que la cicloide, y construy un aparato capaz de oscilar
siguiendo la trayectoria de tan noble curva.
el problema de la braquistcrona, resuelto a fines del siglo XVII por cinco matemticos
muy ilustres: Leibniz, Newton, LHopital y los hermanos Johann y Jakob Bernoulli.
Dados dos puntos A y B de un plano vertical, hallar una lnea que los conecte,
de manera tal que un punto mvil descienda desde A haca B por efecto de
la gravedad con la mayor rapidez posible.
Result una gran sorpresa que la solucin de ste problema fuera precisamente la cicloide.
Para Le Lionnais, la belleza romntica se basa en el culto de las emociones violentas,
del no conformismo y de lo extravagante.
El primer sustento de esta descripcin lo constituye la nocin de asntota. Por ejemplo
1
y=
x cuyos valores se hacen ms pequeos a medida que la variable x toma valores cada
vez ms grandes.
En tal caso se dice que el eje horizontal es una asntota, en su momento debi tratarse de algo
enigmtico, como se aprecia en la siguiente descripcin de Montaigne: Jacques Peletier me
deca en casa que haba hallado dos lneas que van una al encuentro de la otra para unirse y
que, sin embargo, segn pudo el verificar, nunca llegan a tocarse, hasta el infinito.

Le Lionnais ofrece una lista de hechos y resultados matemticos, a los que califica de tener
una apariencia aberrante; grficas de curvas a las que ilustra con una cita del pintor
Delacroix: Hay lneas que son monstruos.
Entre cuyos exponentes ms tenebrosos figura una curva sobre la cual Hermite dijo: Me
aparto con espanto y horror de esta lamentable plaga.
Hay curvas que, si bien son continuas, pueden no tener tangente en alguno de sus puntos: es
lo que habitualmente se denomina una singularidad. La siguiente curva tiene recta tangente
en cualquiera de sus puntos, salvo en x.
x curva continua
con singularidad en x

De esta manera, es fcil imaginar una curva continua con muchas, incluso infinitas
singularidades.

La novedad de la lamentable plaga que tanto espantaba a Hermite, verdaderamente lejana a

toda intuicin, es que una curva continua pueda tener una singularidad en cada uno de sus
puntos. Se trata de un ente matemtico bien definido, aunque imposible de dibujar. Pero se
puede dar una nocin aproximada por medio de una de las ms grandes productoras de
monstruos: La teora de los fractales. Quiz el ms famoso de ellos sea el llamado copo de
nieve.
 4
En forma sucesiva, al cabo de cada etapa se obtiene un polgono cuyo permetro es 3

veces el permetro del polgono obtenido en la etapa anterior. Se puede demostrar que este
proceso converge en una curva lmite, cuya longitud es infinita, aunque el rea que encierra
es finita.
Es claro que el copo de nieve tiene que tratarse de una curva muy irregular, aunque posee en
verdad una regularidad que es digna de mencin: invariancia por cambio de escala. Esto
significa que si la miramos con una lupa que tenga el aumento apropiado, lo que veremos
es exactamente la misma curva.
Algunas de estas curvas fractales se emplean como modelo matemtico de una accin En
efecto, para explicar el comportamiento de las acciones en el mercado financiero se emplea el
denominado movimiento browniano, que describe el choque de las partculas en un fluido. A
grandes rasgos, se supone que una partcula puede moverse haca cualquier direccin con la
misma probabilidad.
Con estos ejemplos, vemos que el orden propiciado por los cultores del clasicismo se
desvanece ante un desolador caos.
A la soberbia demostracin del teorema de Pitgoras sigui el hallazgo de una entidad cuya
existencia se infiere a partir del propio teorema: (el horroroso) nmero irracional. Los griegos
no eran capaces de concebir magnitudes que no fueran el cociente entre dos enteros; tras la
comprobacin del enunciado que debi de haber sido su mayor gloria se encontraron con un
hecho que conmovera su visin del mundo.

Fueron los propios pitagricos quienes demostraron que 2 no es racional, un resultado

que se llevaba muy mal con su filosofa. Esta demostracin fue su vergenza, y decidieron
ocultarla; consecuencia de ello es que los griegos nunca llegaran a entenderse con esos
misteriosos irracionales, que debieron esperar siglos hasta encontrar un estatuto aceptable
dentro de las matemticas.
Si existe un asunto que ofrece la ms variada gama de perplejidades, es el tema del infinito,
del que Hilbert dijo: ningn otro problema ha perturbado tanto el espritu del hombre.
La serie es de gran utilidad para formular las famosas aporas (en griego: dificultad) de
Zenn.
Zenn afirmaba que el movimiento es imposible. Sus argumentos resultaron especialmente
incisivos; por ejemplo el de dicotoma:
Un mvil tiene que recorrer cierto trayecto. Pero antes, debe recorrer la mitad
 de dicho trayecto, y antes la mitad de esta mitad, es decir, la cuarta parte
de la distancia original. Sin embargo, antes de emprender este recorrido

Es fcil adivinar el resto: cada nuevo tramo es dividido por la mitad, y as infinitamente. En
consecuencia, el movimiento no es posible, pues para que el mvil comience a andar debe
superar una infinidad de segmentos iniciales.
Estos razonamientos, para nada triviales, admiten una representacin matemtica mediante
las series de nmeros reales.
1 1 1 1
+ + + +=1
2 4 8 16

Cmo es posible que una suma de infinitos trminos tenga un resultado finito?
No se trata en realidad de una suma, sino de lo que se denomina un lmite; para entenderlo,
podemos ir efectuando las sucesivas sumas parciales de los primeros n trminos de la serie:
1
=0.5
2

1 1
+ =0.75
2 4

1 1 1
+ + =0.875
2 4 8

1 1 1 1
+ + + =0.938
2 4 8 16

Puede observarse que el resultado se aproxima cada vez ms o converge al valor (lmite) 1.
Esto que parece una mera aproximacin constituye en rigor una igualdad en serio, o mejor
dicho, en serie: la idea de lmite tiene un estatuto matemtico perfectamente riguroso.
La serie converge a un cierto valor S:
1 1 1 1
+ + + +=S
2 4 8 16

Multiplicando por 2 ambos trminos:

 2 ( 12 + 14 + 18 + 161 + )=2 S
1+ ( 12 + 14 + 18 + 161 )=2 S
1+S=2 S

S=1

Para mostrar que el comportamiento de una serie es por completo diferente de una autntica
suma, vale la pena comentar una propiedad que, bien podramos calificar de perversa.
Lo veremos con la llamada serie armnica alternada.
1 1 1 1 1 1 1 1 1
1 + + + + + =0.6931471805599
2 3 4 5 6 7 8 9 10

Aqu la convergencia puede demostrarse en forma emprica que se acerca cada vez ms a
cierto valor L.
1 1
1 = =0.5
2 2

1 1 5
1 + = =0.833333
2 3 6

1 1 1 7
1 + = =0.5833333
2 3 4 12

1 1 1 1 47
1 + + = =0.7833333
2 3 4 5 60

1 1 1 1 1 37
1 + + = =0.6166666
2 3 4 5 6 60
 1 1 1 1 1 1 319
1 + + + = =0.759523809
2 3 4 5 6 7 420

1 1 1 1 1 1 1 533
1 + + + = =0.634523809
2 3 4 5 6 7 8 840

1 1 1 1 1 1 1 1
1 + + +
Ahora algo imprevisto 2 4 3 6 8 5 10 12 los trminos son los mismos,
slo que estn escritos en otro orden. Esta suma puede calcularse as:

(1 12 ) 14 +( 13 16 ) 18 +( 51 101 ) 121 += 12 14 + 61 18 + 101 121

1 1 1 1 1 1 1
2 (
1 + + . = L
2 3 4 5 6 2 )
A partir de un simple reordenamiento de los trminos, se obtiene un resultado que es: la
mitad del valor original! La inocente propiedad conmutativa de la suma deja de ser cierta
cuando se trata de una serie. Si se repite el razonamiento, se obtiene una suma que es la mitad
de la mitad, y as sucesivamente: una infinidad de resultados distintos.

Regresando al problema del quinto postulado de Euclides, definido por Le Lionnais como el
escndalo de la geometra y la desesperacin de los gemetras.
Tales calificativos pueden parecer exagerados, aunque se pueden justificar en buena medida
si se lee la carta que escribi el matemtico Farkas Bolyai a su hijo Janos, reconocido como
uno de los inventores de la geometra no euclidiana.
No te sumerjas en el estudio de las paralelas. Conozco ese camino hasta el final. He
atravesado esa noche sin fondo, que consumi toda la luz y todo el goce de mi
existencia. Te lo ruego, deja en paz a la ciencia de las paralelas Yo me dispuse a
sacrificarme en beneficio de la verdad; estaba decidido a convertirme en un mrtir
que desalojara el error del seno de la geometra y la devolvera purificada a la
humanidad. He realizado una monstruosa, enorme labor; mis logros han sido mucho
ms plenos que los de otros, pero no he podido cumplir por entero la tarea He
emprendido el regreso al ver que ningn hombre puede llegar al fondo de esta
oscuridad. He emprendido el regreso desconsolado, compadecindome y
compadeciendo a la humanidadHe atravesado todos los escollos de este infernal
Mar Muerto y he vuelto siempre con el mstil roto y las velas rasgadas. La decadencia
de mi voluntad, y mi ruina, tienen esta causa. Irreflexivamente, expuse mi vida y mi
felicidad: aut Caesar aut nihil.
Parece una irona, pero algn tiempo despus de recibir esta carta Janos public un artculo
de diecisis pginas en donde resolva el problema de las paralelas de la manera ms
inesperada, presentando lo que l llam: un universo creado de la nada. All se describa un
sistema geomtrico independiente del quinto postulado, cuyas propiedades son vlidas tanto
si se lo acepta como si se lo niega; de esta forma logr mostrar que el postulado no tiene por
qu ser verdadero.

En el siglo XIX vivi en Pars un matemtico extraordinario llamado Galois. Sus teoras en
lgebra resultan de gran belleza; de sus trabajos, tan elegantes y bien construidos, se
desprende un curioso hecho relacionado con las soluciones de ecuaciones algebraicas de
grado superior al cuarto.
La resolucin de ecuaciones de primer y segundo grado es tan antigua como la escritura:
aparece ya en las tablillas de los sumerios. El mtodo para resolver una ecuacin cbica, por
3 2
ejemplo 3 x 2 x + x25=0 tard algo ms en obtenerse, y su descubrimiento en el siglo
XVI se vio envuelto en turbios acontecimientos. Se atribuye la invencin de la frmula a un
matemtico de Bologna llamado Del Ferro en 1506. En 1539 otro italiano, llamado Tartaglia,
revela sus mtodos de resolucin de ecuaciones a Girolamo Cardano, bajo el juramento por
los Santos Evangelios de que no sern dados a conocer antes de su publicacin por parte del
autor. As se expresa Cardano respecto al incidente:
En nuestros tiempos Scipione Del Ferro, bolos, resolvi el captulo del cubo y
cosas igual a nmero, hazaa realmente hermosa y admirable. Este arte,
verdadero regalo de los dioses, que supera toda sutileza humana posible y el
esplendor de todo ingenio mortal, es una prueba del valor de las inteligencias, y
es tan maravillosa que quien la haya logrado puede creer que ya nada le ha de ser
imposible.
Poco tiempo despus se encontr tambin un mtodo para resolver ecuaciones de cuarto
grado; sin embargo, la ecuacin de grado quinto sigui resistindose. Nunca se hall una
frmula para resolverla.

Se prob, que dicha frmula no existe, ni las inteligencias ms valiosas van a ser capaces
de encontrar una frmula general para ecuaciones de grado mayor o igual a cinco. Esta
imposibilidad demostrada primero por Ruffini en 1799, y en forma ms rigurosa por el
Noruego Abel en 1826, es uno de los puntos culminantes de la hoy llamada teora de Galois.

A los 20 aos expulsado de la cole Normal, anunci un curso privado que abarcara:
Una nueva teora de los nmeros imaginarios, la teora de las ecuaciones
resolubles por radicales, la teora de nmeros y la teora de las funciones
elpticas tratadas por el lgebra pura.
El curso no tuvo oyentes.
Lamentablemente, no puede decirse que el ao siguiente las cosas le hayan ido mejor, pues
agitados sucesos lo encontraron implicado en un duelo, en el que muri. Se conserva un
escrito de la que fue su ltima noche de vida: en notas apresuradas deja a un amigo una suerte
de testamento cientfico en donde le pide que, si su adversario vence, haga conocer sus
descubrimientos a Gauss o a Jacobi.

Gottlob Frege estuvo aos trabajando para dar a luz una obra, Los Fundamentos de la
Aritmtica, en donde pretenda sentar la nocin de nmero sobre una base puramente lgica.
La aritmtica estudia los nmeros naturales, sobre los cuales se apoya a su vez prcticamente
todo el resto de la Matemtica, lo que Frege buscaba era que los nmeros dejaran de ser
misteriosas entidades abstractas para transformarse en objetos construidos al amparo de la
ms rigurosa axiomtica.

Bertrand Russell le envi una carta cargada de comentarios elogiosos. Sin embargo comenta:
Hay tan slo un punto en el que encontr una dificultad. Usted dice
que una funcin puede tambin jugar el papel del elemento indeterminado.

Una versin equivalente al hallazgo de Russell, pero en el campo de la teora de conjuntos. Es

su famosa paradoja del Barbero.

En una ciudad hay un barbero que afeita a todos aquellos que no se afeitan a s
mismos. El barbero, se afeita a s mismo?

Debe hacerse la aclaracin de que el barbero afeita solamente a aquellos que no se afeitan a s
mismos; en consecuencia, si suponemos que se afeita a s mismo concluimos que no lo hace.
Por otro lado, este profesional afeita a todos aquellos que no se afeitan a s mismos, de donde
se deduce que si no se afeita entonces tiene que hacerlo.

Mediante este sencillo razonamiento, se ve que todos los caminos llevan a un absurdo, tanto
si suponemos que la oracin el barbero se afeita a s mismo es verdadera, como si
suponemos que es falsa. Y en nuestra lgica binaria, que como ya se coment excluye una
tercera posibilidad, tan absurdos caminos nos indican que estamos en presencia de una
paradoja.
No slo los fundamentos de mi Aritmtica, sino los nicos fundamentos posibles de la
Aritmtica parecen desvanecerse.

Frege tuvo la fuerza de voluntad para mantener todava una pequea llama de esperanza: Sin
embargo, creo posible que se planteen condiciones para la transformacin que hagan que lo
esencial de mi demostracin permanezca intacto.

Con el fin de evitar su perniciosa paradoja, Russell concibi, junto a un lgico y filsofo
ingls llamado Whitehead, la denominada Teora de Tipos. Desarrollada en el marco de una
obra gigantesca, los Principia Mathematica, dicha teora establece unas restricciones para los
conjuntos, que por cierto eliminan la paradoja. El afn de obtener la base fundamental de la
Matemtica a partir de principios lgicos segua firme.

Los esfuerzos se revelaron intiles. En 1931 llega el golpe de gracia: Kurt Gdel, un brillante
lgico austriaco, demuestra un teorema que dice que todo sistema que pretenda
fundamentar a la Aritmtica sin dar lugar a contradicciones contiene proposiciones cuya
verdad o falsedad no puede ser demostrada. Estas oraciones, un tanto siniestras, se
denominan indecidibles: por ms que sean verdaderas o falsas, las reglas del sistema son
insuficientes para probarlo. Los Principia se vuelven as ineficaces, y no slo eso: cualquier
sistema que se proponga tales fines est destinado a fallar.

La belleza en los mtodos. El estudio de los mtodos presenta la distincin entre clasicismo
y romanticismo en forma ms legtima, pues los mtodos reflejan el estilo de obras
humanas. Dice Le Lionnais un mtodo es clsico cuando permite obtener con medios
sobrios efectos potentes. Es el caso de una demostracin inductiva (por recurrencia), en la
que alcanza con comprobar la verdad de dos enunciados para concluir la verdad de una
infinitud de ellos. Para demostrar que una propiedad P es verdadera para todos los nmeros
naturales, basta probar que:

1) P es verdadera para el 1.
2) Regla inductiva: si P es verdadera para n , entonces tambin lo es para n+1 .

Esto lo podemos ilustrar con las fichas de domin (efecto domin) si se ponen las fichas de
forma vertical lo suficientemente cerca para que si empujamos la primera empuje a la
segunda y tambin caiga, y as sucesivamente, es de esperar tarde o temprano todas caern.
La validez de esta forma de demostrar enunciados sobre los nmeros naturales se sustenta en
el denominado principio de induccin, que en realidad es un axioma y parece ms bien una
cuestin de confianza. Dado que cae el primero de los nmeros, y que cada nmero
empuja al que viene despus, entonces, cada uno de los nmeros, tarde o temprano caer.

Es clsica una esmerada construccin geomtrica, tanto como el riguroso mtodo axiomtico
establecido por Euclides, que se transform en el modelo a imitar por cualquier sistema de
pensamiento durante veinte siglos. Es clsica la aplicacin de ciertos algoritmos, entendidos
como simples recetas que a partir de unos pocos elementos permiten, tras una breve serie
de pasos, llevar a cabo tareas a veces formidables. Pensemos por ejemplo en una actividad tan
cotidiana como la de multiplicar.

En general, el lgebra ofrece muy variados ejemplos de procedimientos sobrios y elegantes.

Tal espritu se vislumbra en su propio nombre, proviene de la voz rabe al-jabar, que
significa: Reordenar.

Es romntica una demostracin indirecta, como las demostraciones por el absurdo, que
suponen un mundo extrao en el cual se niega la tesis que se quiere probar, con el fin de
producir una contradiccin. En todo caso, en vez de afirmar que una proposicin es falsa,
suena mucho ms romntico decir que es imposible que sea verdadera. Resulta casi como
fingir que la tesis es falsa.

Es romntica tambin aquella demostracin en la que se recurre a alguna maniobra

inesperada, que en una primera impresin resulta muy ajena al objeto de estudio. Tal es el
caso de la Teora de nmeros, que para estudiar problemas de la ms elemental Aritmtica se
ha visto envuelta en una gran variedad de complejsimos temas.
Por ejemplo el ltimo teorema de Fermat, cuyo enunciado es increblemente sencillo.

Dado un entero n>2, no existen enteros positivos a ,b ,c tales que : an +bn =c n .

Fermat dej escrito en el margen de un libro el enunciado de la proposicin anterior,

acompaado del comentario: He encontrado una demostracin de esa proposicin, realmente
maravillosa, pero el margen del libro es demasiado estrecho para contenerla.
En 1993 un matemtico ingls llamado Andrew Wiles present un trabajo de unas doscientas
pginas, con el cul anunci que el teorema estaba probado. Se produjo un gran revuelo,
aunque tiempo despus se encontr tambin un error. Finalmente, tras unos angustiosos
meses de trabajo intenso, el error pudo subsanarse, y el teorema qued definitivamente
demostrado. Pero, al margen de no caber en ningn margen, esta prueba nunca pudo haber
sido la que Fermat asegur haber hallado, pues los desarrollos y teoras que involucra
exceden en forma incuestionable la Matemtica de aquellos tiempos.
Tambin son romnticos aquellos mtodos que, al iluminar bajo un aspecto nuevo hechos ya
conocidos, relacionan y unifican conocimientos considerados antes como dispares. Por
ejemplo, La Geometra Analtica, que plantea una formidable manera de expresar por medio
de trminos algebraicos los objetos geomtricos, en una extraordinaria sntesis.
Por ejemplo si consideramos el conjunto de todos los puntos del plano cuya distancia del
origen es 1, seremos testigos de la milagrosa transformacin de una circunferencia en una
soberbia frmula:
2 2
x + y =1

En otras palabras, un punto (x, y) se encuentra a distancia 1 del origen si y solamente si sus
coordenadas verifican la anterior igualdad. (Vale decir, se encuentra sobre la circunferencia
de radio 1 con centro en el origen).
Motivados por estos milagros el matemtico Edgar Quinet se expresara:
Cuando vi una ecuacin funcionar y resolverse sola, por as decir, entre mis manos, y explotar
en una variedad infinita de verdades, todas igualmente indudables, igualmente eternas,
igualmente resplandecientes, cre estar en posesin del talismn que me abrira la puerta de
todos los misterios.
Algunos autores han establecido una correspondencia entre el mtodo cartesiano y el
movimiento barroco, basado en la bsqueda de nuevos medios de expresin. Otra de sus
caractersticas es la tensin entre libertad e intensidad emocional, y el orden o la disciplina,
que siguiendo con la analoga se ven representadas respectivamente por el lgebra y la
geometra.

Miento
o, si se prefiere:
Esta proposicin es falsa.

Si miento digo la verdad, mientras si digo la verdad, miento; otra vez, la paradoja. La propia
lgica muestra que, por paradjico que parezca, no queda otro remedio que convivir con
ella.

Diversos matemticos del siglo XX se han puesto de acuerdo en que la Matemtica no es ms

que un lenguaje bien hecho. Los matemticos se preocupan especialmente por aquello de
bien hecho; por eso una paradoja como la de Epimnides todos los cretenses son
mentirosos (siglo VI a. C.) adquiere el carcter de malhechor, y es preciso eliminarla.
Todo sistema tiene sus reglas, que permiten producir oraciones. En trminos puramente
sintcticos, bien vale pensar que las oraciones no son otra cosa que combinaciones de ciertos
elementos bsicos de un conjunto a veces denominado alfabeto, o en ciertos casos
vocabulario. Las reglas sintcticas son las que permiten generar oraciones: a las oraciones
producidas por medio de la correcta aplicacin de dichas reglas se las denomina bien
formadas.

En Matemticas, las nociones abstractas aparecen representadas de diversas formas. Sabemos

que la idea platnica de recta no coincide con la lnea que dibujamos, aunque con algunos
conocimientos de bachillerato podemos decir que la expresin 2 x +3 y=6 es la ecuacin de
una recta.

Pero entonces, qu es una recta? Nada parece haber en esa combinacin de letras que nos
haga intuir la esencia de aquella entidad geomtrica concebida por los griegos; la geometra
analtica brinda una forma de representar la recta por medio de una ecuacin.

Otro ejemplo: El laberinto.

Un laberinto que nada parece tener en comn con el grafo.

Sin embargo, si ubicamos unas letras es fcil encontrar similitudes.

C B C D

A E

E Grafo
D

A Laberinto
A B C D E
De A hacia B hay un A 0 1 0 0 0 camino
B 1 0 2 0 0
De B hacia C hay dos C 0 2 0 2 0 caminos
De C hacia D hay dos D 0 0 2 0 1 caminos
E 0 0 0 1 0
De D hacia E hay un camino
Matriz

De este modo, podemos reconocer cierta equivalencia de estructura entre el laberinto, el grafo
y la matriz, aunque a primera vista sean objetos muy diferentes; en todo caso se los puede
considerar como tres representaciones distintas de una misma idea.

Las nociones de representacin e interpretacin van mucho ms all de la matemtica: se

encuentran presentes tambin en el arquitecto que dibuja un plano, o el msico que escribe
una partitura. La partitura no es la obra, pero de alguna manera remite a ella.
El ingenioso argumento de Gdel no hace uso de la proposicin Yo miento, sino ms bien: Yo
no soy demostrable, otro de sus resultados clebres, dice, que razonando matemticamente no
se puede garantizar que la matemtica est libre de contradicciones.
Regresando a las paradojas. Cuando se habl de Epimnides se mencion la necesidad de
eliminar al malhechor; cuando se coment la historia de Frege se vi que el hallazgo de
Russell conmueve los fundamentos de la Aritmtica. Qu significa eso? por qu tanto
inters en deshacerse de un simple barbero?
La respuesta se encuentra en unas tablas de leyes, que permiten comprobar que
 ( p p ) q

Es decir, si se cumple p y no se cumple p, entonces ocurre q.

Es una tautologa, cualquiera que sea q. Es decir que: una contradiccin ( p p ) permite
deducir cualquier cosa; es tan vlida la implicacin
si llueve y no llueve, entonces me mojo
como si llueve y no llueve, entonces no me mojo
incluso si llueve y no llueve, entonces mi ta toca el violoncelo
Es decir que en un sistema que da cabida a una contradiccin, cualquier disparate tendra
sentido. Esto justifica los escrpulos de Russell y Whitehead para llevar a cabo su
construccin, La teora de tipos, cuya idea principal consiste en definir diversos tipos de
conjuntos.
Los conjuntos del primer tipo tienen como elementos objetos comunes y corrientes, pero no
otros conjuntos.
Luego vienen los conjuntos del segundo tipo, cuyos elementos son conjuntos del primer tipo;
de esta manera los conjuntos de cada tipo son elementos de los conjuntos del tipo siguiente.
Con estas restricciones ya no es posible formular un conjunto barbero como el de la
paradoja.
Esta construccin trae algunas consecuencias no del todo deseables. En primer lugar, como
los conjuntos de un tipo no pueden contener elementos del mismo tipo, quedan expresamente
prohibidos los conjuntos extraordinarios; en otras palabras, ningn conjunto puede ser
elemento de s mismo.

Esta limitacin muestra en forma inmediata que nada puede ser todo, si suponemos un
universo U que contiene a todo lo que existe, la prohibicin anterior decreta que U no
puede ser elemento de s mismo y luego, no existe. Apenas ms complicado es el
argumento que permite explicar por qu la paradoja de Russell derrumb todo el edificio de
Frege.
La segunda consecuencia tiene que ver con el lenguaje. Existen distintos niveles de lenguaje,
comenzando por un primer nivel, el del lenguaje ordinario. Para hablar de lo que sucede en
este lenguaje necesitamos aquello que se denomina metalenguaje:
Por ejemplo la frase: Los mosquitos son muy molestos, pertenece al lenguaje ordinario.
La palabra mosquito tiene ocho letras, corresponde al metalenguaje.
Sin embargo, en este esquema vemos que es preciso tambin contar con un
metametalenguaje, que describa las relaciones entre elementos del metalenguaje, y as
sucesivamente. Esta construccin transforma el lenguaje en algo muy complicado, y una
oracin de lo ms inocente puede generar una inconcebible mezcla de niveles de lenguaje.
Los esfuerzos de Frege y de Russell, de algn modo, se vieron frustrados; ellos no saban que
lo que pretendan era imposible.
En algunos problemas difciles de resolver cul sera el secreto de solucin? En primer
lugar, conocer el fracaso de los otros. Es primordial, eso s, dejar que transcurra el tiempo
necesario para que dicho fracaso se hago claro.

En el zen, uno de los caminos para alcanzar el satori o iluminacin ltima la constituye
el koan, una especie de problema paradojal propuesto por el maestro al discpulo. Uno de los
ms conocidos, analizado en el libro El Zen en el arte de la arquera es el siguiente: cul es
el sonido de una sola mano?.
O este otro que dice: Un da Tokusan dijo a su discpulo Ganto. Hay dos monjes aqu que
llevan muchos aos conmigo. V y examnalos. Ganto tom una hacha y fue a la choza
donde los dos monjes estaban meditando. Levant sobre ellos el hacha, diciendo: Si dicen
ustedes una palabra, les cortar la cabeza; y si no dicen una palabra, tambin les cortar la
cabeza.
Ambos monjes continuaron su meditacin como si no hubiesen escuchado nada. Ganto baj
el hacha y dijo: Ustedes son autnticos discpulos zen.
Se cuenta que el Califa Omar, al ordenar la destruccin de la Biblioteca de Alejandra en
el ao 634, dio la siguiente justificacin:
Los libros de la Biblioteca, o bien contradicen el Corn y entonces son
peligrosos, o bien coinciden con el Corn, y entonces son redundantes.
p p
Otra vez, es verdadera; luego, hay que destruir la biblioteca.

El zen busca desvanecer la lgica clsica.

Aquiles y la tortuga se encuentran con un genio dispuesto a conceder tres deseos. Aquiles
manifiesta que su primer deseo es que se le concedan, cien deseos. El genio se ve obligado a
aclarar algunas clusulas del contrato.
Lo lamento, pero no concedo metadeseos.
La cosa se complica:
Deseo que me explique qu es un metadeseo.
Pero eso es un metametadeseo, Aquiles, y tampoco los concedo.
Ms tarde se le otorga a Aquiles el derecho a formular un deseo atpico, fuera de los tipos.
Finalmente Aquiles prefiere que el deseo no se le cumpla:
Deseo que no se quiera conceder mi deseo.

Ni el ms poderoso de los genios es capaz de cumplir un deseo tan singular. Dicho de otra
manera, el deseo de Aquiles destroza el sistema.

Que jaime faire connatre un nombre utile aux sages.

Glorieux Archimede, srtiste ingenieux.
(Me complace dar a conocer un nmero til a los sabios. Glorioso Arqumedes, artista
ingenioso).
Es un poema infinito. Compuesto de acuerdo con una regla muy simple: la cantidad de letras
de cada palabra es una cifra del desarrollo decimal de ; si aparece algn cero entonces se
emplea simplemente una palabra de diez letras.
El autor se muestra muy contento de dar a conocer un nmero, que sin duda no es otro que

Pero eso es imposible! Al menos lo es en la forma en que l lo intenta, pues nadie de
vida finita puede dar a conocer las infinitas cifras no peridicas de .

3 1 4 1 5 9 2 6 5
que j aime faire connatre un nombre utile

Fondo y figura.
A veces los planos se confunden, o se ve una cosa en el fondo, y otra en la figura; en otros
casos figura y fondo se entremezclan con tanto cuidado que no se pueden distinguir el uno del
otro.
Estos conceptos aparecen tambin en la matemtica.
Consideremos la siguiente secuencia (sucesin) de nmeros:
2,3,5,6,7,8,10,11,12,13,14,15,17,
Si preguntamos a alguien cul es el nmero que sigue seguramente hallar, con mayor o
menor trabajo, una respuesta.
Saltamos el primer nmero (1), escribimos los dos siguientes; saltamos el siguiente (4), y
escribimos los cuatro siguientes; saltamos el siguiente (9) y escribimos los seis que
continan
De aqu, no es difcil reconocer un patrn, cierta regularidad en la formacin de los
trminos. A continuacin de cada nmero que saltamos escribimos primero dos, luego cuatro,
luego seis es suficiente para intuir la continuacin.
Este es el tipo de experiencia que suele producir satisfaccin en la Matemtica:
Para nosotros la secuencia ha dejado de tener secretos. Inmersos en tan satisfecho
estado quiz nos sorprendamos cuando observemos que dicha singularidad
complementa a:
1,4,9,16,25, se trata de la sucesin de cuadrados perfectos.
De esta manera, se la puede pensar como una ntida figura que resalta sobre el fondo de
los no cuadrados. A veces resulta muy til pensar as, en casos en que es ms fcil
describir el fondo que la figura.
El conjunto de nmero primos: 2,3,5,7,11,13,17,19,
A simple vista no parece haber una regla para obtener el conjunto completo de estos nmeros.
Pensemos en el fondo: 1,4,6,8,9,10,12,14,15,16,18,
Constituido por el 1 y los nmeros compuestos, que pueden escribirse como el producto de
dos nmeros distintos de 1.
Para este conjunto hay dos axiomas que permiten generarlo.
Axioma 1. 1 no es primo.

Axioma 2. Si m y n son nmeros mayores que 1, m n no es primo.

Es decir, la forma ms fcil de pensar los nmeros primos consiste en mirarlos al revs.

El infinito.
Para hablar del infinito, alguna vez Russell cont la siguiente historia:
Un hombre comienza a escribir su biografa. Al cabo de un ao, con gran esfuerzo
concluye un relato minucioso de su primer da de vida. Pasa otro ao, durante el cual
logra completar la narracin de su segundo da. Entonces comprende que su labor es
intil, pues cuando su vida acabe la biografa apenas abarcar unos cuantos das, a lo
sumo uno o dos meses.
Pero si este hombre viviese infinitamente, podra llevar a cabo su empresa con gran facilidad.
El primer ao, escribe el primer da.
El segundo ao, escribe el segundo da.
El tercer ao, escribe el tercer da.

As, sucesivamente, va escribiendo cada uno de los das de su vida.

Es como un pintor que escribe nmeros y cuando termina cada vez le agrega una gota de
pintura de color blanco; si viviera por siempre podra seguir pintndolos, ms blancos cada
vez aunque nunca completamente blancos.
Este hecho haba sido notado ya por Galileo, quien observ que hay por ejemplo tantos
cuadrados como nmeros naturales, pues ambos conjuntos pueden corresponderse uno a uno.
1 1

24
 39

4 16

5 25

Galileo crey encontrarse ante una paradoja, luego no habl ms sobre el tema. Hizo falta
esperar a Georg Cantor quin se dedic a estudiar el perturbador tema del infinito con tal
audacia que encontr una acalorada oposicin entre los matemticos de su tiempo. Segn se
desprende de su teora, no hay un infinito sino infinitas clases distintas de infinito. El
conjunto de los naturales, as como el de los cuadrados perfectos, o el de los enteros,
pertenecen a una misma clase, llamada infinito numerable.
1 0

2 1

3 1

4 2

5 2

63

7 3

84

N Z
infinitos numerables

R
Sin embargo, el infinito del conjunto de los nmeros reales pertenece a una clase
mayor, no numerable. Cantor lo demostr por medio de una idea genial, que se ha hecho
clebre bajo el nombre de mtodo diagonal. Hay algo que Cantor no pudo probar: la
denominada hiptesis del continuo, que postula la inexistencia de infinitos no numerables
pero que sean menores que el infinito de los reales.

En otras palabras: una vez comprobado que el conjunto R es infinito no numerable, no es

razonable preguntarse si habr algn infinito intermedio, mayor que el de los naturales pero
menor que el de los reales?
En 1963, se demostr que la hiptesis del continuo no es demostrable. Tampoco lo es su
negacin, como haba sido probado aos antes por Gdel: se trata de un indecidible.
En la actualidad existen desarrollos de la lgica conocidos como Lgica borrosa en los
cuales, por raro que parezca, las oraciones no slo pueden ser verdaderas o falsas, sino
tambin ms o menos verdaderas. El ms o menos no es cualquier cosa, sino que se define
en forma rigurosa a partir de una amplia gama de valores; de este modo, uno puede
encontrarse sorpresivamente con enunciados tales como:
P es un poco falsa.
Como tantas ramas de la Matemtica, esta curiosa lgica tambin ha encontrado una gran
cantidad de aplicaciones, que van desde la medicina (Doctor, me duele bastante) hasta la
economa, pasando por la produccin de lavarropas que, segn se comenta, lavan la ropa que
es una maravilla.

Tal vez en un futuro inmediato podr resolverse un problema crucial de la humanidad.

Me quiere mucho, poquito, nada.