-
Pensamiento: Actividad del Pensar, el cual emite un juicio sea oral, escrito o gestual y a su vez tiene un predicado.
-
Cuerpo + Mente "Cogito Ergo Sum"
-
La pascalina (+, -)
-
Sistema Binario.
-
Á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.
-
Cálculo de Predicados --> Lenguaje PROLOG
-
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 -
Principia Mathematica
Filosofía Analítica -
Principia Mathematica
Filosofía del Proceso -
Máquina de Turing
Test Church-Turing
Máquinas Oracle
Análisis Criptográfico
Primer programa de ajedrez por computadora