-
Primeros operadores logicos.
Friedrich Gottlob Publicó la conceptografía (Begriffsschrift)
Desarrollo de la lógica de primer orden
(operadores and, or, not, implicación, para-todo, existe) -
Cadena de Markov.
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. -
Maquina enigma.
Enigma era el nombre de una máquina de rotores que permitía usarla tanto para cifrar como para descifrar mensajes. -
Reformulacion del Entscheidungsproblem.
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? -
Teorema de Incompletitud.
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.” -
Maquina de Turing.
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'. -
Equivalencia entre funciones definible y funciones recursivas.
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 -
Period: to
La Segunda Guerra Mundial
-
La primera computadora.
La computadora Z3, creada por Konrad Zuse usando reles. -
La neurona de mcculloch-pitts.
Mcculloch y Pitts crean la Unidad de calculo que intenta modelar el comportamiento de una neurona natural. Estableciendo automatas finito equivalentes a celulas. -
La primera computadora digital electrónica en la historia.
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. -
Termino de teoría de autómatas.
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 " -
Fundamentos de la teoría de la información.
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 -
Generadoras de lenguajes.
Noam Chomsky comienza el estudio formal de las gramáticas (generadoras de lenguajes). -
Test de Turing.
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. -
Primer Compilador.
Grace Hopper crea el lenguaje COBOL, el cual permitía que gente poco especializada pudiera programar, -
Creacion de FORTAN
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. -
La Primera computadora con memoria de núcleos magnéticos.
Zuse Z22. La primera computadora de Konrad Zuse aprovechando los tubos de vacío. -
Teoria de la recursividad.
Stephen Kleene -
La jerarquía de Chomsky
Clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales. -
Autómata de estados finitos
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 -
PDP-14
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. -
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
