-
creo la maquina de turing
publico el articulo sobre los numeros calculables
desarrollo del teorema de golden puede considerarse el origen de la informatica -
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
-
unidad de calculo que intenta modelar
el comportamiento de una neurona
natural -
estas maquinas ejecutan instrucciones consistentes en codigos numericos
-
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
-
comienza el lenguaje formal de las gramaticas generadoras de lenguajes, clasificacion de lenguajes formales en teoría de la computación.
-
escribio el primer compilador
lenguaje de programacion A-0 -
lenguaje que permitia escribir formulas
matematicas.
traducible por un ordenador -
aplico la logica matematica para el analisis de circuitos
combinatorios. -
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
-
obtienen un modelo de computador con una cantidad finita de memoria, al que llamaron autómata de estados finitos.
-
intento de estandarizacion de las comunicaciones con el
protocolo MAP