-
Formulo el principio de la no contradicción, que es un principio clásico de la lógica y la filosofía.
-
Fue el primero en hacer una distinción y caracterización de la leyes lógicas de su contenido semántico.
-
Publico el primer libro de lógica matemática que utilizo símbolos modernos para la representación de conjuntos en su intersección y unión.
-
Creo la maquina de turing, también desarrollo el teorema de Godel que se puede considerar como el origen de la informática teórica.
-
Se desarrollaron maquinas simple para el estudio cerebral, estas maquinas fueron conocidas como autómatas finitos.
-
en este año se desarrolla la primera computadora ejecutando instrucciones en códigos numéricos, dominando así el lenguaje maquina para eventos futuros.
-
Comenzo de manera formal el estudio de las gramáticas, clasificando los lenguajes formales en la teoría de la computación.
-
Crea por primera vez en la historia un lenguaje compilador, lenguaje de programacion A-0
-
Nace el lenguaje de programacion Fortran que permite escribir formulas matematicas traducibles por un computador.
-
Aplica la logica matematica para el estudio de circuitos combinatorios en las computadoras.
-
Aporta las bases para la ciencia de la computación teórica, creador de la teoria de la recursividad.
-
Se aplican por primera vez en la industria
-
Profundiza el estudio de Alan turing aplicando nuevos cambios en las mismas,
