-
384 BCE
Aristóteles
Es reconocido como el padre fundador de la lógica -
Gottlob Frege
Friedrich Ludwig Gottlob Frege fue un matemático, lógico y filósofo alemán. Se le considera el padre de la lógica matemática y de la filosofía analítica, concentrándose en la filosofía del lenguaje y de las matemáticas.
Define un conjunto de símbolos y la sintaxis formal a fin de clarificar las relaciones lógicas contenidas en el lenguaje ordinario -
Giuseppe Peano
Matemático, lógico y filósofo, conocido por sus contribuciones a la lógica matemática y la teoría de números.
Propuso la notación actual de la lógica y estudió los principios de las matemáticas. -
David Hilbert
Matemático y científico que inventó y/o desarrolló la teoría de invariantes, la axiomatización de la geometría y la noción de espacio de Hilbert, uno de los fundamentos del análisis funcional -
Bertrand Russell
Se convenció de que los fundamentos de matemáticas serían encontrados en la lógica, y siguiendo a Gottlob Frege aplicó un acercamiento extensionista en donde la lógica a su vez se basaba en la teoría de conjuntos. -
Alonzo Church
matemático y lógico estadounidense 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. Este trabajo precedió el famoso trabajo de su alumno Alan Turing sobre el problema de parada que también demostró la existencia de problemas irresolubles por dispositivos mecánicos. -
Alfred North Whitehead
Con Bertrand Russell, un ex estudiante suyo Principia Mathematica es considerado uno de los trabajo más importantes sobre lógica matemática del siglo XX -
Alan Turing
Matemático, lógico, científico de la computación, criptógrafo, filósofo, maratoniano y corredor de ultradistancia británico.
Durante la segunda guerra mundial, trabajó en descifrar los códigos nazis, particularmente los de la máquina Enigma.
En el campo de la inteligencia artificial, es conocido sobre todo por la concepción del test de Turing, un criterio según el cual puede juzgarse la inteligencia de una máquina si sus respuestas en la prueba son indistinguibles de las de un ser humano. -
Claude Elwood Shannon
Matemático, ingeniero eléctrico y criptógrafo, recordado como "el padre de la teoría de la información"
Es igualmente conocido por haber sentado las bases de la teoría del diseño del ordenador digital y el circuito digital en 1937.
Demostró con su tesis, que las aplicaciones electrónicas de álgebra booleana podrían construir cualquier relación lógico-numérica -
El modelo neuronal de McCulloch y Pitts
Fue el primer modelo neuronal moderno, y ha servido de inspiración para el desarrollo de otros modelos neuronales.
Es una unidad de cálculo que intenta modelar el comportamiento de una neurona "natural", similares a las que constituyen del cerebro humano. Ella es la unidad esencial con la cual se construye una red neuronal artificial. -
ENIAC
Considerada hasta hace unos años como la primera computadora digital electrónica en la historia.3 No fue un modelo de producción, sino una máquina experimental. Tampoco era programable en el sentido actual. Se trataba de un enorme aparato que ocupaba todo un sótano en la universidad. Construida con 18.000 tubos de vacío. -
John von Neumann
Creó el campo de los autómatas celulares sin computadores, construyendo los primeros ejemplos de autómatas autorreplicables con lápiz y papel. El concepto de constructor universal fue presentado en su trabajo póstumo Teoría de los autómatas autorreproductivos.
Virtualmente, cada computador personal, microcomputador, minicomputador y supercomputador es una máquina de von Neumann. -
Noam Chomsky
Es el descubridor de la jerarquía de Chomsky, una clasificación de lenguajes formales de gran importancia en teoría de la computación. -
Grace Murray Hopper
Fue pionera en el mundo de las ciencias de la computación y la primera programadora que utilizó el Mark I. Entre las décadas de los 50 y 60 desarrolló el primer compilador para un lenguaje de programación así como también propició métodos de validación. -
Implementacion de un autómata
A mediados de los años 60, General Motors, comenzó a trabajar con Digital en el desarrollo de un sistema de control que evitara los inconvenientes de la lógica programada. El resultado de la colaboración fue un equipo programado, denominado PDP-14. En un principio, los autómatas programables sólo trabajaban con control discreta ( Si o No ) -
Stephen Cook
Stephen Arthur Cook es un reconocido científico de la computación. Cook formalizó el concepto de NP-completitud en un famoso artículo de 1971 titulado "The Complexity of Theorem Proving Procedures", donde también formuló el problema de la relación entre las clases de complejidad P y NP -
Incorporacion de microcontroladores
Hacia la primera mitad de los años 70 los autómatas programables incorporan la tecnología de los microcontroladores, aumentando de este modo sus prestaciones -
Incorporación de microprocesadores
La década de los años 80 se caracteriza por la incorporación de los microprocesadores, permitiendo:
Alta velocidad de respuesta.
Reducción de las dimensiones.
Mayor seguridad de funcionamiento.
Gran capacidad de almacenamiento de datos.
