-
500 BCE
Ábaco romano de marfíl
e tiene constancia de la existencia del ábaco ya entre el año 1000 y 500 a C, aunque existen dudas sobre si fue en Babilonia o en China dónde fue inventado.
Este ingenio matemático permitió el desarrollo de la computación y la inteligencia artificial que fueron desarrollándose paralelamente al interés por los automatismos y el diseño de máquinas imitadoras del ser humano [1]. bauldechitiya.blogspot -
450 BCE
El pájaro automático de hace 2400 años
Entre el 400-350 a. de C., Archytas de Tarentum contruyó un pájaro automático[1].tecnologiahechapalabra -
262 BCE
Autómatas musicales impulsados por agua
Apolonio de Perga inventó una serie de autómatas musicales impulsados por agua. Ctesibio también construyó autómatas musicales, cuya sonido lo creaba el paso del aire a través de diversos tubos [1]. tecnologiahechapalabra -
1540
Joven que tocaba el laúd
En 1540, el artesano Giannello Della Torre construyó para el emperador Carlos V un mecanismo con la forma de una joven que tocaba el laúd. La máquina caminaba en línea recta y en círculo, tocaba de verdad el laúd pulsando las cuerdas, y giraba la cabeza para mirar en derredor [1].tecnologiahechapalabra -
El escritor
Lo más parecido a nuestros autómatas, quizá, fue el escribano automático de Pierre Jacques-Droz, de 1774, pues no tiene un comportamiento totalmente definido, sino que es parcialmente programable: moja la pluma en un tintero y escribe una verdadera carta, compuesta por una cincuentena de caracteres que pueden ser decididos por el usuario [1]. tecnologiahechapalabra -
Gottlob Frege
Gottlob Frege, profesor de la Universidad de Jena, quien alrededor de 1880 sentó las bases en que habrían de apoyarse todas las investigaciones posteriores en el campo de la lógica formal y los fundamentos de la matemática.[1] sinewton.org . -
Kurt Godel
Kurt Godel, En su tesis doctoral Gödel demuestra la completitud del cálculo de predicados de primer orden, un sistema de axiomas y reglas que permite derivar formalmente todas las proposiciones
tautológicas de un lenguaje lo suficientemente expresivo como para que en él puedan ser formalizadas una parte muy considerable de las expresiones matemáticas. [1] sinewton.org . -
Alan Turing
En 1931 formaliza el concepto de máquina de Turing sustituyendo así el lenguaje formal que Kurt Gödel utilizaba sobre los límites de la computación y la demostrabilidad.[1] histinf.blogs.upv.es -
Máquina de Turing
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo a una tabla de reglas. A pesar de su simplicidad, una máquina de Turing puede ser adaptada para simular la lógica de cualquier algoritmo de computador y es particularmente útil en la explicación de las funciones de una CPU dentro de un computador. [1] Wikipedia. -
Autómata finito
En 1943, surge una primera aproximación formal de los autómatas finitos con el modelo neuronal de McCulloch-Pitts. Durante la década de 1950 prolifera su estudio, frecuentemente llamándoseles máquinas de secuencia; se establecen muchas de sus propiedades básicas, incluyendo su interpretación como lenguajes regulares y su equivalencia con las expresiones regulares.[1] Wikipedia -
Noam Chomsky
Noam Chomsky formalizó la idea de las gramáticas generativas en 1956, clasificó este tipo de gramáticas en varios tipos de complejidad creciente que forman la llamada jerarquía de Chomsky. La diferencia entre estos tipos es que cada uno de ellos tiene reglas más particulares y restringidas y por tanto generan lenguajes formales menos generales.[1] wikipwdia -
Stephen Arthur Cook
Cook formalizó el concepto de NP-completitud en un famoso artículo de 1971 titulado "The Complexity of Theorem Proving Procedures" ("La complejidad de los procedimientos de demostración de teoremas"), donde también formuló el problema de la relación entre las clases de complejidad P y NP. [1] WIKIPEDIA
