-
Pascalina - Blas 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. -
La tarjeta perforada - 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 en los años 1960 y 1970. Las tarjetas perforadas fueron usadas con anterioridad por Joseph Marie Jacquard en los telares de su invención, de donde pasó a las primeras computadoras electrónicas. -
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. Fue inicialmente descrita en 1837, aunque Babbage continuó refinando el diseño hasta su muerte en 1871 -
Motor de Babbage - Ada Augusta Lovelace
Ada Augusta Lovelace, sugirió la idea 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. -
Notación actual de la lógica - estudió los principios de la matemática - Giuseppe Peano
Giuseppe Peano - Profesor en la Universidad de Turín
y en la Academia Militar Real. Matemático y filósofo, propuso la notación actual de la lógica y estudió los principios de la matemática. Formulario, enciclopedia con todas las fórmulas y
teoremas conocidos en matemáticas -
Teoría de los Conjuntos - Georg Cantor, Dedekind y Frege
Georg Ferdinand Ludwig Philipp Cantor fue un matemático nacido en Rusia, aunque de ascendencia alemana y judía. 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). -
Principios de lógica teórica - David Hilberg
David Hilberg - Profesor en la Universidad de Gottingen. El matemático más importante del s. XX. Realizó trabajos en análisis funcional, geometría, fundamentos de física cuántica y de relatividad
general, lógica. Axiomatización de la geometría. Problemas de Hilbert. Publica en 1928 Principios de lógica teórica. Problema de la decisión: descubrir un método general para decidir si una fórmula lógica es verdadera o falsa -
Tesis de Church Turing - Alonso Chruch
Alonso Chruch - Profesor en Princeton. Desarrolla el cálculo lambda, que es el lenguaje de programación más pequeño consiste en transformación simple(sustituir variables) y en definir funciones. (Base de los lenguajes funcionales).
Tesis de Church Turing: cualquier modelo computacional existente tiene las mismas capacidades algorítmicas, o un subconjunto, de las que tiene una máquina de Turing. -
Máquina de Turing - Alan Turing
Alan Turing matemático inglés, 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 límites 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. -
ENIAC (Computadora de Propósito General) - Universidad de Pensilvania
Peso: 27 Toneladas. Estados Unidos.
John William Mauchly y John Presper Eckert, con el propósito de resolver los problemas de balística del ejército de Estados Unidos.
Fue la primera computadora electrónica de propósito general, puesto que tenía la capacidad de realizar cinco mil operaciones aritméticas . Esta máquina ocupaba todo un sótano de la Universidad, tenía 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. -
Teoría de Juegos (Programa almacenado en el computador) - John Von Neumann
John Von Neumann - Originador el concepto de programa almacenado en el computador en 1945. Creó el modelo de instrucciones de programas y datos almacenados en la memoria del PC. -
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). -
Autómata finito - Michael O. Rabin y Dana Scott
Dana Scott en 1959 publicó un artículo junto con Michael O. Rabin, un colega de Princeton, titulado Finite Automata and Their Decisión Problem (Autómatas Finitos y el Problema de su Decidibilidad), que introdujo la idea de las máquinas no determinísticas en el campo de la teoría de autómatas. Obtienen un modelo de computador con una cantidad finita de memoria, al que llamaron autómata de estados finitos. -
ARPANET - Departamento de Defensa de los Estados Unidos
ARPANET - Creada en 1969-hasta 1990 (Cerrada)
La Red de la Agencia de Proyectos de Investigación Avanzada (ARPANET) fue una red de conmutación de paquetes temprana y la primera red en implementar la suite de protocolos TCP / IP . Ambas tecnologías se convirtieron en la base técnica de Internet . El ARPANET fue inicialmente financiado por la Agencia de Proyectos de Investigación Avanzada (ARPA) del Departamento de Defensa de los Estados Unidos.
