-
diseño una de las primeras calculadoras, pero nunca la construyo. "Maquina Diferencial"
-
Aunque sus Origenes se remontan en el 6 A.C, hay importantes autores que dieron aportes significativos como " Trabajos de Pascal, Newton, Jacob Bernoulli y Euler se volvieron fundamentales en el emergente campo", en 1800, la combinatoria dio aportes muy significativos a la teoria de grafos y pos teriormente en 1900, este permitio romper los bordes entre la combinatoria y partes de la matemática y la informática teórica.
-
Prototipo de la Maquina Diferencial.
El abuelo de la computación diseño el prototipo de la máquina diferencial que calcula polinomios, diseño las tarjetas perforadas. Lenguaje parecido al ensamblador. -
Georg Cantor, inicia la Teoria de Conjuntos, que es la base de las matemáticas modernas, realizo investigaciones, cuestiones conjuntistas «puras» del infinito.
-
Gottlob Frege, Es el padre de la logica moderna, sentó las bases de la lógica matemática moderna, ´permitio fijar los principios axiomáticos de la lógica
-
Primero en implementar las maquinas "Maquina Tabuladora" para automatizar tareas.
Realizo la automatización del censo americano de 10 años a 6 semanas, por medio de tarjetas perforadoras. -
Bertrand Russell, demuestra que la teoría original de conjuntos formulada por Cantor y Frege es contradictoria.
-
los axiomas de Zermelo-Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos.
-
Propuso crear un modelo matemático completo. Crear un algoritmo que determinara la verdad o falsedad de cualquier preposición. Lo llamo el “Entscheidungs problem”.
-
Como tal estudio teórico, se originó en la década de los años 30 con los trabajos de los lógicos Church, Gödel, Kleene, Post y Turing.
-
Creo la teoría de la Incompletud, "Todo sistema de primer orden consistente que contenga los teoremas de la aritmética y
cuyo conjunto de (números de Gödel de) axiomas sea recursivo no es completo." -
es un modelo teórico de un sistema computador de hardware o software usado en la teoría de autómatas.
-
Desarrollo las tecnicas para el desciframiento regular de los mensajes de Enigma. "Primero en el Hacking"
-
Demostraron problemas que eran efectivamente indecidibles.
-
Emil Leon Post, creo un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
-
Alan Turing desarrollo la maquina Absatracta Universal.
-
Creo diseños de una maquina de cifrado de mensajes.
-
Diseño de una maquina por Alan Turing y con el refinamiento de Gordon Welchman y el trabajo de Harol Keen, Gracias a un desarrollo sustancial de Marian Rejewski "bomba criptológica".
-
Se desarrollan maquinas simples, llamadas autómatas finitos, modelando el funcionamiento del cerebro.
-
La neurona de McCulloch-Pitts es una unidad de cálculo que intenta modelar el comportamiento de una neurona "natural", similares a las que constituyen del cerebro humano.
-
Establecion la Arquitectura de Von Neuman utilizada en casi todos los computadores. También creó el campo de los autómatas celulares sin computadores, construyendo los primeros ejemplos de autómatas
-
Fundador de la cibernética, en su libro de Cibernética o el control y comunicación en animales y máquinas
-
El padre de la teoría de la información, fundo la teoria de la informacion, de igual modo sento las bases de la teoria del diseño del ordenador digital y el circuito digital.
-
Introdujo la operación Clausura de Kleene, fue el creador de la teoría de la recursividad, dando su aporte a sentar las bases de la ciencia de la computación teórica, al proporcionar los métodos para determinar que los problemas son solubles.
-
comienza el estudio formal de las gramáticas (generadoras de lenguajes).
-
La conferencia de Dartmound, dio oficial al inicio del estudio de la inteligencia artificial
-
Introdujo la idea de las máquinas no deterministas, un concepto enormemente valioso, como se probaría más adelante.
Las máquinas no deterministas se han convertido en un concepto clave en la teoría de la complejidad computacional, particularmente para describir las clases de complejidad P y NP. -
Diseñaron un programa paralelamente al objeto físico.. Es decir, si el objeto físico tenía cien componentes, el programa también tendría cien módulos, uno por cada pieza.
-
extiende el estudio de Turing. Cook, separa aquellos problemas que pueden ser solucionados de aquellos que en principio pueden ser solucionados pero toman demasiado recursos.
Permitió determinar qué pueden los ordenadores resolver de forma eficiente y qué no. -
Las matemáticas discretas han visto un gran número de problemas difíciles de resolver, Yuri Matiyasevich probó un problema complejo.
-
Aunque se origina en el siglo XVIII con el problema de los puentes de Königsberg, el cual consistía en encontrar un camino que recorriera los siete puentes del río Pregel, de modo que se recorrieran todos los puentes pasando una sola vez por cada uno de ellos; En 1976 se aplica en la computacion permitiendo la optimización de recorridos, procesos, flujos, algoritmos de búsquedas, entre otros, se generó toda una nueva teoría que se conoce como análisis de redes.
-
Difieren entre las áreas de conocimiento y en los niveles de experiencia, permite el estudio de problemas de la física natural & de problemas complejos través de escenarios computarizados.
