-
La pascalina
Blaise Pascal: La pascalina fue la primera calculadora que funcionaba a base de ruedas y engranajes, inventada en 1642 -
Tarjetas perforadas
Basile Bouchon y Jean-Baptiste Falcon: las tarjetas perforadas fueron usadas por primera vez alrededor de 1725 por Basile Bouchon y Jean-Baptiste Falcon como una forma más robusta de los rollos de papel perforados usados en ese entonces para controlar telares textiles en Francia -
Telar de Jacquard
Joseph Marie Jacquard : Mejoro el uso de tarjetas perforadas en su telar de Jacquard en 1855 -
Maquina analitica
Charles Babbage: diseño la maquina analitica de un computador moderno de uso general. Fue inicialmente descrita en 1837, aunque Babbage continuó refinando el diseño hasta su muerte en 1871 fue basada en la maquina de telar de Jacquard -
Máquina de Turing
Turing: desarrollo una máquina abstracta denominada Máquina de Turing para el estudio de la computabilidad -
Teorema de la incompletitud
Kurt Godel: su teorema de la incompletitud "todo sistema de primer orden consistente que contenga los teoremas de la aritmética y cuyo conjunto de axiomas sea recursivo no es completo" -
Equivalencia entre funciones definible y funciones recursivas
Kleene: Kleene demuestra formalmente la equivalencia entre funciones definible y funciones re cursivas de Hembrand-Godel y da ejemplo de problemas irresolubles utilizando la noción de función recursiva -
Función efectivamente calculable
Church: propuso la noción de función definible como función efectivamente calculable. la demostración de teoremas se convierte en una transformacional de una cadena de símbolos en otra -
Tesis de Turing
Turing: señalo que había tenido éxito en caracterizar de un modo matemático preciso, por medio de sus maquinas, la clase de las funciones calculables mediante un algoritmo, lo que se conoce hoy como TESIS DE TURING -
Describen los cálculos lógicos
McCullon y Pitts: Describen los cálculos lógicos inmersos en un dispositivo que habían diseñado para simular la actividad de una neurona biológica. el dispositivo recibía o no, una serie de impulsos eléctricos por sus entradas que se ponderaban y producían una salida binaria. las salidas y entradas se podían considerar como cadenas de 0 y 1 -
Fundamentos de la teoría de la información
C. Shannon: define los fundamentos de la teoría de la información, y utiliza esquemas para poder definir sistemas discretos, parecidos a los autómatas finitos, relacionándolos con cadenas de Markow, para realizar aproximaciones a los lenguajes naturales -
Termino de teoría de autómatas
J. Von Neumann: introduce el termino de teoría de autómatas y dice sobre los trabajos de McCulloch-Pitts " el resultado mas importante de McCulloch-Pitts es que cualquier funcionamiento en este sentido, que pueda ser definido en todo, lógicamente, estrictamente y sin ambigüedad, en un numero finito de palabras, puede ser realizado también por una tal red neuronal formal -
Estudio formal de las gramáticas
N. Chomsky: inicia el estudio formal de las gramáticas -
"Dos formas de definir una misma cosa"
Kleene: realiza un informe sobre los trabajos de McCulloch-Pitts que se publica en 1956. En este informe Kleene demuestra la equivalencia entre lo que el llama "dos formas de definir una misma cosa", que son los sucesos regulares ,es decir expresiones regulares, y sucesos especificados por un autómata finito -
Descripción de lenguajes
C. Shannon: propone tres modelos para la descripción de lenguajes, que son la base de la futura jerarquía de los tipos de lenguajes, que ayudo también en el desarrollo de los lenguajes de programación -
COBOL
COBOL: fue creado en el año 1959 con el objetivo de crear un lenguaje de programación universal que pudiera ser usado en cualquier ordenador -
Autómata de estados finitos
Rabin y Scott: obtienen un modelo de computador con una cantidad finita de memoria, al que llamaron autómata de estados finitos. demostraron que su comportamiento posible era básicamente el mismo que el descrito mediante expresiones regulares, desarrolladas a partir del trabajo de McCulloch y Pitts
