-
Fundamentos de Matemáticas
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. -
Entscheidungs Problem
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. -
Period: to
Principia Mathematica
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 -
Teorema de la Incompletitud
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. -
La Maquina de Turing
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. -
Teoría de la Información
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. -
Teoria de Lenguajes Formales
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.
