-
Friedrich Ludwing Gottlob Frege
Desarrollo la Lógica de Primer Orden (and, or, not)
Publico su obra Conceptografía
Campo: Lógica Matemática -
Giuseppe Peano
Publico su primer libro sobre Lógica Matemática, dicho libro fue el primero en usar los símbolos modernos para la unión e intersección de conjuntos.
Campo: Lógica Matemática -
David Hilbert
Axiomatización de la Geometría, 21 Problemas de Hilbert.
Publica en 1928 los Principios de la Lógica Teórica
Problema de la Decisión: Descubrir un método general para decidir si una formula lógica es verdadera o falsa.
Campo: Lógica Matemática -
Stephen Kleene
Estudia la teoría de funciones recursivas
Numerosos Estudios en Teoría de Autómatas
Campo: Computabilidad -
Alan Turing
Participo en la ruptura del cifrado de la maquina Enigma
Formuló su propia versión que hoy es ampliamente aceptada como la tesis de Church-Turing
Invento la Maquina de Turing
Campo: Computabilidad -
Claude Elwood Shannon
Sentó las bases de la teoría del diseño del ordenador digital y el circuito digital.
Campo: Teoría de Autómatas -
Neurona de McCulloch-Pitts
Unidad de cálculo que intenta modelar el comportamiento de una neurona "natural", similares a las que constituyen del cerebro humano.
Campo: Complejidad Computacional -
John Presper Eckert
Desarrollo la primera computadora digital, las maquinas ejecutaban instrucciones consistentes en códigos numéricos.
Campo: Computabilidad -
Noam Chomsky
Comienza el estudio formal de las gramáticas (generadores de lenguaje).
Clasificación de lenguajes formales en teoría de la computación.
Campo: Lingüística -
Grace Hopper
Escribió el primer compilador.
Paso a la historia como la creadora de la base de datos COBOL.
Desarrolló el primer compilador para un lenguaje de programación así como también propició métodos de validación.
Campo: Lingüística, Complejidad Computacional. -
John Backus
Diseño el lenguaje de programación FORTRAN utilizado en matemáticas y aplicaciones de calculo científico.
Campo: Computabilidad. -
Edward F. Moore
Inventor de la máquina de estados finitos de Moore, y uno de los pioneros de la vida artificial.
Fue el primero en utilizar el tipo de máquina de estados finitos.
Campo: Computabilidad -
Stephen Cook
Define las clases de problemas P, NP y NP Completos en el que el subconjunto de los problemas de decisión en NP tal que todo problema en NP se puede reducir en cada uno de los problemas de NP-completo. Se puede decir que los problemas de NP-completo son los problemas más difíciles de NP y muy probablemente no formen parte de la clase de complejidad P.
Campo: Complejidad Computacional.