Precursores y fundadores de la informática
El tratamiento formal del razonamiento humano se remonta por lo menos a la Antigua Grecia. A fines del siglo XIX, los matemáticos y los filósofos comenzaron a desarrollar las matemáticas del razonamiento formal.
En la década de 1930, este desarrollo alcanzó su punto más alto con la formulación de los teoremas de Gödelsobre la completitud y la incompletitud del razonamiento formal, y con el trabajo de Gödel, Post y Turing sobre la completitud (universalidad) y la incompletitud (no computabilidad) de la actuación formal.
En la década de 1940, los avances en ingeniería eléctrica y posteriormente electrónica así como las exigencias de las fuerzas armadas, llevaron a la construcción de las primeras calculadoras automáticas.
Las computadoras universales se desarrollaron alrededor del año 1950. Las ciencias matemáticas ya estaban listas para ello. Por ejemplo, el conocido matemático ruso Andrei Markov publicó en 1947 un libro de varios cientos de páginas con un código simbólico completo para un compilador de lenguaje de alto nivel, acompañado de una comprobación formal completa de su exactitud.
Los matemáticos también participaron en el diseño y la construcción de las primeras computadoras (John von Neumann) y sus primeras aplicaciones (Alan Turing). A fines de la década de 1940, Wiener acuñó el término cibernética Fuente: Libro de las Tecnologías de la información y la comunicación en la enseñanza de la UNESCO.
