Está en la página 1de 198

ANTOLOGIA

DE MATEMATICAS

COORDINACION

DE HUMANIDADES

7
LECTVRAS VNIVERSITARIAS

Primera edicion: 1971 Primera reimpresion: 1983 Segunda reimpresion: 1990 DR c 1990 Universidad Nacional Autonoma de Mexico Ciudad Universitaria. 04510 Mexico, D. F.
DIRECCION GENERAL DE PUBLICACIONES

Impreso y hecho en Mexico ISBN 968-58-0605-5

SUMARIO

Prefacio 7 Agradecimientos Introduccion

9 11

Historica

12 Los mimeros magicos 17 EI misticismo de los numeros y las supersticiones 22 Ellugar de las maternaticas en la clasificacion de las ciencias 28 La maternatica, objeto de cultura y herramienta de trabajo 34 Sistemas antiguos de numeracion 42 Los numerales indoarabigos 53 Metodos antiguos de cornputacion 58 La historia de los numeros misteriosos 65 Desarrollo actual y aplicaciones I 83

~Que es la matematica?

Caminos intuitivos hacia algunos 6rganos esenciales de la maternatica 84 EI numero natural y sus generalizaciones 95 Como resolverlo 108 Temas de geometrfa 125 Artificios de cornputacion 134 Un enigma maternatico: EI ultimo teorema de Fermat Viaje a la cuarta dimension 164 Ojeadas sobre el pensamiento rnatematico de Newton Bibliografia 197

153 183

PRE FACIO

La finalidad de la presente seleccion de art iculos de diversos autores altamente calificados es la de que ellector se informe de diferentes aspectos de una ciencia, la Matematica, de la cual tantas ideas distorsionadas existen, objetivo que se ha procurado alcanzar, reuniendo trabajos que aunque sencillos en su exposicion, transmi ten en su esencia todo el poder y la fascinacion contenidos intrfnsecamente en cada tema. Cabe aclarar que aunque el micleo principal al que va dirigido el presente trabajo es el del estudiantado preparatoriano 0 de nivel medio superior, podra tambien ser de utilidad para cualquier persona, profesionista 0 no, que desee aumentar su nivel cultural en este campo. Debemos admitir que al cabo de la lectura se tendra un panorama mas 0 menos vasto de tan interesante materia, mas no somos ilusos en suponer que hemos podido abarcar todos los detalles importantes, que pudieran inclinar al lector a adquirir plena conciencia de 10 que ha significado la Maternatica en el desarrollo intelectual del hombre. Sin embargo, si creemos que, aun para las personas cuyo interes por esta disciplina sea muy limitado, se conseguira despertar su curiosidad y que al menos ciertos temas Ie pareceran de sumo interes, con 10 que se lograra que profesionistas y estudiantes de cualquier disciplina, ademas de toda persona con un nivel cultural promedio, pierdan el temor a consultar textos especializados para resolver problemas de indole maternatica que pudieran presentarse en el desarrollo de sus actividades cotidianas 0 simplemente por pura "diversion" . Honda preocupacion de nuestra epoca resulta el comunicar conocimientos adem as de el como adquirirlos; dentro de la reforma educativa propugnada entre otras instituciones por

nuestra Universidad, pretendemos que al enterar a los lectores de la sencillez del pensamiento de grandes hombres, se llegue a comprender primero y a aplicar despues, en su trabajo diario, el pensamiento diafano desprovisto de engafiosas retoricas que debe caracterizar al estudioso. De esta forma no es de sorprenderse, como el lector 10 podra comprobar, que ligadas a la ciencia maternatica se encuentren, practicamente, todas las dernas ciencias, empfricas 0 exactas, 10 que, adernas, viene a justificar el porque de la demanda de obtener estos conocimientos por parte de tecnicos, cientificos y human istas. No obstante, para que el lector capte 10 mas fielmente posible, en textos especializados, el sentido de los conceptos maternaticos involucrados en ellos nada mejor que motivarse e inclusive entusiasmarse por sus estudios, por 10 que Ie invitamos a introducirse al maravilloso mundo que en las paginas sizuientes se muestra. El presente trabajo se ha dividido en dos partes, aunque el material que contiene una y otra esta ligado. Sin embargo, la lectura de un determinado articulo se puede hacer independien temen te de la de los dernas. La parte I consta de dos unidades principales: "Introduccion Historica" y la primera parte de "Desarrollo Actual y Aplicaciones". La parte II consiste de la segunda parte de "Desarrollo Actual y Aplicaciones" finalizando con "Perspectivas". Finalmente, quiero hacer patente el in teres mostrado, para la elaboracion de este trabajo, por el Dr. Pablo Gonzalez Casanova, Rector de la Universidad Nacional Autonoma de Mexico, asf como por el Dr. Fernando Alba Andrade. Miguel Lara Aparicio

AGRADECIMIENTOS

La Universidad Nacional Autonorna de Mexico agradece a las editoriales aquf mencionadas que le hayan permitido reproducir en esta Antologia los textos siguientes: A Compafi ia Editorial Continental, S. A. (CECSA), los capitulos I, II, IV, V, VII Y X de Conceptos matenuiticos. Un enfoque historico, de Margaret Willerding; a Editorial Aguilar, la introduccion de i Que es fa matematical , de Richard Courant y Herbert Robbins; a Editorial Siglo XXI, el capitulo "Las matematicas de 1980" de iA d6nde va La matemdticat , de Jean Kuntzmann; a Editorial Grijalbo, los articulos: "Simetria"; por Hermann Weyl; "Como resolverlo" de G. Polya e "invencion matematica ", de Henri Poincare, de Sigma. El mundo de las matemdticas, coordinado por James R. Newman; a Editorial Universitaria de Buenos Aires (EUDEBA), "Caminos intuitivos hacia algunos organos esenciales de la matematica ", de Georges Bouligand; "EI mirnero natural y sus generalizaciones", de Maurice Frechet ; "Enigma maternatico ", de Theophile Got; "La historia de los numeros misteriosos", de Paul Dubreil; "Viaje a la cuarta dimension", de Andre Sainte-Lague; "Ojeada sobre el pensamiento mate matico de Newton", de Pierre Brunet; "EI futuro de las matematicas" de Andre Weil; "La maternatica, objeto de cultura 0 herramienta de trabajo"; de Rene Dugas; "Ellugar de las mat em aticas en la clasificacion de las ciencias", de Raymond Queneau; "EI papel de las maternaticas en el desarrollo de la fisica teorica contemporanea ", de Louis de Broglie; "La belleza en matematicas ", de Francois Le Lionnais; "Estetica cient ifica y teorfas modernas ", de Adolphe N. Buhl; "EI concepto de grupo y las artes", de Andreas Speiser; "La arquitectura y el espfritu maternatico ", de Le Corbusier; "Las maternaticas y la musica ", de Henri Martin; "Las matematicas 9

y el ingeniero ", de Maurice Roy; "Las matematicas en la industria", de Michel Luntz; "Las matematicas y el desarrollo social", de Jacques Chapelon; de Las gran des corrientes del pensamiento mate matico, de F. Le Lionnais y colaboradores.

10

INTRODUCCION HISTORICA

A menudo la palabra historia nos sugiere una coleccion de hechos, nombres y fechas que inevitablemente asociamos con la idea de "aburrimiento". No obstante nos hemos inclinado por el empleo de taL vocabLo debido a que en Lapresentacion de los articulos se establece una relacion acercade euentos, conceptos y simbolos de una forma comparable a La que empLeamos cuando, al conocer a una persona que nos despierta cierto in teres, tratamos de identificarLa por medio de hechos, 0 anecdotas, 0 lo que es lo mismo, cuando buscamos el porque de su personalidad aun cuando esta no la lleguemos a cap tar plenamente; una persona sin "historia" no nos in teresa y ni siquiera nos percatamos de su existencia. Pero, volvamos a nuestro libro. Ellector podrd percatarse que a proposito del nicmero, por ejemplo, no se trata ni de definirlo ni de establecer una serie de sucesos acerca de su "existencia", sino que por el contrario, de una manera amena se· nos /leva a intuir su "personalidad". Otras motivaciones historicas: icomo pudo el hombre "pasarla" tanto tiempo sin el cero?, Uo intuia?, ise puede trabajar seriamente a base de intuiciones?: Margaret P. Willerding y Rosaura Hernandez nos enteran sobre estos hechos y nos llevan a pensar en Ladualidad simbolo-concepto dando la importancia que corresponde a cada uno de ellos. Por otra parte, La solucion propuesta por Courant y Robbins a su pregunta de ique es Lamatemdticatno excluye la motioacion historica, pero s{ es claro que para comprender bien que significan determinados conceptos matemdticos es necesaria Laexperiencia activa en matematicas. Procedamos, finalmente, a la introduccion deL lector a esta seleccion de articulos, pidiendole unicamente La buena disposicion necesaria para desarrollar su sentido critico. 11

tQUE ES LA MATEMATICA? Richard Courant y Herbert Robbins

La matematica, como una expresIOn de la mente humana, refleja la voluntad activa, la razon contemplativa y el deseo de perfecci6n estetica. Sus elementos basicos son: 16gica e intuicion, analisis y construcci6n, generalidad y particularidad. Aunque diversas tradiciones han destacado aspectos diferentes, es unicamente el juego de estas fuerzas opuestas y la lucha por su sintesis 10 que constituye la vida, la utilidad y el supremo valor de la ciencia maternatica. Sin duda, todo el desarrollo maternatico ha tenido sus raices psico16gicas en necesidades mas 0 menos practicas. Pero una vez en marcha, bajo la presion de las aplicaciones necesarias, dichodesarrollo gana impulso en sf mismo y trasciende los confines de una utilidad inmediata. Esta tendencia de la ciencia aplicada hacia la teorica aparece tanto en la historia antigua como en muchas de las contribuciones a la matematica moderna debidas a ingenieros y ffsicos. La historia de las matematicas comienza en Oriente, donde, hacia el afio 2000 a. de C., los babilonios posefan ya una gran cantidad de material que podrfa ser clasificado hoy como perteneciente al algebra elemental. Pero como ciencia, en el sentido moderno, la matematica apar~ce mas tarde, en Grecia, entre los siglos V Y IVa. de C. El contacto ereciente entre el Oriente y los griegos, que comienza en los tiempos del imperio persa y culmina en el periodo que sigue a las expediciones de Alejandro, puso a los griegos al corriente de los conocimientos de los babilonios en matematica y astronomia. La matematica fue sometida entonces a las discusiones filos6ficas que florecieron en las ciudades griegas. Los pensadores griegos se dieron pronto cuenta de las grandes dificultades inherentes a los concept os maternaticos de continuidad, movimiento e mfinitud, asi como al problema 12

de medir magnitudes arbitrarias con unidades prefijadas. Entonces fue llevado a cabo un admirable esfuerzo para vencerlas y el resultado, la teor ia de Eudoxio del continuo geometrico, fue de tal perfeccion, que para encontrar algo que pueda compararsele es necesario que, dos milenios mas tarde, aparezca la teoria moderna de los numeros irracionales. La tendencia axiomatico-deductiva en matematicas tuvo su origen en tiempos de Eudoxio y cristalizo en los Elementos de Euclides. Sin embargo, aunque la tendencia teorica y axiomatica de la maternatica griega es una de sus mas importantes caracteristicas y ha ejercido una influencia enorme, nunca se insistira demasiado en que las aplicaciones y conexi ones con la realidad fisica desemp efiaron un papel importante como parte de la matematica de la antigiiedad, y que en muchas ocasiones fue preferido un modo de exposicion menos rigido que el de Euclides. Es muy posible que el descubrimiento de las dificultades relacionadas con las cantidades inconmensurables desviara a los griegos del desarrollo del calculo numerico, alcanzado con anterioridad en Oriente. En su lugar, se abrieron camino a traves de la geometria axiomatica pura. Y as! comenzo un extrafio rodeo en la historia de la ciencia, y quiza se perdio una gran oportunidad. Durante casi dos mil afios el peso de la tradicion geometrica griega retraso la inevitable evolucion del concepto de numero y el desarrollo del calculo algebraico, que mas tarde habian de ser la base de la ciencia moderna. Despues de un periodo de preparacion lenta, la revolucion en la matematica y en la ciencia comenzo su fase vigorosa en eI siglo XVII con la geometria anall tica y el calculo diferencial e integral. Mientras la geometria griega conserva aun un lugar destacado, el ideal griego de cristalizacion axiomatica y de deduccion sistematica desaparece durante los siglos XVII y XVIII. Razonamientos logicos rigurosos, a partir de definiciones claras y no contradictorias, axiomas evidentes, fueron cuestiones sin importancia para los nuevos exploradores de la ciencia maternatica, En una verdadera orgia de conjeturas intuitivas, de razonamientos convincentes entrelazados con un misticismo sin sentido, con una confianza ciega en el poder sobrehumano de los procesos formales, conquistaron un mundo matematico de inmensas riquezas. Luego, gradualmente, la exaltacion del progreso dejo el paso a un esp iritu de autocritica. En el siglo XIX la necesidad inmanente de consolidar, y el deseo de una mayor seguridad en la extension de la 13

ensefianza superior, que habia impulsado la Revolucion francesa, condujo inevitablemente a una revision de los fundamentos de la nueva matematica, en particular del calculo diferencial e integral, asi como del concepto fundamental de limite. Asi, el siglo XIX constituyo no solo un periodo de nuevos avances, sino que adem as puede caracterizarse por un afortunado retorno al ideal clasico de precision y demostraciones rigurosas. Y en este sentido llego a superar al modele de la ciencia griega. Una vez mas el pendulo se incline del lado de la pureza logica y de la abstraccion. Actualmente vivimos aun en este periodo, aunque es de esperar que la desafortunada separacion entre la matematica pura y las aplicaciones a la vida, quiza inevitable en tiempos de revision critic a, venga seguida de una era de intima unidad. La renovada solidez interna, y sobre todo la simplificacion enorme alcanzada sobre Ia .base de una comprension mas clara, hacen posible hoy poder dominar la teoria maternatica sin perder de vista las aplicaciones. Establecer de nuevo una union organica entre ciencia pura y aplicada y un equilibrio estable entre la generalidad abstracta y la individualidad concreta puede ser muy bien la tarea universal de la maternatica en el futuro inmediato. No es este el lugar para un analisis filosofico 0 psicologico detallado de la maternatica. Unicamente podemos destacar algunos puntos. Parece existir un grave peligro en el excesivo predominio del caracter axiornatico deductivo de las maternaticas. Ciertamente, el elemento de invencion constructiva, de intuicion directora, escapa a una simple formulacion filosofica; sin embargo, continua siendo el nucleo de todo resultado maternatico, aun en los campos mas abstractos. Si la forma deductiva cristalizada es la meta, la intuicion y la construccion son, cuando men os, las fuerzas directrices. Una amenaza seria para la verdadera vida de la ciencia aparece contenida en la afirrnacion de que la matematica no es mas que un sistema de conclusiones derivadas de definiciones y postulados que deb en ser compatibles, pero que, por 10 dernas, pueden ser creacion de la libre voluntad del maternatieo. Si esta descripcion fuera exacta, las maternaticas no podrian interesar a ninguna persona inteligente. Seria un juego con definiciones, reglas y silogismos, sin meta ni motivo alguno. La nocion de que el intelecto puede crear sistemas de postulados plenos de significado de modo arbitrario es una verdad "a medias" decepcionante. Unicamente bajo una disciplina de responsabilidad frente a un todo organico, 14

guiada solo por necesidades intrinsecas, puede la mente libre obtener resultados de valor cientifico. Aunque la tendencia pasiva del analisis logico no puede representar toda la maternatica, ha conducido, sin embargo, a una cornprension mas profunda de los hechos maternaticos y de su interdependencia, y tambien a una mayor penetracion en la esencia de los conceptos maternaticos. A partir de ella se ha desarrollado un pun to de vista moderno en las maternaticas que es caracteristico de una actitud cientifica universal. Cualquiera que sea el punto de vista filosofico, para todos los prop ositos de observacion cientifica un objeto agota en si la totalidad de relaciones posibles respecto del observador 0 del instrumento. Naturalmente, la simple percepcion no constituye conocimiento; debe ser coordinada e interpretada con referenda a alguna entidad subyacente, una "cosa en S1", que no es un objeto de la observacion fisica directa, sino que pertenece a la metafisica. Sin embargo, en el proceso cient ifico es importante descartar los elementos de caracter metafisico y considerar los hechos observables como la ultima Fuente de nociones y construcciones. Renunciar a la meta de comprender la "cosa en si" de conocer la "realidad ultima", de desentrafiar la esencia mas intima del mundo, puede ser psicologicamente penoso para entusiastas ingenuos, pero de hecho es uno de los sacrificios de consecuencias mas fecund as en el pensamiento moderno. Algunos de los mayores avances en la fisica han sido el premio a una adhesion decidida al principio de eliminar la metaf isica. Cuando Einstein consiguio reducir la nocion de "sucesos simultaneos que ocurren en lugares distintos" a fenornenos observables; cuando sefialo como prejuicio metafisico la creencia de que este concepto debe tener un significado cientifico en sf mismo, encontro la clave de su teoria de la relatividad. Cuando Niels Bohr y sus discipulos analizaron el hecho de que toda observacion fisica va acornpafiada de un efecto del instrumento observador en el objeto observado, se hizo claro que el intento de fijar simultaneamente la posicion y la velocidad de una particula no es posible en eI sentido de la fisica. Las consecuencias trascendentes de este descubrimiento, contenidas en la teoria moderna de la mecanica cuantica, son hoy familiares a todo fisico. En el siglo pasado prevalecio la idea de que las fuerzas mecanicas y los movimientos de particulas en el espacio eran cosas en si mismas, mientras que electricidad, luz y magnetismo deb fan ser reducidos 0 e xplicados como fenomenos 15

mecanicos, de la misma manera que se hacfa con el calor. El her fue inventado como medio hipotetico capaz de los movimientos mecanicos no explicados satisfactoriamente y que aparecian bajo las formas de luz y electricidad. Poco a poco se comprendio que el eter era necesariamente inobservable; por consiguiente, no pertenecia a la ffsica, sino a la metaffsica. Con pena por algunos y con satisfaccion por otros, las explicaciones mecanicas de la luz y la electricidad, y con elIas el eter, debieron ser finalmente abandonadas. Una situacion analoga, quiza mas acentuada, existe en la rnatematica. A traves de los tiempos, los matem aticos consideraron sus objetos, tales como numeros, puntos, etc., como cosas sustanciales en sf, Pero en vista de que estos entes desafiaban siempre los intentos para una descripcion adecuada, los matematicos del siglo pasado llegaron paulatinamente a la conviccion de que el problema de la significacion de dichos objetos como cosas sustanciales no tenia, en modo alguno, sentido dentro de las maternaticas. Las {micas proposiciones relativas a ellos que pueden importar no se refieren a su realidad sustancial; represent an unicamente las relaciones mutuas entre "objetos indefinidos" y las reglas que rigen las operaciones con ellos. Lo que "realmente" son los puntos, las rectas y los numeros ni se puede ni es necesario discutirlo en la ciencia matematica. Lo que in teresa y 10 que corresponde a hechos comprobables es su estructura y relacion: que dos puntos determinan una recta, que los nurneros, se combinan segun ciertas reglas para formar otros numeros, etc. La percepcion clara de la necesidad de una desustanciacion de los conceptos elementales maternaticos ha sido uno de los resultados mas importantes y fecundos del desarrollo axiomatico moderno. Por suerte, las mentes creadorasolvidan lascreencias filosoficas dogmaticas cuando la persistencia en elIas podrfa impedir resultados constructivos. Tanto para entendidos como para profanos no es la filosofia, y sf iinicamente la experiencia activa en maternaticas, la que puede responder a la pregunta: tQue es la matematica?

16

LOS NUMEROS

MAGICOS

(La vida indigena y los numeros) Rosaura Hernandez

La influencia de los numeros en la vida de los pueblos prehispanicos de Mexico es muy destacada pues, cada uno estaba impregnado de la magia y del simbolismo que los hadan importantes, venerados 0 temidos. Los numeros acornpafiaban al hombre desde su nacimiento hasta la muerte y aun mas alia: hasta los cie!os e infiernos estaban numerados. Los calendarios, la adivinacion y e! pensamiento diario de la gente estuvieron imbuidos de signos, de ritos donde ellos jugaron un papel vital. EI uno, como unidad, base de la nurneracion, asociado al nombre de un dfa 0 un afio, adquiria un significado especial: I-tochtli -1 conejo-. Generalmente fue interpretado como de "mal agiiero", porque pronosticaba desastres. EI numero dos se asocio a la pareja creadora Omecihuatl (dos mujer 0 senora doble) y su companero Ometecuhtli (dos senor 0 doble senor). Ambos ten ian su morada en el cie!o doble. Omeyocan y fueron los dioses creadores de la humanidad. EI dos represento para los nahuas fecundidad, preponderancia. Lamitologfa de Quetzalcoatl nos 10 presenta como dios de los fenomenos dobies, de la dualidad, por e! hecho de ser geme!o de Xolotl. Los d ias pertenecientes al numero tres fueron considerados como buenos y sin ningun maleficio. Entre los mayas el numero tres fue femenino por exce!encia, porque a los tres meses de edad una nina era lIevada a la ceremonia de! betz'mec, especie de bautismo. Adernas, tres eran las piedras colocadas en forma de triangulo que sostienen el fuego de la cocina, lugar donde la mujer deb ia permanecer e! mayor tiempo de su vida.
1 Instituto

de Investigaciones Historicas.

17

Duplicando dos tenemos cuatTo, numero regente por excelencia de las deidades y de los destinos ind igenas. La expresion mas alta es la reunion de la doble pareja materializada con sus dioses representativos en los cuatro elementos: aire, fuego, agua y tierra. Estos cuatro elementos fueron el tema de cada una de las grandes eras cosmogonicas ind igenas, conocidas como los cinco soles. Cuatro simbolizo para ellos el recuerdo de esas cuatro eras. Cuatro son los puntos cardinales, fronteras de su universo, en cuyo centro se encontraba el hombre. En las cuatro direcciones se situaban hechos v fenomenos importantes para la vida humana y para describir cada lugar se dieron signos indicadores, a la vez del espacio y del tiempo, de la estacion del afio, el color del punto cardinal y el dios respectivo. En los ritos familiares cuatro acompafiaba al hombre en las fases mas importantes de su vida: al nacer un nino no deberia encender fuego en su casa durante cuatro dias 0 de 10 contrario se alejarfa la buena fortuna. Cada cuatro afios se celebraba una fiesta en que horadaban los o idos de los nifios y muchachos para pedir a los dioses por su crecimiento y una adolescencia feliz. Topiltzin Quetzalcoatl, sacerdote fundador de Tula, alrededor del cual existen tantas leyendas, tuvo dos numeros importantes en su vida: nace en un afio 1 cafia, fecha considerada como prospera, pero cuatro dias antes de llegar a este mundo "aQ.igio mucho a su madre" y esta murio en el parto. Una vez adulto y gozando de la prosperidad de su reino, sus enemigos, por medio de los demonios, 10 hicieron caer en tentacion induciendolo a beber cuatro raciones de pulque; el toma cinco y encuentra su derrota. Apenado por los excesos que la bebida Ie hizo cometer, m ando construir una caja de piedra labrada, en la que solo estuvo cuatro dias. Cuando murio " ... tuvieronlo cuatro d ias por quemar ... ", cuatro d ias no aparecio. Fue a morar entre los .muertos y en el mismo numero de dias se proveyo de flechas. Despues aparecio como estrella de la tarde. En Michoacan, los chichimecas, pobladores de Patzcuaro, adoraban cuatro deidas principales a las que hicieron estatuas de piedra labrada, y eran Ziratacherengue, Vacusecha, Tingarata y Miecua ageva. En la organizacion polftica, durante la epoca del rey Tzitzispandacuare, el reino estaba divido en cuatro provincias; cada una guardada por senores principales. La importancia que las cuatro partes del mundo tuvo entre los michoaques fue tal, que en todas sus oraciones se les invoco como a dioses principales. 18

Entre los mayas, cuatro fue tambien el numero basico en la estructura del mundo; adoraban cuatro hermanos llamados Bacab encargados par Dios para sostener el cielo par las cuatro partes. Cada uno estaba situado en un punta cardinal. Segun el Papal Vuh, el maravilloso libra de la tradicion maya, los elementos basicos para la vida indigena, el agua y el maiz, unidos al numero cuatro, fueron la base de la creacion, ya que cuatro personajes, "nuestros abuelos", estan hechos de esa mezcla. Cuatro condensaba en el pensamiento indigena toda la cr e a cion pues inclu ia la fertilidad, los cuatro puntas cardinales, las etapas de la humanidad; en una palabra, encerraba la esencia de Dios mismo. Cinco es el numero que nos indica la situacion del hombre en la tierra como centro del universo y a su alrededor los cuatro puntas cardinales. Este numero esta relacionado can el planeta Venus, porque los afios de este astra eran contados en grupos de cinco; el primero correspondia al Este, el segundo al Norte, el tercero al Oeste, el cuarto al Sur y el quinto al centro. Las cinco revoluciones sinodicas de ese planeta equivalen a ocho afios solares (cuatro por dos). EI cinco asociado al cuarto adquiere gran importancia, desde la contabilidad mas elemental que nos dan los veinte dedos de las cuatro extremidades, hasta la cuenta del calendario que tiene diez y ocho meses de veinte d ias. Cinco, como multiplicador de cuatro, es factor basico de la numeracion ind igena. En las ceremonias de Michoacan cinco era el numero mas empleado, en la fiesta Hiripati in terveruan cinco sacrificadores y cinco sacerdotes. Las oraciones se repetfan cinco veces, una "a las cuatro partes del mundo y otra al infierno". Los sacerdotes michoaques ayunaban cinco d ias antes de una fiesta, y algunas veces, en los cinco d ias posteriores, se emborrachaban, como acontecia despues de la fiesta dedicada a la diosa Cueravaperi, encargada de enviar las nubes para que lloviera. Los mayas tuvieron cinco diosecillos de las lluvias llamados chaques, cada uno simbolizaba un pun to cardinal y un color, el rojo pertenecia al Oriente, el amarillo al Sur, el negro al Poniente, el blanco al Norte y el verde al centro. Los d ias en el calendario estaban agrupados segun una lista, en grupos de cinco; cada uno correspondia a un grupo cardinal. EI siete, numero favorito de algunos pueblos, presento dos aspectos uno benefice y otro fatidico. En el primer caso se 19

asociaba a la diosa de los mantemmientos: Chicornecoatl -siete serpiente-. Y en el segundo a un conejo formando el famoso ana siete conejo (tochtli). Boturini recogio una idea donde el numero siete era fat idico, debido a que en un ana siete conejo el sol quedo inrnovil produciendo calores excesivos que quemaron la tierra. Solo hasta que un mosquito 10 pico en una pierna el astro pudo seguir caminando. Para los pueblos del centro de Mexico, el sentido fatidico del siete se asociaba a las siete pruebas que un difunto deb ia pasar para llegar a su morada ultraterrena. Los etnologos modernos como Soutelle, han querido encontrar en el numero siete el simbolismo del corazon humano, del centro de todas las cosas, basandose en que siete es el centro de trece y que en el calendario adivinatorio este numero tenia como patron a a la diosa Chicomecoatl que ya hemos mencionado. Los dfas que estaban bajo sus auspicios eran favorables. En la mitologia maya un "rey prodigioso", Gucumatz, tenia poder para cambiar de Figura: siete dias iba al cielo, siete caminaba para ir a Xibalba, siete se convert fa en culebra, siete en aguila, siete en tigre y siete en sangre coagulada. EI numero ocho dentro de los d ias del calendario ritual indfgena, fue considerado como nefasto; decian que era de mala condicion, mal afortunado. Para Laurette Sejoume ocho recuerda a los dias infernales en que Quetzalcoatl estuvo oculto, morando entre los muertos y proveyendose de flechas para aparecer como el planeta Venus, lucero de la tarde. Esta opinion la comparte Thompson arguyendo que es el per iodo de la invisibilidad y de la conjuncion inferior de Venus. EI universo imaginado por los nahuas estaba compuesto de trece cielos hacia arriba y nueve infiernos hacia abajo; en estos ultimos dominaban las deidades de la muerte y a pesar de que este numero se relacionaba con los dioses, senores de la Noche, de la enfermedad y de la muerte, era considerado como nurnero favorable. Nueve fue usado entre los aztecas para curar los dolores de cabeza frotando un poco de tabaco e invocando a los dioses en esta forma " ... ea, yen tu, nueve veces golpeado, nueve veces estrujado (el tabaco)... que hemos de sanar esta cabeza". EI diez en el calendario siempre daba dicha y ventura a los nacidos en algun dfa que llevara ese numero, cualquiera que fuera su signo, porque se consideraba que Tezcatlipoca, "el

20

mayor dios", regia ese nurnero, especialmente afortunado para asun tos de guerra. Los ancianos mayas recordaban con veneracion el numero dace, ya que Dios les hab ia abierto doce caminos par el mar y mediante los cuales hab ian llegado a poblar las tierras de Yucatan. Trece eran los cielos que la cosmo vision indigena tenia, tanto los nahuas del centro como entre los mayas. Imaginaron en forma de "pisos" los trece cielos donde residran los astros y los dioses. EI Omeyocan, lugar de la dualidad, comprendia los dos ultimos cielos. Trece, combinado con los veinte nombres de los dias, era la base del mecanismo del calendario: trece meses de veinte dias suman doscicnto sesenta, 0 sea un tonalamatl 0 calendario religiose y atronomico, utilizado en los augurios y para medir el tiempo en cornbinacion con el afro de trescientos sesenta y cinco d ias llamdo xibuitl.

EI usa de los nurneros entre los indigenes [ue esencialmente religiose y astronomico, los cuales al p asar a las clases de menor cultura, conseruaron el simbolismo, ya [uera de dicha 0 de infelic ida d. segun. estuuieran ligados a planetas, signos 0 acontecimientos [auorables 0 aduersos.

21

EL MISTICISMO DE LOS NUMEROS Y LAS SUPERSTICIONES

Margaret F. Willerding

1. El misticismo de los numeros. Los comienzos de casi cualquier ciencia pueden situarse en 10 oculto. La astrologia precedio ala astronomia, la alquimia precedio a la qu imica, y el misticismo de los numeros aparecio antes que la teoria de los numeros. Se dice que "el numero nacio en la supersticion y fue criado en el misticismo. Los numeros fueron antaiio el fundamento de la religion y la filosofia". 1 Pitagoras, el famoso filosofo y matematico griego que vivio hacia 550 a. de C., y sus seguidores, llamados la Hermandad Pitagorica, creian que los numeros gobernaban al universo. Se cree que Pitagoras y sus seguidores inventaron los terrninos par e impar para los numeros. A los numeros pares se les consideraban femeninos y a los .nirneros imp ares se les consideraba masculinos. Los numeros masculinos 0 numeros impares, eran considerados como divinos e indisolubles, mientras que los numeros pares 0 femeninos eran terrenales y solubles. (Recuerdese que la Hermandad Pitagorica era una fraternidad de hombres i] Los pitagoricos identificaban alguna propiedad con cada numero. El numero uno se colocaba aparte como fuente de todos los numeros, Representaba ala razon y ala creacion. El numero cinco representaba al matrimonio porque es la sum a del primer numero masculino y el primer nurnero feme nino (2 + 3 = 5). La distincion entre nurneros pares e impares es muy antigua. En el Canon Chino llamado "I-Rey", que se cree fue escrito hacia 1150 a. de C., los numeros se dividian en numeros .masculinos (imp ares) y numeros femeninos (pares). En la mltologia china, los numeros imp ares simbolizaban al
lAfinnaci6n de F. W. Parker en "Talk on Pedagogics" (1894).

22

blanco. al dfa, al calor, al sol y al fuego; los numeros pares, al frio, ala noche, a la materia y a la tierra. 2. Uno. EI numero uno, como se menciono antes, ocupaba un lugar especial entre los numeros, Durante muchos siglos el Uno no era considerado como numero de modo alguno, sino como la fuente del numero , el bloque con que se forman todos los numeros. Aristoteles observo que el Uno no es en sl un nurnero, sino el principio del numero. Al numero uno se le ha concedido generalmente una identidad sagrada. Se le consideraba como el simbolo numerologico de la vida, de la creacion y de la razon. EI uno era visto como un numero tanto de buena como de mala suerte. Por ejemplo, la campana "Lutine" de Londres se toea una vez como simbolo de malas nuevas y dos veces como simbolo de buenas nuevas. Ala muerte de Jorge VI, acaecida el 6 de febrero de 1952, dicha campana fue tocada una vez. Por otro lado, el cuemo sencillo del unicomio m itico se supon ia que poseia poderes maravillosos. Como un cordial, tenia reputacion de poder curar las plagas y todo tipo de fiebres, tanto como de poder neutralizar los venenos de las viboras y de los perros rabiosos. 3. Numeros perfectos. Los pitagoricos consideraban que un numero era perfecto cuando tal numero igualaba a la suma de sus divisores propios. Como ejemplo, considerese al numero 6. Sus divisores propios son 1, 2 y 3. Observe que 1

+ 2 + 3 = 6.

Los numeros perfectos minimos son 6 y 28. Estes dos mimeros perfectos eran conocidos por los hindues y por los hebreos. Hay m u y pocos numeros perfectos conocidos. Los nurneros que no son perfectos son llamados excesivos 0 defectuosos. EI numero 8 es excesivo porque la suma de sus divisores propios es menor que 8. Los divisores propios de 8 son 1, 2 y 4; la suma de sus divisores propios es menor que 8: 8>1+2+4=7. EI numero 12 es llamado defectuoso porque la sum a de sus divisores propios es mayor que 12: 12 < 1 + 2 + 3 + 4 + 6 == 16.

23

4a. Niimeros amigables. Cuando se Ie pregunto a Pitagoras que es 10 que el consideraba que es un amigo, se dice que contesto. "Un segundo yo". Como ejemplo dio dos numeros 284 y 220, a los cuales llamo numeros amigables 0 amistosos. Dos nurneros son amigables cuando la sum a de los divisores propios de uno de ellos nos da el otro, y viceversa. Los divisores propios de 284 son 1,2,4,71 Y 142. Los divisores propios de 220 son 1, 2, 4, 5 10, 11, 20, 22, 44, 55 y 110. Observese que 1+2+4+71+142 1

= 220. + 2 + 4 + 5 + 10 + 11 + 20 + 22 + 44 + 55 + 110 = 284.

Los nurneros amigables eran conocidos por los hindues antes del tiempo de Pitagoras. Algunos pasajes de Ia Biblia indican que los hehreos conocian tales numeros y que les conced ian ciertas influencias favorables, 4b. El misticismo de los numeros y la Biblia. Tres, siete y catorce eran numeros m isticos para los hehreos y los cristianos. El numero tres aparece repetidamente tanto en el Antiguo como en el Nuevo testamento. Su manifestacion mas significativa era el concepto de la Trinidad. Una y otra vez encontramos la palabra tres en la Biblia: 1. Tres hombres visitaron a Abraham cuando se sento bajo su tienda en las llanuras de Mamre (Genesis 18:2). 2. En los sueiios que interpreto Jose hab ia tres ramas y tres canastas (Genesis 40). 3. La plaga de la oscuridad cubrio a la tierra de Egipto durante tres dfas (Exodo 11: 22). 4. Tres veces rehuso el burro de Balaam continuar su jornada, y rue golpeado tres veces por tal razon (Numero 22). 5. Jonas perrnanecio en el vientre de la ballena durante tres d ias y tres noches Uonas 1: 17) 6. Tres d ias estuvo Saulo ciego (Actos 9: 9). 7., En la Ultima Cena, dijo Cristo a Pedro, " ... antes de que el gallo cante dos veces me habras negado tres veces" (Marcos 14:30). El siete rivaliza con el tres en popularidad en el misticismo y la supersticion. En la Biblia encontramos siete pecados cap i uti e s, s ie t e virtudes, siete penas, siete demonios expulsados par Magdalena, y las siete alegrias de la Virgen 24

Maria, el siete se menciona repetidamente en la Biblia en conexion con el Sabbath y el dia de descanso. Noe (Genesis 7) fue advertido durante siete dias del gran diluvio. Despues de que las aguas se calmaron. Noe envio una paloma cada siete dias para buscar tierra. En el septimo mes descanso el Area sobre el Monte Ararat (Genesis 8:4). Jacob trabajo siete afios (Genesis 29) para obtener la mana de Raquel, pero en lugar de ella obtuvo a Lea. Tal vez de aqui nos ha Ilegado el aprendizaje de siete afios, En la historia de Jose, el Faraon sofio que siete vacas enjutas de carne devoraban a siete vacas gordas. Tambien sofio que siete espigas llenas eran devoradas por siete espigas menudas y abatidas. Jose interpreto estos suefios diciendo que Egipto padeceda siete afios de hambre despues de siete afios de abundancia (Genesis 41). Cuarenta es otto numero que aparece repetidamente en la Biblia. El diluvio duro cuarenta dias y cuarenta noches (Genesis 5:4). Moises permanecio en el Monte Sinai durante cuarenta d ias y cuarenta noches (Exodo 24: 18). Los hijos de Israel erraron en el desierto por espacio de cuarenta afios (josue 5:6). Jesus permanecio en el desierto por espacio de cuarenta dias (Marcos 1:13), y despues de la resurreccion fue visto por sus discipulos durante cuarenta dias (Actos 1:13). La Cuaresma es un periodo de cuarenta dias entre el miercoles de ceniza y la pascua. 5. Gematria. La gematria es un estudio curieso que trata de 10 que se ha llamado "el poder de las palabras" segun queda determinado por la suma de los valores numericos de sus letras. Se origino en el tiempo de Pitagoras, fue muy popular en el primer siglo de la era cristiana, y continuo siendo un pasatiempo popular en la Edad Media y la Reforma. En gematria, las letras del alfabeto griego han sido dotadas con los siguientes valores numericos:

Alfa Beta Gamma Delta Epsilon Zeta Eta Theta

1 2 3 4 5 7 8 9

Iota Kappa Lambda My Ny Xi Omicron Pi

10 20 30 40 50 60 70 80

Rho Sigma Tau Ipsilon Fi Ji Psi Omega

100 200 300 400 500 600 700 800 25

Las letras griegas de "Amen" son auu», Estas letras tienen los valores 1, 40, 8 y 50, respectivamente. Su total es 99. Por 10 tanto, en ciertos manuscritos podemos encontrar 99 escrito al final de las oraciones. En el libro de las Revelaciones de la Biblia, se menciona al numero 666 como el "riurnero de la bestia". Se ha conjeturado que este numero se referia a Neron Cesar, que tiene este valor cuando se Ie escribe en el alfabeto hebreo. La interpretacion que los catolicos dieron de la bestia es el Anticristo. Martin Lutero pretendio que la duracion del regimen Papal era de 666 afios. Sustituyendo letras de varios alfabetos y ya sea omitiendo o agregando letras arbitrariamente podemos probar casi cualquier cosa usando Gematria 2. 6. Numerologia. La numerologia es la seudociencia de interpretar a los numeros como una gufa en el buen vivir. El estudiante de numerologia pretende que nada ocurre por accidente. Cada uno de nosotros entra al mundo asociado con ciertos conjuntos de ondas 0 vibraciones (ondas numericas). Estas ondas estan en cierto modo conectadas con las letras de nuestros nombres a las cuales se da un valor numerico. Cambiando nuestros nombres cambiamos nuestros destinos, puesto que asi se introducen nuevas vibraciones. De este modo, una mujer casada se desarrolla por 10 general de una manera completamente distinta a la manera en que se hubiera desarrollado si hubiese continuado gozando de la hendicion de la solteria. Esto nos recuerda a la antigua costumbre judia de cambiar el nombre de una persona que esta mortalmente enferma con la esperanza de que las nuevas vibraciones salvaran su vida. Los numeros basicos de la numerologia son los nurneros del 1 al 9. Numeros mayores se reducen a un numero de esta indole sumando los valores de los d igitos en el numeral que los representa. Asf 36 viene a ser 3 + 6 = 9. Siguiendo las costumbres de los pitagoricos, 1 es masculino y denota valor y razon; 2 es femenino y denota gentileza y opinion. Desde luego, algunas de nuestras vibraciones estan ya fijadas. Por ejemplo, la fecha de nuestro nacimiento y lugar del mismo esta indicada y no hay gran cosa que hacer al respecto, Nuestra direccion, desde luego, puede cambiar; de

2 Edna E. Kramer, The Main Stream Fawcett World Library, 1964). Pag, 26.

of Mathematics

(Greenwich,

Conn.:

26

este modo podemos cambiar de ciudad 0 de pueblo tanto como de ocupacion. Por 10 tanto, de acuerdo con la numerologia ( iasi como con la psicologia! ) nuestro destino esta en gran parte en nuestras manos y debemos dirigirlo sabiamente.
PROBLEMAS

1. Muestre que 496 y 8128 son numeros perfectos. 2. Muestre que 1184 y 1210 son numeros amigables. 3. Euclides dernostro que todo numero de la forma ~ -1(2" -1) es un numero perfecto siempre que 2P - 1 sea un numero primo (un numero primo es un numero que es tan s610 divisible por SI mismo y por uno. Por ejemplo 7 es primo porque sus unicos divisores son el 1 Y el 7). Usando la formula de Euclides para numeros perfectos encuentre numeros perfectos cuando (a) p = 2; (b) P = 5 y (c) p = 3. 4. Nombre algunas supersticiones que conoz.ca acerca de los numeros (a) tres; (b) siete; (c) once y (d) trece. 5. Encuentre algunos proverbios que enfaticen el significado del uno. 6. Encuentre algunos proverbios que sefialen la significaci on del tres. Por ejemplo: la tercera es la vencida. 7. l Cuales son las siete edades del hombre enumeradas en As Yau Like It de Shakespeare?

27

EL LUGAR DE LAS MATEMATICAS EN LA CLASIFICACION DE LAS CIENCIAS Raymon Queneau

En sus relaciones con las maternaticas, toda ciencia pasa por las cuatro fasessiguientes (cuatro hasta el presente, manana quiza sean cinco); empirica, cuando se cuentan los hechos; experimental, cuando se los mide; analitica, cuando se los calcula; y axiomatica, cuando se los deduce (de premisas que exigen, entonces, una metaciencia 0 una logfstica). Durante el primer perfodo las matematicas no desempefian mas que un papel mediocre, a 10 sumo interviene en ella la aritmetica, En fisica, se enumeran los fluid os, en quimica los elementos, en biologfa las especies, en psicologia las facultades del alma. Luego interviene la matematica como geometrfa y como algebra. Se pasa de las enumeraciones a las formulas. Nacen entonces la mecanica y la astronomia; en fisica, se hall a la ley de Mariotte; en qufmica se pesa y aparece Lavoisier, en biologia Malthus yen psicologfa Fechner. Solamente la ffsica ha llegado en su conjunto a la tercera fase: despues de haber "descubierto con precision aquello que se debe calcular, se toman de la "realidad" (elaborada en las etapas anteriores) un cierto numero de nociones para aplicar el metodo analitico. Entendemos por esto que se utiliza el analisis, primero el leibniziano-euleriano y luego el newtoniano-vectoria!' La formula (algebraica) 'es reemplazada por la ecuacion diferencial. Esta etapa es la etapa "ideal" para los sabios de fines del siglo XIX. En este aspecto, las otras ciencias quedan muy por detras. Solo tratan con este metodo dominios muy pequefios: en biologfa, la teoria de la lucha por la vida; en sociologia, la econometria. Estos dos ejemplos muestran, ademas, que no hay incompatibilidad entre el metodo analitico y las ciencias de la vida. Este retardo se explica en parte por el hecho de que como esta aplicacion no incluye, segun parece, ningun problema por resolver desde el punto de vista matematico, y

28

por tanto ningun descubrimiento por hacer los maternaticos se han desinteresado de estos campos que no se ofrecen a su actividad. Si Ia teor ia de la lucha por la vida fue desarrollada por Volterra fue porque conducia a ecuaciones integrodiferenciales dignas de interes. En cuanto a Ia econometr ia, era obvio que podia abrirse el dominio de 10 economico al numero; sin embargo, si esta ciencia aun se ha desarrollado relativamente poco, se debe a que los matematicos no han hallado en ella un campo de su agrado. "A fin de que las rnaternaticas dominen una ciencia, no solamente es menester que el razonamiento matematico sea necesario, sino tambien que sea interesante para los matematicos, "1 EI ernpleo creciente del calculo de probabilidades acaba de alterar un poco el cuadro trazado antes, valido hasta los primeros afios del siglo xx. Las ciencias biol6gicas y sociologicas han cre ido hallar en este metodo el instrumento adecuado para su maternatizacion, mas que en el analisis, por ser aquel un instrumento mas flexible y mejor adaptado a las ciencias de la vida. A decir verdad, eso es un poco ilusorio. Las aplicaciones de la estadistica a la psicologia, por ejemplo, por interesantes y valiosas que sean, han hecho menos por elevar esta disciplina, casi inexistente cientificamente, al rango de ciencia valida y constituida, que una teoria como el conductismo. No tiene objeto preguntarse, mas adelante veremospor que" si la biologia y la sociologia llcgaran a matematizarse (yes indudable de que tiene que llegar a ello para convertirse en verdaderas ciencias) gracias a la ayuda exclusiva de la estadfstica 0 si el unico recurso que les queda es el de deslizarse en el molde donde se ha fundido ya la f isico-qu imica. Si volvemos ahora a esta ciencia, la vemos en este momenta tratando de axiomatizarse y no de diferenciarse, asi, de la maternatica, la cual llego a esta etapa solamente a fines del siglo XIX. Pero ya no encontramos ala rnaternatica en una situacion de privilegio; sus relaciones con la Iogica se presentan, en principio, como lazos de dependencia 0, en todo caso, como bastante ambiguos. Si bien esindiscutible que la logica s610 se ha convertido en una ciencia al trans formarse en logistica, es decir, al pasar de la etapa emp irica y aristotelica de las enumeraciones a la etapa experimental de Ia

1 G. Evans: Stabitite et dynamique Politique, Memorial, VII, pag, 2.

de la Production

dans I'Economie

29

formula, es decir, utilizando el metodo geometrico-algebraico (y no se ve como podria ir mas lejos, aunque debe haber un "mas lejos"), esta utilizacion la hace dependiente de una ciencia que rige con todo derecho puesto que debe fundamentar sus principios, como los de toda otra ciencia Pero, ~que es la logica sino una ciencia del "pensamiento" y un arte del "pensamiento"? Como ciencia del pensamiento, no debe, pues,ser ajena ala psicologia y como arte volverernos sobre este punto luego. Al final, pues, de la ascension de la ciencia se encuentra la psicologia. Se 10 puede ver tambien desde otro angulo, Si se considera la escala de las ciencias ensu aspecto descendente, se comprueba (cosa que se ha dicho muchas veces) que si el ideal de la fisicoqufrnica fue matematizarse, el deseo de la matematica fue absorber la fisicoquimica; la axiomatizacion de esta seria el curnplimiento final de ese deseo. De igual modo, la fisicoquimica qui ere absorber a la biologia y la biologia fundirse con la fisicoquirnica; el descubrirniento de los virus ultrafiltrables satisface, pues, a los espiritus desde este doble punto de vista. Finalmente, es indudable que el conjunto confuso de las ciencias antropologicas, y especialmente la psicologia, tienen como objetivo una reduccion a 10 biologico. Hay, pues, un doble movimiento a 10 largo de toda la escala, perfectamente descrito por Meyerson y que llega finalmente ~a que? ; a la logica. Si se admite que la "logistica es lar-axiomatica del pensamiento mismo+" nos encontramos asi bruscamente ante una ciencia (la psicologfa] que hemos considerado en un principio como la mas atrasada de todas (apenas en la etapa experimental) y que desde cierto punto de vista alcanza repentinamente el nivel mas alto, el de la axiomatica, y eso por su propia naturaleza. La esencia de la logica es doble; si vemos en ella una dogmatica, encorvamos el conjunto de las ciencias y cerramos su curso en un circulo. Una vez llegados a la cuspide, volvemos a caer en la contingencia de 10 humano. ~y que seria una psicologia matematizada, y luego axiomatizada, sino, quiz la logica? Pero la logica es tambien un arte, y la axiomatica un juego. EI ideal que se han forjado los sabios durante comienzos de siglo es una presentacion de la ciencia, no como conocimiento, sino como regIa y metodo. Se dan conceptos (indefinibles), axiomas y la manera de servirse de

a,

Piaget, Classes, Relations et Nombres,

pag. 5.

30

elIos, en pocas palabras un sistema de convenciones. ~Pero que es eso sino un juego, para nada diferente del ajedrez 0 del bridge? Antes de seguir examinando este aspecto de la ciencia, tenemos que detenernos en este punto: c:esla ciencia un conocimiento? t!.Sirve para conocer? Y puesto que se trata (en este articulo) de las maternaticas, ~que es 10 que se conoce en maternaticas? Justamente, nada. Y no hay nada que conocer. No se conoce el punto, el numero, el grupo, el conjunto 0 la funcion mas de 10 que se conoce el electron, la vida, el comportamiento humano. No se conoce el mundo de las funciones y de las ecuaciones diferenciales mas de 10 que se "conoce" la realidad concreta, terrestre y cotidiana. Todo 10 que se conoce es un metodo admitido (consentido) como verdadero por la comunidad de los sabios, metodo que tambien tiene la ventaja de servir a las tecnicas de fabricacion. Pero este metodo es tambien unjuego, exactamente 10 que se llama un juego de ingenio. De este modo, la ciencia entera, en su forma acabada, se presentarfa como tecnica y como juego, es decir, simplemente, como se presenta "La otra" actividad humana: el arte. EI arte tambien se balancea entre estos dos polos: el "arte" tomado en sentido estricto, el "oficio", y la gratuidad de la "inspiracion" tanto como de la "consumacion". Hay "artes" que son tecnicas "utiles", y otras que 10 son "menos", al igual que la quimica, por ejemplo, que es "util", en tanto nos suministra una ayuda para la preparacion de los rnedicamentos y que la teor ia de las conicas que no 10 era en absoluto en tanto no servia a la astronom ia ni al arte nautico. La ciencia tomada en si misma como conocimiento se encuentra en la misma situacion que el arte, al que tambien se quiere hacer pasar a veces por una especie de conocimiento. Ambos son ficticios. mientras que eI juego es ficticio y la tecnica es afectiva. Se puede decir tambien, dando al arte su sentido ambiguo, que la ciencia oscila entre el arte y el juego, y el arte entre el juego y la ciencia, Pero entonces, c:que es el conocimiento? t!.Que es el juego? Finalmente, tque es la tecnica? tY por que estas actividades? No es posibIe encontrar un sentido a estas preguntas hasta que la psicologia no sea matematizada. Y, por otra parte, es deseable que la estetica se fundamente al mismo nivel que la logica, es decir, que fundamente finalmente su propia validez. Por 10 dernas, no es evidente que la matematizacion de la ciencia se opere de la manera que acabamos de exponer, es decir, con el empleo de estructuras matematicas "aplicadas" 31

y reducciones sucesivas de 10 sociol6gico a 10 biol6gico, de 10 biol6gico a 10 ffsicoqufmico, etc. Desde varios lados se ha contemplado un punto de partida diferente. Hay que preguntarse, en efecto, si 10 sociol6gico y 10 biol6gico no permitidan inducir directamenteformas logicas originales, de donde surgirian estructuras matematicas nuevas; -Se sup one tambien que las formas matematicas elaboradas a partir de los problemas de la fisicoquimica han perdido un poco de su valor y de su eficacia. Se pueden citar dos ejemplos de directivas en este sentido; uno reciente (este articulo ya estaba escrito en parte cuando 10 conod) y el otro un poco anterior. EI primero es de Piaget (Clases, Relaciones y Nurneros] que nos propone el enlace directo entre psicologia y logfstica al cual ya hemos aludido: "lPor que la logistica, cuya tecnica deductiva ha adquirido una rigurosa precision, y la psicologfa de la inteligencia, cuyos metodos se ajustan a las reglas de la objetividad experimental, no colaboran a la manera de las maternaticas y la fisica? " De este modo se cerrarfa el drculo de las ciencias. El otro es de Vernadski, expuesto en una conferencia de 1930 ante una sociedad de sabios de Leningrado. Vernadski comienza por oponer el cosmos newtoniano (del espacio infinito y homogeneo en el que la vida no desempefia mngun papel) al cosmos bio-humano, especialmente de una manera en cierto modo "empfrica". Si "el contenido real de la ciencia es el trabajo cient ifico de los individuos vivientes", hay que tener en cuenta la importancia creciente de las ciencias biol6gicas y antropol6gicas y el numero creciente de sabios que dedican a ellas sus esfuerzos. Por otra parte, se han abierto "brechas" serias en el cosmos newtoniano: las transformaciones introducidas en los conceptos de espacio, tiempo, "causalidad", etc., por la nueva fisica; la importancia dada en esta nueva fisica a los procesos irreversibles, etc.; pero la cuesti6n crucial es la siguiente: lno puede la biologia aportar conceptos susceptibles de transformar la fisica (en lugar del proceso inverso), como al parecer, puede citarse el ejemplo de las investigaciones sobre la simetria de Pasteur y de Curie? Brevemente, aa fisica es una biologfa sin la vida 0 la biologia es una fisica mas la vida? EI conjunto logico-matematico no puede ser considerado como el lenguaje adecuado y necesario para la ciencia, ni como una de las ciencias. A decir verdad, es la Ciencia misma. Por otra parte, en efecto, la fisico-quimica tiende a una

32

axiomatizacion tal que la geometrfa 0 la aritrnetica ya no son experimentales. En otro sentido, se percibe la Iormacion de una logica-rnatematica enteramente nueva, pronta a absorber 10 socio-biologico (los fenornenos Hamados de conciencia y de vida). As i, sea cual fuere la forma en que se eoneiba la matematizacion (0 la logistizacion] de las diferentes eieneias, no se puede dudar del punto terminal de este devenir (etapa que la modestia cient ifica obliga a considerar como provisorio), a saber, esta matematizacion misma. La maternatica se busea a traves de las diferentes "ciencias", as! como las ciencias -la Ciencia- se buscan par la maternatica y se hacen par la matematica que es a la vez el organo de accion y el modo de percepcion,

33

LA MATEMATICA, OBJETO DE CULTURA Y HERRAMIENT A DE TRABAJO Rene Dugas

Las reformas en la ensefianza estan a la orden del d ia, Los defensores de cada disciplina se preocupan por delimitar y defender su dominio. En semejantes competencias, la maternatica no siernpre ha lIevado las de ganar. Se considera corrientemente a los maternaticos como seres de excepcion; en efecto, 10 son, al igual titulo que los poetas, los pintores 0 los musicos, pero no mas que ellos. De ahf a renunciar a la forrnacion de un numero demasiado grande de ellos no hay mas que un paso. Y cuando hace muy poco se hablaba de "igualdad cient ifica" era por abajo qty! se pretend ia hacerla, con la intencion de ampliar simultaneamente el campo de los estudios clasicos. Sin embargo, nada demuestra que la cultura maternatica sea incompatible con el humanismo. Sin remontarnos al gran siglo en que los maternaticos escrib ian en latin, que era entonces su lengua internacional, son numerosos los maternaticos modernos que, al comienzo de sus estudios experirnentaron inclinaciones literarias 0 clasicas, hasta el punto de vacilar sobre el camino por seguir. En toda formacion maternatica, aun la mas modesta, hay que distinguir, al parecer, entre la tecnica y la cultura. En un comienzo es indispensable salmodiar las tablas y manipular las cuatro reglas: la receptividad de la infancia basta sobradamente para ello. Poincare decfa que es bueno haber cortado manzanas en la escuela primaria, al menos en el pensamiento, antes de abordar la teor ia de las fracciones. Para lainiciacion en el razonamiento matematico propiamente dicho es preferible esperar mas. Los problemas triviales, los ejercicios escolasticos sobre las mezclas, las canillas 0 los corceles ya no tienen mas valor educativo que la lectura de recetas. Una vez adquirido el mecanismo aritrnetico, yo dejarfa en reposo el 34

pensamiento maternatico de los nifios durante un tiempo, con la unica reserva de mantener aquel, A una edad en que la memoria es tan viva y la asimilacion tan rapida, se puede aprovechar este respiro para iniciar a los nifios en las lenguas vivas 0 muertas. Nuestros abuelos, que al menos sab ian latin aunque no supieran otra cosa, ten ian el habito de declinar rosa a una edad muy tierna, en la que el razonamiento maternatico les hubiera disgustado. La experiencia a largo plaza, la unica que en ultimo analisis permite juzgar un metodo pedagogico, revela por otro lado que solo conservan del estudio de las lenguas extranjeras restos perdurables aquellos que las han abordado muy jovenes. Habiendo asi despejado el terreno para los rudimentos de las lenguas, se encontrara facilmente en las clases superiores de los liceos, sin que elIo imp ida la terminacion de los estudios clasicos, ellugar que hoy lamentablemente falta para las matematicas en los horarios y en los programas. Cuando se hojean los programas recientes, que sin embargo han sido concebidos con la intencion de avivar -para favorecer una cierta especializacion=, el estudio de las maternaticas elementales, sacrificadas hasta ahora al dogma de la igualdad cientifica, provoca asombro ver las precauciones de toda suerte que se toman para eliminar una por una todas las dificultades que los reform adores de hace cuarenta afios habian aceptado como un mal necesario, si no como una escuela util, En el primer curso, han desaparecido los triedros, asi como la mitad de la trigonometria (mecanismo que es, sin embargo, facil y que es importante aprender 10 antes posible) y el algebra de segundo grado, de manera que la mayoria de las aplicaciones se hacen imposibles. En elementales, la inversion se ha juzgado innecesaria y fue desterrada del programa. Las directivas dan no "tocar" ciertas teorias que la mayoria de los alumnos nunca tendran ocasion de usar. Todo ocurre como si el campo de la ciencia se hubiera angostado y se pensase en ganar tiempo, 0 como si hubiese que considerar en ?,aja continua la receptividad maternatica de los cerebros Jovenes. Dejemos por el momenta estas discusiones pedag6gicas y para elevar el debate tratemos de comprender las cualidades que puede desarrollar la cultura maternatica. Ante todo, esta cultura es una disciplina del esp iritu, la mas rigurosa de todas. En ella el mas 0 menos es inadmisible. Por tanto, se corre mucho menos que en otros dominios el riesgo de ilusionarse sobre las propias fuerzas. En ella se

35

aprenden a cada paso lecciones de probidad intelectual que se asientan y perdurari. Ciertamente, ha habido y hay quizas aun en maternaticas escuelas de la facilidad, como la de Condillac, pero estas escuelas no han tenido exito y no pueden tenerlo. No puede haber maternaticas sin esfuerzo, aun menos que "latin sin llanto" 0 "griego sin lagrimas". La investigacion maternatica, por modesto que sea su objeto, fuerza la atencion hasta un punto tal que imp ide toda divagacion perezosa del espiritu, tan comun entre los adolescentes. Es tan absorbente que el problema: ien que sueiian los jovenes? , no se presenta para los aprendices de maternaticos. La matematica enseiia tambien a escribir, si se quiere que la concision, la claridad y la precision sean cualidades del estilo. Desde este punto de vista formal, larnatematica no cede en nada a la cultura clasica, Ciertamente, se nos objetara que la mayor parte de los grandes matematicos se han beneficiado en un principio de esa cultura. iPero, donde encontrar mayor firmeza y densidad de estilo que en estos pensadores, aunque no cultiven especialmente la busqueda de la elegancia formal? Todo el mundo reconoce que Pascal es uno de los mejores escritores franceses; pero se puede sostener que la actividad maternatica de Pascal no fue mas que un episodio de su vida intelectual. En cambio Fermat nunca paso por un clasico de nuestra lengua, pero su correspondencia es un modelo del genero. En lugar del estilo, podria haber hablado dellenguaje; por su rigor, por su precision y sobre todo por su extrema variedad, que permite dar al mismo fondo intuitivo vestiduras muy diferentes, el lenguaje maternatico obliga a una gimnasia intelectual sumamente intensa: el hombre de un solo libro, es decir, de un solo simbolismo, no puede ser matematico, La matematica desarrolla tambien la irnaginacion, pero Ie impide vagar mas alla de los limites de una logica rigurosa: sin intuicion es imposible resolver el menor problema de geometria que no sea del tipo "demostrar que ... ", con el resultado dado de antemano. Finalmente, es indudable que Iii cultura matematica tiene un valor estetico; nadie puede permancer insensible a la armonia de la geometria. La palabra "elegancia", empleada tan a menudo por los maternaticos, implica, ante todo, una pr~ocup,aciof1 .estetica, que colo can por e~cima de .la pura validacion logica de un resultado. No se sienten satisfechos hasta que no han podido transformar una demostracion que 36

parecia barbara a su sentido estetico, para hacerla mas simple, mas directa, mas sugestiva, en una palabra, mas elegante. La cosa es tan conocida, que me olvidaba de que las matematicas educan la capacidad de razonamiento. No se trata de que el razonamiento maternatico sea, por esencia, mas perfecto 0 mas complejo que cualquier otro. En el campo del analisis clasico al menos, reina una logica que se reduce a la de Aristoteles y no difiere en nada de la que debe respetar cualquier otra actividad cient ifica. Es debido a que todo razonamiento fracas a en matematicas, al menos cuando una cuestion esta bien planteada, desde el instante en que se descuida la rnenor parcela de las premisas al transformar una hipotesis para llegar a una conclusion. Frente a estas cualidades, que en general no se discuten, la cultura maternatica tiene sus imperfecciones, implica sus riesgos y presenta dificultades. En la practica hay que mezclarla con otros generos mas faciles, si se quiere evitar una fatiga intelectual excesiva, por 10 menos en los estudiantes que no tienen dones excepcionales. La cultura maternatica, por tanto, no puede ser exdusiva. Se reprocha a menudo a las matematicas su inaccesibilidad, que la convierte en el privilegio de un grupo restringido que pretende comprenderlas. Ciertamente no se puede negar que la incomprension rnatematica es uno de los Ienomenos mas extendidos. Pero el heche de que su diagnostico y su etiologia sean mas faciles de hacer que los de la incornprension literaria, artistica 0 tecnica, no implica que esta incomprension sea de hecho mas corriente 0 mas peligrosa que cualquier otra. A fin de cuentas, el resultado medio de los estudios Iiterarios 0 clasicos es tan decepcionante como el de los estudios rnaternaticos. Se lIega inclusive a reprochar a la cultura matematica su mismo rigor, que esta en una oposicion tan acentuada con las contingencias y los azares de la vida corriente. Ser ia peligroso forrnar en serie logicos puros, convencidos de su propia superioridad hasta el punto de rehusarse a transigir con ninguna de las servidumbres pract icas del siglo. Pero este pretendido rigor es mas bien un aspecto didact ico que una verdadera caracterfstica de la maternatica en si , Es de desear, pues, que la enseiianza maternatica no exagere cl dogmatismo y multiplique, por eI contrario, recurriendo a la historia de la ciencia (para eso no es de ninguna mancra necesario novelarla), los ejemplos en los que segun la feliz Iormula de Hadamard, el rigor no tuvo otro objeto que "sancionar y legitimar las conquistas de la intuicion"

37

Por 10 dernas, la cultura rnatematica no es privilegiada mas que en apariencia. Como todo pensamiento humano, y mas especialmente como pensamiento de caracter simbolico, la matematica esta condenada a oscilar entre los dos polos del realismo del nominalismo. Diderot pretendia que "las maternaticas puras entran en nuestra alma por todos nuestros sentidos". Y no es el unico en sostener que los conceptos maternaticos, en apariencia los mas abstractos, tienen su raiz en la experiencia mas cornun. Recuerdense las piedritas de Stuart Mill. Pero tan pronto se supera la etapa de los primeros rudimentos, y aun sin tener que invocar para el caso las teor ias mas avanzadas, la adrnision del realismo ingenuo en maternaticas parece un tanto temible. La otra admision, la del nominalismo, es de temer mucho mas aun, Un taupin 1 , en la mala aceptacion del termino, es esclavo del agoritmo del que se cree duefio en razon exclusivamente de su virtuosismo tecnico. Es un nominalista que se desconoce, mas que un aprendiz de brujo. Poincare dedico grandes esfuerzos a difundir la idea de que en maternaticas hay algo mas que la logica. Esta, reducida a sus recursos exclusivos, es esteril por definicion. Aunque pueda separar el buen grano de la cizafia, no puede crear nada, a menos de "ser fecundada por la intuicion", El problema de la existencia en matematicas no se reduce, pues, a una simple verificacion de no contradiccion. Se encuentra, entonces, desplazado: C:que es un hecho maternatico? Esta cuestion plantea problemas de la psicologia, de la cual la rnaternatica no puede creerse independiente. Esto equivale a decir que los conceptos maternaticos son tan contingentes, tan precarios y tan susceptibles de revision como los conceptos de cualquier otra ciencia humana. De este modo, la maternatica se encuentra destronada de su usurpada reputacion de rigor absoluto y de abstraccion exclusivamente logica. Esta circunstancia es mucho mas feliz de 10 que pudiera creerse a primera vista. Es ella la que explica que la maternatica pura pueda progresar, en el verdadero sentido del terrnino, ampliando sin cesar sus conceptos. Para no citar mas que un ejemplo. Lebesgue elimino la antinomia que para ciertos crfticos pareda plant ear la nocion d.e nurnero transfinito de la clase II de Cantor, mostrando que SI tal antinomia existiese ser ia de la misma naturaleza que la antinomia del infinito numerable.
1 Un

apodo que se da en Francia al estudiante

de matematicas,

N del T.

38

Volvamos a la ensenanza maternatica. Recuerdo haber leido en alguna parte, bajo una firma de las mas autorizadas, la observacion de que el extranjero nos envia nuestros . "especiales". Entendemos que la disciplina maternatica, en el ingreso a las escuelas 0 a la ensefianza superior, es mas rigurosa entre nosotros que en cualquier otra parte. Se sabe que esta disciplina tiene como objetivo esencial dar a los estudiantes una verdadera tecnica que les permita luego abordar facilmente los dominios mas vastos y mas actuales del anal isis general y de la fisica matematica, Esta tecnica es un mal necesario y el hecho de haber hecho de ella un tern a de concurso es un medio seguro de imponer su estudio. Sin embargo, las maternaticas especiales, aun conservando el caracter tecnico que constituye su valor, pueden y deben evolucionar. Es necesario airearlas un poco, orientandolas deliberadamente cada vez mas hacia el analisis y aun hacia la rnecanica, y disminuyendo los ejercicios demasiado largos de analisis algebraico y de geometrfa anahtica , Esto por dos razones: la prirnera es que los concursos tienen muchos menos elegidos que llamados, y que estos, en los cuales hay que pensar, deberian salir de especiales con un verdadero bagaje de cultura general y no solamente con esa deformacion intelectual que aim rnatematicos eminentes confiesan haber recibido. La segunda es que las grandes Escuelas, ante el desarrollo considerable de los conocimientos generales, necesitan aliviar sus programas de 10 que puede adquirirse en especiales sin dificultades particulares. De 10 contrario, su ensefianza propia, sumamente limitada en el tiempo, corre el riesgo de permanecer, por superior que sea, considerablemente por debajo de los puntos de partida de la ciencia actual. Esta ensefianza, por tanto, ya no llena su funcion creadora, que consiste en colocar al estudiante en el umbral mismo de la investigacion. Tal es, segun parece, una de las razones profundas por las cuales algunas de estas escuelas, aun sin haber sacrificado nada de su rigor en el reclutamiento, ya no conservan en el mundo cientifico el lugar de primer orden que ocupaban antafio. No entra en mi proposito discutir la unicidad 0 la diversidad de las maternaticas actuales (comprendida la f isica teorica]. Hechas las reservas necesarias sobre esta cuestion de doctrina y sobre el caracter "totalitario" de las teorias modernas, logisticas 0 f isicas, que pretenden reconstruir integramente eI anal isis y la mecanica a partir de sus axiornas primeros, persiste eI hecho de que la maternatica , como todas 39

las otras ramas de la tecnica actual, obliga aI investigador a especializarse. Por esta especializacion hay que pagar un rescate, que es la desaparicion del maternatico universal, a la vez geometra, analista, y ffsico, del que Poincare parece haber sido unode los ultirnos representantes. En estas condiciones se comprende hasta que punto se hace delicada la tarea de la ensefianza superior. Esta tarea consiste en reunir de la manera mas facilmente accesible el fondo comun que los diferentes especialistas deb en poseer necesariamente. Consiste en afirmar la ligazon entre las diferentes especialidades, en recoger el provecho de estas interpretaciones y en deducir de ello temas de investigacion. Esta es la funcion de sintesis que deben cumplir los "seminarios", sin 10 cual las diferentes ramas se desarrollarian independientemente unas de otras, sin armonia ni plan de conjunto. Pero la maternatica todavia tiene que desernpefiar con respecto a la mecanica y la fisica tcorica el papel de "humilde sirvienta". El trabajo en equipo de los matematicos y los fisicos se ha convertido en una necesidad. Si Einstein tuvo la fortuna de tener a su disposicion desde el comienzo el calculo difjrrencial absoluto y la geometriade los espacios de Riemann para edificar su teorfa de la relatividad generalizada, Heisenberg debio ados matematicos la posibilidad de fundar la mecanica de matrices, a partir de la primera extension intuitiva que dio el principo de correspondencia de Bohr. La teor ia general de los estados y los observables edificada por Dirac no pudo adquirir valor axiomatico mas que en el marco ya construido de los espacios de Hilbert. Aqui el analisis abstracto desernpefio en el mas alto grado un papel de sfritesis, al revelar que la mecanica ondulatoria y la mecanica cuantica no son mas que dos "vestiduras" del espacio de Hilbert. La fisica teorica plantea 0 da actualidad a investigaciones de matematica pura, de donde la necesidad de que el maternatico descienda de su torre de marfil para acudir en ayuda del fisico. De manera general, entre nosotros, donde la escuela de maternatica pura ha brillado siempre y brilla aun con vivo resplandor, pero donde, siguiendo una pendiente muy caracteristica del esp iritu frances, la ensefianza maternatica es muy abstracta, amante del rigor y de la elegancia formal, se hace sentir la necesidad de semejante trabajo en equipo e inclusive de una ensefianza del analisis resueltamente orientada, como ya se ha practicado por 10 dernas, hacia la investiga40

cion aplicada, ya se trate de fisica, de mecanica de los fluidos, de elasticidad, de electrotecnica, etc. El atractivo de la maternatica en si, 'tan viva en muchos de nuestros sabios, no debe hacerles olvidar esta preocupacion, que ademas esta en linea de las grandes obras de antafio, con la diferencia de que hoy por 10 general se impone el trabajo en equipo. Dentro de este orden de ideas, destaquemos la feliz iniciativa de la creacion de catedras para la ensefianza de matematicas aplicadas en una de nuestras grandes escuelas. Si bien nuestros ingenieros utilizan muy poco en su oficio tecnico los conocimientos adquiridos en su juventud, a menudo al precio de prolongados esfuerzos, si incluso no discuten los resultados de sus ensayos a la luz de la estadistica matematica, es muchas veces por no disponer, ya sea de contacto con matematicos profesionales, ya sea simplemente de obras concebidas especialmente con el fin de facilitarles la investigacion aplicada, La cultura maternatica que poseen les sirve cotidianamente en el plano de los metodos y del razonamiento, pero no la explotan mas por no poder realizar enos mismos la conexion indispensable entre una teoria abstracta y la realidad tecnica, Es de desear, pues, que los maternaticos no se contenten con ser espiritus puros y acepten ocasionalmente descender de su catedra para participar en la investigacion aplicada, de manera que la tecnica se haga mas cientifica y , con esto, mas eficiente. Asi, la matematica no solo sera un incomparable objeto de cultura, sino tambien una herramienta de trabajo que puede prestar "maravillosos servicios".

41

SISTEMAS ANTIGUOS DE NUMERACION Margaret F. Willerding

1. Representacion de numeros. Mucho antes de que se inventara la escritura el hombre empezo a rayar las rocas y las paredes de las cuevas y a tallar muescas en varas para indicar "cuantos". Tales marcas fueron el inicio de los sistemas de numeracion. Aunque los hombres en una epoca muy temprana hacian ya marcas e incisiones para indicar "cuantos", y anteriormente habian desarrollado un lenguaje hablado para .el numero, no fue sino hasta muchos afios despues cuando los nombres hablados de los numeros y las tarjas (varas a las que aludimos antes) se fusionaron y se desarrollaron en un sistema de simbolos representativos de numeros. Todos los sistemas de numeracion que aparecieron inicialmente parecen ser el resultado del crecimiento natural de la accion de tarjar. A pesar de esto, las lineas de desarrollo son diferentes. Como consecuencia de esta diversidad, estudiaremos separadamente algunos de los sistemas de numeracion de civilizaciones tempranas. 2. EI sistema egipcio. El problema de saber donde y cuando se inicio el uso de los numerales nos lleva arras en el tiempo hasta los mismos albores de la historia. Los antiguos egipcios que vivian en el valle del Nilo, alcanzaron un alto nivel de civilizacion antes del afio 3 000 a. de C. Egipto contaba con ciudades prosperas y un gobierno establecido en toda su extension. Entre los logros de los egipcios estaba una forma de escritura Hamada escritura jeroglifica y un sistema de numeracion. EI sistema de numeracion de los egipcios era puramente decimal (de base diez) cuyos simbolos aparecen en la Tabla 1.1. Cada simbolo podia repetirse hasta nueve veces. 42

TABLA

1.1. SIMBOLOS

DE NUMERACION Simbolo egipcio

Sirnbolo indoarabigo 1 10 100 1000 10000 100000 1000000

:.
fIQ

n
9>

EI numero representado por un conjunto particular de simbolos se encontraba sumando los valores de cada uno de los simbolos representados. Asi

nn II =
99>11111111 =

10 + 10 + 1 + 1 = 22,

100 + 100+ 1+ 1'+ 1+ 1+ 1+ 1+ 1 + 1=208,

PCl(/ II

100000

+ 10000 + 1 + 1 = 110002.

Si el simbolo correspondiente a un valor debia escribirse mas de cuatro veces, los egipcios economizaban espacio lateral escribiendo estos simbolos en dos 0 mas filas; asf

nnn n n n = 90, nnn

9>9

9'9' nn III
III

III
= 429.

Los simbolos de un numeral podian ser escritos de derecha a izquierda 0 de izquierda a derecha. Era costumbre que los simbolos de valor mayor precedieran a los simbolos de menor valor. Vemos entonces que el sistema de numeracion de los egipcios no era un sistema de posicion como es el caso de nuestro sistema decimal. 43

nnnil nnnil .ajj(t" II

unnn
IInnn II II

= 64

~It~=
1

120004.

Figura

Vemos entonces, que el sistema de numeracion egipcio era basicamente decimal en naturaleza, pero carecia del concepto de valor de posicion. 3. El sistema babil6nico. En otro valle, que se encuentra entre los r ios Tigris y Eufrates del Irak de hoy en dia, florecio otra civilizacion antigua. Aqui vivieron los babilonios aproximadamente 2 000 afios a. de C. La escritura en Babilonia se hacia sobre pequefias tablas de arcilla con la ayuda de un estilete que producia caracteres en forma de cufia llamados caracteres cunciformes. El simbolo representante de uno era la cufia sencilla, Y , que podia repetirse hasta un total de nueve veces. El sfrnbolo que representaba a 10 era la misma cufia, pero rotada 90° en la direccion en que giran las manecillas del reloj. En esta posicion dicha cufia parecia una punta de flecha, .....c. Estos sfmbolos se repetian y sus valores se sumaban como en el sistema egipcio.

....c y y =
yy

10

+4=

14

~ ~ y = 40 + 3 =

~~yy

43.

Figura 2

El simbolo representativo de un ciento era un signa compuesto y ~ . Al escribir cientos, los babilonios usaban la multiplicacion; asi ......Y ~ significaba diez cientos 0 bien 1 000, Y ........, ~ significaba 10 veces (no 2 veces) 1 000 0 bien 10 000. No exist ian simbolos independientes para las potencias de diez mayores que la tercera 103 = 1 000. Los numeros grandes podian tan solo, aparentemente, ser representados como multiples de un millar. La historia parece indicar que raras veces se empleo este sistema para apuntar numeros grandes.

44

Adernas de este sistema decimal de notacion, los babilonios usaban un sistema se xagesimal (de base -sesenta]. En el sistema sexagesimal los numeros menores que sesenta se escribian en el sistema decimal explicado anteriormente. EI numero sesenta se representaba nuevamente con el simbolo usado para el uno, y, con los multiples de sesenta, empezamos a con tar nuevamente. Esto es cierto y nuestro sistema decimal- ... , diez, ... , un ciento, un ciento y uno, .... , un mil, un mil uno, ... En otras palabras, este sistema de los babilonios es un sistema de posicion semejante al nuestro. Asi

representa 44 X 602 + 26 X 60 + 40 = 160000. Este sistema sexagesimal tan solo necesitaba un simbolo definido para cero para convertirse en un sistema de valores de posicion completo. EI cero quedaba frecuentemente indicado por medio de un hueco. En ciertas ocasiones el simbolo ~,llamado un dioisor , se usaba como cero. EI sistema de los babilonios tenia multiples desventajas. Una de ellas era la falta de distincion entre los sfmbolos correspondientes a uno y a sesenta; tambien, no existia un sirnbolo para el cero, dificultando mucho el distinguir, por ejemplo, entre el numeral que significa 1 X 602 +0 X60 + 30 y el numeral que significa 1 X 60 + 30; otra desventaja de tal sistema es que requeda tablas de adicion y de multiplicacion desde 1 + 1 hasta 59 + 59, y desde 1 X 1 hasta 59 X 59 , respectivamen te. 4. Los sistemas griegos. En Grecia hubo tres sistemas importantes de numeracion. EI mas antiguo de estes se obtuvo asignando valores numericos a las veinticuatro letras del alfabeto griego. De este modo A era uno, B era dos, r era tres, ~ era cuatro y asi sucesivamente. Este sistema era practicamente inutil en el trabajo. Los otros dos sistemas eran tambien alfabeticos, En el sistema [onico, se agregaban tres signos al alfabeto, uno de ellos siendo una letra griega anticuada, y los otros dos eran dos letras tomadas de los fenicios. Asi habia veintisiete letras. Las nueve primeras representaban los numeros del uno al nueve; las nueve segundas representaban los nueve primeros 45

multiples de diez, 10,20, ... ,90; y el tercer grupo de nueve letras representaba a los nueve primeros multiples de un ciento, 100, 200, ... , 900. Los multiples de un millar se representaban por medio de las nueve primeras letras con una raya, cada una indicando su nuevo valor.Asf A significaba uno y fA significaba un millar. El tercer sistema era llamado sistema herodidnico 0 dtico. Los simbolos de este sistema aparecen en la figura 3.

r
5

t::.
10 j""'A1 5000

[""2!1

H
100

~
500

50

1000

M
10000

r"
50000.

Figura 3. Simbolos griegos aticos

En este sistema tenemos

r II

= 7,

fB ra II=

560,6

rI

= 16,

M r' 6

= 15015.

Este sistema estaba aim en uso en la ciudad de Atenas hasta 95 a. de C., aproximadamente. Fue finalmente reemplazado por el sistema j6nico descrito antes. 5. Numerales romanos. Los numerales romanos se parecian al sistema atico de los griegos en que ten ian sfrnbolos para los multiples de cinco y tambien para las potencias de diez. Hay siete simbolos basicos en el sistema romano de notacion, tal como los conocemos hoy en dia. Son I 1
V

10

50

100

D 500

M 1000

El sistema romano puede ser caracterizado como un sistema decimal. Simbolos especiales representan potencias de diez: 1=1 =10°, = 10 = 101, C = 100 = 102, yM= 1000= 3. Tal como en el sistema griego atico , as! tambien 10 se efectuaba una economia de simbolismos en el sistema romano, por medio de la introducci6n de semivalores para cada una de estas potencias de diez. As! V igual 5 (medio-diez); L = 50 (medio-ciento); D = 500 (medio-millar). 46

Los romanos usaban el principio de adicion para escribir todos los numeros, exceptuando aquellos que comprendian cuatros y nueves. De este modo XXIII = 20 +3 = 23; MDCCCVII = 1 000 + 500 + 300 + 5 +

2 = 1 807
en rela-

El principio de sustraccion opera especificamente cion con los cuatros y los nueves de cada orden. Asi IV = 5 - 1 = 4 XL= 50 -10= 40, CD = 500 - 100 = 400,

IX = 10 - 1 = 9, XC = 100 - 10 = 90, CM = 1 000 - 100 = 900.

Los romanos con mayor frecuencia escribfan cuatro como IIlI y con menos frecuencia como IV. De manera semejante para indicar nueve se usaba Vlfl I y con menos frecuencia IX. Aun en nuestros tiempos encontramos caratulas de reloj con los simbolos IIII y VIllI y no IV 0 IX. En el sistema romano, el acoplamiento de I con V podia significar tanto cuatro como seis dependiendo del principio que se utilizara, el de sustraccion 0 el de adicion, Asf vemos cierta esencia de la notacion de posicion en el sistema romano. Para el sistema romano la regla de orden es la siguiente: los simbolos han de escribirse de izquierda a derecha en el orden de valores decrecientes, y el principio de adicion se aplica. Las unicas excepciones son las parejas I antes de V 0 de X, X antes de L 0 C Y C antes de D 0 M, aplicandose en este caso el principio de sustraccion, es decir, que en estos casos se sustrae el numeral de la izquierda del numeral de la derecha. Para indicar numeros grandes, los romanos usaban metodos que comprendian a la multiplicacion. Asi ocurria en CXXM para 120000 Y en XIM para 11 000, entendiendose que el numero pequefio nombrado, por ejemplo, CXX en CXXM, habia de multiplicar al mimero nombrado mayor, en este caso M. Asi CXXM= 120 X 1 000 = 120000, XIM = 11 X 1 000 = 11 000. Ocasionalmente, en tiempos roman os posteriores, se colocaba una barra por encima de un simbolo 0 grupo de sfrnbolos para aumentar su valor mil veces. As! 47

XIV = 10004 XII = 12000 6. El sitema maya. La civilizacion maya de la parte sur de Mexico y de Centroamerica fue la primera que empleo el principio de valor de posicion a la vez que un s imbolo para el cero en un sistema de numeracion. El sistema maya se desarrollo independientemente de las civilizaciones del Viejo Mundo y se cree que estuvo en uso por cinco 0 seis siglos antes que cualquiera de los sistemas de los paises asiaticos, El sistema de numeracion de los mayas, que se encuentra en sus calendarios y relaciones astronomicas, no es decimal sino vigesimal (de base veinte) en todo, excepto por una posicion. Sus valores de posicion eran: 20 de la unidad mas baja, kines (dia), constituye 1 uinal; 18 uinales forman un tun (360 dias, un afio aproximadamente): 20 tunes hacen un katun (7 200 dias); 20 katunes hacen un ciclo (144 000 Mas); 20 cidos hacen un gran ciclo (2 880 000 dias). Los numeros del uno al diecinueve eran representados por barras y puntos como se muestran en la tabla 1.2. Cada punto representa una unidad y cada barra representa cinco unidades. Al escribir el numeral representativo de veinte, aparece el valor de posicion en el simbolo de un ojo semicerrado, que representa al cero. AI escribir numerales que representaban a numeros mayores que veinte los simbolos se colocaban verticalmente, haciendo que los de la posicion mas baja denotaran kines (unidades), los siguientes denotando uinales (veintes), los siguientes denotando tunes (18 X 20 = 360), los siguientes denotando katunes (20 X 360 = 7 200), y asi sucesivamente. La figura 4 nos muestra algunos numerales mayas. EI numeral mostrado en la figura 4a representa

13

+ 220 + 720 + 36000 = 36953.

48

TABLA 1.2. NUMERALES MAYAS 00 1 2 3 4

5 6 7 8 9

10 =

15 16 17 18

...

..

== 13 == 14
12

11

::::ob

== ..
...

==

19 ~ 20 ~

EI numeral de la figura 4b representa

+ 100 + 5040 +
-

+ 1 008 000 = 1 013 140.


•• (7

144000'5) 7 200'5) 360'5) 20's) 1'5)


(b)

.. ...

(5 (2 (11 (13

7200'5) 360'5) 20's) 1'5) (a) Figura 4

(0 (5

!S. (14

(0

7. El sistema chino. Nuestros conocimientos acerca del inicio de la civilizaci6n china son muy vagos. Los numerales chinos mostrados en la tabla 1.3 constituyen uno de los sistemas de numeraci6n mas antiguos que hay en el mundo, y se emplean actualmente. Aun cuando algunas firmas de negocios en China emplean en la actualidad nuestro sistema de numeraci6n indoarabigo, otras retienen los simbolos chinos antiguos. Estos simbolos antiguos se usan casi universalmente en los cheques.
TABLA 1.3. NUMERALES CHINOS 12 .::.. 3~ 4 \1j] 5.3%. 6 7

-e

100 1000

¢1
.:f"

8/'9~

10000 ~

lOT
49

~
13

t
30 Figura 5

3i

];..

t
50

51

Los chinos usan simbolos separados para los numeros del uno al diez, para un ciento, para un mil y para diez mil. La figura 5 nos muestra las combinaciones de esos simbolos. Si comparamos los simbolos que representan a 13 y a 30, vemos que cuando el simbolo del tres es colocado por debajo del simbolo de diez, se suman ambos simbolos; cuando el sfrnbolo del tres se coloca encima del s imbolo de diez, ambos simbolos se multiplican entre s i. En el simbolo que representa al cincuenta y uno podemos apreciar una aplicacion de la adicion y de la multiplicacion en la interpretacion de los simbolos. Los numeros grandes se representan por sfrnbolos que se escriben verticalmente. De este modo el simbolo de la figura 6 representa. (5
X

10000)

+ (2

1 000)

+ (5

100)

+ 4= 52 504,

s:
~

_...

1.3i.

i1
\11
Figura 6

50

siendo el significado de los sfrnbolos, 5 diez millares, 2 millares, 5 cientos, y 4 unos. Los rnismos principios se emplean en la escritura de sfmbolos para numeros pequefios. Problemas 1. Escriba los siguientes numerales indoarabigos en notaci6n .egipcia. a.42 e. 27 879 c.509 b.364 d. 1 380 f. 386142 2. Traduzca cada uno de los siguientes numerales del sistema egipcio al nuestro. c. a.

n n nil

nn

b.

3. Traduzca usted cada uno de los simbolos del sistema griego de numerales a los nuestros. a. b.

~9>11

II 'Pcplli

d.

~HH6

c.

Mr'XXX6illi

'Mr'

d'r"'MMfA61'11I1

4. Traduzca cada uno de los siguientes numerales romanos a los nuestros. a. MIV b. CCLXIX c. MCMXIX d. MDCCLXXVI e. XXII f. MDCC en

5. Escriba usted cad a uno de los simbolos siguientes notaci6n romana. c. 1492 e. 1969 a.97 d. 1066 f. 400000 b. 137

6. Traduzca usted cada uno de los' simbolos siguientes de la numeraci6n maya a nuestra numeraci6n .

...

... .

~ ~

.. ...
51

7. Escriba los siguientes simbolos en notacion china. a. 40 860 b.15879 c. 57 942 8. ~Por que cree usted que los sistemas de numeracion egipcio, griego, romano y chino carecen de un simbolo para el cero? 9. ~En que manera es superior nuestro sistema de numeracion al romano? 10. ~Que es 10 que usamos hoy en dia que es reminiscencia del sistema sexagesimal?

52

LOS NUMERALES INDOARABlGOS Margaret F. Willer ding

1. Origen. Existen varias teorfas y mucha incertidumbre acerca del origen de nuestros numerales comunes, llamados numerales indoardbigos. La teoria mas ampliamente aceptada es la que dice que se originaron en la India y siendo una invencion de los hindues, estos numerales fueron traidos a Espana en el siglo VIII 0 IX d. de C., por los arabes 0 moros (asi llamados por haber invadido Espana partiendo de Marruecos), y difundidos mas tarde por la Europa Cristiana. Para en tender la aceptacion de que goza esta teo ria debemos dar un vistazo a la historia antigua. EI rey Asoka, un gran patrono del budismo, reino en la India hara unos dos mil afios, Paso su vida difundiendo su religion por todo su reino. Coloco un gran mimero de column as en las cuales se tallaron los principios del budismo. Sobre estas column as encontramos un cierto ruimero de simbolos nurnericos parecidos a nuestros numerales modernos. Alrededor de unos den afios despues del reino de Asoka, fueron grabados los simbolos que aparecen en la figura 1, Y que se encontraron en las paredes de una cueva situada dentro de una colina Hamada Nana Ghat.

F
uno dos cuatro

?
siete

nueve

Figura 1

Alguien tallo unas inscripciones en un pueblo de la India llamado Nasik. Algunas de estas inscripciones aparecen en la figura 2.

.:5
uno dos tres cuatro cinco seis

7
siete nueve

Figura 2

53

Aunque estos simbolos no fueron inicialmente usados en combinaci6n con el concepto de valor de posicion (sabemos esto porque habfa tambien sfrnbolos para denotar veinte y cuarenta), es claro que se asemejan mucho a nuestros numeralesde hoy en dfa. Si estudiamos estos sfmbolos, es facil aceptar la teoria que dice que nuestros numerales son caracteres hindues, , En 711 d. de C., invadieran los moros a Espana desde Africa del Norte. Conquistaron Espana y gobernaron ahf hasta el siglo XV. Estos moros introdujeron en Espana el nuevo metodo para escribir sfrnbolos numericos que hab ian apr endido de los hindues, Los numerales, en su forma presente, no aparecer ian sino hasta el siglo XV 0 XVI. EI manuscrito europeo mas antiguo en el cual aparecen simbolos muy parecidos a nuestras numerales modernos fue escrito en Espana en 976 d. de C. Estos numerales se muestran en la figura 3. Una influencia importante en la introducci6n de los numerales indoarabigos en Europa la ejerci6 un libro escrito por al-Khowarazmi, un maternatico arabe, en el afio 825 d. de C. Este libro fue posteriormente traducido al latin con el titulo Lib e r Algorismi de Numero Indrum (EI libro de al-Khowarazmi Acerca del numero hindu). EI hecho de haber sido este Iibro traducido del arabe pudo haber influido en la adopci6n del terrnino "numerales arabigos" al referirse a nuestros numerales. Ademas de esto, podemos ver una semejanza entre nuestros numerales y los signos arabigos. Durante muchos siglos se prefiri6 la notaci6n rornana a los signos indoarabigos. EI uso de los numerales indoarabigos levant6, de hecho, una gran oposicion. En 1299, por ejemplo,

IZr!(Y!.78'
Figura 3

se prohibio en Florencia a los mercaderes el uso de enos y se orden6 la escritura de los nombres verb ales para los mimeros o la notaci6n ramana. En muchas partes se prohibi6 el uso de numerales indoarabigos en la redacci6n de documentos oficiales. Este prejuicio en contra de los sfmbolos indoarabigos se debia, probablemente, al hecho de que los simbolos romanos eran conocidos por cualquiera y respond ian a las necesidades ordinarias. 2. Uno. El sirnbolo para el numero uno usado por todas las civilizaciones antiguas era muy semejante a nuestro numeral 54

"1". Este numeral proviene indudablemente del dedo levantado, que es la manera mas sencilla y natural que tenemos para decir uno. Los egipcios pintaban el numeral "1" en la ceramica y 10 cortaban en la -piedra hace ya mas de cinco mil afios. Los babilonios 10 estamparon en la arcilla hace cuatro mil anos. Los griegos y los romanos emplearon este simbolo para indicar uno, hara unos dos mil afios. Aunque el dedo levantado es una manera de indicar uno, tambien puede indicarse uno colocando una vara 0 una piedra sobre una superficie plana. Por esta razon, el uno se indicaba tambien por medio de una linea, -, representando una vara que descansa sobre el suelo 0 tablero. 3. De dos hasta nueve. Los simbolos para el dos y el tres probablemente deban su origen a bastones 0 varas para contar o rodillos para calcular. Estos eran bastones cortos de barnbu que cuando se colo caban sobre una superficie plana se usaban en los computes. Asi, dos se expresaba por medio de dos lineas = ,y tres se expresaba por medio de tres lineas == Escrito con rapidez el simbolo = se transforrno en Z que a su vez llego ser el numeral "2". De manera semejante, el simbolo == escrito rapidarnente se transforrno en =:3 que se desarrollo hasta dar el numeral moderno "3". Son muchas las conjeturas que se han hecho en cuanto al origen de los simbolos que van del cuatro al.nueve. En 1858, el doctor J. Wilson creyo que habia encontrado la genesis del numeral "4" a traves de caracteres de escritura de la India Oriental. 1 Tambien se ha hecho la conjetura de gue por ser cuatro el primer cuadrado perfecto (2 X 2 = 22 = 4),2 se representaba con cuatro rodillos de compute colocados asi 0, que se desarrollo hasta dar y finalmente "4". El simbolo para cuatro tal como 10 hacemos, "4", se encontro ya en pleno uso en Europa hace aproximadamente setecientos afios, Nuestro sfmbolo para siete, "7 ", se deriva del signa arabigo seba, V , siete. Al pasar de un lenguaje a otro, espeeialmente si se trata de lenguajes eon alfabetos distintos, es cornun que

l\

IJ. Newton Friend. Numbers, Fun & Facts. {New York: Charles Scribner's Sons, 1954}. Pig. 28. 2 Durante muchos siglos, no se considero al uno como un numero, asi, 22==4 venia a ser el primer cuadrado.

55

los simbolos sufran un giro de 900 hasta 1800 • A'Si \J se transforrno en'\ de donde llegamos al numeral "7". Si aceptamos el origen del numeral "4" a partir de un cuadrado, sera facil aceptar que ocho se representaba con dos cuadrados sobrepuestos, 8· Este simbolo Facilrnente evoluciona para darnos el sfrnbolo "8". El numeral "9" pudo bien derivarse de la letra griega theta, e. En el sistema griego de numeracion, las letras del alfabeto se usaban para representar numeros, y la letra representaba nueve. Aunque las conjeturas presentadas acerca del origen de "4", "7", "8" y "9" son interesantes y factibles, "no tienen la sancion del estudio de la Paleograffa. Ninguna de las teorias presentadas ha resistido la prueba de la cr itica de los doctos".3 Todavia ahora podemos hacer especulaciones en cuanto a su origen, pero debemos confesar nuestra ignorancia en cuanto a los comienzos de los numerales modemos. Es notable el hecho de que fueran necesarios miles de afios para que el hombre llegara a inventar una manera realmente sencilla de representacion de los numerales. Son muchos los afios de esfuerzo y lucha que hay detras del sistema de numeradon que tomamos gratuitamente y usamos con tanta facilidad.

4. Cero. El uso' de un sfrnbolo cero fue un logro grandioso de los hindues, y pudo haber sido inventado 100 afios a. de C. El cero es probablemente uno de los mas grandes aciertos de la ciencia. Perrnitio a los calculadores hindues abandonar las columnas del abaco y desarrollar metodos de calculo escrito. El simbolo empleado usualmente por los hindues en sus calculos escritos, para indicar la columna vacfa del abaco, era un punto que llamaban sunyabindu 0 sindu. No pensaban en este punto como en un simbolo para un numero, sino como en un sfrnbolo que denotaba una columna vada. El usa mas temprano que se conoce de un sfmbolo para el cero es una inscripcion de Gwalior que data de 876 d. de C. El numeral "0" fue el ultimo de los numerales en ser inventado, y el mimero cero fue el Ultimo de los mimeros en ser descubierto. Sin cero el sistema indoarabigo de numeracion no hubiese sido mas eficiente para los computos que los sistemas egipcio 0 romano.
3David Eugene Smith, History of Mathematics, Ginn and Company, 1925). Pag. 68. vol,

II (Boston:

56

La idea de considerar a la nada 0 a la vacuidad como a un numero es tan dificil como aceptar la idea de representar 10 vacuo por un simbolo. EI concepto de cero, como un numero, probablemente se desarroll6 con el uso del simbolo de cero conjuntamente con los sfrnbolos para los otros numeros,

Problemas Un terna interesante 10 constituye la etimologia de los nombres que tienen los numeros en espafiol. Por ejemplo, la palabra uno se deriva del latin unus, que significa uno. Vemos esta derivaci6n en palabras tales como (1) uniforme (una forma, igual); (2) unicornio (animal con un cuemo); (3) uniciclo (vehiculo con una rueda); y (4) unilateral (con un solo lado). 1. Busque la etimologia de la palabra dos. algunas palabras en espafiol que justifiquen la derivaci6n. 2. Tres se deriva de la palabra latina y griega trio tres palabras en espafiol que empiecen con "tri", Y diga el significado de cada una. Por ejemplo, triangulo: un poligono con tres lados. 3. La palabra latina cuatro es quatuor. Encuentre tres palabras en espafiol que reflejen este origen. 4. Las palabras griega y latina para seis son hex y sex, respectivamente. cinco palabras en espafiol que se inicien con "sex" 0 "hex" y que reflejen esta derivaci6n. 5. Busque la derivaci6n de las palabras espafiolas: (a) siete (b) ocho; (c) nueve; (d) diez.

De

De

De

57

METODOS ANTIGUOS DE COMPUTACION Margaret Willerding

1. Algoritmos. Durante el siglo XIV aparecieron muchos trabajos dedicados a los numerales indoarabigos y sus usos. EI libro de al-Khowarizmi sobre el uso de los numerales indoarabigos introdujo la palabra algorismo 0 algoritmo en el vocabulario de las maternaticas. En una traduccion latina de este libro, encontramos la frase "dicho ha Algoritmi ... " Aq u i e I no mbre al-Khowarizmi se ha convertido en Algoritmi, de donde vinieron las palabras algoritmo y algorismo. Hoy en dfa esta palabra significa, en general, rnetodo 0 patron para encontrar sumas, productos, diferencias y cocientes empleando notacion indoarabiga. Un manuscrito anonimo del siglo XIV esta ahora en la biblioteca de la Universidad de Columbia, y se llama El Algorismo de Columbia. El Algorismo de Columbia, ademas de contener una discusion de los llamados algoritmos; incluye problemas en don de se muestra la aplicacion de las maternaticas a los negocios, acertijos y recreaciones (ellado ligero de las maternaticas) y sus soluciones completas. En 1498, Pacioli publico su Suma en Italia, gran parte de la cual esta dedicada a la aritrnetica. En su manuscrito, Pacioli demostro ocho rnetodos de multiplicacion, Dos de estos metodos, el metodo scachiero y el metodo gelosia, seran discutidos despues. 2. El algoritmo de la suma. El principio de sumar dos 0 mas numeros es tan elemental que sorprende encontrar mucho cambio en su tecnica a traves de los afios. Los cambios principales des de la aceptacion general del sistema de numeracion indoarabigo han ocurrido en la forma de escribir los resultados. En el siglo XVI, Gemma Frisius (1540) introdujo un

58

metodo de adici6n (vease la figura 1) que se usa todavia entre algunas personas al sumar largas columnas de numeros. Gemma Frisius escribi6 el sumando mayor en la punta superior de la columna, escribi6 luego la suma de cada columna en orden de derecha a izquierda, y finalmente sumo las sumas parciales.

3764 987 415


20 3

16 15

5166
Figura 1

Los hindues usaban dos metodos de adici6n. Uno de ellos era el metodo en uso actualmente; el otro, llama do retrogrado, consistia en empezar ala izquierda e ir borrando los numerales cuando "se llevaba algo ". Este rnetodo se ilustra en la figura 2. La forma abreviada aparece a la izquierda; la explicaci6n de esta forma aparece a la derecha.

3746 578 1374 4588 569

4)
5)

il
~~

3746 578 1374

~i

i%
6

i8
9

Reemplace 4 y 1 por 4 + I = 5) 7 + 7 + 4 = 18; escriba 18. Reernplace 5 y 1 por 5 + 1 6. = 6 + 8 + 4 = 18; escriba 18. Reernplace 8 y 1 por 8 + 1 = 9.

7 + 5 + 3 = 15; escriba 15

1 + 3 = 4; escriba 4.

La suma es de 5 698
Figura 2

59

3. Sustracci6n. El proceso de sustracci6n, no as! el de adicion, nunca ha sido "estandarizado". Hay muchos patrones que se pueden seguir para sustraer un numero de otro. Los metodos de sustraccion son interesantes por la manera en que se enfrentan a la cuesti6n de sustraer un numero de mayor valor a uno de valor menor en un lugar particular. La idea de pedir presta do es muy antigua y nunca ha perdido su popularidad. La mayorfa de la gente aun pide prestado aunque la terminologfa preferida sea renombrando 0 El A lgorism 0 de Columbia evita par empezando el trabajo a la derecha. EI ejemplo posterior sustraccion de 5 976 a 8 432 como Columbia.

reagrupando,

el pedir prestado 0 reagruizquierda en vez de a la muestra los pasos en la se hace en el Algorismo de 3 ~432 ~976

Paso 1. 8 - 5 = 3. Tache 5 y 8. Escriba 3 encima de 8.

Paso 2. 34 ~ 9

= 25. Tache, 3, 4 Y 9. Escriba 2 encima de 3, y 5 encima de 4. Observe que al usar un numero tachamos su numeral.

2 $5 Mi2
~~76

24

Paso 3. 53 - 7 = 46. Tache 5, 3 y 7. Escriba 4


encima de 5, y 6 encima de 3.

~~$.12 ~~ 6 245

$~6

Paso 4. 62 - 6 = 56. Tache 6, 2 y 6. Escriba 5


encima de 6.y 6 encima de 2. La diferencia es 2 456.

$~$~

~~66

~~16

El me to do de "pedir prestado y pagar" 10 usa Fibonacci en 1202. De acuerdo con este esquema cuando 268 se sustrae de 542,

1. 8 se sustrae de 12. 2. 1 decena que se pidi6 prestada a las 4 decenas del 542 se "paga" a las 6 decenas del 268 haciendo 7 decenas. 60

3. 7 decenas se sustraen de 14 decenas. 4. 1 ciento que se "pidio prestado" de los 5 cientos del 542 se "paga" a los 2 cientos del 268 haciendo 3 cientos. 5. 3 cientos se sustraen de 5 cientos. Este metodo aditivo de sustraccion era usado en el siglo XVI por Buteo. Trescientos afios despues los educadores alemanes observaron este metoda que estaba en uso en las escuelas austriacas. Desde aquel entonces se Ie llama frecuentemente "EI Metoda Austriaco". 4. Multiplicaci6n. Uno de los metodos mas antiguos de multiplicacion era aquel de duplicar y sacar mi tad que usaban los egipcios. Este metodo es llama do Duplicacion y Mediacion. Para encontrar el producto 54 X 37, sacamos sucesivamente mitad a 54 (descartando los residuos) y duplicamos sucesivamente 37, del modo siguiente: 54 27 13 37 74 148

6
3

592 1184.

296

En la columna de las duplicaciones sumamos ahora aquellos rmiltiplos de 37 que corresponden a los numeros impares de la columna de mediciones. As! sumamos 74, 148,592 Y 1184 para encontrar el producto, 1 998. Este me to do de duplicacion y mediacion es empleado por las computadoras electronicas.

2
3 1 1
8

4 2 0 6

4 5 0

=4x5

20 X 5

1 6
8

=4 X 40 = 20 X 40 = 4 X 300 = 20 X 300

o
61

El metoda scachiero era llamado el metodo del tablero de ajedrez por su semejanza con este. En la figura anterior se muestra el metodo scachiero para 24 X 345
342

5 6 5 Figura 3

El metoda gelosia es llamado el metoda de la celosia por su semejanza con el trabajo de enrejado. Para usar el metodo gelosia formamos un enrejado, el mimero de cuyas celdas depende el numero de digitos que componen a los numeros que se han de multiplicar. La figura 3 muestra el esquema para encontrar el producto 342 X 156. Puesto que ambos factores tienen tres digitos cada uno en sus numerales, el enrejado que se usa tiene 3 X 3 = 9 celdas. Los digitos de un factor se escriben sobre las columnas de la cuadrfcula, y los digitos del segundo factor se escriben a la derecha, un digito al lade de cada fila. En cada celda escribimos el producto de los numeros nombrados en cada uno de sus lados. Asf, en la parte superior izquierda escribimos 3 (3 X 1); en la celda inferior izquierda escribimos 18 (3 X 6), Y asf sucesivamente. La diagonal de la celda separa el dfgito de las decenas del digito de las unidades en el producto correspondiente. Sumamos a 10 largo de las diagonales para encontrar el producto. Asf 2, 4 + 1 = 5, 8 +2 + 1 +2 = 13, Y as i sucesivamente. N6tese que en algunos casos las sumas obtenidas en algunas diagonales exceden a diez. En este caso, el digito de las decenas se traspasa a la siguiente posicion a la izquierda y se suma en esa diagonal. El producto, 53 352, puede leerse empezando en la parte superior izquierda de la cuadr icula y continuando a 10 largo de la parte inferior. 5. Division. El proceso de divisi6n es el mas dificil de todos los c6mputos elementales, tanto hist6rica como pedag6gica-

62

mente. Pacioli observe que "si un hombre puede dividir bien, todo 10 dermis resulta sencillo, pues todo 10 dernas esta incluido ahi". 1 El metodo cornun para la division que se usaba antes de 1 600 es conocido como el metoda de la galera 0 metodo del tachado. Se ilustra a continuacion para el caso 1 556 -;.42. Se aclarara el trabajo dando los pasos por separado. Paso 1. Escriba el divisor, 42, debajo del dividen- 155613 do como se muestra. Obtenga la primera 42 cifra del cociente 3, de la manera usual. Escribalo ala derecha del dividendo. 2

Paso 2. Piense: 3x4 = 12. Sustraiga 12 de 15, H~613 15 - 12 = 3. Tache 1, 5 y 4. Escriba 3 1tt2. arriba de 5. Piense: 3 X 2 = 6, 35 - 6 = 29. Tache 2, 3 Y 5. Escriba 2 arriba de 3, y 9 arriba de 5. Paso 3. Escriba el divisor, 42, recorrido un lugar ala derecha diagonalmente. El dividendo resultante despues del Paso 2 es 296. Obtenga la siguiente cifra del cociente, 7. Piense: 7 X 4 = 28, 29 - 28 = 1. Tache 4, 2, y 9. Escriba 1 arriba de 9. Piense: 7 X 2 = 14, 16 - 14 = 2. Tache 1,6 Y 2. Escriba 2 arriba del 6. El metodo del tachado para 1 556 -;.42 se escribe:

$9

t ~~
~~ ~

H2
~t

37

El cociente es 37, el residuo es 2. Este metoda de division es mucho menos dificil de 10 que parece a primera vista. La
Ginn and Company, 1925). Pig. 132.
1

David Eugene Smith. History of Mathematics,

Vol. II

(Boston:

63

popularidad de este metodo para la division era debida a la facilidad con la que se prestaba al abaco de arena. Maxum Planrides (aprox. 1 340) dijo, "es muy dificil realizarlo en papel y con tinta pero se presta naturalmente al abaco de arena".2 Otra forma de realizar la division entre en uso en el siglo XV con eI nombre adanda, que significa "dando". "Este nombre proviene del hecho de que cuando se sustrae un producto parcial bajamos la siguiente cifra y se la damos alresiduo ", 3, El metoda adanda del siglo XV se muestra adelante para 386 483 + 65. Esta forma se reconoce facilmente como precursora de nuestra forma presente.
5945 651386473 325
61 614

585 29 297 260 37 373 325 48


PROBLEMAS

1. Sume: Use eI metoda de Gemma Frisius a. 176 b.4629

+ 24 + 87 + 39 + 3842 + 179 +
b.9214 1767

826

2. Sustraiga: Use el meta do del Algorismo de Columbia. a.8732 6975 c.5000 2139

'2 Ibid.,

pag. 137.
Pag, 141.

+tu«, 64

LA HISTORIA DE LOS NUMEROS MISTERIOSOS Paul Dubreil

... hizo tambien un vaso de bronce fundido que tenia diez codos de didmetro, de un borde al otro borde, perfectomente redondo, y de cinco codos era su altura, en tanto que un cordon de 30 codas media la circunfcrencia en derredor, (I Reyes, VII,23; IICronicas, 2). IV,
7f

e
C
7f=

3,14159 26535 50288 41971 59230 78164 34211 70679 09384 46095 48111 74502 64462 29489 66593 34461 27120 19091 45432 66482 72458 70066 92540 96282 01133 05305 94151 16094 09218 61173 07446 23799 79381 89122 44065 66430 23094 36285 24749 95022 86199 51100 98858 11902 00081 70029 91451 18398 Roy. Soc. London,

89793 2386 26433 83279 74944 69399 37510 58209 06286 20899 86280 34825 82148 08651 32823 06647 50582 23172 53594 08128 84102 70193 85211 05559 10975 54930 38196 44288 28475 64823 37867 83165 45648 56692 34603 48610 13393 60726 02491 41273 20920 06315 58817 48815 91715 36436 78925 90360 13841 46951 48820 46652 33057 27036 57595 91953 81932 61179 31051 18548 18857 52724 62749 56735 83011 94912 98336 73362 86021 39501 60924 48077 53096 62027 55693 97986 96206 07497 03041 23668 89202 38377 02131 41594 25446 81639 79990 46597 63123 77381 34208 41307 15709 85 ... (Shanks,Proc. 23,1874, p. 45).

65

La distancia que separa a la aproximacion grosera dada por la Biblia, del calculo de 7r efectuado por Shanks en 1874 con 707 decimales exactos es tan considerable que parece dificil poder dar una idea de ella. Solamente cuatro decimales de 7r con suficiente precision, bastan para las necesidades practicas. Con 16 decimales se obtiene, con el espesor aproximado de un cabello, la longitud de una circunferencia que tiene por radio la distancia media de la Tierra al Sol. Reemplazad el Sol por la nebulosa mas lejana y el cabello por el corpusculo mas pequefio conocido por los fisicos: para alcanzar esta precision fantastica no tendreis necesidad mas que de 40 decimales. No digais "eso sobrepasa a la imaginacion ". Por el contrario, al leer Ia historia del numero ir vais a penetrar en el centro del mundo maternatico, ese mundo maravilloso en el que la imaginacion desernpena su papel mas notable. La longitud de una circunferencia es proporcional al didmetro; el area de un circulo es proporcional al cuadrado del radio; el coeficiente de proporcionalidad es el mismo numero, 1(, aproximadamente igual a 3, 14. Esto que hoy en dia 10 sabe un nino, los griegos tardaron dos siglos en establecerlo. Un cont emporaneo de Socrates (469-399 a. de C.),Antif6n, inscribe en el circulo un cuadrado, luego un octagono e imagina doblar el numero de lados hasta el momenta en que el polfgono obtenido coincida practicamente con el circulo. Brison, por la misma epoca, hizo intervenir los poligonos circunscritos. Despues de los trabajos de Hipocrates y de Eudoxo, Euclides (300 a. de C.) precisa, en sus Elementos, los pasos al limite necesarios; enuncia este axioma que sera retomado por Arqufmedes, cuyo nombre lleva: "Toda longitud es superada por un multiple adecuado de una longitud dada." Desarrollo el metodo de exhaucion, consistente en doblar, como hada Antif6n, el numero de lados de los poligonos regulares inscritos y circunscritos y en mostrar la convergencia del procedimiento, como diriamos hoy. Arquirnedes (287-212 a. de C.) reune y desarrolla estos resultados. Muestra que el area de un circulo es el serniproducto de su radio por su circunferencia y que la relaci6n de la circunferencia al diame tro esta comprendida entre
3

71 = 3,14084

10

10 y 3 70

= 7=

22

3,14285

Establece y utiliza el teorema fundamental que nosotros 66

enunciamos asi: un arco x (0 < x < ~ ) esta comprendido entre su seno y su tangente. Obtiene para las areas y los perimetros de los poligonos regulares, inscritos y circunscritos, de n y de 2n lados, relaciones de recurrencia de forma notable, que hacen intervenir las medias geornetrica y arrnonica y per. miten, al menos teoricamente, calcular rr con una aproximacion dada; este metodo de calculo recibio el nombre de algoritmo de Arquimedes. Para apreciar en su valor la obra de Arqufrnedes, que comprende igualmente la determinacion de las superficies y de los volumenes de los principales cuerpos redondos, recordad las dificultades considerables que presentaban en esa epoca las operaciones aritmeticas, debido a la pesadez de las notaciones y a la cornplicacion de la numeracion escrita. Se ignora por que procedimiento Arquimedes extra fa las ra ices cuadradas, pero parece cierto que disporna de un procedimiento de aproximacion perfeccionado. Observad tambien el rigor de las demostraciones. Como 10 hace notar Hobson, la obra de los griegos solo se presta a la crftica por la ausencia de ciertas definiciones; la longitud de una circunferencia, el area de un drculo, son para ellos nociones claras, como la longitud de un segmento de recta 0 el area de un cuadrado. A decir verdad, las definiciones precisas de la longitud de un arco de curva y del area de un dominio solo vendran despues de la creacion del calculo infinitesimal y sera solamente J ordan (1838-1922) quien obtendra los resultados decisivos sobre las curvas rectificables y los dominios cuadrables. Fuera de Grecia, se encuentran en la antigiiedad varias deterrninaciones notables de IT. En Egipto, el papiro Rhind, copiado por Ahrnes (1700 a. de C.) da
1T

=(
1T

~6r

= ~16

3,1604

10 que difiere poco del valor

= y10 =

3,1622

que fue el obtenido en la India por Brahmagupta (nacido en 598 d. de C.) en China par Chang-Hing (muerto en 139 d. de C.) y que constituyo luego la felicidad de los "cuadradores del circulo". En la India, Aryabhata (500 d. de C.) considera insuficiente el 67

valor

22 7

y da el valor "exacto " 3,1416. Pero el astronorno

chino Tsu-Chang-Chih (nacido en 430) hace aun mas: muestra que 7r esta comprendido entre 3,1415926 y 3,1415927 y propone el valor aproximado ~~~=3,1415929. En esa epoca

esta mas avanzado que Occidente.

Desde el siglo XIII, en Europa, el calculo de 7r at rae nuevamente a los espiritus curiosos por los problemas matematicos. En su Practica Geometriae, escrita en 1220. Leonardo de Pisa propone el valor 3,1418, media de los Iimites obtenidos con poligono de 96 lados; 3,1410

< 7r <

3,1427.

Con el Renacimiento, los trabajos de ciclometr ia se multiplican. Purbach (1423-1461) construye una tabla de senos de 10'en 10'y adopta para
'If

el valor:;~=3.14666

...

,no sin

poner en duda la existencia de un valor "exacto", es decir racional. Los siglos XV Y XVI se sefialan por el desarrollo de la trigonometria, bajo el impulso de Copernico y Kepler. Rhaeticus construye una tabla de senos que solo sera publicada en 1613 y que, implicitamente, da 7r con 8 decimales exactos. Adrien Romain (1561-1615) obtiene 15 decimales y Ludolf de Colonia (1539-1610) llega hasta 32, no sin haber desarrollado una labor prodigiosa pues sus metodos no marcan ningun progreso verdadero sobre los de Arquimedes. Segun su deseo, los 32 decimales fueron grabados sobre su tumba, pero en su pais la posteridad 10 recompense mucho mejor pues se dio a 7r el nombre de "numero de Ludolf". Pronto la proeza de Ludolf fue eclipsada gracias a los perfeccionamientos notables que Snel (1580-1626) y Huyghens (1629-1665) aportaron al metodo de Arquimedes Este se apoyaba en el hecho de que el arco esta comprendido entre su seno y su tangente; la idea nueva consistia en reemplazar estos dos limites por otros menos simples, pero mucho mejores, que se present an bajo la forma de combinaciones de lineas trigonornetricas. Snel halla que el arco x esta comprendido entre 68

3 sen x + cos x

2 sen x +tg x 3

La obra de Huyghens De circuli magnitudine inventa, ha sido calificada de modelo de razonamiento geometrico. Como las de Snel, las expresiones aproximadas dadas por Huyghens
8 sen
-23

sen x, ...

se aproximan al arco X en el quinto orden. ~y podr iais rehusar vuestra admiracion a este teorema dado por Huyghens: todo circulo es mayor que el poligono inscrito, mas el tercio del exceso de este sobre el poligono inscrito que tiene la mitad de lados (se trata, claro esta, de poligonos regulares convexos y el enunciado es valido tanto para el area del circulo como para la longitud de la circunferencia)? Con sus metodos, Snel obtuvo 34 decimales exactos, partiendo del cuadrado y doblando 28 veces el numero de los lados, operaciones que no habfan dado a Ludolf mas que 14 decimales. Grunberger llega hasta los 39 decimales. Huyghens calcula 1T con 9 decimales exactos sin utilizar otros poligonos mas que ... el hexagono , Podeis ver aqui que progresos pueden realizarse en maternaticas mediante la busqueda d€ una mayor simplicidad. A partir del siglo XV el numero de los "cuadrado res " va en aumento. EI problema de la cuadratura del circulo consiste en construir con regia y cornpas un cuadrado de area igual a la de un cfrculo dado. Se relaciona con el de la rectificacion del circulo, 0 sea construir, siempre con regIa y cornpas, un segmento de recta de igual longitud que una circunferencia dada. Si existiese solucion para estos problemas, 1T satisfacer ia a una ecuacionalgebraica de coeficientes enteros, y de grado igual a una potencia de 2; seria un numero algebraico. Ser ia
asi, por eJemp

I0, SI 1T f uese un numero raciona 1 como 355 . ' . 113

1a

raiz cuadrada de un numero natural, como Durante siglos, este problema de la cuadratura del circulo ha merodeado por la mente de los hombres y aun hoy, que su imposihilidad se halla solidamente establecida, como 10 vereis mas lejos, atrae a ciertas personas caracterizadas por una gran ignorancia de la geometri'a, el desprecio de la "Ciencia Ofi69

.JTO:

cial", una confianza inquebrantable en sf mismas y una incapacidad total para razonar con justeza. Sin comprender siquiera la naturaleza del problema, algunos proponen soluciones aproximadas 0, inclusive, "rnecanicas", medida de la circunferencia con un hilo, pesada de un disco circular, etcetera. Entre los que buscan una solucion exacta, muchos son rigurosamente incomprensibles.

De creer a Plutarco, el antepasado de los cuadradores serfa Anaxagoras de Clazomenes (500-428 a de C.),quien, reducido a prision co nsagro su ocio forzado a la Geometria y, particularmente, a la cuadratura del cfrculo. Obtuvo sin duda una construccion aproximada que el considero como exacta. El problema de la cuadratura recibio poco tiempo despues un impulso considerable debido a ciertos resultados notables obtenidos por Hip6crates de Quios. Este, que vivio en Atenas en la segunda mitad del siglo Va. de C., hallo que el area de la lunula ADBC comprendida entre el cuarto de circunferencia ACB de centro 0 y la semicircunferencia ADB de diametro AB es igual al area del triangulo AOB. Este resultado, y otros del mismo genero, mostraron que las areas curvilfneas pueden tener medidas simples susceptibles de ser calculadas exactamente y construidas geometricamente: Ar70

quimedes rnostro luego que el area comprendia entre un arco de parabola ACB y la cuerda AB es igual a los 4/3 del area del paralelogramo construido sobre CD y BD (D es el punto medio AB, C el punto de contacto de la tangente paralela a AB y CD es paralela al eje de la parabola). Despues de eso, tno era natural buscar un result ado aruilogo para el circulo? Pronto se reconocio que el problema era dif icil, pero la dificultad de los problemas nunca hadescorazonado a los buscadores. tAcaso no se halla compensada por el atractivo de la gloria? Es por eso, sin duda, que hallamos mas de un nombre famoso en la larga lista de los cuadradores. Ante todo, el cardenal de Cusa (1401-1464), considerado como uno de los mas grandes espiritus del siglo XV. En el problema que nos ocupa, tuvo el merito de ser el primero en hallar, para el arco ., ' x, 1a expreSlOn 2 3 sen x ' un '1' d a mas tar d e por Sne I como iza + cos x valor aproximado. Dio como exacto el valor 1T = 3,1423 Y fue refutado por Regiomontano, maternatico distinguido, el p~imero en introducir la division centesimal de la circunferencia, Oronce Fine (1494-1555) parece haber considerado a 2;:

como valor exacto de 1T; pero enuncio tambien proposiciones correctas que fueron establecidas por Huyghens. Su libro De rebus mathematics hactenus desideratis, publicado despues de su muerte, abundaba en descubrimientos maravillosos concernientes, no solamente a la cuadratura, sino tambien a la construccion de poligonos regulares y a la triseccion del angulo. Todo eso era demasiado hermoso para ser verdadero y fue pronto refutado por Bateon, alumno de Oronce, y luego por Pierre Nonio, que escribio expresamente un libro, titulado De erratis Orontii. La misma desmesurada arnbicion parece haber anima do a Joseph Scaliger (1540-1609). Celebre filologo, autor de un gran tratado de cronologia, protestante, enemigo notorio y encarnizado de los jesuitas, trato tarnbien de imponerse como matematico, En un libro titulado Nova Cyclometria (1592), expone su descubrimiento de la cuadratura del circulo. Pero fue refutado por Viete y Adrien Romain, y el P. Clavius mostro que las proposiciones de Scaliger implicarian esto: el perimetro del dodecagono inscrito es superior a la circunferencia. A pesar de cste desmentido tajante, Scaliger logro, 71

gracias a su seguridad y a su obstinacion, conservar partidarius hasta el fin, fuera del restringidu mediu de los verdaderos
geometras.

Un casu sumamente curiosu es el del fil6sufu Thomas Hobbes (1588-1679). De origen muy modesto, se hizo notar des de su infancia por sus aptitudes intelectuales extraordinariamente brillantes. Despues de pasar cinco afios en Oxford, donde estudio la filosoffa escolastica, fue preceptor en las grandes familias inglesas de los Cavendish y los Clifton, a cuyos hijos acompafio en largos viajes al continente; mas tarde, ensefio inclusive rnaternaticas al hijo del rey de Inglaterra, el futuro Carlos II, instalado en el exilio en Saint-Germain. Su primera obra fue una traduccion de Tucidides, pero pronto 10 atrajo la filosofia; se convirtio en discipulo de Bacon. Tarnbien Ie interesaban las ciencias; aprendi6 geometria y, mediante la fr ecuentacion de medicos y naturalistas, siguio con entusiasmo los primeros grandes descubrimientos medicos. Siguiendo la moda del tiempo, decidio consagrar su vida a la busqueda de la verdad; concibio el grandioso proyecto de una ciencia universal. Durante una de sus estadas en Paris, sus contactos cotidianos con el P. Mersenne le permiten conocer las ideas y los descubrimicntos de Descartes, que par entonces se hallaba en Holanda. Se siente profundamente chocado por aquellas, se declara ateo, hostil a la aplicacion de los metodos algebraicos a la geornetr ia y no acepta la existencia de ningun lazo estrecho entre las matcmaticas y las ciencias de la naturaleza . Merscnnc 10 invita a formular sus objeciones. Se suceden sus obras maestras; en 1642, de Cive, que tiene un exito considerable. Luego el Letnatan (1651), de Corpore (1655), de Homme (1658). Se ha dicho que, al haber creado el primer sistema de filosofia de la experiencia, Hobbes puede scr considcrado como "diazo de union entre el materialismo de los antiguos y el positivismo moderno" (FrischeisenKohler}. Desdichadamente, los cap itulos XX y siguientes del de Corpore, consagrados a la geometria y en particular a la cuadratura del circulo, muy susceptibles a la cr itica, provocaron entre Hobbes y el maternatico Wallis 10 que los filosofos !laman, con una matizada discrecion, un lamentable conflicto. En su Historic de LaCuadratura, Montucla se expresa mas brutalmente: "Hobbes sohrepaso en r idiculo a todos sus predecesorcs en este genero; pues no solamente creyo 72

haber logrado cuadrar el circulo y hallar las dos medias proporcionales, sino que nunc a se vio semejante encarnizamiento en sostenerlo contra Wallis, que se tomb el trabajo de refutarlo en varios escritos. El despecho que concibio se volvio contra los geometras y contra la misma geometria. En un principio hab Ia admitido su metodo y sus principios; los argumentos que Wallis le opuso 10 condujeron poco a poco a manifestarse en contra de todos los axiomas y ernprendio la reforma entera de la geometria ... " Quizas encontremos hoy en dia que Hobbes merece cierta estima por esta crftica de los fundamentos de la geometria; desdichadamente ella no 10 condujo a la concepcion de una geometria no euclidiana. En esta querella, envenenada por motivos politicos y religiosos, pues Wallis representaba al partido presbiteriano y pertenecia a las Universidades que se habian negado a introducir en la ensefianza el Leviatan de Hobbes, la razon estaba tan manifiestamente dellado de Wallis que el credito de Hobbes sufrio una merma en el drculo de los sabios ingleses. Sin embargo, su potencia intelectual y su vigorosa personalidad despiertan cierta simpatia. Otra querella muy interesante es la que enfrento, casi por la misma epoca, al jesuita flamenco Gregoire de Saint-Vincent con Descartes, Roberval y Huyghens. Gregoire de Saint-Vincent se avoca al problema de la cuadratura del drculo empleando los metodos geornetricos propios de esta epoca; y los manejaba con una indiscutible finura. Tuvo, sobre todo, el merito de generalizar el problema y de estudiar una cantidad de areas relacionadas con las conicas. Descubrio que el area comprendida entre un arco de hiperbola y el segmento correspondiente de asintota esta relacionada con los logaritmos de las abscisas extremas. Leibniz le rindio justicia atribuyendole un lugar eminente entre los geometras. Descartes, por el contrario, al verificar la inexactitud de lacuadratura efectuada por Gregoire e influido, por otra parte, por su propio descubrimiento de la geometria analitica que no podia sino apartarlo de los metodos del rnaternatico flamenco, trato de falsa y embroIl ada la obra de este. El P. Mersenne la juzgo tambien de manera muy despectiva, pero se equivoco en sus refutaciones. Roberval hizo 10 mismo y la querella sigui6, tanto mas cuanto que Gregoire de Saint-Vincent ha1l6 excelentes defensores entre sus discipulos. Fueron finalmente Huyghens yelP. Leotaud, otrojesuita que era un habil geometra, quienes le dieron los golpes decisivos, despues de una

73

disputa de la que Huyghens pudo pensar que Gregoire y sus partidarios la prolongaban y embrollaban con la esperanza de que quedara indecisa. Esta lista muy abreviada de los cuadradores no puede cerrarse sin mencionar el nombre del caballero Mathulon quien, en el siglo XVIII, ofrecio mil escudos al que refutara la pretendida cuadratura de la que era autor; emplazado con toda justicia, vio demostrar la falsedad de su pretendida cuadratura y debio pagar los mil escudos. Desdeentonces, los cuadradores son mas prudentes... idesdichadamente para los maternaticos! Dejando a un lado la parte pintoresca, es indudable que la obra frondosa, heteroclita y tan a menudo inexacta de los cuadradores no esta totalmente desprovista de interes. Nicolas de Cusa y Oronce Fine prepararon el camino a Snel y Huyghens. Otros han obligado a los verdaderos matematicos a reflexionar y mejorar sus metodos y sus resultados. Ademas, pronto, los repetidos fracasos de los cuadradores provocaron el despertar de una idea: lno serfa quizas imposible la cuadratura? Esta duda parece haber sido formulada por primera vez en 1544 por Michael Stifel, en su Arithmetica integra Un siglo mas tarde, James Gregory (1638-1675), profesor de las Universidades de Saint-Andrews y Edimburgo, despues de dar una serie de notables formulas de recurrencia para las areas de los poligonos regulares inscritos y circunscritos, trato de probar la imposibilidad de la cuadratura en la Vera circuli et hyperbolae quadratura. Pero su demostracion no es valida, como mostro Huyghens. Este afiadio que tambien en su opinion la cuadratura es imposible, y .hace notar a Wallis que se ignora inclusive si 7T es racional 0 no. Fue Lambert quien, en 1761, dirimio esta importante cuestion por la negativa, en su Memoria sobre algunas propiedades notables de las cantidades trascendentes circulares y logaritmicas (Academia de Berlin). En 1775. la Academia de Ciencias de Pads publica una resolucion segun la cual no examinara mas las pretendidas soluciones de la cuadratura del cfrculo, de la duplicacion del cubo 0 de la trisection del angulo, ni los proyectos de maquinas que realicen el movimiento perpetuo. En esa epoca esclarecida, la Academia se hallaba atiborrada de envfos de este genero. Pero aparte de esta razon practica, creda en los medios cientificos la conviccion de que el problema de la cuadratura era imposible. Legendre 10 expresa muy claramente en sus Elementos de Geometria (1794): "Es probable que el nurnero 7T no sea un 74

irracional algebraico, es decir que no sea raiz de una ecuacion algebraica de un numero finito de terminos de coeficientes racionales. Pero parece extremadamente dificil de demostrar10 rigurosamente." ~Como habia llegado a establecerse en el esp iritu de los maternaticos esta opinion perfectamente justa, pero que solo debia ser confirmada definitivamente en 1882 por Lindemann? ~Por que fue necesario esperar tanto tiempo para lograr esta confirrnacion? He aqu i, sin duda, 10 que deseariais saber. EI calculo infinitesimal, y mas particularmente la teoria de las series y de los productos infinitos, han dado formulas notables que, al aportar metodos de calculo nuevos y mucho mas potentes, han separado en cierto modo a 1T de sus origenes geometricos y han aclarado el papel esencial que juega en todo el analisis matematico. Un verdadero precursor fue el maternatico frances Viete quien desde fines del siglo XVI obtuvo la primera formula de este tipo
11

Esta expresion de 1T por medio de un producto infinito convergente que no hace figurar mas que los numeros 1 y 2, proviene de la relaci6n de recurrencia que existe entre las areas de los poligonos regulares de 2n + 1 lados. Por su creacion del calculo de limites, Wallis merece ser considerado como uno de los fundadores del Analisis. Le debemos
2

1"3 "3 "5 . . .

2244

2n 2n - 1

2n 2n + 1

2n 2n

+2 +1

el desarrollo obtenido calculando de dos maneras el area del semicirculo que tiene por diametro la unidad, es decir escribiendo
1T

2 =Jo Ix

(1

• (I-x)

dx

OH

x; HM2 =

(1- xl

75

Wallis contribuy6 tambien, despues de Chuquet y los matematicos italianos, al desarrollo de la teorfa de las fracciones continuas, es decir, de la forma
ao

1 + ----==-------1 al + --=-----1 a2 + --=--a3+

Se tiene:
1T=

1 3+ ----1-----= 7+-------1 15+-----1 1+---292 ... +

(3, 7,15,1,292,1,1,1. ..

Se da el nombre de reducidas sucesivas a las fracciones 1 333 =3+--=-1 106

7+15

T3

1 .= 3 + --1--=--7

355 =113'
1

r4

103 993 .33

+ 15 1 +

102

Y si una fracci6n irreductible!!_ se aproxima a


q

1T

mas que la

reducida

qn

Pn

= rnse tiene

P> Pn, q > Pn•


Leibniz en

1673, desarrollaron en serie la funci6n Arco tangente:


3 _ Arc tg x - x - x _ 3 X + _ ... S

Gregory en 1670 y luego, independientemente,

76

10 que, para x= 1. de la formula de Leibniz. -=1--+-4 3


nIl

Esta serie es sumamente notable, pero poco ventajosa para el calculo de n, pues converge lentamente; tambien Sharp eligio otros valores de x mas cornodos para calcular n con 72 decimales. Newton desarrollo en serie la funcion Arco-seno y dio su aplicacion al calculo de n con 14 decimales. En 1706, Machin combina el empleo de la formula de Gregory-Leibniz con la regia de adicion de los arcos-tangente y calcula n a partir de la igualdad
11'

4Arc tg 5" - Arc tg

1 239

que, al hacer intervenir solamente series de convergencia rapida, le permite llegar al centesimo decimal. Luego, numerosos calculadores aportaron al metodo perfeccionamientos de detalle. Cada uno de ellos confirma los resultados de sus predecesores y conquista un numero mas 0 menos grande de decimales. El tiltimo record es el de Shanks, en 1874, con los 707 decimales que habeis podido leer al comienzo de este articulo. He aqui tambien el desarrollo de n en el sistema de numeracion binario:
rr=

11 ,00100100

00111111

01101010 ...

J unto a los records de resistencia, seiialemos un record de velocidad. En 1775, Euler, calculador tan grande como profundo analista, calculo n en una hora con 20 decimales, por medio de la formula
n

4- - 5 Arc tg utilizando el desarrollo Arc


tg

= 7" + 8 Arc tg--rg-

= _. t_._ __

1 + t2

[1 + 3_
3

.r: + 3_:__4
1 + t2 3.5

(-1--+~2_t2_)2 + ... J

Puede apreciarse la finura de este calculo observando que no hace intervenir esencialmente mas que las potencias de 1 5 0 = 0.02. Otra formula establecida por Euler 77

sen 8 cos 2

cos

8
4

8
cos
8-'"

(8

< 7r )
;)

comprende como caso particular la de Viete

(8 =

Tamhien a Euler se debe la costumbre de designar a 1T por la relaci6n de la circunferencia al diametro. Y es a el, sobre todo, a qui en hay que adscribir el gran descubrimiento que permi te revelar el secreto del numero 1T • Este descubrimiento es el de un cierto parentesco entre 1T y otros numeros, e , i, no menos caros a los maternaticos. Es tambien el de los lazos que existen entre las funciones circulares, seno y coseno, y la funcion exponencial eX; esta es periodica y su per iodo, imaginario, es 2 i 1T. Estas verdades son el result ado cornun de varias corrientes de ideas. Los logaritmos invent ados por el escoces Neper (1550-1617), no solamente tuvieron gran importancia para los calculos numericos; la funcion, nula para.x = 1, que admite como derivada a _!_ ofrece un sistema de logaritmos particularx mente interesantes desde el punto de vista teorico, los logaritmos neperianos. El numero que en este sistema tiene por logaritmo a la unidad es designado e. Su valor aproximado es 2,71828 18284 59045 23536 02874 71352 66~49 77572 47093 66995 ... y fue calculado por Boorman con 346 decimales exactos. Euler dernostro que es la suma de la serie

1+

III

+-+
2!

... +-+
n!

...
neperiano

y que la funcion y=ex, inversa del logaritmo (e=log y), admite el desarrollo.
es ::::: + 1

=- +~ + . .. 1 2!
2

xn n!

+ ...

valido cualquiera que sea el valor de x. 1 Por otra parte, desde el siglo XVI, la brillante escuela de los algebristas italianos, Tartaglia (1506-1559), Cardano
1 Aunque la definicion de factorial figura en varios art iculos de esta obra, recordemos que n! (que se enuncia: factorial de n) == 1 X 2x x3 x ... X n (Nota de F. Le L.).

78

(1501-1576), Ferrari (1522-1565), etcetera habia utilizado el numero i = y'=f en la resolucion algebraica de ecuaciones. La introduccion de este simbolo les perrnitio, efectivamente, 'resolver no solo todas las ecuaciones de segundo grado, sino tambien las del tercero y del cuarto. En 1629, A. Girard present6 el teorema fundamental: toda ecuaci6n algebraica tiene al menos una raiz compleja a + b D'Alembert dio de el una dernostracion. insuficientemente rigurosa y solamente en 1799 10 establecio definitivamente Gauss en su tesis. Observad bien el titulo de esta: Nueva demostracion de que toda funcion racional entera de una variable puede ser descompuesta en [actores reales de primero 0 segundo grado. El cuidado con el cual Gauss tradujo en terrninos reales el enunciado del teorema de D'Alembert es muy significativo; muestra que en esa epoca reinaba todavia una verdadera desconfianza aun entre los mas grandes matematicos, con respecto a los "rrnaginarios". Esa desconfianza desaparecio a principios del siglo XIX por influencia de las definiciones satisfactorias dadas por Wessel (1799) y Argand (1806), luego por Cauchy y Kronecker y sobre todo gracias a las aplicaciones verdaderamente prodigiosas que originaron los numeros complejos, tanto en analisis como en geometrfa. Pero esta desconfianza muestra muy bien que rasgo de genio fue por parte de Euler definir, para z complejo, las funciones eZ, cos z y sen z como sumas de series

V-f.

eZ = 1

+- +Z

z2

2!

+ ... + z" + ... n!


Z2

cos sen z

=
Z

1z3

2! + 4T - ...
zS

Z4

r - 3T + IT

- ...

y llegar as! ala relacion fundamental cos z + i sen z e1Ti -1. Esta ultima formula, tan simple y tan notable, ciertamente una de las mas hermosas de todas las maternaticas, es la que perrni tira a Lindemann, mas de un siglo despues. de la .n:u.erte de Euler, demostrar Ia trascendencia de 1T y Ia imp osibilidad de la cuadratura del circulo. de donde:
e1Ti

= =

79

~Por que se necesito este plazo tan largo? Pensad, segun os agrade, que los maternaticos no tienen un esp iritu muy vivaz o que el problema no era facil ... Ademas, podemos ver claramente a posteriori, que despues de Euler quedaba todavia por recorrer una etapa importante: era necesario adquirir ideas mas precisas sobre la nocion misma de nurnero, A comienzos del siglo XIX, la existencia de numeros no algebraicos, 0 trascendentes, no era mas que una hipotesis; fue Liouville quien, en 1844, la establecio de manera cierta. Despues de comprobar que las fracciones irreducibles cuyo denominador no pasa de un cierto limite solo muy groseramente se aproximan a los numeros algebraicos irracionales, pudo construir nurnerc s que, aunque se ob ten ia de ellos una aproximacion mucho mayor, son necesariamente trascendentes. Tal es el caso, por ejemplo , de los numeros de la forma

:L
00

anI

n=I

Cantor demostro mas tarde que los numeros algebraicos pueden ordenarse en una sucesion ilimitada, en la que cada uno de ellos tiene su rango, mientras que el conjunto de todos los numeros, algebraicos y trascendentes, ya no tiene esta propiedad; de ello resulta la existencia de los numeros trascendentes, que son inclusive mucho mas numerosos en cierto modo que los numeros algebraicos. Es, entonces, un problema importante saber si tal 0 cual numero notable es algebraico 0 trascendente. EI primer gran descubrirniento en este se ntido fue el de Hermite, quien establecio , en 1873, la trascendencia de e, no sin trabajo a buen seguro, pues poco tiempo despues escribio a Borchardt: "No me arriesgaria a tratar de demostrar la trascendencia del numero 1T. Si otros 10 emprenden, nadie se sentira mas feliz que yo de su exito; pero creame, mi caro amigo, que ello no dejara de costar algunos esfuerzos." La dernostracion aportad a en 1882 por Lindemann reposa en metodos que no difieren esencialmente de los de Hermite. Lindemann establecio que, si Xl, X2, ... , Xn son numeros algebraicos distintos (reales 0 complejos) y PI, P2, ... , Pn numeros algebraicos no todos nulos; la suma

80

no puede

ser nula.

Si se toma

n= 2, PI = 1 Y

X2

=0,

se ve que

eX I no puede ser algebraico para X I algebraico y di feren te de cero; en particular, e es trascendente. Igualmente, por la relacion eirr + 1 = 0 el numero in no puede ser algebraico; por tanto, rr tampoco 10 es, porque el producto de dos nume ros algebraicos es algebraico. En su epoca, el hermoso resultado de Lindemann fue justamente admirado. Pero os engafiariais si imaginarais que pr o v o c o asombro y tuvo una resonancia formidable. Lindemann mismo, presenta su trabajo en estos terrninos, perfectamente justos: "Ante el fracaso de tan numerosas tentativas por resolver la cuadratura del circulo con regIa y cornpas, se considera generalmente como imposible este problema. Sin embargo, solamentese ha establecido la irracionalidad de rr y de rr2. La imposibilidad de la cuadratura sera probada si se muestra que rr no puede ser raiz de ninguna ecuacion algebraica ... de coeficientes racionales; el objeto de 10 que sigue es, precisamente, demostrar esto ... " Despues de. la dernostracion de Lindemann, dieron estas mas simples) Stieljes, Hilbert, Hurwitz, Gordan, Mertens, Vahlen, Pade y Veblen. Borel y Popken sentaron las bases de una clasificacion de los nurneros trascendentes. Y ahara, cse ha acabado esta historia? No 10 creais. Los maternaticos saben hacer surgir de nuevo tales cuestiones. En el Congreso Internacional de Paris, en 1900, Hilbert plante o, en una conferencia que ha adquirido celebridad can justicia, toda una serie de problemas no resueltos. EI septirno se refiere a la irracionalidad y la trascendencia de ciertos numerus, en particular de los numeros de la formula et{3 par ejemplo de 2V2' En] 934, el sabio ruso Gelfond dio a conocer la solucian; si w y 'Y/ son algebraicos, w es diferen te de 0 Y de 1. y si 'Y/ es irracional, w es trascendente. Gelfond establecio

igualmente

la trascendencia

de

err

y de la relacion

t~~~ ~
cuan-

do es irracional Yet Y {3 algebraic os diferentes de O'y de 1. Siege! por su parte, mostr o en 1932, que cuando las constantes gl y g2 son algebraicas, uno al menos de los periodos WI, W2 de funcion p definida por la ecuacion p2. ~ 4p3 - gIP-g? es un nurnero trascendente. Se han dado diferentes generahzaciones de este teorema, por el mismo Siegel y por Schneider. Estos enunciados tan notables no aclaran todos los I111Sterios. La constante de Euler:

81

C=
= 0.57721

n-+OO

lim

[1

+ 2 + ... + -;;- -

Log n

56649 01532

86060 65120 90082 ...

calculado por Adams con 263 decimales y que desempeiia un papel importante en analisis, especialmente en el estudio de las funciones r y (s), es racional 0 irracional, algebraic» 0 trascendente, Esta cuestion queda en suspenso y parece apenas esbozada, a pesar de las hennosas formulas reunidas 0 descubiertas por Appel quien en abril de 1926, creyo haber establecido la irracionalidad de C y propuso una demostracion en los Informes de la Academia de Ciencias. Pero, como el mismo Appel 10 sefialo una semana mas tarde, habfa un error material que implicaba una laguna en la demostracion. Y si preguntais cuando sera resuelto este problema, creo que los matematicos, atrayendo vuestra atencion a la principal enseiianza que se deriva de esta larga historia, os responderan: "A su hora",

82

DESARROLLO ACTUAL Y APLICACIONES I

En la siguiente coleccion de articulos aparecen en tre otros, dos destacados matematicos de nuestra epo ca: Mounce Frechet y George Polya, este ultimo, inquieto por transmitir a las nuevas generaciones de matematicos 0 de estudiosos ligados a esta discip lin a, una forma de investigar. Ademas, como gran pedagogo, nos deja percibir sus inquietudes y con gran claridad de exposicion nos indica literalmente, para abordar problemas, "como resoloerlos ". Sumamente ilustratiua resulta la lectura del articulo de Theophile Got "un enigma matemdtico: el ultimo teorema de Fermat", pues como el lector podrd apreciar, en o casiones resultan de mucha mayor irnportancia los procedirnientos empleados en una demostracion que el resutado rnismo que se trata de demostrar; es decir que las vias de acceso para fa solucion de determinados problemas son muy uariadas, mecantcas y poco utiles algumas oeces, ingeniosas y sorprendentemente constructiuas en otras. En ocasiones se pueden hacer combinaciones de tecnicas que hacen florido el trabajo aparentemente arduo que suelen brindar los problemas. Aqui es donde se aprecia el espiritu vocacional del individuo;procure el lector aceptar el desafio que resulta al final de estas lecturas y que consiste primordialmente en demostrarse a sf mismo, que la "aridez" de las maternaticas no es sino un mito y que al menos podemos usarlas como. un lenguaje para nuestros diaries quehaceres intelectuales, conscientes de que en cualquier momento sornos capaces de demostrar fa que respalda nuestros razonamientos. Por ultimo y preparando al lector para las lecturas de La segundo parte de este mismo tema, presentamos las prim eras aplicaciones en diuersos campos, analizando, aunque sea de una manera somera, el pensamiento matematico de un hombre cuyo nombre brilla con resplandor propio en La ciencia: Isaac Newton. 83

CAMINOS INTUITIVOS HACIA ALGUNOS ORGANOS ESENCIALES DE LA MATEMATICA1 Georges Bouligand

1. A medida que las maternaticas progresan, se introducen en ellas encadenamientos de ideas que recogen una adhesion unanime , Poco a poco se constituye el patrimonio, ampliado sin cesar, de las intuiciones colectivas muchas veces revividas, patrimonio que siempre sera explotado fruct iferamente para la primera iniciacion en las ciencias deductivas. No todas las intuiciorres as! reunidas son de la misma naturaleza. Es 10 que tratare de mostrar mediante un ejemplo apropiado para revelar los atajos del pensamiento, no accesibles por deducciones directas de 10 real. Recordando luego la aparicion de las geometrias no euclidianas, comprenderemos que la integracion al patrimonio de las intuiciones colectivas no se produce siempre sin la superacion de algunos obstaculos, Se opera, por tanto, una adaptacion. Al familiarizarse progresivamente con los objetos abstractos que estudia, el geometra llega a concretar su idea en forma casi similar a la de los recuerdos que tiene de los objetos reales. En regiones suficientemente exploradas de las matematicas, Ie sera dado percibir relaciones de afinidad: equivalencias entre problemas que a priori parecen distantes, categodas de objetos alejados entre si en cuanto a su naturaleza, pero que dan origen a un mismo sistema de relaciones.
I En este titulo, he reemplazado la expresion estructura fundamental que hab ia empleado primero por la inteneionalmente mas vaga, organa esencial. La palabra estructura ha tornado, bajo la influeneia de la- Escuela Bourbaki, un sentido espeeializado, muy apropiado, adernas, para la unificacion de diversos eoneeptos. Danil Lacombe, en una exposicion reeiente en el Centro de Logica Simb61ica, ha mostrado el beneficio que pareee haber derivado de ella para la construeci6n de un sistema en el eual intuici6n y formalismo se hallan en su justo lugar.

84

Susceptibles de formar una gran variedad, las percepciones de este genero se ramifican mucho. No pierden nada de su eficacia cuando nos encaminamos hacia los fundamentos de las maternaticas. De ese modo la preocupaci6n natural por englobar un teorema en el seno de un sistema de deducciones 10 mas restringido posible, hace surgir la nocion general de grupo, elemento cornun a la estructura de numerosas teorias. Dado que las conclusiones son interpretadas como efectos que resultan de la elecci6n de las premisas y las hip6tesis, se comprende que se quiera analizar el mecanismo causal, un poco como se hace en dinamica, donde la idea de causa esta en primer plano. En conjunto, no es dificil admitir que este mecanismo causal pueda ser continuo 0 discontinuo. No ire mas alla de estas observaciones. Ciertos resultados relativos a los principos de las matematicas son demasiado recientes para haberse integrado en las intuiciones colectivas. Hay que reconocer, sin embargo, los grandes esfuerzos realizados recientemente en los grandes problemas clasicos del Analisis por hacerlos derivar directamente de problemas finitos, por media de procesos-lfrnites. Cad a proposici6n que enuncia un result ado de existencia con respecto a un casu trascendente de uno de estos problemas puede expresarse entonces en el conjunto libremente dispuesto de los casos finitos que 10 circundan. Es esta una observaci6n cuyo interes creo ya haber demostrado.f Me contento aquf con sefialarla, 2. Abordando el desarrollo del programa enunciado, dare ante todo el ejemplo que nos permitira seguir una cadena intuitiva formada a partir de imageries concretas y prolongada por un proceso uniforme, gracias a la aritmetizaci6n cartesiana de la geometda. Cuando los analistas consideran la integral doble, en una cierta area plana A, de una funci6n que pondremos positiva en un punto P de esta area, dificilmente dejan de recordar dos problemas equivalentes que son representaciones fieles de esta integral. EI primero consiste en hallar la masa de una lamina que ocupa el area A, sabiendo que la densidad superficial en todo punto P de esta lamina tiene como valor la funci6n precedente. EI segundo consiste en hallar el volumen de una porci6n del espacio que comprende, de un lado del plano de A, los puntos M que se proyectan sobre el area A en puntos P y tales que cada longitud PM no sobrepase el valor
2Ver a este respecto mi opusculo: Structure des theories, problemes infinis, Act. Scient, et Ind., Hermann, fasc, 548.

85

en P de la Iuncion precedente. En esta cuestion, la intuicion asocia dos imagenes concretas a una operacion fundamental, de 10.cual Riemann, para el caso de las funciones continuas, ha dado una definicion puramente numerica, En lugar del area plana A, si consideramos un volumen V y si tomamos la integral triple de una funcion positiva de un punto P, 10. primera de las representaciones anteriores nos perrnite ver tambien, en esta integral, el calculo de la masa de un cuerpo de tres dimensiones que ocupa el volumen V y cuya densidad cubica iguala, en cada punto P, a la funcion dada. Pero Ia segunda representacion se nos evade; ella no da Iugar a ninguna realizacion concreta, pues no podemos disponer para este fin de un espacio de cuatro dimensiones. No obstante, aunque la geometrfa de tal espacio no emane directamente de 10 real, la concebimos claramente gracias al principio de equivalencia cartesiano entre el algebra y la geometria, principia que ha permitido aritmetizar los teoremas euclidianos concernientes al plano y al espacio de tres dimensiones. Nuestra concepcion del espacio de cuatro dimensiones (0 de mayor numero ) se cristaliza en esta forma aritrnetizada, gracias a la aplicacion de un proceso que permite introducir una dimension mas afiadiendo una coordenada a las que ya se tienen, sin romper por ella la simetria de las diversas coordenadas reunidas. Finalmente, ser ia una profunda decepcion para el espfritu no volver a encontrar, con relacion a la integral triple, las dos imagenes que se presentaban con la integral doble. Aquf parece necesario realizar un acto de unificacion, aun al precio de serios esfuerzos dlo significa hacer, sin apoyo directo en 10 concreto, Ia teor ia de un espacio cuatridimensional. Este trabajo se apoya en el recuerdo de construcciones deductivas analogas, ya hechas para el plano y para el espacio ordinario, mediante la aritrnetizacion cartesiana. No se hace, pues, mas que prolongar una escalinata cuyos primeros grados se instalaban en 10 concreto, escalinata de una arquitectura permanente en toda su extension. Ante el estudio por realizar cuando se hallan reunidas cuatro dimensiones, el geornetra no estara constrefiido a seguir la trama ininterrumpida de los c~lculos e~igidos par la aritrnetizacion, sino que ernpleara Clerto.s ~taJos que, a menudo con un solo rasgo de la pluma, 10 eximiran .de maquinaciones operatorias fastidiosas. Si la asimilacion que 10 gu ia, en caso semejante , no es tributaria de 10 concreto a titulo exclusivo , no deja por ello de constituir .m procedimiento intuitivo de un genero particular. Es 10 que ya he propuesto Hamar la intuici6n prolongada.

86

3. En el curso de la historia de las maternaticas, tal orden de nociones 0 de resultados ha sido entrevisto, durante un largo pedodo, bajo aspectos muy rnovidos. Considerados durante varios siglos como cantidades esencialmente imaginarias, los numeros complejos fueron luego objeto de una interpretacion geometrica muy simple que nos los hace hoy en dia indispensables en las cuestiones mas concretas, por ejemplo en aerodinamica, En este dominio, el acomodamiento intuitivo ha necesitado, pues, un plazo importante. Se encontraran las mismas comprobaciones en 10 que concierne a las geornetrfas no euclidianas, aun tomando su historia a partir del momenta en que Legendre, utilizando la prernisa (hecha explicita por Euclides) de que una recta puede prolongarse indefinidamente, demostro que la suma de los angulos de un triangulo es inferior 0 igual a dos rectos.i' La legitimidad de las construcciones deductivas que rechazan el postulado de las paralelas no aparecio con daridad mas que a partir del momenta en quese dispuso de diversos modelos concretos, tornados de la misma geometda euclidiana, que suministraban una representacion para los teoremas de la geometrfa de Lobachevski. Fue entonces cuando se consume su organizacion intuitiva, para bien, no solamente de las teorias geometricas tomadas en conjunto, sino tambien para la teo ria de funciones. 4. Vivimos en una epoca en que la atencion se concentra en los fundamentos de las maternaticas, pues han suscitado numerosas polemicas recientes. Habria que preguntarse si pueden haber concepciones intuitivas precisas sobre estas cuestiones. Si un estudio de este genero puede hoy en dia esbozarse eso se debe, como en otros casos analogos (acabamos de citar ejernplos de ellos), a contingencias de orden historico. Gracias a la exuberancia de las teorias surgidas desde comienzos del presente siglo nos es posible hoy agregar al patrimonio de las intuiciones colectivas bosquejos concernientes a las estructuras de estas teor ias. Esta exuberancia ha contribuido ante todo a difundir una idea esencial, y es que las verdades matematicas no tienen nada de absoluto. Hay solamente proposiciones verdaderas ~entro de tal 0 cual sistema de premisas. Mientras que en el ~lstema de Euclides la suma de los angulos de un triangulo es igual a dos rectos, en el sistema de Lobachevski es men or que dos rectos.
3Ver

Lucien Godeaux: Les geometries,

cap IV, col. A. Colin.

87

Establecido esto, desde el momenta en que se tiene interes en un teorema, en un campo de premisas fijado de antemano, la atencion se concentra en la conclusion que enuncia. Es natural, entonces, bus car el sistema hipotetico-deductivo minimo dentro del cual ese teorema es verdadero. Por ejemplo, si tomamos el teo rem a de Tales (es decir la relacion de proporcionalidad que surge del trazado de una paralela a un lado de un triangulo) se comprueba que se puede construir, sin recurrir a las nociones de perpendicular y de angulo, un sistema que tiene autonomia logica y contiene, junto con el teorerna de' Tales, todas las proposiciones de geometria plana invariantes por proyeccion cilindrica. Por el contrario, el teorema de Pitagoras es ajeno a tal sistema. 5. La idea de invariancia da origen, en esta materia, a una cimplificacion de las mas sorprendentes. Ademas, esta idea interviene de manera esencial cada vez que se trata, en ordenes de actividad muy diversos, de discernir una relacion de causa a efecto. Del punto de vista de 10 que precede, premisas e hipotesis desempefian un papel causal. Y para aclararlo nos vemos conducidos a la eliminacion de las premisas e hipotesis superabundantes. Consideremos una proposicion que conduce a una conclusion fijada de antemano y que se aplica a los objetos de una categoria C bien determinada. Llamemos modificacion a toda operacion que realiza el paso de uno de estos objetos (objeto antecedente) a un segundo (objeto consecuente). Las modi. ficaciones que encontramos aqui forman una familia que va a retener durante unos instantes nuestra atencion, Es una familia F que posee las dos caracter isticas siguientes: 1) Para cada una de las modificacionesque contiene, tam bien contiene la modificacion inversa; 2) Para dos modificaciones, tales que el objeto consecuente obtenido de la primera sea el mismo que el objeto antecedente al que se aplica la segunda, la familia contiene a su resultante. Cuando nos limitamos a modificaciones cada una de las cuales puede ser concebida en relacion con los objetos de la categoria C, independientemente de tal 0 cual antecedente 0, y de su consecuente O2, entre los cuales se admite una correspondencia biun ivoca (que haga equivaler la referida modific acion a la coleccion de pares ordenados 0" O2 88

ligados por esta correspondencia ),4 se puede considerar la cornposicion de estas modificaciones sin requerir para una de elias la pareja particular de objetos que une. De esta rnanera se lIega ala noci6n general de grupo, al menos, en el caso frecuente ' en quesubsistan las caracterfsticas 1° y 2 °enunciadas mas arriba en 10 que concierne a la familia F, la segunda de las cuales tiene ahora esta forma modificada: al mismo tiempo que dos modificaciones de la categoria C, la familia F contiene su resultante. Pero, al aiiadir a esta caracterfstica la presencia de la modificacion inversa, junto a cada modificacion, se tienen justamente los atributos especificos del grupof En el laberinto aparente de los andamiajes deductivos, la no cion de grupo aporta un principo de clasificacion de los mas preciosos. Las proposiciones geornetricas, por ejemplo, se hallaran reunidas por sus caracteres de invariancia. En el edificio euclidiano se distingue:
4En geometda lineal de tres dimensiones, por ejernplo, si los objetos de la categoria C son tetraedros, un modo excepcional de correspon dencia biunivoca que realiza los pasos de uno a otro es eI de las transformaciones lineales. 5 De todos modos, no se alcanza sin restricciones a la generalidad de los casos. Ver sobre este punto una nota reciente: "Sobre una categoria de proposiciones", 1946, C. R., 1. 223, pag, 495. eAqui se presenta necesariamente una objecion. Visto 10 arbitrario que puede tener la determinacion efectiva de correspondencias biunfvocas en eI seno de la categoria C, se concibe que se pueda co nectar con una proposicion a varios grupos, partiendo de diversos punt os de vista. Es asi que el teorema del cuadrado de la hipotenusa, invariante para las sernejanzas, podr ia estar Iigado a otros grupos: en particular,si se determina un triangulo rectangulo por los lados del angulo recto, el paso de un triangulo rectangulo a otro se reduce a una transforrnacion continua y biunivoca de un par de numeros positivos a otro par de nurneros positivos (10 que da un grupo de infinitos parametres]. Pero, para nosotros no se trata tanto de lIegar a tal 0 cual grupo determinado cOIJlOde destacar 10 que la estructura de grupo tiene de esencial. Y si el camino intuitivo que nos ha permitido lIegar a este resultado nos parece trivial, sed. oportuno retomar la cuestion del papel de los grupos a la luz de las observaciones necnas por Elie Cart an en una exposicion reciente (Enciclopedia Francesa, 1937, cap. III Sec. A, en la parte rnaternatica del t. I). En particular, el heche de que algunas transformaciones dejen invariante una propiedad P asignada no permite, en los casos mas generales posibles, afirmar que estas transformaciones constituyen un grupo. La consideracion de las propiedades P, lIamadas de la primera categoric en el texto citado , que permiten efectivamente lIegar a un grupo, constituye un problema bastante delicado si se permanece en un plano de generalidad (Cf. Revue Philosophique, 1944, t. CXXXIV, pag. 202).

89

1) Las proposiciohes metricas (ejemplo: el teore~a de Pitagoras) invariantes para un desplazamiento, 0 tambien, en esta geometrfa un poco singular, para las semejanzas, que conservan a la vez el caracter rectilfneo y las medidas de los angulos. 2) Las proposiciones lineales (ejemplo: el teorema de Tales), invariantes para las trans formaciones que conservan a la vez el paralelismo y el caracter rectilineo. 3) Las propiedades proyectivas (ejemplo: el teorema del hexagono de Pascal), invariantes para las transformaciones que conservan solamente el caracter rectilineo. Se ve la graduaci6n de estas propiedades. Las primeras se relacionan con el grupo de los desplazamientos, las segundas con el lineal, las terceras con el proyectivo, cada uno de los cuales es un subgrupo del siguiente. . Mediante visiones intuitivas adecuadas abarcamos aqui de una sola ojeada las ideas constructivas expuestas por Felix Klein en su celebre program a de Erlangen, ideas que se extienden fuera del campo euclidiano. A cada sistema geometrieo aut6nomo se hace corresponder un grupo." En el espacio euclidiano de tres dimensiones, el grupo de rotaciones alrededor de un punto fijo, es decir desplazamientos sobre la esfera, podra convertirse en el grupo de una geometda abstracta de dos dimensiones, geometria de la cual se excluyen las nociones de traslaci6n y de paralelismo. Se comprende tambien que dos demostraciones 16gicamente irreprochables de un mismo teorema, puedan tener caracteres diferentes que hagan prevalecer una de ellas. Por ejemplo, si se trata de geometria proyectiva y si uno de los razonamientos noutiliza mas que consideraciones proyectivas, el poder excluir todo elemento extrafio al campo de invariancia del teorerna que pretende establecer, constituye sin duda un privilegio a consignar en el activo de este razonamiento. Lo que precede puede ser completado de manera singular. Las proposiciones metricas y las proposiciones lineales pueden recibir una base comun constituida por las proposiciones topol6gicas, que dejan invariantes las transformaciones continuas y biunivocas. Con este tronco cornun se relaciona la noci6n maternatica del numero de dimensiones.
7Esto, de todos modos con las reservas ya indicadas. Lo que se llama hoy en dia geometric de los espacios metricos no introduce en la base ningun grupo.

90

6. Las intuiciones que nos han revelado este organo tan fundamental que es el grupo, derivan de la idea de causa. Estas intuiciones han podido afirmarse gracias a las investigaciones sobre los principios de la dinamica, considerada tanto en la forma newtoniana como en la relativista. Ciertas teorfas matematicas ya habfan demostrado toda la eficacia de la nocion de grupo, cuyas aplicaciones se desarrollaron en el curso del siglo XIX. Pero su universalidad todavia no habfa llegado a discemirse. La mecanica, particularmente aferrada a la idea de causa, ha contribuido ciertamente a liberar la idea de gru'po de sus campos de aplicacion y a hacer comprender tambien que la unificacion de sect ores importantes de la fisica requerfa la unificacion misma de los grupos (grupo de la invariancia de las distancias y del tiempo para la dinamica newtoniana y grupo de Lorentz para el electromagnetismo) bajo cuya egida se habia realizado la coordinacion racional en cada uno de estos sectores. Pero estas iluminaciones provenientes de la mecanica nos arrastran en una direccion nueva que nos conduce en el seno de las teorfas deductivas a otros aspectos esenciales. 7. Habiendo llegado a la idea de un rnecanismo causal en las divers as ramas de las maternaticas, corresponde estudiar los caracteres de continuidad 0 discontinuidad de este mecamsmo, Si se ha establecido una cierta conclusion por medio de un sistema irreducible de hipotesis, en un campo de premisas fijado de antemano, ~que ocurrira si se modifica este sistema de hipotesis y se 10 sustituye por otro que puede presentar con aquel un parentesco arbitrariamente estrecho? Planteada la cuestion de esta manera, se puede resolver segun los casos, como se ve facilmente, en el sentido de 10 continuo 0 en el sentido opuesto. Mostrernoslo mediante un ejemplo. Si la pendiente del diagrama de una funcion de la variable x se anula a 10 largo de un intervalo I, resulta de ella que la funcion permanece constante, y redprocamente. Cambiemos ligeramente las condiciones del teorema y de su redproco. Una pendiente muy debil a 10 largo de todo el intervalo I implicara la casi constancia de la funcion, pero no es exacto que la casi constancia de la funcion en este intervalo implique pendientes muy debiles. Dicho de otra manera, la continuidad del mecanismo causal que existfa en el teorema directo, ya no existe en su reciproco. Es posible expresar tambien esos contrastes mediante la 91

distincion entre proposiciones estables y proposiciones inestables. En este momento, es tambien a la dinamica, en 10 que tiene de mas familiar, a la que debemos recurrir. Un pendulo simple susceptible de oscilar en un plano vertical dado, permanece en equilibrio cuando su posicion inicial es vertical (descendente) y cuando su velocidad inicial es nula. Si la posicion inicial es casi vertical y si la velocidad inicial es muy debil, el pendulo se apartara muy poco de la vertical; es 10 que se quiere decir cuando se habla de un equilibro estable del pendulo. Pero, en la terminologia del comienzo de este parrafo, es justamente este ejemplo un poco singular el que nos suministra un prototipo de la estabilidad logica en la cual Pierre Duhem percib ia, desde 1907 aproximadamente'' una condicion de eficacia que se impone a una deduccion cuando se trata de aplicarla a una teoria f isica." 8. La comparaci6n que precede no debe hacer olvidar la otra tendencia a ver en el elemento hipotesis una variable independiente que determina la funci6n constituida por el elemento conclusion y examinar sus discontinuidades eventuales. As i, despues de haber considerado la noci6n de correspondencia bajo sus aspectos mas diversos y de haber hecho de ella el objeto favorito de sus especulaciones, la matematica, observandose a si misma, vuelve a encontrar este tema, esta estructura totalmente preparada para su propia ordenaci6n. A traves de eso se presiente que no es posible dejar la l6gica a un lado. De hecho, ella esta firmemente incluida, desde el momento en que se consideran las propiedades de los conjuntos independientemente de la naturaleza de sus elementos. 10

"ve-. P. Duhem: La Theorie Physique, son objet et sa structure, segunda parte, cap. III. 9 Recuerdo que el caracter estable 0 inestable de una proposici6n depende, en cada caso, de la definici6n admitida para la proximidad de hip6tesis y tamhien de la definici6n admit ida para la vecindad de la conclusi6n. Por ejemplo, la propiedad de un segmento de recta de ser m inimo entre sus extremos es inestable si se delimita al desplazamiento de la hipotesis imponiendo al camino variado la condici6n de permanecer en la reuni6n de las esferas de radio e ,con centros en todos los puntos del segmento. En cambio, esta propiedad se hace estable si se delimita el desplazamiento de la hip6tesis por el angulo maximo que forma con el segmento AB una cuerda del camino variado (descrito en el mismo sentido que AB). lOEstas propiedades pueden obtenerse, en efecto, combinando las relaciones siguientes: La inclusion. en virtud de la cual una coleccion se encuentra englobada en otra; 92

Pero el acuerdo entre el campo maternatico propiamente dicho y la logica en su forma operatoria es mucho menos perfecto de 10 que se cree a menudo. Fracasa desde el momento en que interviene la idea de infinito bajo cualquier forma: es el caso del razonamiento por recurrencia y de todos los raz onamientos del Analisisclasico que introducen el contenido lineal y su elemento generico, el nurnero, que esta definido por un desarrollo decimal ilimitado. Para retomar aqui, adaptandolas a nuestras concepciones, ciertas palabras expresivas empleadas en el siglo pasado por Cournot, no hay orden logico perfectamente aislable; 10 que se manifiesta verdaderamente es el orden racional inspirado por la preocupacion acerca de la verdadera razon de las cosas. Y es por intuiciones que se nos revel a progresivamente este orden, aun cuando pretendamos permanecer atrincherados unicamente en la Iogica, Citemos otro ejemplo. 9. La idea de estos enunciados recargados de hipotesis sobreabundantes, frecuentes en el ambito de la geometria infinitesimal clasica, no puede dejar de hacer surgir, a titulo complementario, la de los enunciados cuya hipotesis es dernasiado debil para implicar la conclusion deseada. Frente a esta conclusion, sera necesario distinguir entre casos normales y casos excepcionales y estudiar, si es posible (recurriendo ala intuicion prolongada en busca de algun espacio abstracto capaz de suministrar una representacion casi concreta), hacer
El hecho de que una coleccion es, 0 bien la reunion de varias otras 0 bien su interseccion, es decir se compone de sus elementos comunes; El hecho de que dos colecciones sin elementos comunes son comptementarias, es decir, que su reunion reproduce en su totalidad la categoria basica de don de han sido extraidas. Imaginemos un conjunto que definimos haciendolo surgir de la categorfa basica mediante una propiedad caracteristica. Si la propiedad A impl.ca la propiedad B, aquella sugiere un conjunto que englobara el conjunto sugerido por B. Si en una teorfa intervienen concurrentemente varias propiedades, no se dejara de encontrar en ella al conjunto sugerido, ya sea por la verificacion de una al menos de las precedentes (suma logica], ya sea por la de todas estas propiedades (producto logico}. Finalmente, si una propiedad determina el conjunto A, la negaci6n de esta propiedad determina el complementario del conjunto A en la categoria basica, En esta concepcion clasica, establecida bajo la egida.del tercero excluido, los engranajes del mecanismo logistico son, plles las propiedades formales de los conjuntos. Y esta concepcion prevalece en todos los casos en que es aplicable el esquema usual de 10 verdadero y 10 falso. Se comprende por esto que otros complejos de propiedades formales puedan exigir otras logic as.

93

disminuir los casos excepcionales con respecto a los casos normales. Esta disrninucion podra expresarse, ya por via topologica, como ocurre en los teoremas relativos a la determinacion de las curvas 0 de las superficies algebraicas de un grado dado, por medio de puntos en numero conveniente; 1 1 ya recurriendo a la idea de medida, como ocurre en el teorema de Lebesgue que asegura a toda curva de longitud limitada una tangente en cada punto, salvo en un conjunto demedida nula, es decir, que se pueda encerrar en una serie de segmentos cuya longitud puede tomarse arbitrariamente pequefia. De esta manera, nos aproximamos a la idea de una conclusion estadisticamente exacta. 10. Este nuevo ejemplo confirma el hecho de que el orden racional, en el sentido de Coumot (se podr ia decir tambien: la economia general de las matematicas}, tiene sus realidades que descubrimos .intuitivamente. Ciertamente, la logica ha creado sus simbolos y, mediante ellos, ha logrado la formalizacion de la aritrnetica y de partes extensas de la teorfa de conjuntos. Pero no podia extraer todo eso exclusivamente de sl misma, asf como el algebra no podia nacer antes de disponer de una larga experiencia geometrica, Es por eso que se puede pensar hoy que el formalismo hilbertiano ha creado sobre todo un clima favorable a un estilo matematico nuevo, mas tecnico y mas afinado. Pero no ha forjado los instrumentos matematicos que permitan resolverciertas dificultades todavfa no superadas, inherentes a los principios mismos de las maternaticas. 1 2 Y sin duda, tambien en este dominio sera la intuicion la que determine sus futuros progresos.

llLos enunciados de esta categoria presentan este caracter: son estables en los casos normales e inestables en Ios casos excepcionales. 12'8obre todoseria necesario mostrar que al construir un sistema matematsco ampliado (0 tambien: no reducido), es decir, un sistema que incluya en estado potencial elementos (numeros, fundones) que de hecho nunca seran introducidos, y al provocar ,Por este abuso del poder extensivo ciertas paradojas, no se las encontrara mas que en los terrenos del puro verbalisrno, en eI cual pierden eficada. Pero de este modo, al Iimitar 10 que es verbal isurgira la tendencia a separar los entes maternaticos por grados de existencia mas 0 menos real! Y entonces, to do criterio invocado a este fin, lno pretenders ser la mas sutil de las intuidones? En este terreno, se perrnanecera sujeto a decisiones del espfritu dificiles de separar de la experiencia sensible. Ante la Fisica corpuscular, las maternaticas son un fruto incomparable que ha madurado al calor de las ilusiones de nuestros sentidos.

94

EL NUMERO NATURAL Y SUS GENERALIZACIONES Maurice Frechet

El programa que el Sr. Le Lionnais me ha pedido que trate en algunas paginas es inmenso y esta concebido con un espiritu de lirismo de ninguna manera desproporcionado a su objeto, pero que es diffcil mantener en el curso de explicaciones un poco abstractas. Trataremos, sin embargo, de dar, brevemente, una idea 10 mas clara posible de la evolucion que se trata de describir y sobre todo, puesto que los hechos mismos son bien conocidos por la mayoda de nuestros lectores, de las razones que la han motivado. Numeros naturales. Para abreviar omitiremos toda discuIlion sobre la naturaleza, el origen y la teorfa 1 de los mimeros naturales 1, 2, 3, ... , as! como de las cuatro operaciones fundamentales que les conciernen (adicion, etc.). Observemos, sin embargo, que si bien dos de estas cuatro operaciones, la adicion y la multiplicacion, pueden ser efectuadas sobre un par cualquiera de numeros naturales, no ocurre 10 mismo con la sustraccion y la division. Para que la diferencia a - b tenga un sentido definido es necesario que a sea mayor que b, y para que ocurra 10 mismo con el cociente ~ es necesario que a sea un multiple de b. Tenemos aqui dos Pestricciones embarazosas. Cuando se tenga que resolver un problema en el que las cantidades no esten dadas mas que en cada caso particular del problema, en lugar de obtener una solucion expresable mediante una formula general, habra que considerar varios casos; hacer 10 que los matematicos Haman una discus ion.
1 vease, por ejemplo, un estudio de esa naturaleza dirigida al gran r.ublico en el articulo de C. Chevalley en el vol.: Mathematiques, de la 'Encyclopedie francaise", pag. 1602.

95

Nurneros negativos y racionales. La introduccion del cero, de los numeros enteros negativos y de los racionales (tamhien llamados conmensurables) permi te eludir esa necesidad. La introduccion del cero permite dar un sentido a la expresion a - a; la introduccion de los numeros negativos autoriza la operacion 3 - 4, y la de los numeros racionales 0 fracciones confiere una significacion al cociente de 3 por 4, por ejemplo. Hay que observar, adernas, que no basta deere tar que 10 que era imposible se convierta en posible introduciendo un nuevo lenguaje. La extension no puede hacerse sin reflexion, pues esta sometida a ciertas condiciones. Las cuatro operaciones con sus restricciones hab ian sido definidas para los numeros naturales y daban numeros naturales. Al introducir, por ejemplo, los numeros negativos (despues del cero), es necesario, para que sea una verdadera extension de la nocion de numero natural, que las cuatro operaciones se apliquen a pares de numeros tornados no solamente entre los enteros positvos (es decir de la categoria ya estudiada) sino tambien entre los negativos y el cero, y que, aplicadas ados enteros positivos se confundan con las operaciones ya conocidas; esto significa que la restriccion sobre la diferencia ha desaparecido, es decir que a - b esta definida, cualesquiera sean los numeros (positivos, negativos 0 nulos) a y b. Las definiciones clasicas de las operaciones con los enteros de cualquier signa no son, pues, arbitrarias, sino que resultan de una meditada eleccion, Lo mismo pasa con las notaeiones. Se hubiera podido adoptar otras menos comodas pero igualmente legitim as y, de hecho, algunas de ellas han permanecido en uso. Por ejemplo, se emplea todavia para las latitudes, las notaciones: 32° de latitud norte 46° de latitud sur. Si se empleasen las notaciones + 32° y _46° se podria decir que el angulo bajo el eual dos puntos del mismo meridiano de latitud a y b son vistos desde el centro de la Tierra, es siempre igual a a - b, mientras que para los puntos anteriores este angulo no es 32° - 46° • 0 0 ' sino 32 + 46 . Esta introduccion de los mimeros negativos y de los numeros racionales aeaba de ser justificada por la tendencia a la eliminacion de las restricciones embarazosas. Es un artificio matematico. Pero en estos dos casos, la introduccion podr ia tambien haber sido motivada por razones eoneretas. Por ejemplo, las fraceiones han sido introducidas para representar ciertas particiones: un testamento adjudica un. terreno ados herederos, de los euales uno tendra una parte 2 veces mayor que el otro, 0 sea tendran 2/3 y 1/3 del terreno. De igual 96

modo, cadavez que sea necesario manejarse con magnitudes orientadas, habra que distinguir de alguna manera por una notacion particular las que estan orientadas en un sentido de las que 10 estan en el otro. Tal es el casu citado de las latitudes; as! tambien, se distinguen las fechas anteriores 0 posteriores a J esucristo, las temperaturas por encima 0 por debajo de cero, etc. La adopcion del signo - ante los numeros que corresponden a la segunda orientacion ofrece ante todo una notacion general comoda, en lugar de las notaciones particulares propias de cada caso. Pero tiene sobre todo la ventaja de abolir las restricciones que afectan a ciertas formulas. Numeros irracionales. Esa misma facilidad se ha buscado con la introduccion de los numeros llamados irracionales, tales como /2 0 7T. Se podria muy bien exponer todos los resultados maternaticos conocidos sin servirse de estos nuevos numeros, Pero los enunciados y las demostraciones ser ian mucho mas largas y menos intuitivas. Se reemplazaria, por ejemplo, /2 por la

., sucesion

d e f raccrones 1'2"' 3'4' que tienen por denomi . 245 . enornma-

dares 1,2,3,4, ... Y que son las mayores entre aquellas cuyos cuadrados son inferiores a 2. Pero habria que reemplazar los enunciados en los que figuran operaciones simples con /2 por otros en los que intervendria una infinidad de operaciones bastante complejas sobre los terrninos de esta sucesion. Gracias a esta simplificacion muchas proposiciones han podido revestirse de una forma mas simple. Por ejemplo, se de cia que en la clase de numeros racionales uno de ellos tenia una raiz cubica si, reducido a su expresion mas simple, sus terminos son cubos perfectos. Aumentando esta clase con la de los numeros irracionales, se puede decir ahora que to do numero, racional 0 irracional, tiene una raiz cubica: la restriccion, antes necesaria, ha desaparecido. Del mismo modo, por medio de numeros racionales no se podia asignar una medida a la diagonal de un cuadrado que tuviera por lado la unidad de longitud. Pero 'aespues de la introduccion de los numeros irracionales se puede decir que esta medida es /2 y hacerla entrar en calculos ulteriores. Acabamos de indicar uno de los modos de- introducir los numeros irracionales, el que se basa en la nocion del orden en el cual se disponen estos numeros (modo que conduce a la llamada nocion de "cortadura"). Otra manera de introducirlos es la que se basa en la nocion de distancia. Llamemos distancia de dos numeros a y b al valor absoluto de a - b, es 97

decir, a la diferencia de los dos numeros a y b, hecha abstraccion del signa -r'-, Se considerara, entonces, que determina un numero irracional toda sucesion de numeros racionales -r 1 , r2, _ .. , "s» ... tal que la distancia rs=ts +q tienda a cero (es decir, que pueda hacerse inferior a todo numero positivo dado, por ejemplo a un millonesimo tomando el numero natural s bastante grande y siendo q cualquiera, ya varfe 0 no con s). En adelante, llamaremos numero real (por oposici6n a los numeros llamados imaginarios, definidos mas adelante) a todo numero racional 0 irracional (positivo, negativo 0 nulo). Clasificacion de los numerus. reales. Entre los numeros reales, los mas simples son los racionales (de cualquier signo). En el conjunto de los numeros irracionales se puede distinguir' tambien una categorfa mas simple (que comprende a los numeros racionales), la de los numeros algebraicos reales: se llama asf a todo numero real X que es raiz de un polinomio aoxn + ... + an cuyos coeficientes Qo, ... , an son enteros (de cualquier signo). Adernas, poniendo x =~, sustituyendo
Uo·

esta expresion en el polinomio y multiplicando ao n-I se ve que X sera raiz de un polinomio X"

a este por

+ aJ

Xn-I

+ a 0 Q2

Xn-2

+ ... + ao n-! . an

de coeficientes enteros cuyo primer coeficiente es igual a 1. Se dice que X es un entero algebraico real. Se ve, pues, por una parte, que se puede discernir tambien en el conjunto de los numeros algebraicos reales una categorfa mas simple (que comprende a los numeros racionales) y, por otra parte, que todo nurnero algebraico real es el cociente de un entero algebraico real por un entero ordinario. Un problema de existencia. Hemos definido una serie de familias de numeros cada vez mas generales, en donde cada familia queda incluida en la siguiente. Pero queda por dilucidar una cuesti6n. Cada una de estas extensiones de principio, ~es tambien una extension de hecho? Cada nueva familia que comprende a las precedentes, ~es distinta de elIas? Sabernos ya que hay numero racionales (como

t)

que no son enteros,

que hay enteros algebraicos (como~ solucion de x2 = 2) que no son racionales. Se demuestra facilmente que hay numerus algebraicos 98 (tales como x=

ff>

que no son enteros

algebraicos. Pero, ~hay numeros trascendentes, es decir numeros irracionales que no sean algebraicos? Numeros trascendentes. Es esta una cuestion que quedo sin solucion durante siglos. En una epoca relativamente reciente ha podido darsele tres clases de respuestas. Es posible contentarse con probar (como se hara mas lejos) que el conjunto de los numeros algebraicos no es mas que una parte del conjun to de los nurneros racionales e irracionales. Una respuesta mejor es la que dio en 1851 Liouville, al indicar un medio de crear tantos numeros trascendentes como se quiera. Sea a uno de estos numeros trascendentes particulares, llamados nurneros de Liouville; por definicion, a es tal que para todo entero n existe una infinidad de fracciones irreducibles

P___ para las cuales q

Se demuestra facilmente que este nurnero no puede ser raiz de un polinomio de coeficientes enteros; y para demostrar que existe basta dar un ejemplo de el. Tal es la suma de la serie

'tOO (~)
n

nn

Finalmente, consiste en naturalmente 10 que hizo e = 2,718 ... , cuando

una tercera respuesta, la mas satisfactoria, demostrar que ciertos numeros encontrados en el analisis son, en efecto, trascendentes. Es por primera vez Hermite tomando el numero base de los logaritmos neperianos, igual al Iimite,
00,

m~

deI I

+ __!_ ) m

m,

y que tiene una importan-

cia capital en analisis. Mas tarde, Lindemann demostro que 1[= 3,14159 ... es tambien un numero trascendente. Despues de ellos se ha demostrado la trascendencia de ciertas categorfas de numeros reales. En cambio, a pesar de la importancia de la "constante de Euler"

C.=lim ~oo ((1+J..+ n 2'

. . +j_)-l n

og n

) =.0577216 . ..

aun no se sabe si es trascendente. 99

Ntimeros p-adicos. Una creacion curiosa es la de los nurneros p-adicos de Hensel que tienen muchas de las prop iedades de los numeros reales, pero aqu i solo podemos dar una idea de su definicion. Se la puede basar en la nocion de distancia, como 10 hemos hecho anteriormente para los nurneros irracionales. S610 que se trata aquf de una distancia bastan te singular. Dados dos numeros racionales (de cualquier signo) r' y r", y un nurnero natural primo p, la diferencia r' ~ r" puede expresarse, como todo numero racional, con la forma ~

donde u, v y n son enteros

de signos cualesquiera,

v no es nulo y u y v son primos entre s i y con respecto e p . Se conviene, entonces, en to mar como distancia (r',r") de r' y de . r "Ia cocrente-s- 1. r > es diferente d" r SI 1 e

pn

y, natura Imente,

cera,

en caso <on trario , Se considera, entonces, que define un numero "p-adico" toda sucesion de numeros racionales at, a2,' • , as, ' . , tal que la distancia (as, as + q ), entendida de la manera antedicha, tiende a cero cuando s crece indefinidamente, cualquiera sea el entero q. Se llega as! a resultados como el siguiente: 7 es un numero 3-adico y se tiene, en el sentido 3-adico:
7= 1

+ 1.3 +

1.32

0.33

2.34

+ .. ,

Ideales. Se ha podido edificar una teor ia de los enteros algebraicos extendiendo a estos numeros un gran numero de las propiedades de los enteros ordinarios. En cambio, hay otras propiedades que ya no subsisten y la razon de ello es que generalmente la nocion de maximo comun divisor pierde su senti do en la clase de los enteros algebraicos. Kummer ha superado esta dificultad creando una nueva clase de numeros: son los numeros ideales, que comprenden a los enteros algebraicos, pero para los cuales la nocion de m.c.d. retoma su significado clasico. Numeros complejos. Antes de terminar esta lista de los nume ros que tienen importancia sobre todo en la aritmetica superior, contentemonos con mencionar que sus definiciones han sido extendidas al dominio complejo, del cual hablaremos, e inclusive al dominio de las variables abstractas, como aquellas de las cuales trataremos al final de este articulo. La creacion de los enteros algebraicos, de los numeros algebraicos y de los ide ales responde mas a una curiosidad

100

cient ifica, a una preocupacion estetica, que a una necesidad concreta. En el momenta actual, se buscar ia en vano una alusion a esos numeros en las obras destinadas a los ingenieros, sin que se excluya, sin embargo, su eventual aparicion ulterior en tales publicaciones. No ocurre 10 mismo con la introduccion de los numeros complejos tambien llamados imaginaries. Llamemos numeros reales a los numeros considerados en 10 que precede y consideremos un trinomio de segundo grade es decir, una suma de terminos
ax2

bx

en la que la variable x figura elevada a 10 sumo al segundo grado). Se sabe que si los coeficientes a, b, c, son reales y si se sup one que x es real, este trinomio puede deseomponerse en dos factores de primer grado de terrninos reales,
a(x-x') (x-x")

cuando se tiene la desigualdad &2 -4 a c ;;;;:, Se ha logrado O. evitar esta restriccion ernbarazosa mediante la introduccion de los numeros cornplejos. Definiendo de manera conveniente la extension a estos numeros de las cuatro operaciones elementales2 la descomposicion del trinomio en dos factores de primer grade (de terrninos reales 0 complejos) se hace posible en todos los casos, inclusive cuando a, bye son complejos. Se encuentra, incluso, que la simplificacion va mucho mas lejos de 10 que se busco. Por ejemplo, la proposicion precedente se generaliza (con el nombre de teorema de D'Alembert) para un polinomio
ax" +bxn-1

+ ... + I

=1=

de grado n cualquiera: siempre puede descomponerse (para a 0) en n factores de primer grade en x (de terminos reales o complejos).
2 Digamos brevemente que aqui la sustraccion y la division se definen corno, antes, es decir, como operaciones inversas de la adicion y la multiplicacion, Una de las maneras de definir estas ultimas es la siguiente (que quiza no sea la mejor, pero que aqui resulta cornoda], Despues de representar todo num ero complejo en la forma a + bi,

101