-
Charles Babbage - 1837
Construyó la maquina analítica la cual represento un avance importante en la computación ya que es capaz de realizar toda clase de cálculos semejantes a los de una computadora moderna. -
Giuseppe Peano -1858
Peano matemático y filosofo demostró la notación actual de la lógica y el estudio de los principales principio de la matemática. -
D. Hilbert 1928
Hilbert buscaba comprobar si era posible que un axioma acompañado de unas reglas pudiera comprobar la veracidad o la falla del sistema formal. Buscando así la creación de una nueva ciencia llamada matemática. Siendo el razonamiento su principal objetivo. -
Kurt G¨odel 1931
Para este año Kurt Gödel público el Teorema de la incompletitud donde desmonto la teoría de Hilbert. Gödel buscaba codificar códigos con base a algoritmos que incluyeran asignar a cada enunciado aritmético un número natural -
Kleene 1936
El estadounidense Kleeme creador de la teoría de la recursividad demuestra que existe funciones matemáticas definibles y funciones que pueden ser resueltas de manera recursiva. -
Alan Turing - 1937
Turing fundamento la tesis de church-turing donde aporta que toda tarea ejecutable de manera efectiva es computable. Así mismo aporto con el diseño de una máquina que puede comportar códigos binarios. -
John William Mauchly y John Presper Eckert
Crearon la primera computadora electrónica la cual es capaz de realizar mas de 5 mil operaciones aritméticas. Es una de las maquinas mas grandes que se han creado utilizando un sistema aire acondicionado completo -
C. Shannon - 1948
Shannon estableció las bases para la aplicación
de la lógica matemática al diseño de los circuitos combinatorios y secuenciales. -
Marvin Lee Minsky - 1951
Genero el primer simulador de redes neuronales, así mismo fue le inventor de las patentes del casco de realidad virtual -
D. A. Huffman -1954
Fundamento en código de Huffman lo cual es un sistema de codificación de longitud variable. Puedes ser utilizado en casi todas las aplicaciones debido a que es un sistema que se adapta a cualquier tipo de dato. -
N. Chomsky 1956
Lingüista y pensador, estableció las bases de la lingüística matemática o formal y con ello proporciono una poderosa herramienta que facilitó la definición de los primeros lenguajes de programación, que empezaban a surgir en esa época.
