-
F. Ludwig gottlob
Publico conceptografia, desarrollo la lógica de primer orden, la notación que se utilizaba era bastante complicada -
Giuseppe Peano
Propuso la notación actual de la lógica y estudio los principios de la matemática -
David Hilbert
Realiza la automatización de la geometría, publica en 1928 principios de la lógica teórica -
Alan Mathison Turing
Turing desarrolló una máquina abstracta denominada Máquina de Turing para el estudio de la computabilidad. -
Stephen Kleene
Estudia la teoría de funciones recursivas desarrolla las expresiones regulares numerosos estudios en la teoría de autómatas -
Kurt Gode
Desarrolla los teoremas de incompletitud, teoremas de lógica matemática. Ambos están relacionados con la existencia de proposiciones indecidibles en ciertas teorías aritméticas. -
Alonzo Church
Elabora la Tesis de Church-Turing, basandoc en que cualquier modelo computacional existente tiene las mismas capacidades algorítmicas, o un subconjunto, de las que tiene una maquina de Turing. Desarrolla el calculo lambda el cual se basa en funciones recursivas. demuestra la existencia de problemas indicidibles para el calculo lambda -
Alan Mathison Turing
Precursor del nacimiento de la informática teórica, publica el articulo de los números computables, participa en la ruptura del cifrado de la maquina enigma -
Claude Elwood Shannon
Publica A Symbolic Analysis of relay and Switching Cicuits. Aplicacion de la lógica matemática a los circuitos electrónicos. -
Period: to
Autómatas finitos
Se desarrollan unas máquinas simples, en cuanto su funcionamiento, que fueron conocidas como autómatas finitos, para modelar el funcionamiento del cerebro. -
Claude Elwood Shannon
Publica una teoría matemática de la comunicación, da paso al nacimiento de la teoría de la información -
N. Chomsky
Comienza el estudio formal de las gramáticas (generadoras de lenguajes). -
Claude Elwood Shannon
Edita junto a McCarthy, Automata Studies, sobre maquinas secuenciales y autómatas finitos. -
N. Chomsky
Publica estructuras sintácticas en el que aparece la clasificación de gramáticas (Jerarquia de Chomsky) -
Stephen Cook
Extiende el estudio de Turing. Cook separa aquellos problemas que pueden ser solucionados de aquellos que en principio pueden ser solucionados pero que en la práctica toman demasiados recursos. -
Stephen Cook
Publica The Complexity of Theorem Proving Preceddures, donde define las clases de problemas P, NP y NP completos
