-
PASCALINA, Diferencias entre Pensamiento y Sentimiento
-
“Cogito ergo sum”, Separación Cuerpo-Mente, Hombre como máquina.
-
Cálculo Infinitesimal, Cálculo del Razonamiento, Sistema Binario de Numeración.
-
Padre del Computador Electrónico, Máquina Diferencial.
-
Leyes básicas del pensamiento (Conectivas And, Or y Not), Tablas de Verdad.
-
Principia Mathematica, La Matemática tiene sus raíces en la Lógica.
-
Teorema de Incompletitud, Fundamentos de la Metamatemática.
-
Red Neuronal Artificial.
-
ENIAC, Cerebro electrónico, Teoría de Autómatas y Lenguajes Formales, Autómatas Celulares, Compiladores, Arquitectura clásica.
-
Maquina del Calculo Abstracta, Artículo: Pueden las máquinas pensar?
-
CALCULO LAMBDA, FUNCIÓN COMPUTABLE, SIN(X), SQRT(X), POW(A,B).
-
TEORÍA DE LA INFORMACIÓN, BIT (BInary digiT), Celda de Memoria, Programa de Ajedrez
-
SISTEMAS EXPERTOS, Ingeniería del Conocimiento, Ingeniería de Software Basada en el Conocimiento (ISBC).
-
CIENCIAS DE LO ARTIFICIAL, Premio Nóbel, Teoría de decisiones inteligentes.
-
Acuñador del Término Inteligencia Artificial (IA), Creador del LISP (LISt Processing), SO de tiempo compartido.
-
TEÓRICO LÓGICO (TL), Resoluctor General de Problemas (RGP), Juego de Ajedrez.
-
PRIMER LABORATORIO DE IA, Agentes inteligentes Inteligencia Artificial Distribuida (IAD), Robótica Inteligente.
-
Leyes de la Lógica, Ley de Identidad, Ley de la Negación, Ley del Tercer Excluido.
