-
Publico conceptografia, desarrollo la lógica de primer orden, la notación que se utilizaba era bastante complicada
-
Propuso la notación actual de la lógica y estudio los principios de la matemática
-
Realiza la automatización de la geometría, publica en 1928 principios de la lógica teórica
-
Turing desarrolló una máquina abstracta denominada Máquina de Turing para el estudio de la computabilidad.
-
Estudia la teoría de funciones recursivas desarrolla las expresiones regulares numerosos estudios en la teoría de autómatas
-
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.
-
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
-
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
-
Publica A Symbolic Analysis of relay and Switching Cicuits. Aplicacion de la lógica matemática a los circuitos electrónicos.
-
Se desarrollan unas máquinas simples, en cuanto su funcionamiento, que fueron conocidas como autómatas finitos, para modelar el funcionamiento del cerebro.
-
Publica una teoría matemática de la comunicación, da paso al nacimiento de la teoría de la información
-
Comienza el estudio formal de las gramáticas (generadoras de lenguajes).
-
Edita junto a McCarthy, Automata Studies, sobre maquinas secuenciales y autómatas finitos.
-
Publica estructuras sintácticas en el que aparece la clasificación de gramáticas (Jerarquia de Chomsky)
-
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.
-
Publica The Complexity of Theorem Proving Preceddures, donde define las clases de problemas P, NP y NP completos
