-
David Hilbert
Formuló crear un sistema matemático formal -
Kurt Gödel
Teorema de incompletitud de codificación -
George McDonald Church
Hace un esquema de la demostración de la equivalencia entre funciones -
Alan Turing
-Descifro los códigos de la maquina enigma
-Creador de la maquina Turing -
Church, Kleene y Post
propusieron varias caracterizaciones independientes de calculabilidad. -
Warren Mc Culloch y Walter Pitts
Describen los cálculos lógicos inmersos en un dispositivo (neurona artificial) que habían diseñado para simular la actividad de una neurona biológica. -
Claude Elwood Shannon
creador de la teoría de la información -
J. Von Neumann
Introduce el termino de teoría de autómatas -
Creacion de Fortran
-Es un lenguaje de programación utilizado principalmente en matemáticas y en aplicaciones de cálculo científico.
-Desarrollado originalmente por IBM en 1957 para el equipo IBM 704 -
Moore y Mealy
Realizaron estudios rigurosos sobre autómatas y sobre la síntesis de circuitos secuenciales -
Stephen Kleene
Creador de la teoría de la recursividad -
George Edward Moore
fue el primero en utilizar el tipo de maquinas de estados finitos -
Avram Noam Chomsky
postuló la existencia de una Gramática Universal.
