-
1352
Gallo de Estrasburgo
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. -
1500
Autómatas en la historia
Los primeros autómatas que aparecen en la historia son ingenios mecánicos más o menos complicados que desarrollaban un programa fijo, que no empleaban necesariamente la noción de realimentación.
Los primeros ejemplos de autómatas se registran en la antigua Etiopía. En el año 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. -
Giuseppe Peano
Matemático, lógico y filósofo italiano, conocido por sus contribuciones a la lógica matemática y la teoría de números. -
David Hilbert
Matemático alemán, fue uno de los fundadores de la teoría de la demostración, la lógica matemática y la distinción entre matemática y metamatemática. -
Andréi Andréyevich Márkov
Destacado matemático y lingüista ruso, recordado particularmente por su estudio de las “cadenas de Markov”, trabajo que inició y desarrolló la moderna teoría de procesos estocásticos. -
Stephen Kleene
Lógico y matemático estadounidense. Introdujo la operación Clausura de Kleene, denotada por el símbolo V*. -
Kurt Goedel
Lógico, matemático y filósofo austriaco-estadounidense. Se le conoce sobre todo por sus dos teoremas de la incompletitud, ambos están relacionados con la existencia de proposiciones indecidibles en ciertas teorías aritméticas. -
Gerhard Gentzen
Matemático y lógico alemán, introdujo las nociones básicas que llevaron al desarrollo de la moderna teoría de la demostración. -
Alonzo Church
Matemático y lógico norteamericano creador de la base de la computación teórica. Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles. -
Alan Mathison Turing
matemático, lógico, científico de la computación, criptógrafo, filósofo, maratoniano y corredor de ultradistancia británico. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión que hoy es ampliamente aceptada como la tesis de Church-Turing -
Neurona de McCulloch-Pitts y Pitss Modelo Neronal
Primer modelo neuronal moderno. Es una unidad de cálculo que intenta modelar el comportamiento de una neurona "natural", similares a las que constituyen del cerebro humano. -
Claude Elwood Shannon
Matemático, ingeniero eléctrico y criptógrafo estadounidense, recordado como El padre de la teoría de la información, con la publicación Una teoría matemática de la comunicación. -
Dana Scott y Michael Oser Rabin
Introdujeron la idea de las máquinas no determinísticas en el campo de la teoría de autómatas. La máquina comienza en el estado inicial especificado y lee una cadena de caracteres pertenecientes at alfabeto. Este trabajo les proporcionó el Premio Turing, por haber presentado un concepto tan fundamental en complejidad computacional.
