-
322
Aristoteles
Pensamiento: Actividad del Pensar, el cual emite un juicio sea oral, escrito o gestual y a su vez tiene un predicado. -
Rene Descartes
Cuerpo + Mente "Cogito Ergo Sum" -
Blaise Pascal
La pascalina (+, -) -
Gottfried Leibniz
Sistema Binario. -
George Boole - Lógica Matemática
Álgebra de Boole (también llamada álgebra booleana) en informática y matemática, es una estructura algebraica que esquematiza las operaciones lógicas Y, O , NO y SI (AND, OR, NOT, IF), así como el conjunto de operaciones unión, intersección y complemento. -
Gottlo Frege
Cálculo de Predicados --> Lenguaje PROLOG -
David Hilbert
Algoritmo de Simplificación del Algebra de Boole
Teoría de invariantes,
La axiomatización de la geometría
La noción de espacio de Hilber
Teoría de Demostración
Lógica Matemática -
Bertrand Russell
Principia Mathematica
Filosofía Analítica -
Alfred North Whitehead
Principia Mathematica
Filosofía del Proceso -
Alan Turing
Máquina de Turing
Test Church-Turing
Máquinas Oracle
Análisis Criptográfico
Primer programa de ajedrez por computadora