-
1500 BCE
1500 a. C.
Amenhotep, hermano de Hapu, construye una estatua de Memon, el rey de Etiopía, que emite sonidos cuando la iluminan los rayos del sol al amanecer. -
500 BCE
500 a. C
King-su Tse, en China, en el 500 a. C. inventa una urraca voladora de madera y bambú y un caballo de madera que saltaba. Entre el 400 y 397 a. C., Archytar de Tarento construye un pichón de madera suspendido de un pivote, el cual rotaba con un surtidor de agua o vapor, simulando el vuelo. -
206 BCE
206 a. C
Archytar es el inventor del tornillo y la polea. En el año 206 a. C., fué encontrado el tesoro de Chin Shih Hueng Ti consistente en una orquesta mecánica de muñecos, encontrada por el primer emperador Han. -
62
62
En el año 62 Heron de Alejandría describe múltiples aparatos en su libro "Autómata". Entre ellos aves que vuelan, gorjean y beben. Todos ellos fueron diseñados como juguetes, sin mayor interés por encontrarles aplicación. Sin embargo, describe algunos como un molino de viento para accionar un órgano o un precursor de la turbina de vapor. -
1352
1352 hasta 1789.
el Gallo de Estrasburgo que que funcionó desde 1352 hasta 1789. Este es el autómata más antiguo que se conserva en la actualidad, formaba parte del reloj de la catedral de Estrasburgo y al dar las horas movía el pico y las alas. -
1452
1452-1519)
Es conocido el León Mecánico construido por Leonardo Da Vinci (1452-1519) para el rey Luis XII de Francia, que se abría el pecho con su garra y mostraba el escudo de armas del rey. -
1709-1782
Jacques de Vaucanson (1709-1782) construye el increíble pato mecánico que fue la admiración de toda Europa. El pato alargaba su cuello para comer, los digería y evacuava. -
1801
el telar de Jacquard (1801). Jacquard basándose en los trabajos de Bouchon (1725), Falcon (1728) y del propio Vaucanson (1745), fue el primero en aplicar las tarjetas perforadas como soporte de un programa de trabajo, es decir, eligiendo un conjunto de tarjetas, se definía el tipo de tejido que se desea realizar. Estas máquinas constituyeron los primeros precedentes históricos de las máquinas de control numérico. -
1879 – 1903
La Lógica de primer orden por Gottlob Frege: 1879 – 1903 , también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.1 Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo. -
1931
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931. Ambos están relacionados con la existencia de proposiciones indecidibles en ciertas teorías aritméticas. -
1936
Número computable por Alan Mathison Turing En matemáticas, especialmente en ciencia computacional teórica y lógica matemática, los números computables o recursivos son los números reales que pueden ser computados con la precisión que se desee por un algoritmo finito. Se puede llegar al mismo resultado utilizando funciones recursivas, Máquinas de Turing o cálculo-λ. -
1940
Stephen Kleene (1909 - 1994
Profesor de la U. Wisconsin
– Discípulo de A. Church. Estudia la teoría de
funciones recursivas.
– Desarrolla las expresiones regulares
– Numerosos estudios en Teoría de Autómatas -
1961
Autómatas de Pila
– A. G. Oettinger, Automatic syntactic analysis and the pushdown
store, Proc. Symposia on Applied Math. (1961). -
1971
Stephen Arthur Cook
– Estudiante en U. Michigan y U. Harvard
– Profesor en U. Berkeley y U. Toronto
– En 1971 publica The Complexity of Theorem Proving
Procedures, donde define las clases de problemas P, NP, y
NP completos.
