-
384 BCE
Aristóteles
Es reconocido como el padre fundador de la lógica y de la biología formuló el principio de la no contradicción un principio clásico de la lógica y la filosofía -
Maquina Pascal - Inventada por Blaise Pascal
La pascalina fue la primera calculadora que funcionaba a base de ruedas y engranajes. Este invento permitía sumar y restar dos números de manera directa y hacer la multiplicación y división por repetición -
Tarjetas Perforadas - Joseph Marie Jacquard
La tarjeta perforada o simplemente tarjeta es una lámina hecha de cartulina que contiene información en forma de perforaciones según un código binario. Estos fueron los primeros medios utilizados para ingresar información e instrucciones a una computadora. -
La máquina analítica, Charles Babbage
La máquina analítica, es el diseño de un computador moderno de uso general realizado por el profesor británico de matemáticas Charles Babbage, que representó un paso importante en la historia de la computación. -
Motor de Babbage - Ada Augusta Lovelace
Año 1843 Ada Augusta Lovelace, surigió la idea de de que las tarjetas perforadas se adaptaran de manera que causaran en el motor de Babbage la repetición de operaciones. Según esta sugerencia, muchos consideraron a la condesa de Lovelace, como la primera programadora. -
Teoria de los Conjuntos - Georg Cantor, Dedekind y Frege
Georg Ferdinand Ludwig Philipp Cantor (San Petersburgo, 3 de marzo de 1845-Halle, 6 de enero de 1918) fue un matemático nacido en Rusia,1 aunque de ascendencia alemana y judía.2 Fue inventor con Dedekind y Frege de la teoría de conjuntos, que es la base de las matemáticas modernas. Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de formalizar la noción de infinito bajo la forma de los números transfinitos (cardinales y ordinales) -
Gottlob Frege
Publicó su revolucionaria obra titulada Conceptografía o Escritura de conceptos.
Fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico -
Principios de lógica teórica - David Hilberg
La meta de Hilbert era crear un sistema matemático formal completo y consistente". Su idea era encontrar un algoritmo que determinara la verdad o falsedad de cualquier proposición en el sistema formal. Por desgracia para Hilbert, en la década de 1930 se produjeron una serie de investigaciones que mostraron que no era posible sus teorías. -
Alan Turing
Creó la Maquina de Turing
Publicó el artículo "sobre los números calculables"
Desarrollo el teorema de Gödel y puede considerarse el origen de la informática teórica. -
K. Gödel Teorema de Incompletitud
"Todo sistema de primer orden consistente que contenga los teoremas de la aritmética y cuyo conjunto de axiomas sea recursivo, no es completo." Un aspecto a destacar dentro del teorema de incompletitud de Gödel, fue la idea de codificación. A través del código, los enunciados referentes a enteros positivos, pueden considerarse como enunciados referentes a Números de código de expresiones, o incluso referentes a las propias expresiones. -
La lógica de la investigación científica - Karl Popper
La lógica de la investigación científica (en alemán Logik der Forschung), principal contribución de Popper a la teoría de la ciencia, apareció por primera vez en una serie de publicaciones del propio círculo vienés, a pesar de que contenía una moderada crítica al positivismo de esta comunidad de filósofos. La obra fue recibida como fruto de las discusiones del círculo, lo que llevó a muchos a calificar equivocadamente a Popper como positivista -
Maquina de Turing - Alan Turing
Alan Turing matemático ingles, creó modelos matemáticos de computadores, entre ellos la Maquina de Turing en el año de 1936, considerado el científico de la computación. Demostró los teoremas fundamentales acerca de los limites de la computabilidad a los que se le consideró como la teoría de la computación, durante la segunda guerra mundial ayudó a descifrar los códigos secretos en el que desarrolló el criptoanalisis, trabajó en la construcción de un computador electrónico británico. -
ABC - John Vincent Atanasoff y Clifford Edward Berry
El Atanasoff Berry Computer (ABC) fue la primera computadora electrónica y digital automática que se usó con números y letras.
El computador fue el primero en implementar tres conceptos claves presentes en los ordenadores modernos: Uso del sistema binario para representar todos los números y datos.
Realizaba todas las operaciones usando la electrónica en lugar de ruedas.
La computación estaba separada del sistema de almacenamiento o memoria. -
ENIAC-Computadoras de Propósito General - Universidad de Pensilvania
Peso: 27 Toneladas.Estados Unidos.
Fue la primera computadora electrónica de propósito general, puesto que tenia la capacidad de realizar cinco mil operaciones aritméticas . Esta maquina ocupaba todo un sótano de la Universidad, tenia más de 18000 tubos de vacío, consumía 200kw de energía eléctrica y requería todo un sistema de aire acondicionado -
JOHN VON NEUMANN - Teoría de Juegos - Programa almacenado en el computador
Originador el concepto de programa almacenado en el computador en 1945. Creó el modelo deinstrucciones de programas y datos almacenados en la memoria del PC. -
Lenguaje máquina
Se desarrolló la primera computadora digital
estas máquinas ejecutaban instrucciones consistentes en códigos numéricos -
SNARC (Simulador de Redes Neuronales) - Marvin Lee Minsky
Minsky contribuyó al desarrollo de la descripción gráfica simbólica, geometría computacional, representación del conocimiento, semántica computacional, percepción mecánica, aprendizaje simbólico y conexionista. En 1951 creó SNARC, el primer simulador de redes neuronales. Fue el inventor de las patentes del casco de realidad virtual en 1963 y del microscopio confocal en 1957 (antecesor de los ampliamente utilizados y modernos microscopios confocales de barrido por láser). -
Grace Hopper
Escribió el primer compilador
lenguaje de programación A-0 -
D. A. Huffman
Ya utiliza conceptos como estado de un autómata y tabla de transiciones. -
FORTRAN
Creación de lenguaje que permitía escribir fórmulas matemáticas
traducible por un ordenador -
N. Chomsky
Propone tres modelos para la descripción de lenguajes, que son la base futura jerarquía de los tipos de lenguajes, que ayudó también en el desarrollo de los LP. Para ello intentó utilizar autómatas para extraer estructuras sintácticas y dirige sus estudios a las gramáticas, indicando que la diferencia esencial entre autómatas y gramáticas es que la lógica asociada a los autómatas es decidible, mientras que la asociada a las gramáticas no lo es. -
Rabin y Scott
Obtienen un modelo de computador con una cantidad finita de memoria, al que llamaron autómata de estados finitos. Demostraron que su comportamiento posible, era básicamente el mismo que el descrito mediante expresiones regulares, desarrolladas a partir de los trabajos de McCulloch y Pitts. -
Teoría de Autómatas y Lenguajes Formales
El desarrollo de los ordenadores, con la introducción de los programas en la memoria principal, y posteriormente con los lenguajes de programación de alto nivel,propician la distinción entre lenguajes formales, con reglas sintácticas y semánticas rígidas, concretas y bien definidas, de los lenguajes naturales como el inglés, donde la sintaxis y la semántica no se pueden controlar fácilmente. -
ASIMO ROBOT HUMANOIDE
ASIMO es un robot humanoide presentado por la compañía japonesa Honda en el año 2000 Con el diseño y desarrollo de ASIMO se pretende ayudar a las personas que carecen de movilidad completa en sus cuerpos, así como para animar a la juventud para estudiar ciencias y matemáticas