1. DECADA: 1880
1.1. Fredrich Gottlob (matemático, lógico y filósofo analitico)
1.1.1. Desarrollo de la lógica de primer orden (operadores and, or, not, implicación, para todo, existe). La notación que utilizaba era bastante complicada
1.1.1.1. publico una Ideografía que trata un conjunto de símbolos y sintaxis que creo para clarificar las relaciones lógicas contenidas en el lenguaje ordinario y lleva el nombre de Begriffsschrift
2. DECADA: 1890
2.1. Giuseppe Peano (matemático, lógico y filósofo)
2.1.1. realizo multiples publicaciones, entre las cuales aporto la idea de que es posible poner todas las argumentaciones de la lógica de enunciados y de la lógica de clases en un lenguaje artificial de signos,
3. DECADA: 1920
3.1. David Hilbert (matematico)
3.1.1. Axiomas
3.1.1.1. Reglas de Inferencia
3.1.1.1.1. Su meta era encontrar un conjunto de axiomas y reglas de inferencia correctos de manera que las matematicas pudieran reducirse a un sistema computacional
4. DECADA: 1930
4.1. los principios de la Informatica Teorica, el mundo de las matematicas se hallaba ocupado, sobre todo, en temas como la logica y la definicion de sistemas axiomaticos.
4.2. Kurt Godel (lógico, matemático y filósofo)
4.2.1. "Teorema de la incompletitud”
4.2.1.1. demostraba que era imposible la completa axiomatizacion de las matematicas.
4.3. Alan Turing (matemático, lógico, informático teórico, criptógrafo, filósofo y biólogo teórico)
4.3.1. “Sobre los numeros computables”
4.3.1.1. Maquina de Turing (M.T.)
4.3.1.1.1. una entidad matema abstracta con la que se formalizo el concepto de algoritmo. tiene el poder computacional de resolver cualquier problema que tenga una solucion computacional.
4.4. Claude Shannon (matemático, ingeniero eléctrico y criptógrafo)
4.4.1. pionero de la computación
4.4.1.1. realizo publicaciones para crear las bases en reconocimiento de la teoría básica de información sobre las máquinas que serian desarrolladas por los otros pioneros.
5. DECADA: 1940
5.1. Warren McCulloch (neurologo y cibernetico) y Walter Pitts (logico)
5.1.1. neurona biológica
5.1.1.1. creadores de el primer modelo matemático donde establecio automatas finitos equivalentes a células.
5.2. Maquina Automata Finito
5.2.1. constituyen el grupo de maquinas mas sencillas y que, por tanto, tienen un menor poder funcional
5.2.1.1. utiliza para modelar el comportamiento de dispositivos mec´anicos y tambi´en de sistemas naturales
5.3. Jhon Presper (ingeniero eléctrico) y John Mauchly (físico)
5.3.1. ENIAC
5.3.1.1. creadores de la primera maquina computacional de propósito general. Construida usando tubos de vacío para el almacenamiento, bajo la dirección de
5.4. Grace Hopper (científica de la computación y militar)
5.4.1. Mark I
5.4.1.1. realizo el manual que permitio generar el primer lenguaje compilador para ordenadores y creo el termino "bug" para referirse a un error de programación
6. DECADA: 1990
6.1. A. Berztiss
6.1.1. Vamos a considerar a las CC como un cuerpo de conocimiento cuyo objetivo es obtener respuestas
7. DECADA: 1980
7.1. Norman E. Gibbs (ingeniero de software, erudito y líder educativo) y Allen B. Tucker (editor)
7.1.1. ‘no debemos entender que el objetivo de las Ciencias de la Computación sea la construcción de programas sino el estudio sistemático de los algoritmos y estructura de datos, específicamente de sus propiedades formales’
7.2. General Motors y Sociedad de Ingenieros en Manufactura SME.
7.2.1. realizaron un intento por estandarizar la comunicación con los PLC por medio del Protocolo de Automatización de Manufactura
8. DECADA: 1970
8.1. Estephen Cook (científico reconocido de la computación)
8.1.1. "La complejidad de los procedimientos de demostración de teoremas"
8.1.1.1. dedico a extender el trabajo de turing y formalizó el concepto de NP-completitud. formuló el problema de la relación entre las clases de complejidad P y NP.
9. DECADA: 1950
9.1. Noham chomsky (lingüista, filósofo, politólogo y activista)
9.1.1. "Three models for the description of language"
9.1.1.1. estructura matemática, consistente en conjunto de reglas que definen la forma de construir cada una de las cadenas de caracteres que componen un determinado lenguaje".
9.2. John Backus (científico de la computación)
9.2.1. Backus Normal Form
9.2.1.1. notación que permite describir la sintaxis de un Lenguaje de programación de alto nivel
9.2.2. FORTRAN
9.2.2.1. primer llenguaje de programación de alto nivel desarrollado en conjunto con programadores de IBM
9.3. Edward Moore (filósofo)
9.3.1. máquina de estados finitos de Moore y vida artificial
9.3.1.1. realizó un trabajo fundamental en la teoría de la computabilidad
9.4. John Myhill (Matemático)
9.4.1. teorema del Jardín del Edén
9.4.1.1. se caracteriza por las reglas del autómata celular.