SERIES LGICAS Y CRMENES EN SERIE (Variaciones sobre un tema de Wittgenstein) Quisiera recordar uno de los cuentos ms famosos de Borges,

La muerte y la brjula [1], que public en 1944. El cuento plantea como problema, como enigma, una serie de muertes, una peridica serie de hechos de sangre escribe Borges en el primer prrafo, con precisin enmascarada. El primer crimen, se declara, ocurri en el Htel du Nord ese alto prisma que domina el estuario cuyas aguas tienen el color del desierto. En una primera lectura, el nombre del hotel podra pasar inadvertido, como un dato intercambiable, una eleccin casi arbitraria. Sin embargo, es la primera referencia a una de las claves de la solucin. El Htel du Nord representar el punto cardinal norte. La otra referencia oculta de la frase es la mencin al estuario, que invita a identificar la ciudad con Buenos Aires. A este hotel arriba el da 3 de diciembre el delegado a un Congreso Talmdico, de apellido Yarmolinsky, slo para morir asesinado esa noche. En una mquina de escribir junto al cadver hay una hoja con una frase inconclusa; La primera letra del Nombre ha sido articulada. Tambin aqu, a primera vista, la fecha del 3 parece un nmero cualquiera elegido al azar. Pero muy pronto, el nmero 3 reaparece. El segundo crimen, se nos dice, ocurri la noche del 3 de enero, en el ms desamparado y vaco de los huecos suburbios occidentales de la capital. Hay aqu una pista que se muestra de manera temprana y equvoca: la recurrencia del nmero 3, y otra que se desliza con mucho ms disimulo: la mencin geogrfica a los suburbios occidentales, que permite asignar a esta muerte el punto cardinal oeste de la capital. En una pared junto al cadver quedan escritas unas palabras en tiza: La segunda letra del Nombre ha sido articulada. La tercera muerte, ahora ms previsiblemente, ocurre la noche del 3 de febrero. Se establece as la aparente firmeza del nmero 3 como patrn en la regularidad de un muerto por mes, pero se vela todava ms la clave geogrfica. El crimen habra ocurrido, se dice al pasar, en la drsena inmediata, de agua rectangular, una mencin oblicua al punto cardinal
1

este. La sentencia, en una de las pizarras de la recova, dice esta vez La ltima de las letras del Nombre ha sido articulada. El comisario a cargo de la investigacin, que representa el orden de lo prosaico y del sentido comn, recibe pocos das antes del 3 de marzo un sobre con un plano de la ciudad y una carta en la que se profetiza que el 3 de marzo no habra otro crimen, porque la pinturera del Oeste, la taberna de la Rue de Toulon y el Htel du Nord eran los vrtices perfectos de un tringulo equiltero y mstico.

El comisario enva la carta y el plano a Erik Lnnrot, el detective paralelo del relato, el detective del orden ficcional. Lnnrot, que est detrs de una solucin puramente rabnica, o al menos interesante, ha descubierto que el da hebreo empieza al anochecer. Como todos los crmenes fueron cometidos de noche, la fecha 3 debe leerse en realidad como 4. As, los tres primeros crmenes apuntan en realidad a uno todava por cometerse, en el punto sur que completa el rombo de los puntos cardinales. N

S
2

El nmero 4 est tambin sugerido por los rombos de la pinturera, y el traje de los arlequines en la tercera de las muertes (que finalmente, se sabr, ha sido fraguada) y, sobre todo, por la palabra Tetragrmaton, que da la clave de los mensajes, las cuatro letras del Nombre secreto de Dios. Lnnrot ubica en el plano de la ciudad el cuarto punto y acude a ese lugar en el sur, la quinta de Triste-le-Roy. Pero lo que no alcanza a prever es que en realidad la serie es un laberinto, una trampa que ha preparado su archienemigo Red Scharlach, para atraerlo hasta all. Y que la cuarta vctima ser l. Llegado el encuentro, hay algo as como un doble final en que detective y asesino tienen un ltimo dilogo. En este dilogo Lnnrot dice: En su laberinto sobran tres lneas. Yo s de un laberinto griego que es una lnea nica, recta. En esa lnea se han perdido tantos filsofos que bien puede perderse un mero detective. Scharlach, cuando en otro avatar usted me d caza, finja (o cometa) un crimen en A, luego un segundo crimen en B, a 8 kilmetros de A, luego un tercer crimen en C, a 4 kilmetros de A y de B, a mitad de camino entre los dos. Agurdeme despus en D, a 2 kilmetros de A y de C, de nuevo a mitad de camino. Mteme en D, como ahora va a matarme en Triste-le-Roy. En un cuaderno de anotaciones de Borges aparece un diagrama, dibujado por l mismo, con los puntos situados de acuerdo a esta explicacin, que corresponde, por supuesto, a la paradoja de Zenn de Elea. A D C B

Evidentemente Borges pensaba que si se comete un primer crimen en A, un segundo crimen en B, y un tercer crimen en C, a mitad de camino entre los dos, el cuarto punto queda determinado en D, con la misma claridad que los puntos norte, oeste y este apuntan al sur como cuarto trmino. Es decir, que la serie A, B, C seala a D, a mitad de camino entre A y C, como la solucin lgica correspondiente que podra inferir un detective para esta variante en lnea recta de la trampa. Sin embargo, esta segunda serie no es de ningn modo tan clara. Es muy fcil pensar otras soluciones posibles, y tambin perfectamente razonables para la serie A, B, C tal como est planteada. Por ejemplo, puede pensarse que el asesino camina primero 8 kilmetros desde A hasta B para cometer el segundo crimen. Luego retrocede 4 kilmetros para
3

cometer el tercer crimen en C. Y a continuacin vuelve a avanzar 2 kilmetros para cometer el cuarto crimen en un punto intermedio entre C y B. A C D B

En esta segunda solucin, el movimiento es de avances y retrocesos. En la primera solucin el movimiento es nicamente de regreso al punto A. Por qu una sera preferible a la otra? Pero tambin pueden imaginarse otras. Por ejemplo: puede pensarse que el asesino camina 8 kilmetros para cometer el segundo crimen en B, luego retrocede 4 para cometer el tercer crimen en C, luego avanza 16 para cometer el cuarto crimen en un punto D que se aleja ms all del punto B: A C B D

Aqu el movimiento sera de avances cada vez ms largos, con retrocesos parciales y alejamiento progresivo del punto A. Vemos entonces que la ubicacin del cuarto punto D no est de ningn modo obvio determinada por los tres puntos anteriores. Por eso, en la variante propuesta por Lnnrot, si los datos con los que cuenta el detective fueran nicamente la ubicacin de los puntos A, B y C en la lnea recta, y no se le diera alguna informacin adicional (sealarle de algn modo que tiene que pensar en la paradoja de Zenn de Elea y en tortugas), podra producirse un desencuentro entre criminal y vctima, de acuerdo a las mltiples posibilidades de continuacin, todas razonables que tiene el detective1. En realidad, en la historia principal, lo que le da obviedad al punto ubicado en el sur es una informacin de contexto: el hecho de que los tres puntos anteriores corresponden a lugares situados en el norte, oeste y este. Esta informacin, recordemos, la suministra el propio criminal en una
1

Cada vez que explico esto en pblico, percibo el estupor, la protesta, la resistencia a aceptar que Borges pudo haberse equivocado. A Borges, tal como l observaba de los clsicos, se lo lee con previo fervor (y a veces, como los cabalistas leen la Biblia, sin admitir ni por un instante la posibilidad de un error).

carta, junto con un plano que le enva al comisario. Si el mismo problema se planteara sin esta clave adicional, tendramos como datos nicamente la ubicacin de tres puntos de la siguiente manera:

Y entonces, visto as el problema, tambin aparecen otras continuaciones razonables posibles: por ejemplo, podramos pensar en un movimiento de rotacin alrededor del punto A.

Tenemos entonces que la continuacin de una serie de smbolos lgicos no necesariamente es nica. Si los smbolos estn dados de una manera desnuda, sin otras claves de contexto, pueden admitir distintas continuaciones. Sobre la base de esta idea -la idea de que una serie lgica puede admitir diversas continuaciones- yo conceb mi novela Crmenes imperceptibles [4]. De la misma manera que Borges en su cuento necesita dar una pequea leccin sobre la Cbala y las tradiciones judas, (e inventa entonces un detective lego, que estudia durante el transcurso de la historia algunos de los elementos de la tradicin hebrea que aparecen en la trama), yo tambin
5

necesitaba decir un par de cosas sobre las series lgicas. Por eso al principio de la novela aparece una serie lgica, que es sta:

Es un pequeo desafo que le propone el profesor al estudiante al comienzo de la novela. Y le dice, como ayuda, que para encontrar una solucin (digo una solucin y no la solucin) debe olvidarse de las atribuciones inmediatas de sentido a los smbolos. No debe pensar al primer smbolo como la letra M, ni al segundo como un corazn sobre una lnea, ni al tercero como el nmero 8. La pista que recibe el estudiante es que omita estas interpretaciones inmediatas y se concentre en mirarlas como figuras sobre el papel. Al pensarlas de esta manera, al buscar regularidades en tanto figuras y trazos de lneas, uno advierte de inmediato que los tres smbolos tienen algo en comn: la simetra vertical.

Y entonces reparamos, al mirar las mitades en que han quedado partidas, que el primer smbolo puede verse como el nmero 1 enfrentado al espejo, y que los dos smbolos siguientes pueden verse como los nmeros 2 y 3 enfrentados al espejo. Tenemos as que una posible continuacin de la serie es el nmero 4 enfrentado al espejo, que podramos dibujar de este modo:

Insisto otra vez: una solucin posible. Un lector (que no era matemtico, que no tena ninguna formacin en smbolos) me escribi con otra solucin:

?
6

El razon de este modo: la primera figura no encierra ninguna superficie, la segunda figura encierra una nica superficie:

La tercera figura encierra dos superficies:

8
De manera que otra continuacin posible es cualquier figura que encierre tres superficies, por ejemplo, la M as cerrada: Otra vez observamos aqu el mismo fenmeno: la continuacin de una serie no es nica. An as, hay algo aqu que permite diferenciar a estas dos soluciones:

M M

8 8

La primera solucin parece ms ajustada a la morfologa de los tres smbolos iniciales. Parece ms elegante, porque utiliza estrictamente todos los datos de los tres smbolos. Para la segunda solucin sobra, por ejemplo, la lnea bajo el corazn. Y probablemente, si se quisiera apuntar a la propiedad de que la primera figura no encierre espacios, otras figuras cumpliran mejor ese propsito. La segunda solucin, aunque
7

indudablemente correcta, no parece tan apropiada a las hiptesis como la primera. As, al comparar soluciones propuestas para una misma serie, algunas podran parecernos ms ntidas o naturales, ms precisas, ms obvias. Uno podra estar tentado a suponer: si bien las series lgicas no tienen solucin nica, quiz s pueden diferenciarse las distintas soluciones de acuerdo a criterios estticos, o de algn otro tipo. Establecer algo as como la mejor solucin, la ms elegante, la ms econmica, la ms elemental, la ms evidente. Esto tampoco puede hacerse. Veamos este ejemplo:

2 4 8 16 ?
Si yo doy los nmeros 2, 4, 8, 16 y pregunto por el nmero que debera escribir a continuacin, es muy probable que la contestacin inmediata sea 32, y que se considere un error imperdonable, y hasta risible, que alguien sugiera, por ejemplo, 31. Sin embargo, pensemos las cosas de este modo: Dibujamos un crculo, fijamos 2 puntos en la circunferencia y trazamos la lnea que une esos puntos. El crculo ha quedado dividido en dos sectores. As obtenemos el nmero 2:

Fijamos ahora, sucesivamente, 3, 4, y 5 puntos en la circunferencia, y trazamos las lneas que unen a cada punto con los dems. Al contar los sectores obtenemos los nmeros 4, 8, y 16.

Observemos que hasta aqu las dos series coinciden perfectamente, aunque la regla que utilizamos para obtener los nmeros es distinta en cada caso. Los que han pensado en la solucin 32 utilizaron la regla multiplicar por dos el nmero anterior para obtener el siguiente. Mientras que la regla que estamos usando ahora para obtener la serie 2, 4, 8, 16 es fijar puntos sobre la circunferencia, trazar las lneas que unen a cada punto con los dems, y contar los sectores en que queda dividido el crculo. Veamos qu ocurre en el quinto paso. Fijamos 6 puntos sobre la circunferencia y, una vez ms, trazamos las lneas que unen a cada punto con los restantes.

Al contar los sectores en que ha quedado dividido el crculo obtenemos, no el nmero 32, sino 31!2 De manera que 31 es una continuacin tambin perfectamente razonable para la serie 2, 4, 8, 16. Ms an, bien mirada, es incluso ms elemental que la solucin 32, que requiere saber la tabla del 2, algo que los chicos no aprenden hasta segundo grado. Mientras que cualquier chico a partir de los cuatro aos puede en cambio trazar estas lneas que unen entre s los puntos y contar los sectores. Esto muestra que no hay demasiadas esperanzas de poder diferenciar diferentes soluciones de acuerdo a criterios como economa, elegancia, etctera. Pero en realidad, las cosas son todava peores; en realidad, al plantear la serie

O bien el nmero 30, si los 6 puntos fueron elegidos de modo que determinen un hexgono regular en la circunferencia.

2 4 8 ?
cualquier continuacin que quiera proponerse es razonable. No slo 16, no slo 15, sino tambin 1043, 2, , o cualquier otro nmero que uno pueda pensar. En efecto, por el llamado Teorema de interpolacin de Lagrange, vale que: Dados los nmeros 2, 4, 8, d, donde d es un nmero cualquiera, hay un polinomio P(x) tal que: P(1) = 2; P(2) = 4; P(3) = 8; P(4) = d. Ese polinomio, que podemos construir explcitamente (ver el truco al final), es: P(x) = 1/6 [(d-14) x3 + (90-6d) x2 + (11d-160) x + (96-6d)] Ejemplo: Si queremos dar razonabilidad a la continuacin d = 15, basta reemplazar en el polinomio anterior la letra d por el nmero 15 para obtener: P(x) = 1/6 [x3 + 5x + 6] Tenemos as que la serie 2, 4, 8, 15 corresponde a los valores de este polinomio en 1, 2, 3, 4. Es decir, el nmero 15 es la continuacin correcta y esperable en el cuarto lugar de la serie 2, 4, 8 regida por la ley que establece este polinomio. Observacin Curiosamente, como tambin me observ Rafael Grimson, la serie 2, 4, 8, 15, 26, 42, dada por los valores de este polinomio, tiene una interpretacin bien estudiada en matemtica: son los llamados nmeros de la torta (cake numbers). El nmero de la torta, que denotamos Cn, es el nmero mximo de regiones en el cual un cubo tridimensional puede ser partido por exactamente n planos. El nmero de la torta se llama as porque uno puede imaginar cada particin del cubo por un plano como una tajada

10

hecha por un cuchillo para partir una torta en forma de cubo. Si recordamos los coeficientes binomiales dados por las expresiones,

puede probarse [6] que el nmero Cn se obtiene as:

Y esta frmula coincide con el polinomio de Lagrange que escribimos ms arriba. De modo que la continuacin 15 para la serie 2, 4, 8, sera la ms natural para un maestro repostero haragn que quiere lograr con cuatro cortes la mxima cantidad de porciones (15). Por supuesto, estos ejemplos para una serie numrica de cuatro trminos son parte de una situacin ms general, (que se desprende tambin del Teorema de interpolacin de Lagrange) dada por el siguiente: Teorema: Dados n+1 nmeros a1, a2, , an, an+1, hay un polinomio P(x) de grado no mayor que n tal que P(1)=a1; P(2)=a2; ; P(n)=an y P(n+1)=an+1. Es decir, si nos dan los primeros n trminos a1, a2, , an, de una serie numrica cualquiera, cualquier continuacin an+1 es razonable, en el sentido de que siempre podemos dar un polinomio, una ley matemtica, que permite interpretar a la serie a1, a2, , an, an+1 como los valores obtenidos por ese polinomio en 1, 2, , n, n+1. Notar que una consecuencia inesperada y curiosa de este teorema es que dada una sucesin finita de nmeros, no puede decidirse, por la sola inspeccin de la lista, si fue obtenida o no por el azar. No hay modo de leer el azar en una muestra finita, porque toda sucesin finita de nmeros puede pensarse como obtenida a travs de un polinomio de Lagrange 3. Si escribimos la lista de cien nmeros obtenidos en una ruleta al cabo de una noche, un matemtico lo suficientemente entusiasta podra llegar a establecer el polinomio de grado 99 que rigi el azar de esa noche en particular (lamentablemente, a posteriori). Un juego no siempre posible
3

El matemtico Rafael Grimson me llam la atencin sobre este hecho.

11

Hay todava otra cuestin problemtica asociada a las continuaciones posibles de una serie, y es la de decidir si dos soluciones propuestas como continuacin de una serie verdaderamente coinciden. Consideremos el siguiente juego: El jugador A escribe los tres primeros trminos de una serie numrica, que muestra como desafo a su adversario, el jugador B, para que establezca una continuacin. Dado que, como hemos visto, el jugador B podra argumentar a favor de cualquier continuacin que se le ocurriera, un juego as sera claramente impracticable. Supongamos entonces que el jugador A, al proponer los tres primeros trminos de su serie, escribe en un papel que mantiene oculto a la vista de B, la ley que rige la serie en la que l est pensando . El desafo ahora para el jugador B es dar con la continuacin que corresponde a esa ley en particular. Pero es claro que del hecho de que el jugador B acierte con el cuarto trmino, no podra asegurarse que verdaderamente haya inferido la misma ley en la que est pensando A. Basta volver al ejemplo 2, 4, 8 con las dos posibles continuaciones 16, 32 y 16, 31. Mientras que A est pensando en la ley de multiplicar por 2, B puede estar pensando en la ley de crculos y sectores, y slo se daran cuenta de la discrepancia al llegar al quinto trmino. En general, para series infinitas, an si B propusiera una cantidad cualquiera de trminos a continuacin de los de A, para convencer a A de que verdaderamente conoce la ley oculta, el jugador A no podra estar seguro de que verdaderamente los ejemplos que suministra B provienen de la misma ley, y no de otra que coincide con la que l tiene escrita en una cantidad muy grande de trminos. Para dar un ejemplo drstico en este sentido, supongamos que el jugador A propone la serie 2, 3, 5 y escribe la ley n est en la serie si y slo si n divide a zn - z cualquiera sea el nmero z entre 1 y n.4 El jugador B, al examinar los primeros tres trminos, puede creer que la ley de la serie propuesta es, simplemente, la de los nmeros primos. As propondr a continuacin los nmeros 7, 11, 13. El jugador A cada vez asentir y animar al jugador B a que siga proponiendo los siguientes trminos. El jugador B continuar entonces, con alguna impaciencia, con los nmeros 17, 19, 23. El jugador A pedir todava ms ejemplos, como si no confiara del todo en que B est en posesin de su misma frmula. As, B prosigue con su lista de nmeros primos y durante largo rato cada vez el jugador A asentir, porque todos los nmeros primos verifican la ley escrita por A. Sin embargo, en algn momento, el jugador B pasar por alto el nmero 561, (porque no es
Los nmeros definidos por esta ley son los llamados nmeros pseudoprimos absolutos o nmeros de Charmichael. La lista de estos nmeros coincide con la de los nmeros primos hasta el
4

nmero 561, que no es primo pero verifica la ley.

12

primo), y el jugador A lo detendr. En efecto el nmero 561, aunque no es primo, s verifica la ley que l escribi, y es el primer trmino en que se revela la discrepancia. Como se ve, las dos leyes, aunque son diferentes, coinciden inicialmente en una cantidad abrumadora de trminos. Puede este problema ser salvado? En una nueva variante del juego, supongamos entonces que el jugador B, en vez de seguir devanando la serie que propone A (lo que, como vimos, no alcanza para decidir si B realmente conoce la ley oculta que guarda el papel), escribe tambin l mediante una frmula5 la ley que cree descubrir a partir de los primeros trminos que propone A, para comparar ahora frmula con frmula con la que escribi A. La intencin, con esta variante, es la de sustituir el problema de comparar dos series infinitas trmino a trmino por el de comparar dos expresiones sintcticas finitas (las frmulas que determinan esas series). Con esta variacin el jugador B propone su frmula al jugador A para que ambas puedan ser comparadas. Lo que deben decidir ahora los jugadores A y B es si las frmulas propuestas determinan la misma sucesin. Si las dos frmulas fueran idnticas smbolo a smbolo, no habra dudas. Pero pedir esta coincidencia absoluta es claramente excesivo: en efecto, si el jugador A estuviera pensando, por ejemplo, en la serie de los nmeros pares y hubiera escrito la ley n es mltiplo de 2 y B hubiera anotado, en cambio, Al dividir a n por 2 no hay resto, las frmulas, aunque distintas, son equivalentes, en el sentido de que determinan la misma sucesin, y probablemente se pusieran de acuerdo de inmediato en este caso. Pero en general, decidir si las frmulas determinan la misma sucesin, puede llevar la cuestin otra vez al principio, y a la necesidad de devanar una serie infinita. En efecto, si el jugador A no estuviera convencido de la equivalencia y quisiera refutar la frmula propuesta por el jugador B, se vera obligado a extender las dos series tanto como fuera necesario hasta encontrar un trmino que verificara una de las dos leyes y no la otra. Recaemos as en un proceso potencialmente infinito, en que los dos jugadores pueden quedar suspendidos indefinidamente sin encontrar ni una demostracin que pruebe que las frmulas exhibidas son equivalentes ni un contraejemplo que pruebe que no lo son6.
Pensamos aqu en la acepcin ms amplia posible de la palabra frmula, como un texto (finito) de letras y smbolos conocidos y convenidos por los dos jugadores, que describe la ley de formacin de la serie. Admitimos as tanto una notacin ad hoc para el juego, como una ecuacin matemtica, una frmula de un lenguaje formal, un programa en algn lenguaje de programacin, etctera. Lo importante de esta nocin es que sea un fragmento de texto finito, (en contraste con la infinitud de la serie), de modo que pueda compararse con otro texto propuesto smbolo a smbolo en un tiempo finito.
5 6

Basta pensar que si el jugador A elige la serie de los nmeros pares mayores que 2 y el jugador B sugiere la serie de los nmeros pares mayores que 2 que son suma de dos nmeros primos, decidir si las frmulas son equivalentes equivale a probar o dar un contraejemplo a la conjetura de Goldbach, uno de los problemas todava irresueltos de la matemtica.

13

Algunas consecuencias de esta discusin 1. Novelas sobre crmenes en serie: Hay un largo equvoco, propagado por innumerables novelas y pelculas sobre crmenes en serie, segn el cual, si el asesino deja un smbolo junto a cada cadver, un detective con la suficiente inteligencia podr dar con la continuacin correcta de la serie y anticipar el crimen siguiente. Sin embargo, tal como vimos, el detective no puede en general aspirar a acertar con la continuacin de una serie de crmenes, sino slo a tener la suficiente empata con el modo de pensar del asesino, para coincidir con l en una de las continuaciones posibles. Si Scharlach no hubiera enviado la carta que seala para las primeras tres muertes la interpretacin de puntos cardinales, Lnnrot no hubiera podido leer unvocamente la continuacin del punto sur, del mismo modo que la continuacin D en la que pensaba Borges para la serie sobre la lnea recta no queda unvocamente determinada por los primeros tres puntos. 2. Tests de inteligencia En alguna poca los tests de inteligencia y de personalidad incluan tambin series lgicas, en general de tres smbolos o figuras, que el examinado deba prolongar en un casillero en blanco. Pero otra vez aqu, lo nico que el examinador podra evaluar es el amoldamiento del examinado a la continuacin media esperable de acuerdo a cierta edad 7, a cierta educacin, a cierto medio social, a cierto entrenamiento previo. En definitiva, se evala la coincidencia o desviacin del pensamiento del examinado respecto de la solucin prevista a priori como nica correcta por el examinador. 3. Paradoja de Wittgenstein sobre las reglas finitas En realidad, el que reflexion de una forma ms amplia y general sobre este problema de las diferentes continuaciones posibles de una serie fue Ludwig Wittgenstein en Investigaciones filosficas [7] y tambin en Observaciones sobre los fundamentos de la matemtica [8]. En la formulacin quiz ms precisa de la paradoja, la establece de este modo: Nuestra paradoja era sta: Una regla no poda determinar ningn curso de accin porque todo curso de accin puede hacerse concordar con la regla. [7] p. 203.
Ya Jean Piaget, en Psicologa de la inteligencia, observa sobre los trabajos pioneros de Binet que la inteligencia es evaluada en relacin a parmetros estadsticos, (la edad media de las soluciones justas (sic)) y a una especie de probabilismo psicolgico.
7

14

Es decir, la mera aplicacin de una regla no permite inferir cul es realmente la regla que se est siguiendo, no importa cuntas veces se haya aplicado. La aplicacin de una regla (una cantidad finita n de veces) no determina el curso de accin, la manera de aplicar la regla para la vez siguiente n+1. En efecto, si volvemos al ejemplo de la serie 2, 4, 8, 16, yo puedo creer que infiero correctamente la regla de multiplicar por dos el trmino anterior y mi curso de accin ser entonces escribir el nmero 32 como continuacin. Pero en realidad la regla utilizada para obtener estos cuatro nmeros podra haber sido la de los crculos y sectores, que coincide de manera parcial con la ma en los primeros cuatro pasos. Y an si me dijeran que el nmero siguiente no es 32 sino 31, estara otra vez a ciegas sobre el paso inmediatamente posterior. No podra inferir tampoco que en el paso siguiente la regla correcta para aplicar es la de los crculos y sectores. En efecto, ahora que sabemos sobre los polinomios de Lagrange, sabemos tambin que cualquier nmero a continuacin podra ser justificado por una regla que coincida en los primeros pasos con la que estbamos aplicando. Y en general, si obtuvimos resultados r 1, r2, , rn con una cierta regla R, no podemos inferir de esta aplicacin parcial que es verdaderamente la regla R la que tenemos que usar en el paso siguiente, y no por ejemplo, otra regla R que coincide con R en los primeros n pasos, pero difiere en el paso n + 1. 4. Educacin Pero cmo podemos entonces aprender? Cmo podemos estar seguros si aprendimos o no una regla, cuando la cantidad de ejemplos que nos pueden dar, o que podamos exhibir en respuesta como prueba de que verdaderamente entendimos, no permite inferir cul es en realidad la regla? Y sin embargo, por otro lado, es un hecho que aprendemos algunas reglas, a pesar de la paradoja de Wittgenstein. Aprendemos, por ejemplo, la regla de multiplicar por dos (aunque Wittgenstein logra convencernos de que ni siquiera podemos estar seguros de que sepamos verdaderamente multiplicar por dos). Wittgenstein explica el aprendizaje de una regla como un juego del lenguaje, es decir un juego que sale del plano sintctico donde estn escritos los ejemplos, (y que es insuficiente por s solo para decidir la interpretacin correcta) y pasa al terreno del intercambio social a travs del lenguaje, donde se da a las reglas una interpretacin privilegiada, que tiene que ver con una norma. Seguir una regla es anlogo a obedecer una orden. Se nos adiestra para ello y se reacciona a ella de determinada manera. [7] p. 205. La educacin en la regla es as una calibracin sucesiva entre alguien que ensaya y una figura de aprobador-reprobador, que juzga los ensayos de la regla, hasta que se logra una sincrona lo bastante perdurable, de manera
15

que la regla-norma parece haber sido aprendida, porque la concordancia se ha puesto a prueba suficiente cantidad de veces. (La palabra concordancia y la palabra regla estn emparentadas la una con la otra; son primas. Si le enseo a alguien el uso de la una, le enseo con ello tambin el uso de la otra. [7] p. 213.) 5. Diferencia entre letra y espritu de la ley en la justicia La letra de la ley conserva la forma en que se ha aplicado la norma hacia atrs en el pasado, pero la sucesin de ejemplos en que se aplic la ley no alcanza para determinar unvocamente la interpretacin que debe regir en el presente, o en el futuro. La sociedad, o los jueces dentro de la sociedad, pueden reinterpretar la ley de maneras diferentes en cada instancia. As, el presente histrico ocupa el rol de aprobador-desaprobador respecto al curso de accin para la ley escrita hasta ese momento. 6. Bsqueda de una lengua universal En el libro La bsqueda de la lengua perfecta, de Umberto Eco, se analizan distintos intentos histricos de crear una lengua que sea capaz de generar mecnicamente, a partir de la sintaxis, notaciones inequvocas no slo para las palabras existentes sino tambin para las que puedan surgir en el futuro. En el fondo, lo que est detrs del fracaso de cada uno de estos intentos es, otra vez, la paradoja de Wittgenstein sobre reglas finitas; en este caso, la imposibilidad de que la sintaxis de una lengua proporcione por s misma una interpretacin inequvoca para sus smbolos y reglas, que permita nombrar a futuro. Un caso particularmente interesante que se menciona en el libro es el de los lenguajes espaciales, por ejemplo, el diseo de Lincos, una lengua elaborada por el matemtico Hans A. Freudental para poder interactuar con eventuales habitantes de otras galaxias. La idea es lanzar al espacio seales con regularidad, ondas de distinta duracin y longitud, de modo que al intentar comprender la lgica que sigue la forma de la expresin que les es trasmitida, los aliengenas deberan ser capaces de extrapolar una forma del contenido. En una primera fase deberan reconocer los nmeros, y luego, con nuevas seales, las operaciones aritmticas y lgicas bsicas. Pero como el propio Eco observa con agudeza, esto presupone que los habitantes del espacio deberan seguir algunos criterios lgicos y matemticos similares a los nuestros, por ejemplo el principio de identidad, o el hbito de considerar constante la regla que se ha inferido por induccin de una multiplicidad de casos. Otra vez est aqu por detrs la paradoja de Wittgenstein: an si recibimos la clase de respuestas esperadas, en el fondo no podremos estar seguros, por la mera lectura de las seales de respuesta, si las operaciones o los nmeros que infieren los extraterrestres, coinciden realmente con nuestros conceptos.
16

Sintaxis versus interpretacin Cul es el leit motiv que recorre por detrs estos ejemplos, desde la imposibilidad de fijar una nica continuacin para una serie hasta la de transmitir un lenguaje, desde la paradoja de Wittgenstein hasta la tensin entre letra y espritu en la aplicacin de la ley? En el fondo, todos los casos que consideramos pueden verse como parte de una cuestin ms general, que es la insuficiencia de la sintaxis respecto de la interpretacin. Ningn conjunto de operaciones sintcticas, de reglas escritas, puede dotarse a s mismo de una interpretacin nica e inequvoca. El matemtico esforzado propone sus series en un lenguaje lo ms ceido y riguroso posible y el escritor optimista dispone las suyas (las narraciones son tambin series en busca de sentido) con metforas lujosas, con gradaciones en la trama, con giros dramticos, en un lenguaje que cree lo suficientemente expresivo. Pero ni uno ni el otro estn a salvo de un Pierre Menard que al recorrer los smbolos decida interpretar lo mismo como absolutamente distinto.

Reconocimientos Este artculo no tiene ninguna pretensin de originalidad y es, esencialmente, la transcripcin de una charla que repet con variaciones en mbitos muy diversos. Algunas de las ideas estn contenidas en Una lectura matemtica del pensamiento postmoderno, un libro excelente de Vladimir Tasic [5], donde le por primera vez sobre la paradoja de Wittgenstein. El ejemplo tan ingenioso de los crculos para la serie 2, 4, 8, 16, 31 lo tom prestado para siempre de una resea literaria de Marcus Du Sautoy [2]. Truco para obtener el polinomio: P(x) = 1/6 [(d-14) x3 + (90-6d) x2 + (11d-160) x + (96-6d)] Escribimos la expresin E: (x-2) (x-3) (x-4) + (x-1) (x-3) (x-4) + (x-1) (x-2) (x-4) + (x-1) (x-2) (x-3) Observar: Al evaluar la expresin en 1, slo sobrevive el primer trmino (que es 0) Al evaluar la expresin en 2, slo sobrevive el segundo trmino ( 0) Al evaluar la expresin en 3, slo sobrevive el tercer trmino ( 0) Al evaluar la expresin en 4, slo sobrevive el cuarto trmino ( 0)
17

E(1) = (1-2) (1-3) (1-4) = -6 E(2) = (2-1) (2-3) (2-4) = 2 E(3) = (3-1) (3-2) (3-4) = -2 E(4) = (4-1) (4-2) (4-3) = 6 Construyo P(x) as: P(x): 2(-1/6) (x-2) (x-2) (x-3) (x-4) + 4(1/2) (x-1) (x-3) (x-4) + + 8(-1/2) (x-1) (x-2) (x-4) + d(1/6) (x-1) (x-2) (x-3) Entonces: P(1) = (-6 -1/6) 2 = 2 P(2) = 4 P(3) = 8 P(4) = d cqp

18

Referencias [1] Borges, Jorge Luis. La muerte y la brjula en Ficciones (1944), Obras completas, vol. 5, Sudamericana, 2011, pp. 123-138. [2] du Sautoy, Marcus, Murder by numbers, The Guardian, 2005, http://www.guardian.co.uk/books/2005/feb/05/featuresreviews.guardianrev iew13 [3] Eco, Umberto. La bsqueda de la lengua perfecta , Crtica, 1999, Captulo 15, pp. 258-260. [4] Martnez, Guillermo. Crmenes imperceptibles, Planeta, 2003, Captulo 3, pp. 29-37. Publicada en Espaa con el ttulo Los crmenes de Oxford. [5] Tasic, Vladimir. Una lectura matemtica postmoderno, Colihue, 2001, Captulo 9, pp. 183-199. del pensamiento

[6] Yaglom, A. M. and Yaglom, I. M. Challenging Mathematical Problems with Elementary Solutions, Vol. 1. New York: Dover, 1987. [7] Wittgenstein, Ludwig. Investigaciones filosficas, Crtica, 2004, pp. 199-213. [8] Wittgenstein, Ludwig. Observaciones sobre los fundamentos de la matemtica, Alianza, 1978, Parte VI, pp. 255-297.
19

20