-
250 BCE
Princípios básicos da lógica matemática - Aristóteles
-
Origem à Teoria da probabilidade - Blaise Pascal e Pierre de Fermat
-
Lógica Morderna - George Boole
-
Aperfeiçoamento da lógica de Aristóteles - George Boole
-
Exposição completa da lógica proposicional moderna - Gottlob Frege
-
Surgimento dos paradoxos dentro da lógica - Principia Mathematica
-
Teorema da Completeza - Godel
-
Teorema da Incompleteza - Godel
-
Teoria da probabilidade comprovada - Andrei Kolmogorov
-
Definição explícita de verdade e de satisfação em lógica
-
Surgimento da Teoria da Computação - Alan Turing
-
Teste de Turing Total
-
Primeiro programa de computador para interferência lógica - Newel, Shaw e Simon
-
Redes Neurais Artificiais - Inteligência Artificial
-
Introdução da lógica como ferramenta útil na construção de sistemas de inteligência artificial