Introduccin

Las aportaciones de los matemticos a la computacin durante el siglo XX

es una tarea por dems difcil. La computacin se erigi como una disciplina
de un puado de matemticos. De tal forma se limitar a hablar de un
pequeo conjunto de matemticos que han tenido mayor impacto en el
desarrollo de la computacin.
La teora de la Informacin
Claude Elwood Shannon fue un joven que deseaba ser ingeniero elctrico,
pero que se senta atrado por las matemticas. Naci el 30 de abril de 1916
en Gaylord, Michigan.
Asisti a la universidad de Michigan, y luego al instituto Tecnolgico de
Massachusetts se sinti fascinado con el funcionamiento de los relevadores
del analizador diferencial. Shannon decidi utilizar el lgebra Boleana para
simplificar el diseo de circuitos. Su tesis A Symbolic Analysis of Relay and
Switching Circuits contituye una de las publicaciones ms importantes de
la ingeniera elctrica y la computaci. Mostr la forma en que una
computadora poda realizar no slo operaciones aritmticas, sino tambin
lgicas usando un alfabeto binario.
El Director del Departamento de Matemticas de Laboratorios Bell lo invit a
trabajar en aquella institucin. Fue ah donde Shannon public Teora
Matemtica de Comunicaciones que lo inmortalizara como el padre de la
teora de la informacin. Proporcion teoremas que sugeran la manera de
efectuar de forma eficiente la transmisin de mensajes ante la presencia de
ruido. Fue pionero en la inteligencia artificial. Lo que lleg a intrigar a
Shannon fue el proceso de aprendizaje mismo y la forma en que ste podra
automatizarse. Convencido que sera posible construir una mquina capaz
de aprender, diseo un ratn mecnico llamado Teseo, que era puesto en un
laberinto, del cual intentara salir, puede considerarse como la primera
mquina diseada para aprender una tarea.
Se retir en 1978. Actualmente vive en Winchester, Massachusetts, donde
suele encontrrsele en un stano gigantesco trabajando en su pasatiempo
favorito: el malabarismo.
El modelo matemtico de una Computadora.
La idea de usar el sistema binario para procesar informacin parece haberse
originado en los 1930s. Los franceses R. Valtat y Louis Couffignal
propusieron mquinas basadas en un sistema binario.
El establecimiento de un modelo terico de una computadora, lo produjo un
excntrico matemtico llamado Alan Mathison Turing.
En 1900 David Hillbert presento una potencia titulada Problemas
Matemticos. En ella plante 23 problemas no resueltos que l consideraba
de gran importancia. Muchos de estos problemas se han resuelto, y se ha
demostrado que otros carecen de solucin. Lo que ms preocupaba a
Hillbert es la integridad de las matemticas. Por ello l mismo se dio la tarea
de demostrar la consistencia de las matemticas. Segn Hilbert, no deba
haber inconsistencias ni contradicciones en las matemticas.

Bertrand Russell y Alfred North Whitehead se contaban entre los que se

atrevan a contradecir al Hilbert. Hilbert no estaba solo, y algunas otras
grandes mentes matemticas de la poca, como John von Neumann, se
sumaron a su esfuerzo.
En 1930 un joven lgico austriaco llamado Kurt Gdel, prob que no puede
demostrarse siquiera que la aritmtica est libre de contradicciones en el
sentido concebido por Hilbert.
La demostracin de Gdel se considera una de las ms importantes y sus
implicaciones tienen un fuerte efecto en la computacin.
Aqu aparece el artculo publicado por Turing que muchos consideran como
el ms importante en la historia de la computacin On Computable
Numbers with an Application to the Entscheidungsproblem.
Para su demostracin, Turing us un modelo terico sumamente simple de
una computadora. Este modelo consista de una cinta de longitud infinita
dividida en cuadros en cada uno de los cuales poda colocarse un solo
smbolo de un cierto alfabeto. Las funciones eran leer, escribir o borrar un
smbolo en la cinta.
Turing demostr que hay una cantidad infinita de problemas que una
computadora nunca podr resolver.
Church y Stephen Kleene desarrollaron un formalismo llamado calculo
lambda
Emil Leon Post haba ledo el artculo de Church. Post propuso la nocin de
que un mtodo definido seria a que pudiese ser escrito en la forma de
instrucciones para un trabajador no pensante operando en una lnea
infinita de cajas. Post sera despus recordado por su definicin de
computacin en trminos de reglas de reescritura.
Alan Turing diseo tambin una computadora electrnica inspirada en su
modelo matemtico. Un aparente suicido con cianuro interrumpi
prematuramente la carrera de este brillante matemtico ingles en 1954.
La guerra de los Matemticos.
La Segunda Guerra Mundial puede denominarse la guerra de los
matemticos. Tuvo desarrollo de la primera computadora electrnica de la
historia.
Cientficos importantes que contribuyeron al estudio cientfico de la balstica
en los Estados Unidos, destaca el matemtico Oswald Veblen, tambin fue
un importante impulsor de la investigacin en matemticas. Otorg becas y
estancias posdoctorales a jvenes para que realizaran investigacin en
matemticas.
John von Neumann naci en Dudapest, Hungra el 28 de diciembre de 1903
en el seno de una familia juda con una posicin econmica envidiable.
Dueo de una memoria prodigiosa y una inteligencia suprema, curs la
licenciatura en ingeniera qumica, simultneamente cursaba el doctorado
en matemticas.

Se interesaba sobre todo en problemas de matemticas puras. Fue consultor

en proyectos de balstica, en ondas de detonacin y ms tarde se involucr
en el Proyecto Manhattan.
Durante la primera mitad del 1943 se interes por primera vez en la
computacin. Crea sumamente importante que se utilizaran mquinas para
acelerar los complejos clculos involucrados con su trabajo. La nica
computadora con la que realmente se involucr a fondo fue la ltima (la
ENIAC). Durante mucho tiempo, la ENIAC fue ignorada por la comunidad
cientfica, pero con el apoyo de von Neumann fue finalmente tomada en
serio.
First Draft of a Reporto n the EDVAC fue escrito por von Neumann en
marzo de 1945, poniendo en lenguaje formal las ideas de Eckert y Mauchly
pero olvidando mencionar sus nombres. Von Neumann no tena la intencin
de aparecer como nico autor de la monografa que se considera uno de los
documentos ms importantes de la historia de la computacin. Segn
Macrae el reporte pretenda ser un documento interno de la Universidad de
Pennsylvania, pero Goldstine se emocion tanto al verlo que
inmediatamente lo empez a copiar y distribuir. Von Neumann cometi la
indiscrecin de decir al The New York Times que la Marina, el Ejrcito y la
Oficina Meteorolgica Nacional estaban patrocinando el desarrollo de una
nueva calculadora electrnica que permitira realizar predicciones del
clima.
Von Neumann regres a Princeton con el sueo de construir su propia
computadora. Debido a tropiezos que tuvo inicialmente para conseguir
dinero para construir su computadora, varias universidades le ofrecieron
trabajo a von Neumann despus de la guerra pero el fue leal al IEA, y logr
conseguir los fondos que necesitaba para su proyecto.
Las principales contribuciones de von Neumann a la computacin moderna
fueron: la nocin del uso de monitores para visualizar datos, la invencin del
diagrama de flujo, la teora de los autmatas celulares, incontables tcnicas
de cmputo matemtico y co-autora de la teora de juegos que dio pie al
famoso mtodo de Montecarlo.
John von Neumann falleci vctima del cncer el 8 de febrero de 1957.
Alan Turing trabaj en Bletchley Park descifrando mensajes secretos de los
alemanes.
La mayor contribucin inglesa a la computacin fue la construccin de una
computadora electrnica llamada Colossus diseada para desciframiento de
mensajes secretos.

Funciones recursivas
A principios de los 30, un joven matemtico que dejara huella en la teora de la
computacin ingreso a Princeton. Se trataba de Stephen Cole Kleene, quien naci el

cinco de enero de 1909 en Hartford, Connecticut. Kleene fue el principal creador de la

teora de las funciones recursivas (es decir funciones definidas e una secuencia finita
de pasos combinatorios.)
Kleene se volvi profesor en la Universidad de Wisconsin en Madison en 1935 m
permaneciendo ah hasta su retiro, acaecido en 1979. Entre muchos honores que
recibi se encuentra la Medalla Nacional de Ciencia.
Kleene fue tambin el primero en estudiar las interrelaciones entre la lgica
intuicionista y la teora (clsica) de funciones recursivas. Usando herramientas de
recursin, introdujo la realizacin recursiva que es una importante tcnica de
interpretar enunciados intuicionistas dentro de la aritmtica.
Su libro en 1952, introduccin a la metamatemtica, ha guiado a varias generaciones
y sigue siendo hoy en dio un texto de gran importancia y una fuente enorme de
inspiracin. Stephen Kleen muri el 25 de enero de 1994 en Madison, Wisconsin.

No determinismo
Una de las personas que resulto influenciada por introduccin a la Metamatemtica
fue un joven estudiante de la Universidad Hebrea de Israel. Ese joven era Michael
Oser Rabin. Rabin estudi matemticas en la universidad de Pennsylvania y
posteriormente se inscribi al doctorado en lgica de la universidad de Princeton. La
tesis doctoral de Rabin consisti en la demostracin de que varios de los problemas
relacionados con grupos algebraicos no podan ser resueltos por una computadora.
En 1957, mientras Rabin conocera a otro joven lgico de Princeton llamado Dana
Stewart Scott.
Rabin y Scott estaban intrigados por una limitacin implcita del modelo de Turing: una
maquina con un conjunto dado de instrucciones y una entrada en particular, siempre
se comportar de la misma manera. Su comportamiento es determinista.
La nocin introducida por Rabin & Scott fue la de no determinismo Ellos definieron
una maquina no determinista como aquella que acepta una cierta secuencia si al
menos una de las rutas posibles producidas con la entrada alcanza un estado
aceptable o (deseado). En cuanto a las maquinas no deterministas Rabin & Scott
demostraron:
1) Es posible transformar cualquier maquina no determinista en una determinista
2) Las maquinas no determinista de estados finitos resultan ser un medio
excelente para expresar patrones de bsqueda (Por ejemplo cadenas de
caracteres dentro de un procesador de textos).
El artculo de Rabin & Scott sobre el no determinismo fue publicado en 1959 y su
impacto en la computacin fue enorme. Por este trabajo, Rabin y Scott recibieron el
Premio Turing en 1976.

PROBLEMAS NP- COMPLETOS.

En la dcada de los 50 y 60, varios problemas de diseo, investigacin de operaciones
e inteligencia artificial parecan compartir ciertas propiedades que los hacia
sumamente difcil de resolver. Algunos cientficos sospechaban que pertenecan a una
misma familia matemtica. Pero no fue hasta los aos 70 que los matemticos
Stephen A. Cook (EEUU) y Leonid Levin (Rusia) la pudieron describir. Stephen A Cook
naci en 1939 en Buffalo, Nueva York. Se gradu en matemticas. En 1971 Cook
public un artculo donde discuta problemas para los cuales poda verificar una
solucin posible (un candidato) en tiempo polinomial. Cook demostr que el problema
de la satisfactibilidad es uno de los ms difciles dentro de la familia NP.
Mientras Cook se involucraba en la teora de la complejidad, un joven estudiante de
preparatoria en la unin sovitica aprenda sobre ciertos problemas de optimizacin
que requeran perebor (fuerza bruta). Su nombre era Leonid Levin.
Levin naci en 1948 en Dnepropetrovsk, una ciudad industrial localizada en el corazn
de Ucrania. Levin descubri su talento para las matemticas. A sus 15 aos de edad
conoci a Andrei Kolmogorov inicio su carrera como historiador pero su amplia gama
de inters lo llev a estudiar matemticas. Levin se sinti atrado por la nocin de
complejidad de Kolmogorov y desarrollo su tesis doctoral en este tema. El gobierno
ruso le neg el grado de doctor en represalia a su comportamiento rebelde hacia las
autoridades, por lo que viajo a eeuu. Aunque levin desconoca el trabajo de Cook, en
su artculo re-descubri los problemas NP-completos.

LENGUAJES DE PROGRAMACION
En los 50 la programacin de las escasas computadoras existentes era
tortuosa y requera de un meticuloso uso de la memoria. Un matemtico
que trabajaba para IBM en 1953, tuvo entonces la osada idea de proponer el
diseo de un lenguaje de programacin. Autorizando aquella idea los
directivos de IBM, lo denominaron al proyecto FORmula TRANslation el
encargo de llevarlo a cabo fue el mismo joven que propuso el diseo: John
Backus. El resultado de este proyecto fue el fortran. Que result de no ser
solo el primer lenguaje de programacin de alto nivel de la historia, sino
uno de los ms famosos y longevos. Jonn Warner Backus naci el 3 de
diciembre de 1924 en filadelfia. Motivado por su inters en los radios, se
inscribi a una academia, y al aprender a calcular circuitos comenz a sentir
una fuerte inclinacin hacia las matemticas. Para 1949 ya estaba
terminando la licenciatura y para 1950 conclua la maestra, Backus entro a
trabajar a ibm como programador en 1950. Para 1953 era ya un hbil
programador.
Backus concentr sus esfuerzos no en el diseo de un lenguaje en s, sino en
el de su traductor de comandos a nmeros binarios (lo que hoy se denomina
compilador) el resultado de este esfuerzo haran de fortrand uno de los
mejores lenguajes de programacin.
En mayo de 1958, un comit internacional formado por destacados expertos
en computacin de Europa y estados unidos se reuni en Zrich para
disear un lenguaje de programacin ms flexible y poderoso que el
fortrand. El resultado fue el internacional algorithmic lenguaje mejor
conocido como algol.

Backus presento su propuesta sobre el uso de gramticas para representar

la sintaxis de un lenguaje de programacin en 1959, en un congreso
celebrado en pars. Aunque su ponencia no fue incluida en las memorias del
evento, un matemtico dans, llamado Peter Naur extendi la propuesta de
Backus y luego la uso para describir toda la sintaxis de algol.
Backus fue nombrado fellow1 de IBM en 1963 y en 1977 se le otorg el
premio Turing por sus contribuciones a los lenguajes de programacin. Hoy
en da practica la meditacin y disfruta leyendo a Krishnamurti y Eva
Pierrakos.

9 el arte de la programacin.
En Enero de 1962, la editorial norteamericana Addison-Wesley SOLICIT A UN
JOVEN ESTUDIANTE de doctorado del california Institute of technology que escribiera
un libro sobre compiladores, que era un tema muy poco entendido en esa poca. El
nombre de este joven era Donald Knuth y su trabajo se convertira en una piedra
angular en el desarrollo de la computacin como una disciplina independiente.
Donald Ervin Knuth naci el 10 de enero de 1938 en Milwaukee Wisconsin. Ingreso al
Case Institute of technology (Hoy case western Reserve), en Ohio, con la invencin de
estudiar msica, pronto descubrira (tras ofrecrsele una beca en fsica) que su
verdadera vocacin eran las matemticas. Hacia el otoo de 1963 Knut tena listo el
primer borrador de su libro. Tras varias discusiones con Addison- Wesley, se acord
que la obra denominada The art of compute programmin se publicara en 7 volmenes.
Hasta ahora se han publicado solo 3 de ellos. (Mayor xito comercial de AddisonWesley) por este trabajo seminal, knutk recibi el Premio Turing en 1974 (a pesar de
publicarse en los 60).
Knuth invent TEX, el primer lenguaje para tipografa 2 computacional, junto con
METAFONT que es un sistema que hace uso de las matemticas clsicas para disear
alfabetos. Pronto TEX se volvi un importante estndar acadmico, sobre todo en las
comunidades de matemticas y computacin.
Donald Knuth es actualmente profesor emrito en Stanford.

CAPITULO X: HACIA EL FUTURO

La computadora ha evolucionado mucho desde la primera computadora en
el ao 1949, la cual para funcionar requera de 18000 bulbos y pesaba 30
toneladas, hoy en da la computadora personal y la computadora de
escritorio a reemplazado a esta inmensa computadora.

1 Man, boy
2 Arte de disponer correctamente el material de imprimir, de acuerdo con un propsito especfico: el de
colocar las letras, repartir el espacio y organizar los tipos con vistas a prestar al lector la mxima ayuda
para la comprensin del texto escrito verbalmente.

Hacia donde se dirige la computacin es algo que el autor pues segn la ley
de Moore la computadora ya no tiene espacio para seguir avanzando esto a
llevado a los investigadores a desarrollar nuevas tecnologas en la cual el
texto, nos habla dndonos tres diferentes visones en las cuales se est
desarrollando la computacin hoy en da. Estas visiones son la
nanotecnologa, el uso de ADN o clulas humanas para realizar procesos
paralelos y las computadoras cunticas.

En el mbito de la nanotecnologa, la computacin est avanzando a pasos

agigantados, pero ha llegado a un punto en donde que no puede
miniaturizar ms sus componentes, siendo esta la pregunta que muchos
investigadores se hacen el cmo construir piezas ms pequeas las cuales
tengan la capacidad de realizar los procesos que se desean y con la misma
rapidez, la nanotecnologa o la miniaturizacin de los componentes fue un
concepto sugerido por el fsico Richard Feynman en 1959 el cual lo llevo a
deducir una teora la cual dice que se puede construir maquinas las cuales
construiran maquinas ms pequeas y estas a la vez construiran maquinas
mucho ms pequeas y as hasta sucesivamente, conociendo este proceso
de miniaturizacin de arriba hacia abajo, aunque otros investigadores como
por ejemplo Eric Drexler piensan que el proceso debe ser de abajo hacia
arriba. Dos compaas estn trabajando en este proceso como son Xerox
Palo Alto Research y el Institute for Molecular Manufacturing las cuales han
logrado construir tres mquinas moleculares las cuales son un engranaje,
una bomba y un controlador de movimientos finos, siendo esta tres
mquinas las primeras en su categora, se piensa que muchas ms
compaas estn trabajando en el proceso de nanotecnologa, y se espera la
construccin de procesadores miniaturas en el futuro con beneficios
generales y verdaderamente tiles para todos en general.
Mientras muchos investigadores ingenieros y cientficos piensan en la
miniaturizacin de los procesadores muchos se estn enfocando en el
proceso de ejecucin de tareas de los procesadores los cuales en la
actualidad realizan proceso secuenciales y un solo proceso a la vez,
siguiendo la arquitectura de von Neumann. Hace varios aos el concepto de
paralelismo adquiri una gran importancia dentro de los investigadores.
Estas arquitecturas se basan en el uso de uno cuantos procesadores
poderosos que efectan una serie de tareas relativamente complejas entre
las que incluyen el paso de mensajes, la coordinacin de procesos, la
sincronizacin y la concurrencia. Estos procesos sin embargo se vuelven
complejos puesto que nuestro proceso para la realizacin de algoritmos es
secuencial, por lo tanto dejando al paralelismo en una simple promesa,
haciendo que desde los aos 80 se busquen soluciones y alternativas para
este problema. Una de las alternativas que se plante para la solucin de
este proceso en la computacin celular, la cual fue concebida por los
cientficos John von Neumann y Stanislaw Ulam, los cuales concibieron un
modelo autmata celular. Este modelo se basa en el hecho que las clulas
se actualizan de manera sncrona a intervalos de tiempo discretos de
acuerdo a una regla de interaccin local la cual es idntica para todas.
Algunos cientficos como Sipper han adoptado el trmino de computacin
celular, la cual se refiere a tres principios fundamentales: simplicidad,

paralelismo vasto y localidad. Este proceso promete incrementar

significativamente la capacidad de procesamiento de las computadoras.
Tambin relacionada con este concepto de cmputo celular, se encuentra
otra idea que surgi a mediados de los aos 90 la computacin basada en el
ADN. El cientfico Leonard M Adleman, public un artculo en el cual
mostraba que era posible usar molculas de ADN para resolver el problema
de las rutas hamiltonianas dirigidas. Este explic que las tcnicas de biloga
molecular filtran enorme cantidad de soluciones de molculas ADN
existentes, de manera que pudiese obtener la respuesta deseada. Este
proceso consiste en someter los segmentos de ADN a una serie de
reacciones qumicas similares a los clculos matemticos que efecta una
computadora. De esta manera una enzima podra agregar un valor de uno al
final de un segmento de ADN si cualquiera de dos valores especficos de
dicho segmento tuviese un valor de uno. Al organizar de manera coherente
estas operaciones es posible realizar complejos clculos matemticos. Una
de las ventajas del uso de ADN es que los clculos se efectan por medio de
reacciones qumicas se llevan a cabo en paralelo.
Estos dos principios podran revolucionar la computacin la nanotecnologa
y la computacin celular podra hacer de las computadoras ms rpidas y
eficaces al mismo tiempo mucho ms pequeas y trabajar en procesos
paralelos.
Otro de los principios de la computacin es el uso de la computacin
cuntica, usando la fsica cuntica al contrario de los computadores
normales que son basados en la fsica clsica. La computadora cuntica
tendra la capacidad de realizar una infinidad de procesos adems de que
tendra la capacidad de almacenar mucha ms informacin que una
computadora de capacidad normal. Este concepto fue introducido por el
fsico Richard Feynman. Los principios de los que se habla son los de
aumentar de una manera excepcional la eficiencia de procesamiento de las
computadoras.
Una de las principales diferencias de las computadoras tradicionales con las
computadoras cunticas es el hecho que en la computadora normal se
almacena por bits lo cual es la combinacin de unos y ceros la computadora
cuntica almacena en qubits que es un sistema similar pero que almacena
al uno y al cero al mismo tiempo.
El poder de estas computadoras radica en su capacidad para estar en
mltiples estados simultneamente, denominado superposicin. Esto
significa que una computadora cuntica podra efectuar una inmensa
cantidad de operaciones simultneamente usando una sola unidad de
procesamiento. Para emular el grado del paralelismo de 300 procesadores
cunticos necesitaramos 2300 procesadores convesionales. El lado negativo
que se podra decir de los computadores cunticos es el que para extraer
informacin se deberan realizar mediciones. Esencialmente se puede hacer
una y solo una pregunta acerca de los resultados para despus tener que
rehacer los clculos.

Todas estas tecnologas son sumamente interesantes y plantean preguntas

importantes que mantendrn bastante ocupados a los cientficos del nuevo
milenio.
Una cosa es segura que nuestra ultima meta es la bsqueda de maquinas
inteligentes, o la obtencin del algortimo de encriptamiento de datos mas
poderoso de la tierra. La computacin durante el nuevo milenio seguir
siendo una disciplina sumamente activa en cuanto a la investigacin y ser
mas que nunca, una parte importante en nuestras vidas.