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