-
Friedrich Gottlob Publicó la conceptografía (Begriffsschrift)
Desarrollo de la lógica de primer orden
(operadores and, or, not, implicación, para-todo, existe) -
Andréi Márkov formalizó un proceso donde la ocurrencia de cada evento depende con una cierta probabilidad del evento anterior. Esta capacidad de "recordar" es utilizada posteriormente por los autómatas finitos, que poseen una memoria primitiva similar, en que la activación de un estado también depende del estado anterior, así como del símbolo o palabra presente en la función de transición.
-
Enigma era el nombre de una máquina de rotores que permitía usarla tanto para cifrar como para descifrar mensajes.
-
Basado en el Entscheidungsproblem David Hilbert formulo:
1-¿son completas las matemáticas, en el sentido de que pueda probarse o no cada aseveración matemática?
2-¿Son las matemáticas consistentes, en el sentido de que no pueda probarse simultáneamente una aseveración y su negación?
3-¿Son las matemáticas decidibles, en el sentido de que exista método definido que se pueda aplicar a cualquier aseveración matemática, y que determine si dicha aseveración es cierta? -
Kurt Gödel postulo en teoria: “Todo sistema de primer orden consistente que contenga los teoremas de la aritmética y cuyo conjunto de (números de Gödel de) axiomas sea recursivo no es completo.”
-
Alonzo Church, cuyo trabajo sobre el cálculo lambda ayudo a Alan Turing desarrolló una máquina abstracta denominada Máquina de Turing para el estudio de la computabilidad. Las máquinas de Turing capturan, de hecho, la noción informal de un método eficaz en la lógica y las matemáticas y proporcionan una definición precisa de un algoritmo o 'procedimiento mecánico'.
-
Stephen 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
-
-
La computadora Z3, creada por Konrad Zuse usando reles.
-
Mcculloch y Pitts crean la Unidad de calculo que intenta modelar el comportamiento de una neurona natural. Estableciendo automatas finito equivalentes a celulas.
-
ENIAC No fue un modelo de producción, sino una máquina experimental. Tampoco era programable en el sentido actual. Era capaz de efectuar cinco mil sumas por segundo. Fue hecha por un equipo de ingenieros y científicos encabezados por los doctores John W. Mauchly y J. Presper Eckert en la universidad de Pensilvania, en los Estados Unidos.
-
Jhon Neumann introdujo 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 "
-
Claude 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
-
Noam Chomsky comienza el estudio formal de las gramáticas (generadoras de lenguajes).
-
En el campo de la inteligencia artificial, es conocido sobre todo por la concepción del test de Turing (1950), 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.
-
Grace Hopper crea el lenguaje COBOL, el cual permitía que gente poco especializada pudiera programar,
-
The IBM Mathematical Formula Translating System es un lenguaje de programación de alto nivel de propósito general, procedimental e imperativo, que está especialmente adaptado al cálculo numérico y a la computación científica.
-
Zuse Z22. La primera computadora de Konrad Zuse aprovechando los tubos de vacío.
-
Stephen Kleene
-
Clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales.
-
Rabin y Scott obtienen un modelo de computador con una cantidad finita de memoria. 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
-
En un principio, los autómatas programables sólo trabajaban con control discreta ( Si o No ), por lo que los problemas que requerían la manipulación de magnitudes analógicas se dejaron para los tradicionales sistemas de control distribuido.
-
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
