-
Gottlob Frege
Frege ideó un programa logicista destinado a explorar los fundamentos lógicos y filosóficos de las matemáticas y del lenguaje natural. Estaba convencido de que las matemáticas y el lenguaje podían ser reducidos a la lógica.
Las dos obras fundamentales de Frege son su Begriffsschrift (1879, habitualmente traducido como Ideografía), que sentó las bases de la lógica moderna -
GIUSEPPE PEANO
conocido por sus contribuciones a la lógica matemática y la teoría de números. Peano publicó más de doscientos libros y artículos, la mayoría en matemáticas. La mayor parte de su vida la dedicó a enseñar en Turín.
1887: publicación de Applicazioni Geometriche del Calcolo Infinitesimale -
ALAN TURING
Es considerado uno de los padres de la ciencia de la computación y precursor de la informática moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión que hoy es ampliamente aceptada como la tesis de Church-Turing (1936). -
CLAUDE SHANNON
reconocido por haber fundado el campo de la teoría de la información con la publicación Una teoría matemática de la comunicación, que supuso un hito en 1948. Es quizás igualmente conocido por haber sentado las bases de la teoría del diseño del ordenador digital y el circuito digital en 1937 -
GREACE HOPPER
Popularizó la idea de una máquina independiente de los lenguajes de programación, lo que derivó en el desarrollo de COBOL, un lenguaje de alto nivel de programación que aún se utiliza.
Entre las décadas de los 50 y 60 desarrolló el primer compilador para un lenguaje de programación así como también propició métodos de validación -
JOHN BACKUS
en 1954 Backus se encargó de la dirección de un proyecto de investigación en IBM para el proyecto y realización de un lenguaje de programación más cercano a la notación matemática normal. De ese proyecto surgió el lenguaje FORTRAN, el primero de los lenguajes de programación de alto nivel que tuvo un gran impacto, incluso comercial, en la emergente comunidad informática. -
EDWARD F.MOORE
Fue el primero en utilizar el tipo de máquina de estados finitos (FSM: del inglés Finite State Machine) que es muy comúnmente utilizado hoy en día: la máquina de Moore.es un autómata de estados finitos para el cual la salida en un momento dado sólo depende de su estado en ese momento, mientras la transición al siguiente estado depende del estado en que se encuentre y de la entrada introducida. -
STEFHEN KLEENE
Condujo varias organizaciones profesionales, sirviendo como presidente de la Association of Symbolic Logic (Asociación de Lógica Simbólica) de 1956 a 1958. En 1961 fue presidente de la Internacional Union of the History an the Philosophy of Science. Murió en Madison, Wisconsin. -
NOAM CHOMSKY
En 1957, con solo 29 años, Chomsky revolucionó el campo de la lingüística teórica con la publicación de la obra Estructuras sintácticas, basada en su tesis doctoral ―Estructura lógica de la teoría lingüística―, que no se publicaría hasta 1975. -
STEPHEN A. COOK
Por su avance en nuestra comprensión de la complejidad computacional de un modo significativo y profundo. Su artículo pionero, The Complexity of Theorem Proving Procedures, presentado en el ACM SIGACT Symposium on the Theory of Computing de 1971, sentó los cimientos de la teoría de NP-completitud. La exploración de los límites de la clase de complejidad NP-completo ha sido una de las actividades investigadoras más activas e importantes en las ciencias de la computación durante la última década.
