-
Inventa el transistor de union
-
Crea un modelo de neuronas artificiales
-
Un pionero de la computación. Su logro más destacado fue terminar la primera computadora controlada por programas que funcionaban, la Z3 en 1941. Esta puede que haya sido la "primera computadora", aunque hay discrepancias en este sentido pues, si se consideran algunas sutilezas, como por ejemplo que la máquina de Zuse no era de propósito general, tal vez no lo sea.
-
Es considerado uno de los padres de la ciencia de la computación y precursor de la informática moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión de la hoy ampliamente aceptada tesis.
-
Las Torres de Hanói es un rompecabezas o juego matemático inventado en 1883 por el matemático francés Édouard Lucas.Este juego de mesa solitario se trata de un juego con un número de discos de radio creciente que se apilan insertándose en una de las tres estacas de un tablero. El objetivo del juego es crear la pila en otra de las estacas siguiendo ciertas reglas.
-
La lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo.
-
Álgebra de Boole en informática y matemática, es una estructura algebraica que esquematiza las operaciones lógicas Y, O, NO y SI, así como el conjunto de operaciones unión, intersección y complemento.
-
Empieza a tomar o obtar el nombre de Inteligencia artificial
-
El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, ampliamente reconocido como padre fundador de la lógica
-
Fue un inventor y matemático griego de Alejandría (siglo III a. C.). Sus construyo la primera maquina autocontrolada
