PARA QU SIRVEN HOY LOS NMEROS?

PILAR BAYER ISANT

Real Academia de Ciencias

INTRODUCCIN

El saber matemtico y el potencial de clculo de las civilizaciones forman parte de su historia. Los conocimientos matemticos forjados a travs de siglos repercuten en avances cientficos y tecnolgicos de apreciable impacto. Sin embargo, y a pesar del carcter universal inherente a las matemticas, no es extrao que se soslaye el papel de esta ciencia en la historia del pensamiento humano. Carentes inexplicablemente de todo eco social, los logros matemticos persisten veladamente y no suelen contabilizarse en el haber de los pueblos. A lo sumo, se adscriben a ciertas minoras que tomaron gusto a lo difcil. Pero, bien pensado, conocer con precisin el movimiento de los astros, lanzar proyectiles, disear sistemas de votacin ponderados, elaborar modelos de virus son actividades humanas que requieren el ineludible concurso de las matemticas. La llamada sociedad de la informacin conlleva asimismo el uso de herramientas matemticas especficas. En las ltimas dcadas, las nuevas tecnologas se han afianzado en todos los mbitos: comercio, administracin, ciencias, medicina, ciencias sociales. Continuamente, los medios de comunicacin ponen a nuestro alcance noticias relativas a telefona digital, televisin digital, radio digital. Para bien o para mal, las tecnologas digitales inciden apreciablemente en los mercados financieros, por lo que pocos escapan a su influencia. Dado que digitales un adjetivo derivado del sustantivo latino digitus (dedo) y que la primera calculadora usada por el Homo sapiens han sido los dedos de la mano, la mera presencia de este trmino transluce un componente matemtico.
EL SISTEMA DE NUMERACIN BINARIO

es el 0. Es de posicin, puesto que el valor de cada cifra depende del lugar que ocupa. Y, en l, diez unidades forman una decena, diez decenas forman una centena, etc. La ausencia de unidades de un orden determinado se indica por medio del 0, con lo cual nmeros como 37, 370, 703 indican cantidades distintas. Aunque hoy nadie cuestiona la naturalidad de esta manera de denotar los nmeros, lo cierto es que su derivacin y evolucin han sido lentas. Con el sistema de numeracin decimal representamos no slo los nmeros naturales, sino tambin los nmeros enteros, los nmeros racionales, los nmeros reales y

Por regla general, elaboramos los clculos de la vida cotidiana de acuerdo con el denominado sistema de numeracin decimal. Nuestro sistema de numeracin consta de diez dgitos: 1, 2, 3, 4, 5, 6, 7, 8, 9, 0, uno de los cuales 87

los nmeros complejos. Recordemos las notaciones habituales para estos conjuntos de nmeros, as como su descripcin:

PILAR BAYER ISANT

N = {1, 2, 3, ...}, 1 = {O, 1, 2, 3,...}, Q = { a I ir. a, b enteros, b * o}, IR = \n + O.d^dj...: n entero, 0 s /, s 9}, C = { a + bi: a, b reales, i = v-1 }. A pesar de la operatividad del sistema de numeracin decimal, las tecnologas digitales suelen basarse en el denominado sistema de numeracin binario. El sistema de numeracin binario consta nicamente de dos dgitos: 0, 1. Es de posicin. Y, en l, cada dos unidades de un mismo orden constituyen una unidad del orden superior. Los dgitos binarios permiten representar todos los nmeros. Los siguientes ejemplos muestran la expresin binaria del nmero natural 41, del nmero racional 117, as como de los nmeros reales raz cuadrada de 2 y pi: 41 = 1 + 23 + 25 = 1010012, _ l/7 = 0.0010012, V2= 1.011010100000001... 2 , jt= 11.0010010000111111... 2 . Atendiendo a tonalidades de grises, colores, o a frecuencias de sonidos, toda informacin de tipo grfico o acstico es susceptible de ser digitalizada. Es decir, convertida en una sucesin de nmeros representables a su vez por medio de ceros y de unos. La implantacin del sistema binario como instrumento idneo para codificar la informacin se debe a su simplicidad. La simulacin fsica del sistema binario es particularmente sencilla, bastando un soporte material susceptible de dos estados. As, el 1 puede asimilarse a la presencia de un impulso electromagntico y el 0, a su ausencia. De esta forma, los dgitos binarios se convierten en la unidad de informacin bsica o z>-acrnimo de binary digit. Las tecnologas digitales codifican una conversacin, una sinfona, una pelcula o un partido de ftbol en una sucesin de ceros y unos, idnea para ser transmitida a la velocidad de la luz y a largas distancias.
ORGENES DE LA BASE DOS

El origen de las cifras 0, 1 es muy desigual. En cierta forma, el 1 es la primera cifra utilizada en todos los sistemas de numeracin y el 0, la ms tarda. El hombre prehistrico se vala ya de trazos verticales para contar, como han puesto de manifiesto astas de reno marcadas con muescas procedentes del Paleoltico superior. A su vez, una varios trazos verticales para facilitar su recuento. Notemos que ningn motivo obliga a unir tales trazos de diez en diez. Podemos, con igual fortuna, utilizar cualquier cantidad de ellos: cinco, diez, doce, dos. La cantidad acordada con este fin constituye la base del sistema de numeracin.

El sistema de numeracin egipcio usado en la escritura jeroglfica (hacia 3000 a. C.) era un sistema de base 10, de siete cifras y careca de 0. Para designar las primeras potencias de diez, uno era representado por un palo vertical; diez, por un asa; cien, por un caracol; mil, por una flor de loto; diez mil, por un dedo doblado; cien mil, por un renacuajo; y un milln, por un hombre con los brazos en alto. Mediante la repeticin conveniente de estos smbolos, los egipcios escriban todos los nmeros naturales. El sistema de numeracin egipcio no era de posicin pues el orden de las cifras de un nmero escrito resultaba irrelevante. Para sumar dos cantidades, los egipcios reunan los guarismos correspondientes, sustituyendo diez unidades de un determinado orden por la unidad del orden superior. As, diez asas equivalan a un caracol, diez renacuajos equivalan a un hombre con los brazos en alto. El doblar una cantidad era igualmente sencillo: cinco asas y un palo vertical multiplicados por dos equivalan a un caracol y dos palos verticales. Pero, cmo proceder en la multiplicacin y divisin de cantidades mayores? Los egipcios resolvieron el problema de la multiplicacin de una forma esplndida. Puesto que la nica multiplicacin sencilla era la multiplicacin por 2, redujeron cualquier multiplicacin de nmeros naturales a una sucesin de sucesivas multiplicaciones por 2. Para ello, escriban el multiplicando como suma de potencias de 2 y doblaban el multiplicador tantas veces como fuera necesario, de acuerdo con la descomposicin del multiplicando. Veamos un ejemplo, escrito en nuestra notacin: 41 x59 = (2+2 3 +2 5 )x59 = 59 + (0x 118) + + (0 x 236) + 472 + (0 x 944) + 1888 = 2419.

PARA QU SIRVEN HOY LOS NMEROS?

A pesar de que carecan del 0, en la constatacin de los egipcios de que todo nmero natural es expresable como suma de potencias de dos se aprecia un precedente del sistema de numeracin binario. La escritura jeroglfica egipcia evolucion en las escrituras hiertica y demtica. A la hora de representar grficamente los nmeros, estas escrituras evitaban la repeticin de los smbolos a base de incrementar el nmero de sus guarismos y, por tanto, a costa de incrementar la dificultad nemotcnica de su escritura. La fuente ms valiosa para el conocimiento de la matemtica egipcia la constituyen las inscripciones de sus monumentos y unos pocos papiros, algunos de los cuales poseen ms de 3000 aos de antigedad. En 1858, el egiptlogo Henry Rhind adquiri en un mercado de Luxor un papiro en escritura demtica, de 6 metros de largo por 30 centmetros de ancho, todo l de contenido matemtico. Adems de abundantes reglas de clculo, el Papiro Rhind contiene una coleccin de 84 problemas. En ellos, los egipcios se muestran familiarizados con el clculo de reas, volmenes y con el manejo de fracciones de numerador uno -las denominadas fracciones egipcias. Segn consta en el documento, el escriba Ahmes lo copi (hacia 1650 a. C.) de material ms antiguo, procedente del Imperio Medio (entre el 2000 y el 1800 a. C ) . Se ha especulado que la fuente intelectual del Papiro Rhind podra muy bien ser Imhotep, legendario mdico y arquitecto del faran Zoser que dirigi la construccin de la pirmide que lleva su nombre. En la actualidad, el Papiro Rhind se conserva en el Museo Britnico.
ORGENES DE LOS SISTEMAS DE NUMERACIN DE POSICIN

La matemtica mesopotmica nos ha llegado a travs de una gran cantidad de tablillas de arcilla grabadas en escritura cuneiforme. Una de las ms clebres es la conocida con el nombre Plimpton 322, que se conserva en la Universidad de Columbia. Su contenido equivale a quince ternas pitagricas o soluciones de la ecuacin X2 + Y2 = Z2. Si denotamos por a, b los catetos de un tringulo rectngulo y por fsu hipotenusa, las entradas de las tres primeras columnas de la tablilla corresponden a las cantidades c*/a2, a, b, respectivamente. En una columna cuarta de la tablilla se aprecia la numeracin de sus quince filas. La tablilla Plimpton 322 data de la poca de Hammurabi (hacia 1800 a. C.) y, aunque se ignora su finalidad, pone de manifiesto la temprana familiarizacin de un matemtico sumerio con el teorema de Pitgoras (h. 540 a. C), mucho antes del establecimiento de las comunidades pitagricas.

BREVE HISTORIA DEL CERO

Alrededor del ao 2400 a. C , Mesopotamia contaba ya con sistemas de numeracin de posicin. El sistema de numeracin sumerio era mucho ms elaborado que el egipcio. Se trataba de un sistema de numeracin de posicin, de base 60, que, en un principio, careci del 0. Los sistemas de numeracin de posicin permiten escribir los nmeros con una gran economa de guarismos. El sistema de numeracin sumerio posea nicamente dos cifras: un clavo vertical denotaba el 1; una cua horizontal denotaba el 10. La ausencia de unidades de un determinado orden se representaba mediante un espacio vaco, lo cual era frecuente fuente de errores. De este modo, dos clavos verticales seguidos de un espacio en blanco y de dos cuas horizontales podan denotar tanto el nmero (2 x 60) + + (2 x 10) = 140 como el nmero (2 x 602) + (2 x 10) = = 7220. Para evitar estos inconvenientes, alrededor del 200 a. C. empezaron a usarse dos clavos inclinados para indicar que faltaban las unidades de un determinado orden intermedio. Este 0 mesopotmico constituye un precedente remoto de nuestro 0.

El sistema de numeracin griego era alfabtico. En un contexto matemtico, los griegos asignaban a cada letra del alfabeto un valor numrico. El sistema de numeracin romano se basaba en principios parecidos. Tanto el sistema de numeracin griego como el romano eran muy inoperantes a la hora de calcular. Su persistencia a lo largo de los siglos se debe a que los clculos se efectuaban de forma mecnica, emplendose los nmeros nicamente para anotar los resultados. De todos los instrumentos de clculo utilizados -piedras (calculi), cuentas, cuerdas-, el principal fue el abaco. Los abacos constan de un marco en el que se insertan alambres con bolas engarzadas, o de cualquier otro mecanismo equivalente, apto para la visualizacin de las operaciones aritmticas. Los abaquistas, o personas especialmente entrenadas en su uso, no necesitan conocer el porqu de los movimientos de las bolas para efectuar una operacin, basta con que sean hbiles en su manejo. En nuestros das, los abacos todava son usados en Oriente. Los astrnomos griegos siguieron utilizando los sistemas de numeracin de posicin mesopotmicos de base 60. Tolomeo de Alejandra (h. 90 - h. 160) emple un sm-

CG

il.H

'

M:

IT

l i l i II MI

1!

Abaco chino.

89

PILAR BAYER ISANT

bolo parecido a la letra griega micron para dar a entender que faltaban las unidades de un determinado orden. En el libro primero de su Sintaxis matemtica, obra ms conocida por el nombre rabe de Almagesto (que significa el ms grande), Tolomeo construye una tabla de cuerdas de arcos desde xl hasta 180, de medio en medio grado, equivalente a una tabla actual de senos de ngulos de 7.4 hasta 90, de cuarto en cuarto grado. El Almagesto se convirti en el libro de referencia bsico para los astrnomos durante ms de mil aos. Tolomeo introdujo en su Geografa el sistema de longitudes y latitudes que todava usamos hoy para fijar las coordenadas geogrficas; sin embargo, en su poca no se conoca ningn sistema para determinar longitudes geogrficas. Segn Cari C. Boyer, un clculo de Tolomeo basado en una estimacin errnea del radio de la Tierra efectuada por Posidonio (h. 135 - h. 50 a. C.) habra inducido a Cristbal Coln a subestimar la distancia de Europa a la India navegando hacia el Oeste.

Euclldes de Alejandra (s. m a. C.) demostr que existen Infinitos nmeros primos. PROTOHISTORIA DE LA TEORA DE NMEROS

Tolomeo de Alejandra (h. 90 - h. 160 d. C.) consultando el astrolabio.

Los tratados ms antiguos de la matemtica griega que han llegado a nuestros das son las obras de Euclides (h. 315 - h. 225 a. O). Euclides, formado probablemente en Atenas, no haca especial hincapi en los aspectos prcticos de las matemticas. Durante la dinasta de los Lgidas ocup el cargo de profesor del Museo de Alejandra, donde escribi su obra ms famosa, los Elementos, concebida como un libro para el aprendizaje de la geometra. La obra consta de trece libros. El material de los dos primeros se supone que procede en parte de los pitagricos. Los Libros III y IV podran estar tomados de Hipcrates (h. 430 a. C), autor de unos Elementos de geometra que se han perdido. De Hipcrates sabemos por Aristteles que, siendo mercader, perdi todo su dinero en Bizancio debido a un fraude; sin embargo, nunca consider este hecho como una desgracia, pues a consecuencia de l pudo dedicarse al cultivo de la geometra. Hipcrates se habra dedicado al problema de cuadraturas de lnulas, con la esperanza de poder un da cuadrar el crculo. Tres de los trece libros de los Elementos estn dedicados al estudio de los nmeros naturales. En los Libros VII, VIII y IX, Euclides trata cuestiones bsicas sobre divisibilidad, mximo comn divisor y mnimo comn mltiplo; describe el algoritmo para la determinacin del mximo comn divisor que an usamos en nuestros das y define los conceptos de nmero primo, nmero perfecto, nmeros amigos, etc., ya conocidos por los pitagricos. Recordemos que un nmero natural se denomina primo si ca90

PARA QU SIRVEN HOY LOS NMEROS?

rece de divisores distintos de 1 y l mismo. Los primeros nmeros primos son 2, 3, 5, 7, 11, 13, 17, 19. Euclides demuestra que existen infinitos nmeros primos: existen ms nmeros primos que en cualquier cantidad de nmeros primos fijada de antemano. El lenguaje de los Elementos es preferentemente geomtrico; as, ante una igualdad n = mk, Euclides nos dice que est medido por m. Eratstenes de Cirene (h. 284 - h. 202 a. O), astrnomo, matemtico y bibliotecario del museo, es recordado por haber ideado un procedimiento que permite obtener todos los nmeros primos por debajo de una cantidad dada: la denominada criba de Eratstenes. Tambin realiz una medida del radio de la Tierra mucho ms aproximada que la de Posidonio. En relacin con el estudio de los nmeros, la Escuela de Alejandra produjo en el llamado segundo periodo (hacia el siglo III) una obra singular: la Aritmtica de Diofanto. La Aritmtica consta de una coleccin de 150 problemas relativos a propiedades de los nmeros. Los nmeros son tratados por sus propiedades intrnsecas, sin referencia alguna a medidas de grano, dimensiones de campos o unidades monetarias (salvo en un problema de mezclas, relativo al precio de unos vinos). En general, Diofanto se limitaba a ofrecer soluciones particulares exactas de los problemas, sin pretender ningn mtodo general. Puesto que el contenido de la obra es eminentemente aritmtico y en ella no se emplean mtodos geomtricos, Diofanto est ms prximo a la matemtica mesopotmica y a la matemtica de los pitagricos que a la matemtica griega del primer periodo de la Escuela de Alejandra. Por ejemplo, en el clebre problema II-8, se ocupa de las ternas pitagricas: descomponer un cuadrado dado en suma de dos cuadrados. Otros problemas de la Aritmtica conducen a la resolucin de ecuaciones de la forma: X2 = 1 + 30 Y2, o bien X2 = 1 + 26 Y2. En honor de Diofanto de Alejandra, las ecuaciones polinmicas de coeficientes enteros (o racionales) de las que se buscan sus soluciones enteras (o racionales) reciben el nombre de ecuaciones diofnticas.
ORGENES DEL SISTEMA DE NUMERACIN DECIMAL

criptiva, versificada en 123 estrofas, en las que se suministran abundantes reglas de clculo. El autor procede al clculo de races cuadradas, races cbicas, maneja progresiones aritmticas y proporciona frmulas para el clculo de reas y volmenes, aunque no todas correctas. En el Aryabhatiya se encuentra una tabla de senos de ngulos menores de 90 para 24 intervalos angulares de 3 3/4 cada uno. De su afirmacin de un lugar a otro, cada uno es diez veces el que le precede se desprende que Aryabhata estaba familiarizado con el uso del sistema de numeracin decimal de posicin. En cuanto a la procedencia de los guarismos que empleamos para la representacin de los nmeros, se han formulado hiptesis diversas. Al parecer, nuestras cifras derivan de las nueve primeras cifras brahmi, de los siglos IIIII a. C , tras haber experimentado mltiples transformaciones. En la India se origina asimismo el guarismo del cual deriva nuestro 0: un huevo de oca. El primer testimonio epigrfico indio del 0 es una inscripcin del ao 876. La forma actual de las cifras no quedara fijada en Occidente hasta el siglo XV, tras la invencin de la imprenta. Un siglo posterior a Aryabhata encontramos al matemtico Brahmagupta (598 - 665), en cuya obra aparecen sistematizadas no slo las reglas de clculo del sistema decimal con el 0, sino tambin el clculo con nmeros negativos. Brahmagupta presenta muchas semejanzas con Diofanto de Alejandra. El lgebra de ambos es sincopada; es decir, las operaciones y las incgnitas se representan abreviando las palabras correspondientes. El sistema de numeracin decimal de posicin y con el 0 fue usado por el matemtico y astrnomo Bhaskara (1114-1185), autor del Lilavati, obra que contiene una recopilacin de problemas cuya resolucin conlleva el manejo de ecuaciones lineales, cuadrticas, clculo de reas, progresiones aritmticas, progresiones geomtricas, clculo de races y ternas pitagricas. El nombre del tratado corresponde al de la hija de Bhaskara.
LA TRANSMISIN A OCCIDENTE DE LOS NUMERALES INDIOS

Cuenta una leyenda que el califa de Bagdad Al-Mamun (809 - 833), tras haber dialogado en sueos con Aristteles, decidi traducir al rabe todas las obras griegas a su

La cuna del sistema de numeracin decimal y de las cifras que empleamos en la actualidad se halla en la civilizacin india. Los matemticos indios lograron reunir en un nico sistema de numeracin las ventajas que hemos apreciado en distintos sistemas de numeracin de la Antigedad. Su sistema de numeracin es de posicin, de base decimal y posee una cifra para cada uno de los diez numerales bsicos, incluido el 0. El matemtico y astrnomo indio Aryabhata (n. 476) escribi alrededor del ao 499 el Aryabhatiya, una obra des-

Las cifras nagari del siglo xi.

91

PILAR BAYER ISANT

Leonardo de Pisa, Fibonacci (1180-1250).

alcance. De esta forma, el Almagesto de Tolomeo y los Elementos de Euclides fueron traducidos al rabe en el siglo IX. La Casa de la Sabidura, fundada por los califas Harun al-Rasid y Al-Mamun se convirti en el siglo IX en la heredera del Museo de Alejandra. Muhammad bin Musa al-Khwarizmi (m. hacia 845) fue el matemtico ms destacado de aquella institucin. Su texto De numero indorum, escrito alrededor del 820, sirvi para consolidar las cifras indo-arbigas, el 0, el sistema de numeracin de posicin de base 10, as como sus reglas de clculo. El original rabe de dicho texto se ha perdido; tampoco queda clara la autora de la traduccin latina, habindose atribuido sta a Adelardo de Bath y a Juan de Sevilla. En cualquier caso, parece indudable que la traduccin latina se realiz en nuestra Pennsula, por lo que Espaa tuvo un papel relevante en la transmisin del clculo a Occidente. La versin ms antigua conservada del texto mencionado de Al-Khwarizmi es del siglo XII y procede de la Escuela de Traductores de Toledo. Citemos asimismo que Abu-1-Welfa (940 - 998) tradujo del griego la Aritmtica de Diofanto, adelantndose a las traducciones latinas de la obra, que no veran la luz hasta el siglo XVI. El hecho de poseer un sistema de numeracin operativo permiti incrementar la precisin de los clculos, as como conservar los resultados parciales, lo cual facilitaba enormemente la comprobacin de los resultados. La aproximacin del nmero jt = 3,14159265358979 calculada por Al-Kasi (1380 - 1429) da cuenta de las posibilidades que el nuevo sistema de numeracin ofreca. Al-Kasi trabaj en el observatorio de Samarcanda. Su rcord en el clculo de JI no sera emulado hasta finales del siglo XVI. (La frase How I want a drink alcoholic, of course, after the heavy lectures involving quantum mechanics sirve 92

de recurso nemotcnico, puesto que el nmero de letras de cada palabra corresponde a los sucesivos dgitos de ir, calculados por Al-Kasi.) Leonardo de Pisa (1180 - 1250), ms conocido por Fibonacci (hijo de Bonaccio), era hijo de un mercader que posea negocios en el norte de frica. Su juventud transcurri en gran parte en el mundo rabe, en donde Fibonacci aprendi el clculo con las cifras indo-arbigas y estudi los Elementos de Euclides. En 1202, Fibonacci dio a conocer su Lber abaci, verdadero compendio de las matemticas medievales. En contra de lo que su ttulo sugiere, el Lber abaci no estaba dedicado al aprendizaje del abaco, sino al del clculo con las cifras indias. Fibonacci explica el funcionamiento de las operaciones, as como las pruebas del 7, 9, 11, 13. Estudia propiedades de divisibilidad, reglas sobre compraventas, cambios con las monedas entonces en curso, proporciones, y resuelve ecuaciones de primer y segundo grados. Con todo, en el clculo con fracciones, Fibonacci sigue haciendo uso de las fracciones egipcias. Se necesitara ms de un siglo para que las ventajas del sistema de numeracin de posicin se hicieran extensivas al clculo con nmeros racionales. El Lber abaci, anterior a la invencin de la imprenta, sirvi de base para la formacin de maestros y alumnos de la escuela toscana durante ms de tres siglos, aunque no fue impreso hasta el siglo XIX. En la edicin de Boncompagni, el Lber abaci posea ms de cuatrocientas pginas. El texto de Luca Pacioli (1445 - 1514) Siimma de arithmetica, geomtrica, proportioni etproportionalita sera el sucesor del Lber abaci. La Summa contena una recopilacin de material perteneciente a aritmtica, lgebra, geometra eucldea elemental y contabilidad. A partir de la segunda mitad del siglo XV, se imprimi un gran nmero de textos de aritmtica, dirigidos principalmente a usos comerciales y escritos ya en lenguas vernculas. El matemtico francs Francois Vite (1540 - 1603) hizo una encarecida defensa del uso de las fracciones decimales en lugar de las sexagesimales. Su implantacin definitiva contribuy enormemente al progreso de la trigonometra e hizo posible el clculo con logaritmos. Durante los reinados de Enrique III y de Enrique IV, Vite tuvo un destacado papel como criptoanalista. Tras caer polticamente en desgracia, dedic los ltimos aos de su vida al cultivo de la matemtica, y realiz importantes contribuciones al estudio de las ecuaciones algebraicas.
LA INVENCIN DE LOS LOGARITMOS

A principios del siglo XVII, el sistema de numeracin indo-arbigo estaba totalmente introducido en Europa occidental y con l se saban representar tanto los nmeros enteros como los racionales. Las operaciones de multiplicar y dividir realizadas con nmeros altos, costosas en

PARA QU SIRVEN HOY LOS NMEROS?

tiempo, se veran en gran parte aliviadas mediante la invencin de los logaritmos. En sus reflexiones acerca de los trminos de una progresin geomtrica formada por las potencias enteras de un nmero dado, el matemtico escocs John Napier (1550 1617), barn de Merchiston, observ que si este nmero era muy prximo a uno, entonces los trminos de la progresin estaban muy prximos los unos de los otros. Tomando 1 - 10 7 = 0.9999999 y escribiendo n = 107 (1 - 10"7)*, Napier asign a n el ndice k, denominndole el logaritmo de n. La palabra logaritmo -compuesta de las palabras griegas logas (razn) y arithmos (nmero) fue acuada por el propio Napier. Los logaritmos aplicados a los trminos de una progresin geomtrica la convertan en una progresin aritmtica. Tras un trabajo de ms de veinte aos, en 1614 Napier public el tratado Miriftci logarithmorum canonis descriptio, con sus consiguientes tablas. Esta obra populariz asimismo el uso de un punto para separar la parte entera de la parte decimal de los nmeros. Posteriormente, otros autores utilizaran las comas, con idntica finalidad. Henry Briggs, el primer Savilian Professore geometra de la Universidad de Oxford, modific ligeramente la definicin de Napier de los logaritmos, dando lugar a los logaritmos vulgares o de base 10: y = log x expresa que x = 1 (F. Briggs public sus tablas de logaritmos con catorce cifras decimales en 1624; los nombres caracterstica y mantisa para designar la parte entera y la parte fraccionaria del logaritmo de un nmero proceden, asimismo, del libro de Briggs. Las tablas de logaritmos permitieron reemplazar las complicadas operaciones de multiplicacin y divisin por las sencillas operaciones de suma y resta, respectivamente. El astrnomo Johannes Kepler (1571 - 1630) opinaba que la invencin de los logaritmos multiplicaba por dos la vida de los astrnomos, puesto que les permita doblar el nmero de clculos que eran capaces de hacer. El deseo de disponer de tablas de logaritmos extensas y fiables hizo necesario el trabajo de muchos calculadores a lo largo de todo el siglo XVII. Evangelista Torricelli (1608 - 1647), matemtico y fsico nacido en Florencia que ha pasado a la historia por la invencin del barmetro, era discpulo de Galileo Galilei (1564 - 1642). Bajo la influencia de su maestro, Torricelli estudi las trayectorias parablicas que siguen los proyectiles disparados desde un punto fijo con velocidad inicial constante pero con ngulo de tiro variable. Sus investigaciones prepararon el advenimiento del clculo diferencial. Uno de los problemas estudiados por Torricelli consista en determinar el rea encerrada por la curva y = log x, su asntota y una ordenada, as como el volumen obtenido al girar esta superficie alrededor del eje Ox. Esta es la primera representacin grfica que se tiene de la juncin logaritmo. Hasta entonces los logaritmos no haban sido considerados como una funcin, sino solamente como

un recurso de clculo. La funcin logaritmo posee por funcin inversa la funcin exponencial. Ambas funciones son crecientes, pero la funcin exponencial crece mucho ms aprisa que la funcin logaritmo. (Un crecimiento de los beneficios de tipo exponencial es altamente preferible a un crecimiento de tipo logartmico). Las funciones polinmicas presentan un orden de crecimiento intermedio entre el logartmico y el exponencial -unas cuantas pruebas en una calculadora cientfica no dejarn lugar a dudas. Las tablas de logaritmos y de funciones trigonomtricas (senos, cosenos, tangentes) resultaron de gran valor para mejorar la seguridad de los viajes de ultramar al permitir una aproximacin mejor del clculo de las coordenadas. Cartas de navegar con indicaciones de longitudes y latitudes se popularizaron en el mundo occidental a partir del siglo XVI y, a partir del XVII, los clculos relativos a la resolucin de tringulos se beneficiaron enormemente de la invencin de los logaritmos.

93

PILAR BAYER ISANT D E LAS TERNAS PITAGRICAS AL TEOREMA DE FERMAT

Fierre de Fermat (1601 - 1665), abogado y miembro del consejo local del Parlamento de Toulouse, cultivaba las matemticas por aficin. Estudi con ahnco la Aritmtica de Diofanto, gracias a la edicin grecolatina que de ella hiciera Claude Gaspard de Bachet (1591 - 1639), en el ao 1621. Las reflexiones de Fermat sobre distintos problemas de Diofanto, enviadas a sus coetneos en forma de problemas, promovieron el inters por la teora de nmeros en Occidente. Se trataba de investigaciones relativas a las propiedades de los nmeros enteros, desprovistas de toda utilidad aparente, y que se practicaban como entretenimiento intelectual. Por medio de su mtodo del descenso infinito, Fermat prob que ningn cubo descompone en suma de dos cubos; es decir, que la ecuacin X3 + Y3 = Z 3 carece de soluciones no triviales en los enteros en contraposicin al caso de las ternas pitagricas, o sea del exponente 2. Fermat se sinti asimismo fascinado por los nmeros primos. Los matemticos chinos saban que si pes un nmero primo, 2f - 2 es mltiplo de p. Observando muchas expresiones de la forma ap a, para distintos valores de ay dep, Fermat dedujo que dicha cantidad sera siempre un mltiplo de p. Tal afirmacin, conocida como el pequeo teorema de Fermat, sera probada por Gottfried Wilhelm Leibniz (1646 - 1716). Fermat dedujo asimismo que todo primo de la forma p = 4k + 1 sera expresable como suma de dos cuadrados como, por ejemplo, 5= I2 + 22, 41 =4 2 + 52. Muchas de las afirmaciones de Fermat acerca del comportamiento de los nmeros fueron probadas (y algunas, desmentidas) por Leonhard Euler (1707 - 1783), Adrien Marie Legendre (1752 - 1833) y Cari Friedrich Gauss (1777 - 1855). Pero probar su afirmacin de que la ecuacin X" + Y" = Z" carece de soluciones enteras x, y, z, tales que xyz * 0, para todo n > 2, conocida como el ltimo teorema de Fermat, se convertira en un acicate constante para el avance de la teora de nmeros.
GAUSS, PRINCEPS MATHEMATICORUM

A los catorce aos de edad, Gauss fue presentado al prncipe Cari Wilhelm Ferdinand de Brunswick-Lneberg, quien, impresionado por el talento del joven, le concedi una beca que le permiti realizar sus estudios con holgura. A los quince aos, Gauss ingres en el Collegium Carolinum, un centro estatal que contaba escasamente diez aos de antigedad, y que posea una biblioteca excelente. En el Collegium, Gauss estudi latn y griego y se familiariz con los Principia de Newton, el Algebra de Euler y la Mcanique analytique de Lagrange. A los dieciocho aos de edad, Gauss ingres en la Universidad de Gttingen. Teniendo en cuenta que esta universidad se encontraba en el estado de Hannover, este hecho equivala a estudiar en el extranjero. La Universidad de Gttingen, fundada por el rey Georg II de Inglaterra, segua el modelo de las universidades inglesas de Oxford y Cambridge. En Gttingen, Gauss goz de libertad acadmica: no estuvo guiado por ningn tutor, no tuvo que someterse a ningn examen y sobre l no se ejerci ningn tipo de control curricular. Gauss fue alumno de la Universidad de Gttingen hasta los veintin aos. Durante esta estancia tuvo lugar la eclosin de su talento matemtico. En sus aos universitarios, Gauss dej prcticamente terminada la redaccin de un libro memorable: Disquisitiones arithmeticae. Las Disquistiones arithmeticae fueron editadas en 1801 en Leipzig, ciudad que posea una excelente tradicin en la edicin de libros. El libro contiene 700 pginas, redactadas en un hermoso y culto latn, repletas de hallazgos matemticos relativos al comportamiento de los nmeros. En la obra, Gauss agradece a su protector, el prncipe, el haber sabido sortear todos los obstculos que retardaban la edicin, dedicndole las palabras siguientes: ... nadie ignora que no son excluidas de Vuestro patrocinio aquellas ciencias que son consideradas por la gente ms abstrusas y ms alejadas de la utilidad de la vida diaria, porque Vos mismo os dais cuenta perfectamente de la vinculacin ntima y necesaria entre todas las ciencias, con una mentalidad muy sabia y muy conocedora de todas las cosas que interesan para el aumento de la prosperidad de la sociedad humana. Las Disquisitiones arithmeticae de Gauss abandonaban el carcter utilitario de las aritmticas renacentistas y se convertan en el primer libro moderno de teora de nmeros. En las Disquisitiones, Gauss retoma la tradicin de la aritmtica griega (Euclides, Diofanto) y de los matemticos indios (Brahmagupta, Bhaskara) para dar un paso de gigante con respecto a las investigaciones efectuadas por Fermat, Euler y Lagrange. Gauss deca de la matemtica que era la reina de las ciencias y de la teora de nmeros, que era la reina de las matemticas. Una de las preguntas ms difciles que cabe formular a un matemtico creativo es para qu sirve lo que est haciendo. Cul hubiera sido la respuesta de Gauss a tal pregunta? Hoy, transcurridos ms de 200 aos, sabemos que

La obra de Cari Friedrich Gauss (1777 - 1855) es una de las ms impresionantes de la historia de las matemticas. Nacido en Brunswick en el seno de una familia muy humilde, Gauss fue llamado Princeps mathematicorum por su coetneos. Gauss reuna en su persona todas las cualidades que son de desear para el cultivo de la matemtica: intuicin, profundidad de pensamiento, rigor, facilidad de clculo y constancia en el tratamiento de los problemas. Su estilo era apto tanto para la matemtica fundamental como para la matemtica aplicada. Puede decirse que Gauss cultiv todas las ramas de la matemtica de su poca, algunas de las cuales adquirieron una personalidad y apariencia modernas a partir de sus planteamientos y metodologa. 94

PARA QU SIRVEN HOY LOS NMEROS?

Un ejemplo de clculo mdulo 12 lo ofrecen las horas de los relojes. Por ejemplo, 8 + 7 = 3 (mod 12). Expresamos los aos mediante nmeros enteros, pero expresamos las horas por medio de clases de congruencia de Z/12Z. Si las horas se expresaran por medio de nmeros enteros, nos sera muy costoso comunicar la hora que es. El resultado fundamental de las primeras secciones del texto que comentamos lo constituye la ley de reciprocidad cuadrtica. Se trata de un resultado imprescindible en el estudio de las ecuaciones diofnticas de segundo grado, que expresa una sutil relacin de dependencia entre los distintos nmeros primos. Las 375 pginas de que consta la seccin quinta estn dedicadas al estudio de las ecuaciones diofnticas de segundo grado aX2 + 2bXY + cY2 = d. Notemos que el caso a = c = 1, b = 0 corresponde a las sumas de dos cuadrados, ecuacin que haba sido estudiada por Fermat. Gauss clasifica las ecuaciones, as como sus soluciones. Agrupa las clases de ecuaciones en rdenes y en gneros, lo cual le facilita su tratamiento uniforme. En un tour de forc impresionante, Gauss define una composicin de clases de formas de discriminante D= b acy estudia las propiedades de esta composicin, que corresponden a la estructura algebraica de grupo abeliano. Esta estructura, as Cari Friedrich Gauss (1777-1855). como su denominacin, no seria formalmente estudiada en lgebra hasta la obra de Evariste Galois (1811 - 1832) las Disquisitiones no slo representan un hito en la histo- y sus sucesores. ria del pensamiento humano, sino que contienen, adeGauss dedica las secciones sexta y sptima de las Disms, el germen de ideas matemticas presentes en las mo- quisitiones a aplicaciones diversas de la teora de las secciones precedentes. En la seccin sexta, de 50 pginas, Gauss tradernas tecnologas. El prncipe protector de Gauss muri en la batalla de Jena ta el problema de la descomposicin de fracciones en frac(1806), luchando contra las tropas de Napolen. En 1807, ciones simples y en fracciones decimales y estudia el proGauss obtuvo el cargo de director del Observatorio de blema de la factorizacin de los nmeros naturales en Gttingen, que ocup hasta el fin de sus das. A lo largo producto de factores primos. Gauss expresa su conviccin de su vida participara en estudios sobre astronoma, an- de que el problema de distinguir nmeros primos de nlisis, mecnica celeste, clculo de probabilidades, mecnica, meros compuestos y de descomponer stos en sus factoelectromagnetismo y geometra diferencial. Su interven- res primos le parece uno de los ms importantes y tiles cin sera clave asimismo en el nacimiento de las geome- de toda la aritmtica. La ltima seccin de las Disquisitiones se dedica a la retras no euclidianas. solucin de un problema heredado de la matemtica griega. Los griegos saban que los polgonos de n = 3, 4, 5, 6 DISQUISITIONES ARITHMETICAE lados se pueden trazar mediante el uso de la regla y el comps. A los diecinueve aos, Gauss haba descubierto Las Disquisitiones constan de siete secciones. Las cuatro que el polgono de 17 lados es asimismo trazable con reprimeras se dedican al clculo con congruencias. Si se fija gla y comps, siendo la constatacin de este hecho la que un entero m y dados enteros a, b, Gauss dice que a y b son le inclinara definitivamente por el cultivo de las matecongruentes mdulo m cuando su diferencia es un mlti- mticas. En las 75 pginas de la seccin sptima, Gauss plo de m caracteriza todos los polgonos de n lados que son trazables con regla y comps. Un polgono de n lados es trazable a=b (moa ni) <=> m\(a-b). con regla y comps si, y solamente si, n = 2'/>,... pr, en donde los nmeros primos p son de la forma p = T" + 1 y son De este modo, -16 = 9 (mod 5), - 7 = 1 5 (mod 11). Fijado dos a dos distintos. La metodologa empleada constituye un mdulo m, cada nmero entero es equivalente a un un precedente de la teora de Galois y prepara, al mismo nmero entre 1 y m. A lo largo de 165 pginas, Gauss se tiempo, las investigaciones de Ernst Eduard Kummer dedica a investigar las propiedades de las clases de con- (1810 - 1893) sobre los cuerpos ciclotmicos, realizadas gruencia TLImlL cuando con ellas se efectan las opera- con vistas a la resolucin del teorema de Fermat. Las Disciones aritmticas habituales. quisitiones concluyen con varias tablas numricas.

95

PILAR BAYER ISANT LAS PRIMERAS COMPUTADORAS MECNICAS

La complejidad creciente de los clculos con que deban enfrentarse los matemticos y los astrnomos provoc la paulatina incorporacin de instrumentos adecuados para su elaboracin mecnica. A la edad de dieciocho aos, Blaise Pascal (1623 - 1662) ide una mquina de calcular mecnica con el fin de ayudar a su padre, que era recaudador de impuestos. La denominada Pascalina constaba de una serie de ruedas dentadas mediante las cuales se representaban los nmeros en base 10, permitiendo su adicin y su sustraccin. La suma de una unidad se simulaba mediante un paso de la rueda y la sustraccin, mediante un paso en el sentido contrario. En unos pocos aos se vendieron cincuenta de estas mquinas.

El aritmmetro de Thomas (1822).

La Pascalina (1642).

A principios del siglo XIX, la complejidad de las relaciones comerciales y el desarrollo de la banca inherentes a la Revolucin Industrial hicieron imprescindible la comercializacin de diversas mquinas de calcular. La primera de ellas fue el aritmmetro de Thomas, construido en 1822. Se trataba de ingenios mecnicos dedicados a facilitar al mximo la labor de los computadores. Paulatinamente, las mquinas mejoraron sus prestaciones, siendo destacables la incorporacin de teclados para la entrada de los datos (una idea tomada de las mquinas de escribir), as como dispositivos de impresin. En Espaa destaca el husillo sinfn, una mquina ideada por el ingeniero Leopoldo Torres Quevedo (1852- 1936) que permita el clculo con logaritmos y de la cual se conserva un ejemplar en la sede de la Real Academia de Ciencias Exactas, Fsicas y Naturales.
LA AUTOMATIZACIN DEL CLCULO

Poco despus, Gottfried Wilhelm Leibniz (1646 - 1716) mejoraba la mquina de clculo de Pascal, al disear una mquina que, basada igualmente en el sistema decimal y por medios enteramente mecnicos, era ya capaz de sumar, restar, multiplicar y dividir. Sin embargo, de construccin mucho ms compleja que la Pascalina, la mquina de Leibniz no fue comercializada. Leibniz se percat de que la representacin binaria de los nmeros era igualmente apta para la realizacin mecnica del clculo. La idea de representar todos los nmeros valindose nicamente de los guarismos 0, 1 result tan sorprendente y desconcertante para el filsofo que lleg a asimilar el 0 a la Nada y el 1 a Dios, por cuanto que el uno basta para extraer el todo de la nada (mnibus ex nihil ducendis sufficit unum). En 1679, Leibniz redact un manuscrito sobre el sistema binario titulado De progressio dyadica e ide un instrumento que por medio de un sistema de bolas mviles permita la simulacin del clculo binario. Pero, a pesar del inters mostrado por Leibniz y por otros matemticos de la poca -como el ingls Thomas Hariot, el francs Thomas Fantet y el propio Pascal-, el sistema binario qued relegado durante ms de 300 aos a la categora de simple curiosidad o rareza matemtica.

Alrededor de 1820, el matemtico britnico Charles Babbage (1791 - 1871) pens en la necesidad de una mquina para la confeccin de tablas que redujera al mnimo la intervencin humana. Hijo de una acomodada familia de banqueros, Babbage estaba exasperado por la tremenda cantidad de errores de las tablas matemticas impresas. En la mente de Babbage, estas mquinas deban ser capaces de efectuar automticamente secuencias de operaciones, erradicar los errores de transcripcin y evitar los errores de composicin tipogrfica. Los estudiantes de matemticas de mi generacin todava sabemos por experiencia que calcular a mano con nmeros de muchas cifras sin cometer errores es harto difcil y copiar nmeros de muchos dgitos sin equivocarse es prcticamente imposible. Durante once aos, Charles Babbage ocup la ctedra Lucasian de Matemticas en la Universidad de Cambridge, la misma que desempeara Newton en su da y que hoy ocupa el fsico Stephen W. Hawking. Babbage dedic gran parte de su energa y patrimonio al diseo de dos tipos de

96

PARA QU SIRVEN HOY LOS NMEROS?

"

fi-

Babbage (1791-1871).

mquinas de calcular: la mquina de diferencias y la mquina analtica. La base matemtica de la mquina de diferencias estaba constituida por el denominado mtodo de las diferencias finitas. El mtodo permite determinar valores de funciones polinmicas utilizando nicamente la operacin de adicin. La mquina de diferencias hubiera calculado, e impreso, tablas de funciones trigonomtricas, inters compuesto, logaritmos, etc. Sin embargo, en 1833, y tras diez aos de apoyo financiero destinado a la manufacturacin de sus componentes, el gobierno britnico se retir del proyecto. nicamente lleg a ensamblarse una parte de la mquina, formada por 2000 de las piezas diseadas por Babbage, que funcion a la perfeccin. Segn el proyecto de Babbage, la mquina hubiera constado de 25000 piezas metlicas y medido dos metros y medio de alto, por dos metros de ancho y por casi un metro de fondo. En 1801, el mecnico Joseph-Marie Jacquard haba llevado a la prctica la idea de utilizar unas tablillas de madera perforadas para la realizacin automtica de complicados dibujos en telas. Jacquard dise un telar que teja los dibujos automticamente gracias a las rdenes guardadas en las tarjetas. Babbage pens en extrapolar la idea de Jacquard al diseo de una mquina de calcular, distinta de la mquina de diferencias, cuyas rdenes seran ejecutadas automticamente gracias al uso de tarjetas perforadas. La denomin mquina analtica y solicit el correspondiente apoyo financiero para su construccin, que le fue denegado. El proyecto de Babbage sobre la mquina analtica fue presentado a la Academia de Ciencias de Pars en 1884 por

el ingeniero y general piamonts L. F. Menabrea, uno de los primeros en comprender su alcance. Un informe sobre la mquina analtica, publicado por Menabrea en el Journal de Geneve en 1842, fue traducido al ingls y comentado con abundantes notas por Ada Augusta Byron, condesa de Lovelace (1815 - 1852), ayudante de investigacin de Babbage. Se dice que Ada haba heredado de su madre el talento por las matemticas y de su padre, Lord Byron, la facilidad por los idiomas. En su comentario al texto de Menabrea, Lovelace dice que la mquina analtica tejer motivos algebraicos exactamente como los telares de Jacquard tejen flores y hojas. Sobre los planos, la mquina analtica contaba con un dispositivo de entrada y salida (input- output), una serie de engranajes que formaban un almacn y un molino, que actuaban de forma independiente. El almacn y el molino constituyen un precedente de la memoria y el procesador, respectivamente, de los ordenadores modernos. La mquina tambin estaba dotada de un mecanismo que permita imprimir los resultados. Lovelace elabor instrucciones codificadas en tarjetas perforadas con vistas a su introduccin un da en la mquina analtica. En la Exposicin Internacional de Londres de 1862 se exhibi una maqueta de la misma. Con toda justicia se conoce a Babbage como el abuelo de los ordenadores actuales y a Lovelace como la primera programadora de la historia. A pesar de repetidos fracasos, Babbage mejor el proyecto de la mquina de diferencias diseando una segunda. Por encargo del Museo de la Ciencia de Londres, esta segunda mquina de diferencias fue construida entre 1985 y 1991, utilizando veinte planos del propio Babbage. La mquina, de tres toneladas de peso, funcion a la perfeccin, aunque, con el fin de abaratar los costes la impresora no fue construida. En la poca de Babbage era prcticamente imposible encontrar la financiacin necesaria para la construccin de instrumentos de clculo, de inters puramente cientfico. Sin embargo, la situacin cambi drsticamente en el siglo siguiente, en que los gobiernos emplearan ingentes sumas de dinero en la construccin de imponentes ingenios de clculo. El ingeniero y estadstico Hermann Hollerith retom en 1888 la idea de la utilizacin de tarjetas perforadas, pero con una finalidad disrinta. Hollerith cre un sistema de

Mquina de Hollerith (1890).

97

PILAR BAYER ISANT

de sistemas de ecuaciones algebraicas. Entre 1941 y 1944, Zuse construy dos computadoras electromecnicas, los modelos Z3 y Z4, basadas en el uso de rels electromagnticos. El Z3 era un ordenador ya controlado por un programa, que fue usado por el Instituto Alemn de Aeronutica. Zuse fund su propia compaa que lleg a construir veintin ordenadores. En 1937, G. Stibitz (1904 - 1995), ingeniero de los Bell Telephone Laboratories, utilizando algunos rels de desperdicio y un par de bombillas construy una mquina capaz de sumar en binario. Los rels estaban cableados de manera que las bombillas se encendan cuando la suma era 1 y quedaban apagadas cuando la suma era 0. Posteriormente, Stibitz construy los primeros circuitos binarios que permitan la realizacin de las operaciones aritmticas elementales y la conversin de nmeros decimales a nmeros binarios y viceversa. Stibitz supo interesar a su compaa, que construy, en Mquina perforadora de tarjetas (1890). 1939, el Complex Calculator, basado enteramente en el uso de la aritmtica binaria. Los datos se introducan por codificacin alfanumrico que permita identificar las le- medio de un teletipo, con lo cual la mquina no slo era tras del alfabeto y las cifras del 0 al 9 con una sucesin de capaz de calcular, sino que los datos podan ser introduperforaciones en doce lneas de una tarjeta. La Hollerith's cidos a distancia. En 1942, Stibitz ide tambin la tcnica Tabulating Machine Company, fundada en 1896, se de- de la aritmticaflotante,que permite a la mquina trabajar dic a la comercializacin de mquinas tabuladoras que con nmeros muy grandes. tenan como base las tarjetas perforadas. Las mquinas El Complex Calculator, fabricado en los Bell Telephone fueron empleadas en la elaboracin del censo de los Estados Laboratories, fue la primera calculadora binaria munUnidos en 1890 y en 1900. En 1911, la compaa se dialmente conocida. En un congreso de la American Mafusion con otras dos y, a partir de 1924, la empresa pas thematical Society celebrado en 1940 en Hannover (New a denominarse IBM (International Business Machines). Hampshire), Stibitz conect un teletipo a la mquina, que se encontraba en Nueva York, de manera que los asistentes podan encargarle una tarea y obtener la respuesta EL CLCULO EN LA PRIMERA MITAD DEL SIGLO XX en menos de un minuto. En 1943, IBM construy la mquina ASCC (AutomaLas necesidades de clculo experimentaron un creci- tic Sequence Controlled Calculator), ms conocida como miento vertiginoso en el periodo comprendido entre las Harvard Mark I, una calculadora multifuncin que reados guerras mundiales. Predecir la trayectoria de los tor- lizaba en gran parte el sueo de Babbage. Su construcpedos lanzados por los submarinos o de las bombas lan- cin pudo coronarse con xito gracias a un proyecto piozadas por los aviones, a fin de mejorar su puntera, son pro- nero en I + D (como diramos hoy) entre la Universidad blemas cuya resolucin conduce a la integracin numrica de Harvard y la empresa IBM. El fsico H. Aiken, que code ecuaciones diferenciales y, en consecuencia, a proce- noca los trabajos de Babbage, se puso en contacto con sos de clculo numrico demasiado largos para ser reali- IBM, que financi el proyecto y aport su experiencia. zados a mano. Descifrar las comunicaciones cifradas in- La mquina, aunque era esencialmente mecnica, utiliterceptadas al enemigo, mediante mtodos eficaces y fiables, zaba rels y embragues accionados por electroimanes. Pesin conocer la clave, conlleva la resolucin de sistemas de saba cinco toneladas y meda 16 metros de largo, 2.60 meecuaciones algebraicas y de problemas de combinatoria tros de alto y 60 centmetros de fondo. Poda calcular demasiado largos asimismo para su resolucin con los ins- tablas de funciones trigonomtricas, de logaritmos, de trumentos al uso. La regla de clculo y las calculadoras de funciones exponenciales, etc. Las rdenes eran introducisobremesa -primero mecnicas y ms tarde elctricas- re- das mediante tarjetas perforadas. En un principio, la msultaron muy pronto insuficientes para tales cometidos y quina estuvo destinada a cubrir las necesidades de clcucedieron el paso a los primeros ordenadores analgicos. lo de la marina de los Estados Unidos. Ms adelante se Antes de la Segunda Guerra Mundial, el ingeniero ale- crearon otras calculadoras de la misma serie: Mark II, mn Konrad Zuse (1910 -) haba diseado una familia Mark III y Mark IV. Es importante destacar que estas mde computadoras que utilizaron desde el primer momen- quinas eran ms fiables que el ENIAC (del que hablareto el sistema de numeracin binario. Sus modelos Zl y Z2 mos a continuacin) aunque ms lentas. Las mquinas (denominados de acuerdo con la inicial de su apellido) utilizaban el cdigo BCD (Binary Coded Decimal), que todava eran mecnicos y tenan por finalidad la resolucin codificaba cada cifra dgito decimal de forma binaria, a fin
98

PARA QU SIRVEN HOY LOS NMEROS?

Detalle del ENIAC.

de introducir los datos en la calculadora. AI no codificarse los nmeros, sino slo cada una de sus cifras, la mquina efectuaba las operaciones como si trabajara en base 10. A partir de 1940, el gobierno de los Estados Unidos inici una preparacin de personal cientfico especficamente orientada a una posible entrada del pas en la Segunda Guerra Mundial. Parte de la comunidad matemtica fue entrenada en la resolucin de problemas de balstica, aeronutica, criptografa, clculo de probabilidades y estadstica que surgan constantemente a raz de la situacin blica. La direccin de estos programas fue confiada a los matemticos John von Neumann (1903-1957), del Instituto de Estudios Avanzados de Princeton, y a Norbert Wiener (1894-1964), del Instituto de Tecnologa de Massachusetts (MIT). Para contrarrestar la superioridad de la artillera alemana puesta de manifiesta en el transcurso de la Primera Guerra Mundial, el ejrcito de los Estados Unidos fund el Laboratorio de Investigacin Balstica (BRL). A fin de que la ingente cantidad de armas fabricada pudiera ser usada en los frentes de batalla se hizo necesaria la elaboracin de tablas de balstica. Cada can y cada tipo de proyectil susceptible de ser empleado requera una tabla con los datos numricos de las posibles trayectorias. Cada una de estas tablas contena entre 2000 y 4000 trayectorias. Al inicio de la Segunda Guerra Mundial, el clculo de una trayectoria realizado con una calculadora de sobremesa requera unas veinte horas. Las personas calculadoras (computen) procedan de la Escuela Moore de Ingeniera Elc99

trica, adscrita a la Universidad de Pensilvania. A medida que avanzaba la guerra, las calculadoras humanas no daban a basto. En 1943 se firm un contrato por el cual la Escuela Moore se comprometa a la realizacin del ENIAC (Electronic Numerical lntegrator and Computer), una mquina electrnica, precursora de los primeros ordenadores. La mquina estuvo terminada en 1945 y al principio su principal usuario fue el personal del Laboratorio de Investigacin Balstica. La tcnica empleada en el ENIAC se basaba en el paso de electrones por tubos de vaco (las vlvulas de las antiguas radios). La mquina inclua 18000 tubos de vaco, as como 1500 rels telefnicos. El tiempo que requera para hacer una operacin elemental era de 24 milisegundos. Pesaba 30 toneladas y estaba constituido por cuarenta paneles de 3 metros de alto, 60 centmetros de ancho y 30 centmetros de fondo. Puesto que la vida media de cada vlvula era de unas 3000 horas, era de esperar que cada diez minutos se fundiera una, por lo que deba ser reparado constantemente. La mquina utilizaba el sistema de numeracin decimal. Posea un lector de tarjetas perforadas capaz de leer 120 tarjetas por minuto. El ENIAC fue la primera calculadora analtica multifuncin enteramente electrnica. Una vez finaliza la guerra, el ENIAC pudo emplearse para la computacin cientfica y fue utilizado en muchos clculos relativos a fsica nuclear y en los primeros clculos de meteorologa numrica. Como hecho curioso, citemos que el ENIAC fue capaz de calcular

PILAR BAYER ISANT

VACVUM TVBES
These are gome of the nearly 18,000 acuum tubos contained n ENIAC.

<%.%

Detalle del ENIAC.

Los elevados costes de las investigaciones encaminadas a la mejora de los ordenadores ocasionaron la fusin de diversas empresas en grandes compaas. El camino recorrido desde el aparatoso ENIAC hasta los rpidos ordenadores que pueblan nuestras mesas es realmente espectacular. Durante ms de cincuenta aos, la informtica ha experimentado revoluciones casi ininterrumpidamente. En 1947, los Bell Telephone Laboratories, adscritos en la poca a la compaa AT&T, fabricaron los primeros transistores, con lo que tena lugar el nacimiento de la microelectrnica. Los transistores reemplazaron con ventajas a los tubos de vaco, ya que ofrecan un menor consumo de corriente, una menor produccin de calor, un tamao mucho ms reducido y una vida media casi ilimitada. Sus inventores, W. B. Shockley, J. Bardeen y W. H. Brattain, recibieron por tal motivo el premio Nobel de Fsica en 1956. A finales de los aos cincuenta, J. Kilby, de Texas Instruments, y R. N. Noyce, de Fairchild Semiconductors, encontraron la manera de integrar todos los constituyentes de un circuito electrnico (transistores, resistencias, condensadores, etc.) y sus correspondientes interconexiones en la superficie de un chip, lo que supuso la aparicin de los primeros circuitos integrados. En 1970, Intel fabricaba el primer microprocesador. El constante perfeccionamiento experimentado en el proceso de fabricacin de los chips ha determinado la extraordinaria evolucin de la microelectrnica en los ltimos aos. Desde la finalizacin de la Segunda Guerra Mundial, las gentes de Silicon Valley han puesto de manifiesto que la paz tambin puede ser rentable.

ms de 2000 dgitos de la expresin decimal de Jt. Se estima que en sus diez aos de funcionamiento esta mquina realiz ms clculos que el resto de la humanidad hasta entonces.
AVANCES TECNOLGICOS

Al finalizar su proyecto con la Armada de los Estados Unidos, los principales artfices del ENIAC, los fsicos J. Presper Eckert (1919 -) y John William Mauchly (1907 1980) fundaron en 1947 la primera compaa informtica de la historia: Eckert-Mauchly Computer Corporation (EMCC), cuyo principal producto comercializado fue el UNIVAC (Universal Automatic Computer). El UNIVAC inclua programas para almacenamiento de datos, siguiendo una idea de Von Neumann. Posea una memoria principal de mil palabras, una memoria secundaria sobre una cinta magntica y dispositivos de input-output: mquinas de escribir, tarjetas, impresora. El UNIVAC fue el primer ordenador comercializado. En el ao 1948, la mquina IBM SSEC fue utilizada para calcular tablas de posicin de la Luna, de importancia para los posteriores viajes espaciales. La calculadora SAGE 1950, diseada en el MIT, sera utilizada en la guerra fra. 100

PARA QU SIRVEN HOY LOS NMEROS?

En el ao 2000, J. Kilby reciba el premio Nobel de Fsica por su invencin del chip, compartido con Z. Alferov y H. Kroemer. Estos ltimos lo reciban por sus trabajos en optoelectrnica -la tecnologa que hace posible la transmisin de seales por cable de fibra ptica.
LA TEORIA MATEMTICA DE LA INFORMACIN

Siguiendo un esquema bien conocido por los lingistas, en toda transmisin de informacin cabe distinguir una
fuente emisora, un canal de transmisin y una fuente recep-

tora. El nacimiento de la teora matemtica de la informacin se sita en los aos 1940 y, desde entonces, esta nueva rama de la matemtica no ha dejado de progresar. La teora de los cdigos correctores de errores y la criptologa numrica son partes integrantes de la misma. El objetivo de la teora de los cdigos correctores de errores es la fidelidad de las transmisiones y el objetivo de la criptologa es su privacidad. Captulos clsicos de la matemtica encuentran una aplicabilidad que hubiera sido impensable hace unos aos. Tal es el caso de la teora de nmeros, que a su carcter de disciplina bsica ha aadido en la actualidad importantes aplicaciones en teora de cdigos y en criptologa.
LA TEORA DE LOS CDIGOS CORRECTORES DE ERRORES Claude Shannon (1916-2001).

En los aos cuarenta del siglo XX, los Bell Telephone Laboratories decidieron crear un centro de investigacin matemtica cuya finalidad principal era la correccin de errores producidos en la transmisin de seales digitales. Entre los primeros matemticos contratados por los laboratorios Bell se encontraban R. W. Hamming (1915 1998) y C. Shannon (1916 - 2001). Al digitalizar la informacin en forma de ceros y unos, los cambios en alguno de estos dgitos eran harto frecuentes, llegando incluso a producir una parada de las mquinas. Ello era especialmente lamentable durante los fines de semana, puesto que las mquinas podan quedar detenidas durante muchas horas. El propio Hamming relata la perplejidad de unos matemticos colocados al frente de unas mquinas que no acababan de funcionar. Tenan la impresin, nos cuenta, de que deban hacer algo no convencional en un medio no convencional. La idea de Hamming consisti en completar bloques de bits, antes de proceder a su transmisin, con bits adicionales, de tal forma que los posibles errores de transmisin pudieran ser detectados y/o corregidos por la fuente receptora. El bit de paridad proporciona un ejemplo de cdigo detector de. errores. Imaginemos que codificamos determinada informacin por medio de palabras de siete bits. A continuacin, completamos cada palabra con un octavo bit, igual a 0 si la suma de los siete bits anteriores es par, e igual a 1, si es impar. Si en la transmisin de la palabra de

ocho bits se produce un error, ste ser detectado por la mquina, puesto que la palabra recibida no va a satisfacer el criterio de paridad. El denominado bit de paridad es un cdigo detector de un error. No obstante, es incapaz de indicarnos cul es el bit equivocado, por lo que no es un cdigo corrector de errores. Si se hace uso de este cdigo, cada siete bits de informacin se vern completados con un bit de control. Los cdigos de repeticin proporcionan ejemplos de cdigos correctores de errores. Acordemos, por ejemplo, en triplicar cada bit antes de su transmisin. Si se recibe una secuencia de la forma 111, la mquina la interpretar como correcta. Pero si se recibe una secuencia de la forma 001, es seguro que se habr producido algn error. Puesto que es ms probable que la secuencia correcta sea 000 que 111, podremos programar la mquina para que corrija el bit equivocado; en este caso, la mquina cambiar la palabra 001 por la palabra 000. Si usamos este cdigo, cada bit de informacin se completar con dos bits de control. El cdigo de repeticin triple es capaz de corregir un error en cada bloque de tres bits, pero, obviamente, triplica el coste de las transmisiones. En general, tanto los cdigos detectores de errores como los cdigos correctores de errores obedecen al mismo principio: alargan palabras de longitud k en palabras de longitud n mediante la adicin de bits de control. La razn k/n se denomina la tasa de transmisin del cdigo.

101

PILAR BAYER ISANT

Un concepto bsico en teora de cdigos lo constituye la denominada distancia de Hamming. Dos palabras se dice que estn a distancia r cuando difieren en rbits exactamente. Si la distancia mnima entre dos palabras de un cdigo es d= 2e + 1, o bien d= 2e+ 2, el cdigo ser capaz de corregir e errores. El cociente din se conoce como la distancia mnima relativa del cdigo. A igualdad de errores corregidos por bloque, los cdigos ms econmicos sern aquellos cuya tasa de transmisin sea ms alta; es decir, est ms cercana a la unidad. En 1948, Shannon demostr que en todo canal de transmisin expuesto a ruidos y sin memoria existe un esquema de codificacin cuya probabilidad de error es tan pequea como se quiera, siempre que la informacin se transmita con tasa de rendimiento inferior a la capacidad del canal y los mensajes a transmitir sean suficientemente largos. (Todos los conceptos que aparecen en el teorema de Shannon se pueden modelizar matemticamente.) A pesar de la influencia enorme del teorema de Shannon en teora de cdigos, debemos advertir que este teorema no es constructivo. Dado un caso particular, el teorema de Shannon nada nos dice acerca de cmo disear un cdigo adecuado; nicamente garantiza su existencia. Con el tiempo se ha visto que el diseo de cdigos cuyas constantes fueran prximas a las que predice la teora de Shannon no es nada fcil. Hamming dise en 1950 una familia de cdigos correctores de errores que mejoraban los cdigos de repeticin. El cdigo de Hamming ms sencillo alarga palabras de cuatro bits en palabras de siete bits:
(x, y, z, t) (x, y, z, t, x + y + z, y + z + t, x + y + i).

Su tasa de transmisin es, por tanto, 0.57. El conjunto de palabras de longitud cuatro que podemos formar con dos bits posee 16 elementos; ste es asimismo el nmero de palabras codificadas, cuyo conjunto constituye el cdigo. Por otra parte, el conjunto de palabras de longitud siete que podemos formar con dos bits posee 128 elementos. Cualquiera de estas palabras de siete bits difiere a lo sumo en un bit de una palabra del cdigo. Con ello, el cdigo de Hamming es capaz de corregir un error en cada bloque de siete bits. Por ejemplo, si se recibe la palabra 1011110, el cdigo la dar por equivocada y la corregir por la palabra 1001110. Los ejemplos anteriores pertenecen a la amplia familia de los cdigos lineales. En los cdigos lineales, las palabras se interpretan como vectores de un espacio vectorial sobre un cuerpo finito y el alargamiento de las mismas con bits de control se realiza mediante el concurso de una aplicacin lineal cuya matriz se denomina la matriz generadora del cdigo. La deteccin de los errores se efecta asimismo por otra matriz, denominada matriz de control. Otro aspecto muy importante a tener en cuenta en el diseo de los cdigos es que el algoritmo de correccin de errores debe efectuarse sin que sea demasiado costoso en tiempo. En el diseo de buenos cdigos correctores de errores interviene un gran nmero de recursos algebraicos.

El cuerpo finito ms sencillo es el cuerpo de dos elementos F, = {0,1}. Pero, para cada potencia q = p1'de un nmero primo />, existe un cuerpo F(/ que posee exactamente q elementos. El estudio de los cuerpos finitos se inicia en el siglo XIX, con E. Galois, y est ligado directamente al problema de la resolucin por radicales de las ecuaciones algebraicas. Los cuerpos finitos ms sencillos son los cuerpos p= Z//>Z, formados por las clases de restos mdulo un nmero primo. Muchas de sus propiedades se encuentran ya demostradas en las Disquisitiones arithmeticae de C. F. Gauss. Los cdigos correctores de errores diseados por I. S. Reed y D. E. Muller, en 1954, fueron utilizados por la nave espacial Mariner9, en 1972, para la transmisin de fotografas en blanco y negro de Marte. Los cdigos diseados por M. Golay, en 1948 (basados en teora de grupos), fueron utilizados por el Voyager, en los aos 1979-1981, para la transmisin de fotografas en color de Jpiter y Saturno. R. C. Bose, D. K. Ray-Chaudhuri y A. Hocquenghem disearon los cdigos (BCH) usados por la NASA. Redd Solomon cre los cdigos (RS) usados por Philips en los discos compactos (CD). El diseo de los discos en formato DVD representa un gran avance con respecto al de los CD. El mtodo de codificacin de los discos compactos transforma ocho bits de usuario en 17 bits de cdigo modulador. En el DVD, ocho bits de usuario se completan en tan slo 16 bits de cdigo modulador. Tal caracterstica hace que su eficacia sea alrededor de un 6 % mayor. El matemtico ruso V. D. Goppa puso de relieve en 1977 que la teora subyacente a los cdigos lineales quedaba mejor explicada a la luz de teoremas clsicos de geometra algebraica, siempre que stos fueran trasladados al marco de la geometra algebraica sobre cuerpos finitos. La geometra algebraica sobre cuerpos finitos es una rama de la matemtica desarrollada en los ltimos cincuenta aos y que ha proporcionado resultados tericos muy profundos. La idea bsica de Goppa consiste en la utilizacin del clsico teorema de Riemann-Roch para el cmputo de las principales constantes asociadas al cdigo. La construccin efectiva de cdigos de Goppa requiere, a su vez, la construccin efectiva de curvas algebraicas sobre cuerpos finitos con un gran nmero de puntos sobre su cuerpo de definicin, que deben asimismo conocerse efectivamente. Tal hecho ha conllevado un aumento del inters por la resolucin efectiva de problemas diofnticos, constituyendo una de las ramas ms activas y atractivas de la teora de nmeros computacional. Se ha visto que las fibras de modelos enteros de las llamadas curvas de Shimura proporcionan curvas definidas sobre cuerpos finitos con buenas propiedades para su utilizacin en el diseo de cdigos. Las curvas de Shimura, cuyo desarrollo terico se inici en la dcada de 1950, son una de las herramientas bsicas en la clebre demostracin de A. Wiles del teorema de Fermat. En su tratamiento confluyen tcnicas de geometra hiperblica, anlisis complejo, anlisis /sdico, lgebra no conmutativa y aritmtica no conmutativa.

102

PARA QU SIRVEN HOY LOS NMEROS?

Voyagers 1 y 2
Visor de ngulo estrecho Visor de ngulo grande Plasma Espectrmetro de ultravioleta Espectrmetro de infrarojo y radimetro Fotopolarmetro Rayo csmico Detector de partculas cargadas de baja energa

Equipo electrnico para el bus Objetivo y radiador de calibracin

Antena de elevada ganancia (3,7 m. 12 pies de dimetro)

Radio astronmica planetaria y antena de ondas de plasma (2)

Magnetmetro de campo intenso (2)

Magnetmetro de campo dbil (2)

Generador termoelctrico de radioistopos

Los cdigos de Golay fueron utilizados por el Voyager.

103

PILAR BAYER ISANT

Meteorologa

Geodesia

Oceanografa Geologa Navegacin

Astronoma Noticias

Quinientos satlites artificiales orbitan alrededor de la Tierra. LA SEGURIDAD EN LA RED

En todas las pocas, los humanos han sentido la necesidad de enviar mensajes a determinados destinatarios que estuvieran protegidos del acecho de terceros. Los orgenes de la criptologa, o arte que se encarga del cifrado y descifrado de mensajes, se pierden en el tiempo. Las modernas tecnologas parece que no hacen sino incrementar las necesidades de cifrado en la transmisin de informacin. Multitud de datos circulan hoy por la red requiriendo tratamientos criptogrficos seguros. Desde el punto de vista matemtico, ello constituye un reto, puesto que se trata de lograr criptosistemas que sean a la vez econmicos y fiables. Los mtodos de cifrado clsicos y los modernos difieren en un punto esencial. En los mtodos clsicos, emisor y receptor acuerdan la clave de cifrado y la clave de descifrado, antes de la transmisin del mensaje. El conocimiento de la clave de cifrado es equivalente al de la clave de descifrado, pues basta invertir la primera. Estos sistemas de cifrado se denominan de clave privada. Mediante procedimientos combinatorios, por ejemplo, pueden crearse claves privadas que ofrezcan un buen grado de seguridad. Sin embargo, todos los sistemas de clave privada adolecen de un defecto: el momento del intercambio de claves suele ser altamente inseguro. Ello es

bien sabido por los criptoanalistas, o espas, que harn todo lo posible para hacerse con las claves, mediante procedimientos que suelen tener poco de cientficos. La criptologa dio un giro espectacular en 1976, gracias a una idea de W. Diffie y M. E. Hellman, quienes propusieron hacer pblica la clave de cifrado. En los denominados criptosistemas de clave pblica, cualquier emisor puede mandar informacin cifrada a un receptor mediante el uso de la clave pblica de ste. El receptor puede ser un banco, Hacienda, un hospital, un particular, o una entidad comercial cualquiera. Sin embargo, slo el receptor debe estar en condiciones de leer la informacin cifrada que le mandan los emisores. La pregunta es: cmo puede conseguirse esto? Diffie y Hellman propusieron utilizar en la clave de cifrado funciones de un solo sentido -en el supuesto que tales funciones existan-. Se trata de utilizar una funcin en el cifrado del mensaje que sea poco costosa en tiempo de computacin, pero cuya funcin inversa sea muy costosa en tiempo de computacin mediante los ordenadores de que se dispone en la actualidad. Sin embargo, la funcin de descifrado ha de ser poco costosa de calcular si se dispone de informacin suplementaria. Esta informacin suplementaria est en manos del receptor de los mensajes, pues es quien ha elaborado la clave pblica de cifrado. 104

PARA QU SIRVEN HOY LOS NMEROS?

La idea de Diffie y Hellman se ha implementado de maneras diversas. En 1977, Rivest-Shamir-Adleman creaban el criptosistema de clave pblica RSA, uno de los ms populares. En 1978, McEliece daba a conocer una familia de criptosistemas basados en la teora de los cdigos correctores de errores. En 1985, T. ElGamal ideaba el criptosistema del logaritmo discreto. Y, en 1993, A. J. Menezes y S. A. Vanstone implementaban criptosistemas basados en la aritmtica de las curvas elpticas. En el mtodo RSA, la clave pblica est constituida por un par de nmeros (N, a), el primero de los cuales, N, es igual al producto de dos nmeros primos/), q, N=pq. Una vez cortado el mensaje en unidades suficientemente pequeas, su cifrado se lleva a cabo mediante la funcin potencial y = x'1, de exponente a, calculada en el grupo multiplicativo de Z/NZ. Este clculo puede hacerse a gran velocidad, bastando para ello la expresin de a en base 2, que reducir la potenciacin a sucesivas elevaciones al cuadrado. El descifrado se lleva a cabo mediante la potenciacin con otro exponente, que denotaremos por b. A fin de recuperar el mensaje inicial, la cantidad ab - 1 debe ser mltiplo de (p \){q- 1). Por tanto, el clculo del exponente b requiere previamente el conocimiento de los factores primos p, q. Vemos, por tanto, que la seguridad del cifrado RSA est directamente relacionada con la dificultad de descomponer el entero A^ en factores primos. Notemos que esta dificultad no existe para el receptor de los mensajes, puesto que ste ha creado su clave pblica a partir de dos nmeros primos p, q, suficientemente altos. El nmero de claves pblicas que podemos crear en el sistema RSA dentro de un intervalo depende de la densidad de los nmeros primos en el intervalo citado. Para la eleccin de estos primos son asimismo necesarios generadores de nmeros aleatorios y tests probabilsticos de primalidad. A medida que los nmeros crezcan, los clculos sern ms costosos. El mtodo de ElGamal se basa a su vez en la dificultad de resolver eficazmente el problema del logaritmo discreto en determinados grupos finitos. Los grupos en cuestin se construyen mediante grupos multiplicativos de clases de restos, de cuerpos finitos, o de puntos de torsin de curvas elpticas. En general, el diseo de sistemas criptogrficos de clave pblica est directamente relacionado con problemas de complejidad computacional. Un problema se dice de clase P(o de tiempo polinmico) si existe un algoritmo que permite su resolucin en un tiempo acotado por una funcin polinmica en el nmero de bits de los datos del problema (input). Se supone que el algoritmo se implementa en una mquina de Turing, idealizacin de los ordenadores actuales. Un problema se dice de clase NP (o de tiempo polinmico no determinista) si en un tiempo polinmico se puede comprobar que una pretendida solucin es, de hecho, una solucin. Uno de los problemas fundamentales que tiene planteada la teora de la computacin es saber si P * NP.

Si cogemos un entero Nde unas 30 cifras y lo pretendemos factorizar por el mtodo directo de las divisiones sucesivas hasta su raz cuadrada, teniendo en cuenta que el nmero de primos inferiores a lO15 es 29844570422669, un ordenador capaz de realizar 10 divisiones por segundo tardar ms de ocho horas. Aunque se conocen diversos algoritmos de factorizacin, como el de D. Shanks (1969), de Fermat-Pollard (1974), de Brilhard-Morrison (1975), de H. W. Lenstra (1985), o los mtodos de criba, que reducen el clculo anterior a segundos en uno de nuestros ordenadores de sobremesa, el mejor resultado que se ha podido demostrar es que tales algoritmos son de tiempo subexponencial. Hoy por hoy no se sabe si el problema de la factorizacin o bien el problema del logaritmo discreto son de clase P, por medio de algoritmos implementados en una mquina de Turing. Puede decirse que la seguridad de los actuales mtodos criptogrficos se apoya en la ignorancia: por una parte, no se conocen en los medios acadmicos mtodos de factorizacin suficientemente eficaces y, por la otra, no se saben construir ordenadores suficientemente rpidos, capaces de convertir tiempos de ejecucin exponenciales o subexponenciales en tiempos polinmicos. Desde el punto de vista terico, tampoco se ha podido probar que existan funciones de un solo sentido, que son las que preconiza el mtodo de Diffie y Hellman. La experiencia indica, sin embargo, que hay funciones que se comportan como tales. El xito de los sistemas criptogrficos de clave pblica no implica, ni mucho menos, que se hayan relegado al olvido los sistemas criptogrficos de clave privada. De hecho, se utilizan ambos a la vez. Los sistemas criptogrficos de clave pblica son utilizados para transmitir de forma segura las claves de los sistemas criptogrficos de clave privada. La razn de obrar as es que, en general, los clculos en los sistemas criptogrficos de clave pblica son mucho ms laboriosos.
DEL BIT AL QUBIT

En 1997, la criptologa experiment otro cambio digno de tenerse en cuenta. Peter Shor sorprendi a la comunidad cientfica con el diseo de un algoritmo para la factorizacin de enteros en producto de nmeros primos en tiempo polinmico, caso de que su implementacin pudiera realizarse en un ordenador cuntico. El mismo Shor dio la solucin al problema de logaritmo discreto, tambin en tiempo polinmico, haciendo uso asimismo de la computacin cuntica. Dicho brevemente: un criptoanalista que estuviera en posesin de un ordenador cuntico podra romper todas las claves pblicas de cifrado empleadas en la actualidad. Para romper la clave en el mtodo RSA, Shor utiliza el ordenador cuntico en el clculo del orden de un entero x mdulo N, elegido al azar. Despus esta informacin es usada en la factorizacin de N que puede in-

105

PILAR BAYER ISANT

cluso llevarse a cabo en una mquina de Turing, en tiempo polinmico. Siguiendo el paradigma de la mecnica cuntica, un ordenador cuntico no producira una respuesta, sino una superposicin de todas las respuestas posibles afectadas de distintas probabilidades. En la computacin cuntica, el formalismo de la computacin electromagntica es sustituido por el de la computacin cuntica. El bit es reemplazado por el qubit (o bit cuntico). Un qubit es un estado cuntico I cp) = ex I 0) + (3 I 1), en donde a, P denotan nmeros complejos tales que a I2 + I P I2 = 1. Desde el punto de vista matemtico, un qubit es un nmero cuaternio de Hamilton de norma 1, por lo que su manejo entra de lleno en el terreno de la aritmtica no conmutativa. Desde el punto de vista fsico, un qubit se interpreta como el bit I 0), afectado de la probabilidad I a I2, y el bit I 1), afectado de la probabilidad I P I2. La computacin cuntica exige cambios sustanciales en el diseo de los algoritmos. Las puertas lgicas empleadas en las mquinas de Turing se ven sustituidas por puertas cunticas. Las primeras tienen por base el lgebra de Boole; las segundas, los espacios de Hilbert y sus transformaciones unitarias. En la actualidad, los ordenadores cunticos existen nicamente sobre el papel y en la mente de algunas personas. Pero acaso la historia no nos muestra que las visiones de los cientficos, tarde o temprano, acaban por materializarse?

Un superordenador.

(Parmetros de la partcula)

1,5 eV

106

PARA QU SIRVEN HOY LOS NMEROS?

19. Mahon, T. (1986) Las gentes de Silicon Valley. Ed.: Planeta. 1. Bailey, Ronald H. (1997) La Segunda Guerra Mundial. 20. Martn Casalderrey, Francisco (2000) Cardanoy Tartaglia. Las matemticas en el Renacimiento italiano. La El frente civil: Los Estados Unidos I-II. Ed.: Ediciones matemtica en sus personajes, v. 4. Ed.: Nivola. Folio, S. A. 2. Bauer, Friedrich L. (2000) Decrypted Secrets. Ed.: 21. Morgan, Samuel, P. (1998) Richard Wesley Hamming (1915-1998). Notices AMS, v. 45, n. 8, 972Springer. 982. 3. Bell, Alan D. (1996) La prxima generacin de dis22. National Council ofTheachers of Mathematics cos compactos. Investigacin y Ciencia 240, 4-9. (NCTM) (1969) National Topicsfor the Mathematics 4. Boyer, Cari B. (1999) Historia de la Matemtica. Ed.: Classroom. Thirty-first Yearbook. Washington. Alianza Editorial. 5. Cardwell, Donald (1994) Historia de la tecnologa. Ed.: 23. Peralta, Javier (1999) La matemtica espaolay la criAlianza Editorial, Coleccin Alianza Universidad. sis definalesdel siglo XIX. Ciencia abierta, v. 1. Ed.: Nivola. 6. Cebrin, Juan Luis (2000) La red. Ed.: Punto de Lectura. 24. Perera Domnguez, Manuel (1999) ENIAC, matemticas y computacin cientfica. La Gaceta de la 7- Ciencia, Tecnologa i Ambient, Anuari 1998. (1999). Real Sociedad Matemtica Espaola, v. 2, n. 3, 495Enciclopedia Catalana. 518. 8. Diccionario Oxford de Informtica (1983). Ed.: Edi25. Pa, Josep (1966) Calligraphia et tipographia. Arhtciones Daz de Santos. metica et numrica. Chronologia. Ctedra i Unitat de 9. Flegg, Graham (1989) Numbers Through the Ages. Paleografa i Diplomtica. Ed.: Publicacions UniverEd.: The Open University. MacMillan. sitat de Barcelona. 10. Gauss, Cari Friedrich (1996) Disquisicions aritmetiques. Traduccin al cataln por G. Pascual (1801) Disqui- 26. Rahman, A. (ed.) (1998) History oflndian Science, sitiones Arithmeticae. Ed.: Societat Catalana de MaTechnology and Culture AD 1000-1800. Ed.: Oxford temtiques, Institut d'Estudis Catalans. University Press. 11. Garca Barreno, Pedro (dir.) (2000) La Ciencia en tus 27. Santcliment, Francesc (1482): Summa de l'art dAritmanos. Ed.: Espasa Calpe, Coleccin Espasa Frum. mtica. Introducci i notes a cura d'Antoni Malet. 12. Guedj, Denis (1998) El imperio de las cifras y los nEd.: Eumo Editorial, 1998. meros. Biblioteca de Bolsillo CLAVES. Ed.: Ediciones 28. Shor, Peter (1997) Polynomial-time algorithms for priB, S.A. me factorization and discrete logarithms on a quantum 13. Hilton, Peter (1996) Enigma, book review. Notices computen SIAMJournalofComputinglG, 1484-1509. AMS, v. 43, n. 6, 681-682. 29. Singh, Simn (2000) Los cdigos secretos. Pequea gran 14. Ifrah, Georges (1997): Historia Universal de las cifras. historia. Ed.: Debate. Ed.: Espasa Calpe, Coleccin Espasa Frum. 30. Stein, Dorothy (1985) Ada Byron. A Ufe anda legacy. 15. Jean, Georges (1998) La escritura, memoria de la huEd.: MIT Press. manidad. Biblioteca de Bolsillo CLAVES. Ed.: Edi- 31. Tahn, Malba (1998) L'home que calculava. Ed.: Ediciones B, S.A. torial Empries. 16. Kaku, Michio (1998) Visiones. Temas de debate. Ed.: 32. Vera, Francisco (1970) Cientficos Griegos I, II. Ed.: Editorial Debate, S. A. Aguilar. 17. Lo, Hoy-Kwong; Popescu, Sandu; Spiller, Tim (eds.) 33. Vernet, Juan (1999) Lo que Europa debe al Islam de Es(1998) Introduction to Quantum Computation and Inpaa. El Acantilado, 2. Ed.: Quaderns Crema. formation. Ed.: World Scientific. 34. Von Neumann, John (1958) El ordenador y el cere18. MacWilliams, F. Jessie y Sloane, N. J. Alexander bro. Ed.: Bon Ton. (1977) The Theory of Error-Correcting Codes. Ed.: 35. Yan, Song Y. (2000) Number Theory for Computing. North-Holland. Ed.: Springer.
BIBLIOGRAFA

107