Primeros Pasos

La primera herramienta conocida para su uso en el c�lculo fue el �baco,

desarrollado en el per�odo 2700-2300 AC en Sumeria. El �baco de Sumeria consist�a
en una tabla de columnas sucesivas que delimitan las �rdenes sucesivas de magnitud
de su sistema de numeraci�n sexagesimal.3? Su estilo original de uso era por las
l�neas trazadas en la arena con guijarros. �bacos de un dise�o m�s moderno todav�a
se utilizan como herramientas de c�lculo en la actualidad.

El Mecanismo de Anticitera se cree que es la primera computadora anal�gica mec�nica

conocida.4? Fue dise�ado para calcular las posiciones astron�micas. Fue descubierto
en 1901 en el naufragio de Antikythera fuera de la isla griega de Antikythera,
entre Citera y Creta, y se ha fechado 100 a�os antes de Cristo. Artefactos
tecnol�gicos de complejidad similar no reaparecieron hasta el siglo 14, cuando los
relojes astron�micos mec�nicos aparecieron en Europa.5?

Los dispositivos mec�nicos de computaci�n anal�gica aparecieron unos mil a�os

despu�s en el mundo isl�mico medieval. Ejemplos de dispositivos de este per�odo
incluyen el Equatorium por Arzachel,6? el Astrolabio mec�nico de engranajes de Abu
Rayhan al-Biruni,7? y el Torquetumpor Jabir ibn Aflah.8? Los ingenieros musulmanes
construyeron una serie de aut�matas, incluyendo algunos aut�matas musicales que
pod�an ser "programados" para reproducir diferentes patrones musicales. Estos
dispositivos fueron desarrollados por los hermanos9? Banu Musa10? Al-Jazari.
Matem�ticos musulmanes tambi�n hicieron importantes avances en la criptograf�a,
como el desarrollo del criptoan�lisis y an�lisis de frecuencia por Alkindus.11?

Cuando John Napier descubre los logaritmos para fines de c�lculo en el siglo 1841
suscit� un per�odo de progreso considerable por los inventores y los cient�ficos en
la fabricaci�n de herramientas de c�lculo. En 1623 Wilhelm Schickard dise�� una
m�quina de calcular, pero abandon� el proyecto, cuando el prototipo que hab�a
empezado a construir fue destruido por un incendio en 1624. Hacia 1640, Blaise
Pascal, un matem�tico franc�s de renombre, construy� el primer dispositivo mec�nico
para sumar12? sobre la base de un dise�o descrito por Her�n de Alejandr�a,
matem�tico griego.13? Entonces en 1672 Gottfried Wilhelm Leibniz invent� la m�quina
de Leibniz que complet� en 1695.14?

En 1837 Charles Babbage describi� por primera vez su M�quina Anal�tica que se
acepta como el primer dise�o de una computadora moderna. La m�quina anal�tica ten�a
memoria expandible, una unidad aritm�tica y l�gica de las capacidades de
procesamiento capaces de interpretar un lenguaje de programaci�n con bucles y
bifurcaciones condicionales. Aunque nunca se construy�, el dise�o se ha estudiado
ampliamente y se entiende que es Turing completa. El motor anal�tico habr�a tenido
una capacidad de memoria de menos de 1 kilobyte y una velocidad de reloj de menos
de 10 Hertz.

Un avance considerable en las matem�ticas y la teor�a electr�nica fue requerido

antes de que las primeras computadoras modernas pudieran ser dise�adas.
L�gica Binaria

En 1703, Gottfried Wilhelm Leibniz desarroll� la l�gica en un sentido matem�tico

formal, con sus escritos sobre el sistema de numeraci�n binario. En su sistema, los
unos y los ceros tambi�n representan los valores verdaderos y falsos o los estados
apagado y encendido. Pero tuvo que pasar m�s de un siglo antes de que George Boole
publicara su �lgebra de Boole en 1854 con un sistema completo que permiti� que los
procesos computacionales pudieran ser matem�ticamente modelables.

Por esos tiempos, los primeros dispositivos mec�nicos que funcionaban con un patr�n
binario se hab�an inventado. La revoluci�n industrial hab�a impulsado la
mecanizaci�n de muchas tareas, y esto inclu�a el tejido. El telar controlado por
tarjetas perforadas de Joseph Marie Jacquard en 1801, donde un agujero perforado en
la tarjeta indica un uno binario y un lugar sin perforar indica un cero binario. El
telar de Jacquard estaba lejos de ser un ordenador, pero s� pon�a de manifiesto que
las m�quinas pod�an ser controladas por los sistemas binarios.
El nacimiento de las Ciencias de la Computaci�n

Antes de la d�cada de 1920, las computadoras (a veces computadores) fueron

empleados humanos que realizaban los c�lculos. Estaban por lo general bajo la
direcci�n de un f�sico. Miles de computadores trabajaban en el comercio, el
gobierno y los centros de investigaci�n. La mayor�a de estos computadores eran
mujeres, y eran conocidos por tener un grado en c�lculo. Algunos realizando
c�lculos de astronom�a para los calendarios.

Despu�s de la d�cada de 1920, la expresi�n m�quina de computaci�n hac�a referencia

a cualquier m�quina que realizara el trabajo de un computador humano, especialmente
los realizados en conformidad con los m�todos eficaces de la tesis de Church-
Turing. La tesis establec�a que un m�todo matem�tico es eficaz si se podr�an
enunciar como una lista de instrucciones que puedan ser seguidos por un empleado
humano con l�piz y papel, durante el tiempo que sea necesario, y sin ingenio ni
idea.

Las m�quinas que calculaban con valores continuos se conoc�an como de tipo
anal�gico. Estas utilizaban una maquinaria que representaba cantidades num�ricas
continuas, como el �ngulo de rotaci�n de un eje o diferencia de potencial
el�ctrico.

Las m�quinas digitales, en contraste a las anal�gicas, fueron capaces de

representar un estado de un valor num�rico y almacenar cada d�gito individual. Las
m�quinas digitales utilizaban motores de diferencia o rel�s antes de la invenci�n
de dispositivos de memoria m�s r�pidos.

La frase m�quina de computaci�n gradualmente desapareci�, despu�s de la d�cada de

1940, a s�lo ordenador o computadora. Estos equipos fueron capaces de realizar los
c�lculos que se realizaron por los empleados humanos anteriores.

Dado que los valores almacenados en las m�quinas digitales no estaban relacionados
a propiedades f�sicas como los dispositivos anal�gicos, un ordenador l�gico, basado
en equipos digitales, era capaz de hacer cualquier cosa que podr�a ser descrito
"puramente mec�nico." La te�rica M�quina de Turing, creada por Alan Turing, es un
dispositivo hipot�tico teorizado con el fin de estudiar las propiedades de este
hardware.
Surgimiento de una disciplina

Los fundamentos matem�ticos de la actual ciencia de la computaci�n fueron

propuestos por Kurt G�del con su teorema de incompletitud (1931). En este teorema,
demostr� que hab�a l�mites a lo que puede ser probado y refutado dentro de un
sistema formal. Esto condujo a que G�del y otros trabajaran para definir y
describir estos sistemas formales, incluyendo conceptos como funciones recursivas y
el c�lculo lambda.

1936 fue un a�o clave para las ciencias de la computaci�n. Alan Turing y Alonzo
Church independientemente, y tambi�n juntos, presentaron la formalizaci�n de un
algoritmo, con l�mites en lo que puede ser calculado, y un modelo "puramente
mec�nico" para la computaci�n. Estos temas son cubiertos por lo que ahora se llama
la tesis de Church-Turing, una hip�tesis sobre la naturaleza de dispositivos de
c�lculo mec�nicos, como los equipos electr�nicos. La tesis afirma que cualquier
c�lculo que sea posible se puede realizar por un algoritmo que se ejecuta en una
computadora, a condici�n de que el tiempo y el espacio de almacenamiento se
encuentran disponibles.
 Estatua de Alan Turing

Turing tambi�n se presenta con la tesis de una descripci�n de la m�quina de Turing.

Una m�quina de Turing tiene una cinta de longitud infinita y un cabezal de
lectura/escritura, que puede moverse a lo largo de la cinta, cambiando los valores
a lo largo del camino. Es evidente que tal m�quina nunca podr�a ser construida,
pero sin embargo, el modelo puede simular el c�mputo de un algoritmo que puede ser
ejecutado en un equipo moderno.

Turing es tan importante para la inform�tica que su nombre tambi�n aparece en el

Premio Turing y la prueba de Turing. �l contribuy� en gran medida a que los
brit�nicos pudieran exitosamente romper c�digos secretos en la Segunda Guerra
Mundial, y continu� en el dise�o de computadoras y software a trav�s de la d�cada
de 1940, pero se suicid� en 1954.

En un simposio en gran escala de m�quinas digitales en Cambridge, Turing dijo:

"Estamos tratando de construir una m�quina para hacer todo tipo de cosas
diferentes, simplemente mediante la programaci�n en lugar de mediante la adici�n de
un aparato extra".

En 1941, Konrad Zuse desarroll� el primer programa funcional controlado por un

equipo Turing-completo, el Z3. Zuse, se destac� tambi�n por la m�quina de calcular
S2, considerado el primer proceso controlado por ordenador. �l fund� una de las
primeras empresas inform�ticas en el a�o 1941, con la producci�n del Z4, que se
convirti� en la primera computadora comercial. En 1946, dise�� el primer encuentro
de alto nivel de lenguaje de programaci�n, Plankalk�l.15? En 1969, Zuse sugiri� el
concepto de un universo basado en el c�lculo en su libro Rechnender Raum.

Konrad Zuse en 1992

En 1948, el primer ordenador pr�ctico que podr�a ejecutar programas almacenados,

basado en el modelo de la m�quina de Turing, hab�a sido construido - el Bebe
Manchester (Manchester Baby).

En 1950, el Laboratorio Nacional de F�sica de Gran Breta�a complet� Pilot ACE, un

ordenador de peque�a escala programable, basada en la filosof�a de Turing.