-
Gottlob Frege, considerado como el padre de la lógica matemática, intento la construcción de sistema lógico completo que redujera la aritmética a la lógica. Sus obras influyeron grandemente a matemáticos y filósofos contemporáneos.
-
El matemático David Hilbert presenta en el Congreso Matemático Internacional de París 23 problemas pendientes de resolución, entre los cuales se encuentra el problema de la decisión que consiste en descubrimiento de un método general para decidir si una formula lógica es verdadera o falsa.
-
Inspirados por el trabajo de Gottlob Frege, Bertrand Russell y Alfred North Whitehead publican la obra Principia Mathematica que consta de 3 libros con las bases de la matemática
-
El matemático y filósofo Kurt Gödel publica su teorema de incompletud que establece que: "Toda formulación axiomática consistente de la teoría de números contiene proposiciones indecidibles.
-
Alan Mathision Turing introduce la máquina de Turing, en la que se aborda por primera vez el concepto de algoritmo. Turing toma el trabajo de Gödel para demostrar por medio de su máquina que existen problemas que no se pueden resolver, a los problemas que tienen solución se le denomina problemas computables o problemas recursivamente enumerables.
-
Claude Elwood Shannon publica un articulo donde aplica la lógica matemática para el análisis de circuitos combinatorios y secuenciales, posteriormente fue aplicado a los dispositivos electrónicos. Shannon es considerado el padre de la teoría matemática de la comunicación que es de gran importancia en la Ingeniería de Telecomunicaciones.
-
Avram Noam Chomsky conviritió la lingüistica en una ciencia que podía aplicarse fuera de su ámbito como el estudio y formalización de lenguajes para la programación de ordenadores.
