-
Lógica simbólica
Gottlo Frege
George Boole
(Matemáticos) -
Alan Mathison Turing (Matemático inglés)
Teorema de Gödel (Origen oficial de la informática teórica)
Teorema de Turing (Formulación equivalente del Teorema de Gödel) -
Period: to
Claude Elwood Shannon (Matemático norteamericano)
Teoría matemática de la comunicación.
Análisis de circuitos electrónicos.
Teoría de control.
Construcción de compiladores e interpretes.
Entre otros.