-
alan turing
creo la maquina de turing
publico el articulo sobre los numeros calculables
desarrollo del teorema de golden puede considerarse el origen de la informatica -
kleene
demuestra 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 neurona de Mcculloch-pitts
unidad de calculo que intenta modelar
el comportamiento de una neurona
natural -
la primera computadora digital
estas maquinas ejecutan instrucciones consistentes en codigos numericos -
C. 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 lenguaje formal de las gramaticas generadoras de lenguajes, clasificacion de lenguajes formales en teoría de la computación. -
grace hopper
escribio el primer compilador
lenguaje de programacion A-0 -
creacion de fortran
lenguaje que permitia escribir formulas
matematicas.
traducible por un ordenador -
claude shannon
aplico la logica matematica para el analisis de circuitos
combinatorios. -
C. Shannon
propone tres modelos para la descripción de lenguajes, que son la base de la futura jerarquía de los tipos de lenguajes, que ayudo también en el desarrollo de los lenguajes de programación -
Rabin y Scott
obtienen un modelo de computador con una cantidad finita de memoria, al que llamaron autómata de estados finitos. -
estandarizacion
intento de estandarizacion de las comunicaciones con el
protocolo MAP