Anda di halaman 1dari 56

SUCESIN DE LAS SUMAS DE DIAGONALES INVERSAS DE

CUADRADOS

Sergio Aschero (2017)

1
Introduccin

Hans Freudenthal escribi, hace ya ms de veinte aos, que consideraba importante


abordar la relacin entre matemticas y lenguaje sin presuponer ningn tipo de
primaca de lo uno sobre lo otro, al subrayar que se desconoca qu haba inventado
primero el hombre, si la escritura o la aritmtica. Hoy sabemos, gracias a
descubrimientos arqueolgicos recientes, que los primeros signos escritos que crearon
un pueblo sumerio en el sur de Mesopotamia y uno elamita en Susa, en el actual Irn
el desarrollo de cuyos sistemas de escritura se ha podido reconstruir paso a paso
desde sus inicios alrededor del 3500 antes de nuestra era fueron signos aritmticos.
Esos signos, marcados con un estilete de marfil en el exterior de bolas huecas de
barro blando, se correspondan con unos guijarros de distintas formas contenidos en el
interior de las bolas, tanto en la forma como en el nmero: las marcas eran pues
iconos que representaban los guijarros ocultos, y bastaba romper la bola, si se quera
verificar que efectivamente estaban en el lugar de los objetos representados. Pero
esta presencia simultnea de marcas y guijarros slo se produce en el segundo
momento de la historia que se ha podido reconstruir a partir de los restos encontrados,
un perodo que aparece como de transicin entre otro inicial, en que las bolas de barro
contienen guijarros pero no llevan ninguna marca en el exterior, y un tercer momento
en que desaparecen los guijarros ocultos y con ellos la necesidad de modelar bolas
huecas para dar paso a tablillas compactas ms o menos planas con las marcas
sobre ellas.
En cualquiera de los momentos de esta historia, bolas huecas o tablillas son registros
de transacciones comerciales, cuentas. Y, por ello, los objetos representados por las
primeras marcas escritas durante un tiempo, presentes aunque ocultos son
tambin signos aritmticos: cada uno de los guijarros encerrados en las bolas huecas
representa convencionalmente, segn sea su forma, una cantidad distinta de objetos.
En efecto, esos guijarros han sido manipulados para realizar una cuenta en el curso de
una transaccin comercial y han sido encerrados en una bola de barro para dejar
constancia del acuerdo entre las partes que comercian sobre cul es la cantidad que
ha intervenido en la transaccin.
Los signos escritos aritmticos estn pues en el lugar de otros signos aritmticos cuya
materia de la expresin es diferente y acaban substituyndolos en los registros. Ahora
bien, slo cabe que los substituyan en los registros, ya que esos signos escritos
pueden dar cuenta de los resultados de las acciones realizadas con los guijarros-
signos que representan, pero carecen de capacidad operatoria, es decir, no es posible
realizar directamente con ellos las acciones realizables con los guijarros, slo estn all
para dar fe del acuerdo alcanzado ante quien no haya estado presente o en el futuro.
No voy a seguir aqu la historia de la creacin de la escritura cuneiforme a partir de
estos primeros signos aritmticos escritos, ni tampoco voy a entrar en los detalles
singulares del uso de la escritura cuneiforme sumeria para escribir en una lengua
semtica, el acadio, la mayor parte de las tablillas con textos matemticos que han
aparecido y han sido descifradas. En la poca paleobabilnica (2000 a 1600 a.C.) a la
que pertenecen esas tablillas, ya no hay en ellas slo registros de transacciones sino,
sobre todo, textos escolares, que son bsicamente de dos tipos: colecciones de
problemas en las que, tras el enunciado de cada uno, se dan instrucciones para
obtener su resultado unas veces en futuro, otras en imperativo; siempre en segunda
persona, y tablas con resultados de operaciones aritmticas. En los registros de
transacciones, la falta de operatividad de los signos escritos aritmticos no tena
mayores consecuencias para quien tuviera que leer esos textos, ya que lo que se
registraba en ellos era el resultado de una operacin que se haba realizado en
presencia de testigos y de la que haba que dar fe, y, adems, siempre caba el
recurso a los guijarros-signos a los que stos remitan. Ahora bien, la lectura de un
texto que es un problema de matemticas no puede limitarse a verificar la constatacin
del resultado de una accin, sino que conlleva desencadenar acciones para resolver el

2
problema. Debido a la falta de operatividad de su sistema de signos escritos, los
escolares babilonios tenan que realizar esas acciones, por un lado, usando otro
sistema de signos del que no nos han quedado huellasprobablemente, realizando
dibujos en la arena o en algn tipo de tablero espolvoreado y, por otro, recurriendo,
a la hora de la realizacin de los clculos aritmticos, a las extensas tablas de
resultados de operaciones aritmticas, cuyo registro en series de tablillas, de las que
se han conservado gran cantidad, les permita no tener que reiterar la realizacin
material de los clculos.
Si los signos aritmticos que estn en el origen de la escritura cuneiforme cayeron en
desuso hace ya milenios, los pastores etruscos, lejos de las transacciones comerciales
y las escuelas de los escribas del creciente frtil, haciendo muescas en un palo, una
por cada cabeza contada, crearon un sistema de numeracin que, aunque
marginalmente, an usamos: el que se conoce como sistema de numeracin romano.
Los signos que hemos heredado de ellos para la representacin de los nmeros
parecen en efecto haberse desarrollado como consecuencia de su inscripcin material
en un registro lineal. As, la primitiva reiteracin de las muescas, ||||||||, pas a estar
estructurada mediante marcas especiales cada cinco muescas, con el fin de facilitar la
cuenta en la expresin: una marca inclinada en el quinto lugar, una marca con forma
de aspa en el dcimo, etc., dando origen, para registrar un rebao de veintitrs
cabezas, a marcas como ||||/||||X||||/||||X|||.
Muescas primarias y marcas estructurantes acabaron convirtindose en las letras del
alfabeto I, V, X, al integrarse con la escritura e identificarse con las letras a las que
ms se parecan.
Siendo lugares en una serie, ni la V ni la X significaban los cardinales "cinco" o "diez",
sino los lugares quinto y dcimo en la serie. De hecho, las primeras escrituras para
"cinco" y "diez" no fueron V y X, sino IIIIV y IIIIVIIIIX, que, stas s, representan
cardinales y en las que tanto I como V representan una unidad. Slo en un segundo
momento un criterio de economa hizo que V representara IIIIV y por tanto cinco
unidades. Los signos V y X funcionaron inicialmente como puntos de referencia en la
serie tambin en otro sentido: IV lleg a significar "cuatro" no por una regla
substractiva entre los cardinales designados por I y V, sino porque la presencia del
signo V permita saber que se estaba designando la marca inmediatamente anterior a
V en la serie. De la misma manera, VI no lleg a significar "seis" por ninguna regla
aditiva, sino por designar la marca inmediatamente posterior a V. Slo cuando los
signos V y X adquirieron el significado cardinal al estar en el lugar de IIIIV y
IIIIVIIIIX, las reglas anteriores, que trataban sobre posiciones en una serie, se
reinterpretaron como reglas aditivas y substractivas entre cardinales. En la historia as
narrada, las transformaciones en la expresin producidas por procesos de abreviacin
dotaron de sentidos nuevos tanto a los signos elementales como a las reglas de
formacin de signos compuestos, sentidos que son los significados con que ahora se
ensean en las escuelas.
rpd Szab ha argumentado que la geometra griega era primitivamente una especie
de "historia", una indagacin emprica sobre las propiedades de las figuras
geomtricas, basada en la vista. Por eso, cuando, como hace Euclides, los objetos de
la geometra se definen desprendindose de las propiedades sensibles de las figuras
geomtricas trazadas en la tierra, como medios de organizacin de stas ("Un punto
es lo que no tiene partes." "Una lnea es una longitud sin anchura."), esas definiciones
han de acompaarse del postulado de las condiciones mismas del discurso en el que
ha de dialogar el lector. Szab afirma que la palabra que usa Euclides y que
traducimos por postulado, designa en la dialctica una peticin a la que el interlocutor
no asiente de inmediato, sino ante la que tiene reservas. Por eso Euclides escribe en
imperativo: "Postlese el trazar una lnea recta desde un punto cualquiera hasta un
punto cualquiera", y de la misma manera el resto de los cinco postulados, con el fin de
sealar al lector cules son los poderes constructivos de los que ha de dotarse quien
haya de construir los objetos geomtricos que van a estudiarse en los Elementos.

3
Las figuras geomtricas que aparecen en el texto de los Elementos, y las que puedan
trazarse en la tierra, no son ya pues el objeto de estudio de la geometra, sino signos
que estn en el lugar de esos objetos geomtricos cuya posibilidad de construccin se
postula, y las propiedades de esos objetos no pueden examinarse cortando y pegando
las figuras geomtricas, ms que a condicin de que se haya establecido la crtica de
ese procedimiento emprico. Las propiedades de los objetos no son desveladas por la
vista, sino que cada proposicin demostrada construye un sentido nuevo para los
objetos implicados; cada proposicin aceptada por la comunidad de los matemticos
institucionaliza ese sentido como significado, como unidad del contenido culturalmente
establecida.

Es habitual que una descripcin del lenguaje en que estn escritos los textos
matemticos distinga dos subconjuntos de signos en l: uno formado por signos que
se ven como propios de las matemticas y suelen calificarse de "artificiales", y otro
formado por los signos de alguna lengua verncula. Se atribuye al lenguaje usual "una
muy clara misin: ser el vehculo o instrumento prctico que permite indicar cmo han
de manejarse los elementos del lenguaje artificial". Esa separacin en dos
subconjuntos se torna radical cuando se concibe que las verdaderas matemticas
sean las escritas en un lenguaje totalmente formalizado y el lenguaje usual aparece
como un substituto torpe y grosero de ste, pero est presente tambin en
descripciones hechas desde presupuestos filosficos contrarios al formalismo. Es el
caso de Brian Rotman quien, desde una posicin que l califica de postestructuralista,
afirma que la distincin entre lo que llama en su modelo semitico de la actividad
matemtica el "Cdigo" y el "MetaCdigo" "opera tanto dentro del trmino smbolo
como contra l. De ello se sigue la oposicin entre ideogramas concebidos
formalmente (+, , 0, 1 2, 3, =, >, sen t, , dy/dx, log(z), etc.), que se corresponden
con signos en su manifestacin Codificada, propia podramos llamarla
"literal", y los diagramas matemticos (puntos, lneas, crculos, ngulos,
aplicaciones, curvas, tringulos, grficas, figuras, flechas, grficos, etc.), que
constituyen el campo del MetaCdigo, es decir del discurso matemtico informal que
podramos llamar "metafrico", y que "el legado de la persecucin del rigor ha sido la
marginacin del MetaCdigo en favor de los textos formales del Cdigo."
La distincin entre signos matemticos "artificiales" y el lenguaje natural se acompaa
pues de una tipologa de los signos "artificiales". En el caso de Rotman, es una simple
dicotoma entre diagramas, que se usan metafricamente, y lo que parece ser que
concibe como los signos propiamente matemticos que "han de ser entendidos como
ideogramas en el sentido usual de caracteres escritos que invocan, transmiten o
denotan un contenido conceptual".
De esto deriva el inters que pueda tener la elaboracin de
una tipologa de los modos de uso o de asignacin de referente de los
signos "artificiales" en los textos matemticos a lo largo de la historia y
la determinacin de lo que llama "estilos matemticos".

Sin embargo, desde el punto de vista en que yo quiero situarme, una semitica de las
matemticas no ha de centrarse en el estudio de los signos, sino de los sistemas de
significacin y los procesos de produccin de sentido. Entonces, esa diferencia entre
un "signo artificial" que sera el propiamente matemtico y cuyos modos de uso o de
asignacin de referente especficos habra que estudiar deja de ser crucial, para
colocar en primer plano el sistema de signos considerado globalmente o los
sistemas de signos, y lo que hay que calificar de "matemtico" no es slo un tipo
particular de signos, sino sobre todo determinados sistemas de signos es decir, no
hay que hablar de sistemas de signos matemticos sino de sistemas matemticos de
signos, y slo en el interior de tales sistemas matemticos habr que estudiar el modo
particular de combinacin en que se presentan signos cuya materia de la expresin es
heterognea.

4
Hace ya algn tiempo se introdujo la necesidad de usar una nocin de sistemas
matemticos de signos lo suficientemente amplia como para que pueda servir como
herramienta de anlisis de los textos que producen los alumnos cuando se les est
enseando matemticas en los sistemas escolares y estos textos se conciben como
el resultado de procesos de produccin de sentido, as como de los textos
matemticos histricos tomados como monumentos, petrificaciones de la accin
humana o de procesos de cognicin propios de una episteme. Al tomar como objeto
de estudio estos textos matemticos y no unos supuestos textos ideales concebidos
como manifestaciones del "lenguaje matemtico", o textos que se miden con respecto
a ellos, tanto la nocin de sistemas matemticos de signos como la de texto ha de
abrirse en varias direcciones.
As, hay que hablar de sistema matemtico de signos, con su cdigo correspondiente,
cuando se da la posibilidad convencionalizada socialmente de generar funciones
sgnicas (mediante el uso de una serie de signos), incluso cuando las correlaciones
funcionales han sido establecidas en el uso de artefactos didcticos en una situacin
de enseanza, con la intencin de que sean efmeras. Por otro lado, tambin hay que
considerar los sistemas de signos o como diremos ms adelante con ms
precisin los estratos de sistemas de signos que los aprendices producen con el fin
de dotar de sentido a lo que se les presenta en la situacin de enseanza, aunque se
rijan por un sistema de correspondencias que no ha sido socialmente establecido, sino
que es idiosincrtico. Como los textos no han de concebirse como manifestaciones del
lenguaje matemtico, ni identificarse con los textos escritos, es pertinente utilizar la
nocin de texto como el resultado de un trabajo de lectura/transformacin hecho sobre
un espacio textual y la distincin entre significado y sentido.
Con ello, el sujeto emprico, que no tena cabida en el reino de las matemticas,
retorna como aprendiz y productor de sentido.
En cuanto a la metodologa, expongo dos ideas a partir de cuya combinacin,
reelaboracin y articulacin con la nocin de sistemas matemticos de signos y la
distincin entre significado y sentido puedo explicar la semiosis matemtica como un
proceso que remite a un mundo de productos de otras semiosis.
La primera atae a la naturaleza de los objetos matemticos y de la prctica
matemtica. Los objetos matemticos se construyen en la prctica matemtica como
medios de organizacin de fenmenos tanto del mundo real como de las matemticas
en su relacin con los fenmenos para los cuales es el medio de organizacin,
indicando cules son los fenmenos para cuya organizacin fue creado y a cules
puede ser extendido, de qu manera acta sobre esos fenmenos como medio de
organizacin y de qu poder nos dota sobre esos fenmenos. Y en este caso estoy
hablando para referirme a los objetos del mundo, sus propiedades, las acciones que
hacemos sobre ellos o las propiedades de esas acciones, para cuya organizacin han
sido creados los objetos matemticos, cuando objetos, propiedades, acciones o
propiedades de acciones son vistos como lo que organizan esos medios de
organizacin y se consideran en su relacin con ellos.
Adems, al incluir en esa lista las "acciones que hacemos sobre ellos" no
slo pretendo que consideremos las acciones que efectivamente realizamos o
podemos realizar, sino las acciones que estipulamos que son realizables mediante los
sistemas matemticos de signos con los que describimos y producimos esos objetos
matemticos.
Una manera de articular el contenido de la ciencia es concebir las matemticas como
una coleccin de relatos sobre las actuaciones de un sujeto ideal al que atribuimos
poderes con la esperanza de iluminar las capacidades que tenemos de estructurar
nuestro entorno.
La concepcin de los objetos matemticos como medios de
organizacin de "fenmenos" se separa de las filosofas de las matemticas que se ha
dado en llamar "realistas" o "platnicas", que conciben los objetos matemticos con

5
una existencia anterior a la actividad matemtica y sta como el descubrimiento de la
geografa del mundo en el que estn esos objetos.
El proceso de creacin de objetos matemticos como medios de organizacin se
acompaa de un proceso que convierte a esos modos de organizacin en un campo
de fenmenos.
Podramos decir que el "mundo" que los objetos matemticos organizan crece, se
ampla al incorporarse a l los propios objetos matemticos, que ya no son vistos
como medios de organizacin sino como objetos, cuyas propiedades, las acciones que
hacemos sobre ellos o las propiedades de estas acciones estn pidiendo nuevos
medios de organizacin que den cuenta de todo ello. Entendiendo pues "mundo" en
este sentido, es decir, entendiendo que contiene tambin el producto de la actividad
humana, cualquier objeto matemtico nmero, tringulo o grupo de Lie puede
verse como medio de organizacin de objetos del "mundo", propiedades, acciones o
propiedades de las acciones.
La segunda idea es la constitucin de objetos mentales frente a la adquisicin de
conceptos, como objetivo de la accin educativa.
En el mundo, el nmero o, mejor, los nmeros se usan en contextos de secuencia,
recuento, cardinal, ordinal, medida, etiqueta, guarismo escrito, mgico, clculo. Los
usos de los nmeros en cada uno de esos contextos siguen reglas distintas: as, por
ejemplo, cuando se dice "mi nmero de telfono es tres, ochenta y seis, cuarenta y
cuatro, ochenta y seis", el nmero se refiere a un objeto y no describe ninguna
propiedad suya ni de su relacin con otros, sino que sirve para identificarlo se es el
contexto de etiqueta, y en l, cuando la expresin es oral, las cifras que componen el
nmero suelen expresarse aisladamente o en bloques de dos, como en el ejemplo que
he referido; en un contexto ordinal, el nmero se refiere a un objeto que est en un
conjunto ordenado de objetos y describe qu lugar ocupa "lleg el tercero" o "es el
que hace tres"; en un contexto cardinal, el nmero se refiere a un conjunto de
objetos (sin orden o cuyo orden no se toma en consideracin) y describe la
numerosidad del conjunto "hay tres"; etc.

La totalidad de los usos de los nmeros en todos los contextos constituye el campo
semntico de "nmero", el significado enciclopdico de "nmero". La identificacin del
contexto en que el nmero se est usando permite a quien lee el texto, o recibe el
mensaje, atenerse a la restriccin semntica que establece el contexto y le permite as
poder interpretarlo de forma afortunada. Ahora bien, el sujeto que lee un texto o ha de
interpretar un mensaje no opera en el conjunto de la enciclopedia es decir, la
totalidad de los usos producidos en una cultura o una episteme sino en su campo
semntico personal, que ha ido elaborando produciendo sentido sentidos que se
convierten en significados si la interpretacin es afortunada en situaciones o
contextos que le exigan nuevos usos para "nmero" o los nmeros.

La adquisicin del concepto es un objetivo educativo secundario, que puede


posponerse a una slida constitucin de los objetos mentales, y, en todo caso, es
posterior a sta. En efecto, desde la descripcin semitica que estoy haciendo,
cualquier concepto matemtico de nmero que quiera examinarse una vez ya
constituido aparece en su primera formulacin como un recorte del campo semntico.
As, por ejemplo, el concepto de nmero natural elaborado por Peano sobre todo en
sus versiones ms modernas puede verse como el desmenuzamiento del significado
propio del contexto de secuencia y su presentacin en forma de una serie de axiomas,
que dan cuenta exhaustiva de sus componentes.
El concepto de nmero natural que se deriva de la construccin cantoriana, por su
parte, se adscribe, desde el propio nombre que le dio Cantor en su intencin original,
al contexto cardinal.
La imagen de las matemticas que dibujan estas dos ideas est trazada pues por un
movimiento horizontal de despliegue y ampliacin de campos semnticos y un

6
movimiento vertical de creacin de conceptos, movimiento que, a mi entender, no
puede desligarse de la elaboracin simultnea de los sistemas matemticos de signos.
Los textos matemticos se producen mediante sistemas matemticos de signos
estratificados y con materias de la expresin heterogneas.
Con esta afirmacin pretendo, en primer lugar, ir en contra de la idea de la existencia
de un texto escrito en un lenguaje totalmente formalizado, que, aunque nunca se
actualiza, est en el horizonte como el texto al que alude el que realmente se produce,
mediante operaciones que se conciben como "abusos de lenguaje". Pero tambin
quiero oponerla a la idea segn la cual hay un texto riguroso siempre presente como el
propio de un Cdigo que establece las reglas del texto matemtico riguroso.
Ahora bien, esto no significa que las formas de producir sentido, comunicar, significar y
permitir interpretaciones mltiples hayan de ser asimiladas a las de los textos escritos
convencionalmente en las humanidades, ya que en los textos matemticos hay signos
que no son del lenguaje natural.
Yo no encuentro que sea tan singular analizar un texto en el que no slo aparezca el
lenguaje natural, ya que la semitica se ha encargado de abordar el anlisis del cine,
la msica o la danza, por ejemplo, cuya expresin es heterognea al combinar
materias de origen diverso; y encuentro que es ms adecuado estudiar cul es el tipo
de combinacin de materias de la expresin heterogneas propio de los textos
matemticos, que la bsqueda de algo slo expresable gracias a una materia
expresiva que sera especfica de las matemticas.
Ahora bien, abandonar la idea de un texto formalizado o riguroso como el trasfondo
que regula de una u otra forma el anlisis de los textos matemticos no me hace negar
el papel desempeado efectivamente en la prctica por la ilusin del texto formalizado,
ya que esta ilusin ha formado parte de la idea que los matemticos se han hecho de
las reglas de su prctica. El modo de combinacin de las materias de la expresin
procedentes de lenguajes distintos y el modo de relacin entre los estratos de los
sistemas matemticos de signos est marcado entre otras cosas por ese componente
no discursivo de la prctica matemtica, como lo estn los textos que se produjeron en
un perodo histrico dado de entre todos los que podan haberse producido.

La heterogeneidad de la materia de la expresin se manifiesta en la presencia en los


textos de segmentos de lenguaje natural, algebraico, figuras geomtricas y otros
diagramas, etc.
Esos segmentos, aunque procedan de lenguajes con los que pueden producirse textos
segn sistemas de reglas propias de cada uno de ellos, no estn regulados por
separado en los textos matemticos por las reglas propias de cada uno de esos
lenguajes, sino que las reglas de unos lenguajes contaminan las de los otros, de modo
que los sistemas matemticos de signos se rigen por reglas nuevas, creadas a partir
de las de los distintos lenguajes que incorporan.
As, por ejemplo, la expresin "siete menos cuatro" est construida importando al
castellano la forma de la expresin aritmtica 7-4. Esta extraeza al castellano de
expresiones como sta, que ahora puede pasarnos desapercibida, es evidente cuando
se examinan textos escolares de comienzos del siglo XIX y se observa que, en
cualquiera de ellos, esas expresiones se introducen como algo cuyo significado hay
que explicar recurriendo a la expresin del lenguaje vernculo "restar tanto de tanto".
Vallejo, por ejemplo, escribe: "la expresin 5-3=2, quiere decir que despus de quitar 3
unidades del 5 quedan 2, y se lee cinco menos es igual a dos."

Los textos matemticos llevan inscritos decticos que refieren entre s elementos de
segmentos de naturaleza diferente.
Por ejemplo, la expresin "el punto A, el punto B, el segmento AB", acompaada de la
figura geomtrica correspondiente, ya sea trazada materialmente o imaginada, en la
que las letras traban entre s palabras, figuras y smbolos literales y la operatividad de
las letras o las figuras en la propia expresin suple la falta de operatividad del lenguaje

7
natural; o las mltiples referencias entre "la hipotenusa c", la letra c escrita junto a uno
de los lados de un tringulo trazado en el papel y la expresin algebraica a2+b2=c2,
que permiten saber que el texto estipula que la figura trazada que parece un tringulo
rectngulo representa efectivamente ese objeto geomtrico y que a2+b2=c2 enuncia el
teorema de Pitgoras.

Gracias a estos decticos, se inscriben en el texto indicaciones de traducciones entre


los elementos mutuamente referidos, que son marcas que el propio texto lleva del
campo semntico a partir del cual el lector ha de producir sentido. Excepto si se
admite la deriva hacia lecturas aberrantes, estas indicaciones son necesarias porque
toda lectura de un texto matemtico constituye para el lector emprico un proceso de
aprendizaje, en un sentido no trivial.

Los objetos de los que tratan las matemticas son creados en un movimiento
fenmenos/medios de organizacin por los sistemas matemticos de signos que los
describen, y, ya que ese movimiento de ascenso de los fenmenos a los medios de
organizacin no se desarrolla siempre en el mismo nivel, es decir, lo que se toma
como fenmenos que piden ser organizados por nuevos medios no est en un mundo
inmutable, cuyo conjunto de fenmenos fuera el objeto de estudio de las matemticas,
las matemticas generan su propio contenido. Un aspecto importante de ese
movimiento puede denominarse "abstraccin". La estratificacin de los sistemas
matemticos de signos con que se producen los textos matemticos tiene que ver con
esos procesos de abstraccin.

El que los sistemas matemticos de signos sean el producto de un proceso de


abstraccin progresiva, ya sea en la historia de las matemticas o en la historia
personal de un sujeto emprico, hace que los que realmente se usan estn formados
por estratos provenientes de distintos momentos del proceso, relacionados entre s por
las correspondencias que ste ha establecido.

La lectura/transformacin de un texto/espacio textual puede hacerse entonces usando


distintos estratos del sistema matemtico de signos, recurriendo a conceptos, acciones
o propiedades de conceptos o acciones, que estn descritos en alguno de los estratos.
Los textos producidos por lecturas que usen estratos distintos o una combinacin
distinta de estratos pueden ser traducidos unos a otros y reconocidos como
"equivalentes", a condicin de que en el sistema matemtico de signos estn descritas
tambin las correspondencias pertinentes entre los elementos utilizados. En
ocasiones, dos espacios textuales ET y ET no pueden ser ledos/transformados
mediante un sistema matemtico de signos estratificado L, recurriendo a los mismos
conceptos, acciones o propiedades de conceptos o acciones, que estn descritos en
alguno de los estratos; mientras que esto s que puede hacerse en otro sistema
matemtico de signos M. Entonces, M es "ms abstracto" que L, respecto a ET y ET.
En ocasiones, durante un proceso de enseanza y aprendizaje, un alumno es incapaz
de transformar un espacio textual ET mediante un sistema matemtico de signos
estratificado L, recurriendo a los mismos conceptos, acciones o propiedades de
conceptos o acciones con los que ha transformado un espacio textual ET; la ruptura de
esta imposibilidad, el aprendizaje, se produce cuando modifica el estrato de lenguaje
en que estn descritos los medios de transformacin, creando un nuevo sistema
matemtico de signos M, en el que los espacios textuales ET y ET se identifican como
transformables con los mismos medios. La creacin de M es un "proceso de
abstraccin", que conlleva tambin la elaboracin de conceptos o acciones "ms
abstractos" (los que estn descritos en el estrato de lenguaje modificado).

En esas modificaciones de estratos de lenguaje que conducen a identificar conceptos


o acciones, desempea un papel importante la autonomizacin de las

8
transformaciones de la expresin con respecto al contenido, de modo que stas
puedan efectuarse de acuerdo con las reglas sin tener que contrastar el resultado de
las transformaciones de la expresin con respecto al contenido, en cada uno de los
pasos, sino slo eventualmente o una vez se ha dado por concluido el conjunto de
transformaciones.
Umberto Eco seala que en las expresiones algebraicas como en todos los signos que
l llama diagramas "existen correspondencias puntuales entre expresin y contenido"
por lo que "las operaciones que se llevan a cabo en la expresin modifican el
contenido; y si estas operaciones se llevan a cabo conforme a ciertas reglas, el
resultado proporciona nuevas informaciones sobre el contenido". Las figuras
geomtricas tambin son diagramas en este sentido, ya se tracen para representar
objetos geomtricos como en los Elementos de Euclides o para representar
cantidades algebraicas.
En ocasiones, dotar de sentido al resultado de una transformacin en la expresin
supone ampliar el campo semntico de los objetos o las acciones implicados, como
muestra un ejemplo tan simple como la identificacin de a0 con 1, gracias a que unas
reglas producen an/an = an-n = a0 y otras an/an = 1, con lo que la expresin a0, que
literalmente quiere decir "a multiplicado por s mismo cero veces", lo que no significa
nada, se ve dotada de sentido ampliando el campo semntico de "multiplicar" y
"veces". La autonomizacin de la expresin lleva consigo pues un poder para generar
contenido.

Desde la inscripcin de los primeros signos aritmticos escritos, que como he


mostrado en las instantneas histricas iniciales, carecan de capacidad operatoria, los
matemticos han ido desarrollado a lo largo de la historia sistemas de signos, cuya
expresin tuviera cada vez ms poder de generar contenido.
De modo que, a mi entender, examinar las matemticas como un sistema de signos y
mostrar el papel crucial que desempea la autonomizacin de la expresin no tiene
por qu conducir a nada similar a la famosa conclusin de Russell de que "las
proposiciones de las matemticas son puramente lingsticas y tienen que ver con la
sintaxis".

9
Sucesiones y series

Qu es una sucesin?

Una sucesin es un conjunto de cosas (normalmente nmeros) una detrs de otra, en


un cierto orden.

Finita o infinita

Si la sucesin sigue para siempre, es una sucesin infinita,


si no es una sucesin finita

Ejemplos:

{1, 2, 3, 4,...} es una sucesin muy simple (y es una sucesin infinita)


{20, 25, 30, 35,...} tambin es una sucesin infinita
{1, 3, 5, 7} es la sucesin de los 4 primeros nmeros impares (y es
una sucesin infinita)
{4, 3, 2, 1} va de 4 a 1 hacia atrs
{1, 2, 4, 8, 16, 32,...} es una sucesin infinita donde vamos doblando cada
trmino
{a, b, c, d, e} es la sucesin de las 5 primeras letras en orden alfabtico
{a, l, f, r, e, d, o} es la sucesin de las letras en el nombre "alfredo"
{0, 1, 0, 1, 0, 1,...} es la sucesin que alterna 0s y 1s (s, siguen un orden, en
este caso un orden alternativo)

En orden

Cuando decimos que los trminos estn "en orden", nosotros somos los que
decimos qu orden! Podra ser adelante, atrs... o alternando... o el que quieras!

Una sucesin es muy parecida a un conjunto, pero con los trminos en orden (y el
mismo valor s puede aparecer muchas veces).

10
Ejemplo: {0, 1, 0, 1, 0, 1,...} es la sucesin que alterna 0s y 1s.
El conjunto sera slo {0,1}

La regla

Una sucesin sigue una regla que te dice cmo calcular el valor de cada trmino.

Ejemplo: la sucesin {3, 5, 7, 9,...} empieza por 3 y salta 2 cada vez:

Pero la regla debera ser una frmula!

Decir que "empieza por 3 y salta 2 cada vez" no nos dice cmo se calcula el:

10 trmino,
100 trmino, o
n-simo trmino (donde n puede ser cualquier nmero positivo que queramos).

As que queremos una frmula con "n" dentro (donde n ser la posicin que tiene el
trmino).

Entonces, cul sera la regla para {3, 5, 7, 9,...}?

Primero, vemos que la sucesin sube 2 cada vez, as que podemos adivinar que la
regla va a ser "2 n". Vamos a verlo:

Probamos la regla: 2n

n Trmino Prueba
1 3 2n = 21 = 2
2 5 2n = 22 = 4
3 7 2n = 23 = 6

Esto casi funciona... pero la regla da todo el tiempo valores 1 unidad menos de lo que
debera, as que vamos a cambiarla un poco:

11
Probamos la regla: 2n+1

n Trmino Regla
1 3 2n+1 = 21 + 1 = 3
2 5 2n+1 = 22 + 1 = 5
3 7 2n+1 = 23 + 1 = 7

Funciona!

As que en vez de decir "empieza por 3 y salta 2 cada vez" escribimos la regla como:

La regla para {3, 5, 7, 9,...} es: 2n+1

Ahora, por ejemplo, podemos calcular el trmino 100: 2 100 + 1 = 201

Notacin

Para que sea ms fcil escribir las reglas, normalmente lo hacemos as:

Posicin del trmino

Es normal usar xn para los trminos:

xn es el trmino
n es la posicin de ese trmino

As que para hablar del "quinto trmino" slo


tienes que escribir: x5

Entonces podemos escribir la regla para {3, 5, 7, 9,} en forma de ecuacin, as:

xn = 2n+1

Ahora, si queremos calcular el 10 trmino, podemos escribir:

x10 = 2n+1 = 210+1 = 21

Ahora veamos algunas sucesiones especiales y sus reglas:

12
Tipos de sucesiones

Sucesiones aritmticas

El ejemplo que acabamos de usar, {3,5,7,9,...}, es una sucesin aritmtica (o


progresin aritmtica), porque la diferencia entre un trmino y el siguiente es una
constante.

1, 4, 7, 10, 13, 16, 19, 22, 25,...

Esta sucesin tiene una diferencia de 3 entre cada dos trminos.


La regla es xn = 3n-2

3, 8, 13, 18, 23, 28, 33, 38,...

Esta sucesin tiene una diferencia de 5 entre cada dos trminos.


La regla es xn = 5n-2

Sucesiones geomtricas

En una sucesin geomtrica cada trmino se calcula multiplicando el anterior por un


nmero fijo.

2, 4, 8, 16, 32, 64, 128, 256,...

Esta sucesin tiene un factor 2 entre cada dos trminos.


La regla es xn = 2n

3, 9, 27, 81, 243, 729, 2187,...

Esta sucesin tiene un factor 3 entre cada dos trminos.


La regla es xn = 3n

4, 2, 1, 0.5, 0.25,...

Esta sucesin tiene un factor 0.5 (un medio) entre cada dos trminos.
La regla es xn = 4 2-n

13
Sucesiones especiales

Nmeros triangulares

1, 3, 6, 10, 15, 21, 28, 36, 45,...


Esta sucesin se genera a partir de una pauta de puntos en un tringulo.
Aadiendo otra fila de puntos y contando el total encontramos el siguiente nmero de
la sucesin.

Pero es ms fcil usar la regla:

xn = n(n+1)/2
Nmeros cuadrados

1, 4, 9, 16, 25, 36, 49, 64, 81,...


El siguiente nmero se calcula elevando al cuadrado su posicin.

La regla es xn = n2

Nmeros cbicos

1, 8, 27, 64, 125, 216, 343, 512, 729,...

El siguiente nmero se calcula elevando al cubo su posicin.

La regla es xn = n3

14
Nmeros de Fibonacci

0, 1, 1, 2, 3, 5, 8, 13, 21, 34,...


El siguiente nmero se calcula sumando los dos que estn antes de l.
El 2 se calcula sumando los dos delante de l (1+1)
El 21 se calcula sumando los dos delante de l (8+13)

La regla es xn = xn-1 + xn-2

Esta regla es interesante porque depende de los valores de los trminos anteriores.

Por ejemplo el 6 trmino se calculara as:

x6 = x6-1 + x6-2 = x5 + x4 = 5 + 3 = 8

Series

"Sucesiones" y "series" pueden parecer la misma cosa... pero en realidad una serie es
la suma de una sucesin.

Sucesin: {1,2,3,4}

Serie: 1+2+3+4 = 10

Las series se suelen escribir con el smbolo que significa "smalos todos":

Esto significa "suma de 1 a 4" = 10

Esto significa "suma los cuatro primeros trminos de la sucesin 2n+1"

Que son los cuatro primeros trminos de nuestro ejemplo {3,5,7,9,...} = 3+5+7+9 = 24

Patrones conocidos de nmeros

A veces los nmeros forman patrones interesantes. Aqu mostramos los ms comunes
y cmo se forman.

15
Una de las pautas de nmeros ms interesantes es el tringulo de Pascal (llamado as
en honor de Blaise Pascal, un famoso matemtico y filsofo francs).

Para construir el tringulo, empieza con "1" arriba, y pon nmeros debajo formando un
tringulo.

Cada nmero es la suma de los dos nmeros que tiene encima, menos los extremos,
que son siempre "1".

(Aqu est remarcado que 1+3 = 4)

Pautas en el tringulo

Diagonales

La primera diagonal es, claro, slo "unos", y la siguiente son todos los nmeros
consecutivamente (1,2,3, etc.)

La tercera diagonal son los nmeros triangulares

(La cuarta diagonal, son los nmeros tetradricos.)

16
Pares e impares

Si usas distintos colores para los nmeros pares e impares, obtienes un patrn igual al
del Tringulo de Sierpinski

Sumas horizontales

Notas algo en las sumas horizontales? Hay algn patrn? Es increble! Se dobla
cada vez (son las potencias de 2).

17
Prueba esto: empieza con un 1 de la izquierda, da un paso arriba y uno al lado, suma
los cuadrados donde caigas (como en el dibujo)... las sumas que salen son la sucesin
de Fibonacci.
(La sucesin de Fibonacci se hace sumando dos nmeros para conseguir el siguiente,
por ejemplo 3+5=8, despus 5+8=13, etc.)

Simetra

El tringulo es simtrico, esto quiere decir que se ve igual desde la derecha que desde
la izquierda.

18
Y como ejemplo de este captulo veamos lo que sucede con la sucesin de Fibonacci:

Flores con formas de espiral: Las imgenes muestran las espirales dobles (en el
centro) de una margarita (a la izquierda) y de un girasol (a la derecha). Se forman
dos grupos opuestos de espirales, con sentidos opuestos, gracias a la disposicin de
las semillas en el crculo central. En ambos casos, encontramos 21 espirales en el
sentido de las agujas del reloj y 34 en sentido opuesto. Y resulta que ambas cifras, 21
y 34, forma parte de la misteriosa serie de Fibonacci.

19
Y a partir de aqu se inicia la aventura de la "Sucesin de las sumas de diagonales
inversas de cuadrados que he creado.

20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
Tabla de cuadrados de nmeros desde 1 hasta 30

12 = 1 112 = 121 212 = 441


22 = 4 122 = 144 222 = 484
32 = 9 132 = 169 232 = 529
42 = 16 142 = 196 242 = 576
52 = 25 152 = 225 252 = 625
62 = 36 162 = 256 262 = 676
72 = 49 172 = 289 272 = 729
82 = 64 182 = 324 282 = 784
92 = 81 192 = 361 292 = 841
102 = 100 202 = 400 302 = 900

Listado de la suma de diagonales inversas de cuadrados

1=1

2 = 1+2+3+4 = 10

3 = 1+3+5+7+9 = 25

4 = 1+4+6+7+10+11+13+16 = 68

5 = 1+5+7+9+13+17+19+21+25 = 117

6 = 1+6+8+11+15+16+21+22+26+29+31+36 = 222

7 = 1+7+9+13+17+19+25+31+33+37+41+43+49 = 325

8 = 1+8+10+15+19+22+28+29+36+37+43+46+50+55+57+64 = 520

9 = 1+9+11+17+21+25+31+33+41+49+51+57+61+65+71+73+81 = 697

10 = 1+10+12+19+23+28+34+37+45+46+55+56+64+67+73+78+82+89+91+100

= 1010

11 = 1+11+13+21+25+31+37+41+49+51+61+71+73+81+85+91+

97+101+109+111+121 = 1281

12 = 1+12+14+23+27+34+40+45+53+56+66+67+78+79+89+92+

100+105+111+118+122+131+133+144 = 1740

13 = 1+13+15+25+29+37+43+49+57+61+71+73+85+97+99+109+113+

121+127+133+141+145+155+157+169 = 2125

14 = 1+14+16+27+31+40+46+53+61+66+76+79+91+92+105+106+

53
118+121+131+136+144+151+157+166+170+181+183+196 = 2758

15 = 1+15+17+29+33+43+49+57+65+71+81+85+97+99+113+127+

129+141+145+155+161+169+177+183+193+197+209+211+225 = 3277

16 = 1+16+18+31+35+46+52+61+69+76+86+91+103+106+

120+121+136+137+151+154+166+171+181+188+196+205+211+

222+226+239+241+256 = 4112

17 = 1+17+19+33+37+49+55+65+73+81+91+97+109+113+127+

129+145+161+163+177+181+193+199+209+217+225+235+241+

253+257+271+273+289 = 4785

18 = 1+18+20+35+39+52+58+69+77+86+96+103+115+120+134+137+

153+154+171+172+188+191+205+210+222+229+239+248+256+

267+273+286+290+305+307+324 = 5850

19 = 1+19+21+37+41+55+61+73+81+91+101+109+121+127+141+

145+161+163+181+199+201+217+221+235+241+253+261+271+

281+289+301+307+321+325+341+343+361 = 6697

20 = 1+20+22+39+43+58+64+77+85+96+106+115+127+134+148+

153+169+172+190+191+210+211+229+232+248+253+267+274+

286+295+305+316+324+337+343+358+362+379+381+400 = 8020

21 = 1+21+23+41+45+61+67+81+89+101+111+121+133+141+155

+161+177+181+199+201+221+241+243+261+265+281+287+301+

309+321+331+341+353+361+375+381+397+401+419+421+441 = 9061

22 = 1+22+24+43+47+64+70+85+93+106+116+127+139+148+162

+169+185+190+208+211+231+232+253+254+274+277+295+300+

316+323+337+346+358+369+379+392+400+415+421+438+442+ 461+463+484

= 10670

23 = 1+23+25+45+49+67+73+89+97+111+121+133+145+155+

169+177+193+199+217+221+241+243+265+287+289+309+313+

331+337+353+361+375+385+397+409+419+433+441+457+463+481+485+505+507+

54
529 = 11925

24 = 1+24+26+47+51+70+76+93+101+116+126+139+151+162+

176+185+201+208+226+231+251+254+276+277+300+301+323+

326+346+351+369+376+392+401+415+426+438+451+461+476+

484+501+507+526+530+551+553+576 = 13848

25 = 1+25+27+49+53+73+79+97+105+121+131+145+157+169+

183+193+209+217+235+241+261+265+287+289+313+337+339+

361+365+385+391+409+417+433+443+457+469+481+495+505+

521+529+547+553+573+577+599+601+625 = 15337

26 = 1+26+28+51+55+76+82+101+109+126+136+151+163+176+

190+201+217+226+244+251+271+276+298+301+325+326+351+

352+376+379+401+406+426+433+451+460+476+487+501+514+

526+541+551+568+576+595+601+622+626+649+651+676 = 16976

27 = 1+27+29+53+57+79+85+105+113+131+141+157+169+183+

197+209+225+235+253+261+281+287+309+313+337+339+365+

391+393+417+421+443+449+469+477+495+505+521+533+547+

561+573+589+599+617+625+645+651+673+677+701+703+729 = 19345

28 = 1+28+30+55+59+82+88+109+117+136+146+163+175+190+

204+217+233+244+262+271+291+298+320+325+349+352+378+

379+405+406+432+435+459+464+486+493+513+522+540+551+

567+580+594+609+621+638+648+667+675+696+702+725+729+

754+757+784 = 21954

29 = 1+29+31+57+61+85+91+113+121+141+151+169+181+197+

211+225+241+253+271+281+301+309+331+337+361+365+391+

393+421+449+451+477+481+505+511+533+541+561+571+589+

601+617+631+645+661+673+691+701+721+729+751+757+781+

785+811+813+841 = 23997

30 = 1+30+32+59+63+88+94+117+125+146+156+175+187+204+218+

233+249+262+280+291+311+320+342+349+373+378+404+407+
55
435+436+465+466+494+497+523+528+552+559+581+590+610+

621+639+652+668+683+697+714+726+745+755+776+784+807+

813+838+842+869+871+900 = 26940

Y a partir de este punto se inicia otra aventura, la de los cientficos que intentarn de
interesarles mi propuesta (tal como ocurri con la Sucesin de Fibonacci) encontrar en
la Naturaleza la correspondencia entre lo que aqu propongo numricamente y lo
existente.

Sergio Aschero (Doctor en Musicologa)

sergioaschero@gmail.com

56