Linha do Tempo da Lógica

Prévia do material em texto

504 - 425 a.C.
Zenon de Eléia é aprendiz de Parmênides e fundador da Escola Eleática. Iniciou método dialético da argumentação sistemática, dando o início para a trajetória da lógica.
“O que se move sempre está no mesmo lugar agora.” – Zenon de Eléia.
384 – 322 a.C.
Aristóteles é fundador da Escola Aristotélica nos deixou seus ensinamentos no livro chamado Organon, que é composto por seis tratados, que juntos são denominados a linha de estudo LOGIKE, que traduzindo do latim,”Lógica”. 
Existem três princípios que servem de sustentação para a Lógica que dão uma profundidade em relação ao real:
Princípio da Identidade
Princípio do Terceiro Excluído
Princípio da Não-Contradição
Escola eleática é uma escola filosófica pré-socrática em que as questões filosóficas concentram-se na comparação entre o valor do conhecimento sensível e o do conhecimento racional. Dessas reflexões, resultou que o único conhecimento válido é aquele fornecido pela razão.
624/625 – 556/558 a.C
Tales de Mileto 
“É fazendo que se aprende a fazer aquilo que se deve aprender a fazer.” – Tales de Mileto.
 300 a.C
Euclides foi um matemático de Alexandria, no Egito. É chamado o pai da Geometria. Escreveu o livro "Elementos de Euclides". a obra de Euclides é considerada a primeira. abordagem formal e axiomática encontrada na história da matemática
ele fundou a Escola Real de Alexandria, no reinado de Ptolomeu I (306-283 a.C.). Foi com Euclides que a geometria do Egito tornou-se importante, fazendo de Alexandria o centro mundial do compasso e do esquadro.
 Na obra, Elementos, ele reuniu num sistema coerente e compreensível, tudo o que se sabia sobre matemática em seu tempo. Todos os fragmentos surgidos da necessidade prática do uso da aritmética, geometria plana, teoria das proporções e geometria sólida. 
1- Um ponto é aquilo que não tem parte.
Uma linha possui comprimento, mas não é dotada de largura.
2- As extremidades de uma linha são pontos.
3- Uma linha reta é uma linha que existe sempre emparelhada com os pontos sobre si mesma.
4- Uma superfície é aquela que possui comprimento e largura somente.
5- As extremidades de uma superfície são linhas.
6- Uma superfície plana é uma superfície que existe com as linhas retas sobre si mesma.(...)
“As leis da natureza são apenas os pensamentos matemáticos de Deus.” – Euclides de Alexandria.
1601 – 1665 d.C
Blaise Pascal foi um Filósofo e Matemático francês, nasceu em Clermont em 1623 e morreu em 1662 na cidade de Paris. Era filho de Etienne Pascal, também Matemático. Em 1632, toda a família foi viver em Paris.
Talvez um dos feitos mais marcantes de Blaise Pascal foi ter inventado a primeira máquina automática de calcular (dispositivos mecânicos) para as operações aritméticas de adição e multiplicação. 
“O coração tem razões que a própria razão desconhece.” – Blaise Pascal.
Pierre de Fermat nasceu no dia 17 de agosto de 1601 em Beaumont-de-Lomages, França, e morreu no dia 12 de janeiro de 1665 em Castres, França. Foi advogado e oficial do governo em Toulouse pela maior parte de sua vida. A matemática era o seu hobbie.
Fermat não publicou quase nada durante a sua vida, anunciando as suas descobertas em cartas aos amigos. Às vezes ele anotou resultados nas margens dos seus livros. O trabalho dele foi largamente esquecido até que foi redescoberto no meio do século 19.
“Eu descobri uma demonstração maravilhosa, mas a margem deste papel é muito pequena para contê-la.” – Pierre Fermat.
1646 – 1716 d.C
O matemático e filósofo alemão Gottfried Wilhelm von Leibniz, nasceu em 1º de julho de 1646, e morreu em 14 de novembro de 1716. Foi um gênio universal e um fundador de ciência moderna. 
Ele antecipou o desenvolvimento de LÓGICA simbólica e, independentemente de Isaac Newton, inventou o cálculo com uma notação superior, incluindo os símbolos para integração e diferenciação.
Entretanto, Gottfried utilizava uma notação muito complicada para ser compreendida. Além disto Inventou uma máquina mecânica de calcular para as operações de multiplicação e divisão.
“Enquanto Deus calcula e exerce seu pensamento, o mundo se faz.” – Wilhelm Leibniz.
1702 – 1761 d.C
Thomas Bayes foi um matemático inglês e um pastor presbiteriano pertencente à minoria calvinista na Inglaterra e foi eleito membro da Royal Society em 1712.
Thomas Bayes tem sua obra publicada postumamente em 1763 a respeito da regra de Bayes. Thomas Bayes tem sua obra publicada postumamente em 1763 a respeito da regra de Bayes. 
1815 – 1864 d.C
George Boole nasceu em 1815 e morreu em 1864. Era filho de um sapateiro, não tendo assim condições financeiras para obter um grau elevado em termos de educação. Mas a sua determinação levaria a que ultrapassa-se esse obstáculo. Enquanto criança estudou na Escola Primária Lincoln, e depois numa Escola Comercial.
Em 1844, lançou um trabalho sobre, a Aplicação de métodos Algébricos, para a solução de Equações Diferenciais, recebendo uma medalha de Ouro da Royal Society.
“Analise Matemática” da Lógica foi outro dos trabalhos publicados em 1847, que divulgou assim as ideias que tinha da Lógica Simbólica, assim a Lógica, apresentada por Aristóteles, poderá ser apresentada por Equações Algébricas. Boole disse inclusive: "Nós não necessitamos mais de associar Lógica e Metafísica, mas sim Lógica e Matemática".
Boole foi e continua a ser considerado pelos colegas de profissão, e por todos aqueles que se dedicam à matemática, como tendo sido um homem genial. A lei especial da Lógica de Boole diz que x em relação a y = x. Para isso ser verdade, x = 1 ou x = 0. Sendo assim, a Lógica de Boole tem de utilizar um sistema Binário.
“Eu acredito firmemente, para a realização de um propósito da mente Divina.” – George Boole.
1848 – 1925 d.C
Gottlob Frege (1848 a 1925) foi um matemático alemão e criador dos quantificadores para a Lógica Matemática. Deve-se ressaltar que a obra do primeiro ainda estava bastante incompleta, precisando de aperfeiçoamentos. 
primeiro trabalho importante publicado em 1879, intitulado “Escrita de Conceitos” que relata primeira exposição completa da lógica proposicional moderna (e da lógica de primeira ordem)
a verdadeira lógica de primeira ordem data da introdução de quantificadores no trabalho de Frege de (1879).
1858 – 1932 d.C
Giuseppe Peano foi um matemático e glottologista italiano. Autor de mais de 200 livros e artigos, foi um dos fundadores da lógica matemática e da teoria dos conjuntos.
Sabe-se hoje que ao introduzir este principio na lógica de predicados, recai-se na aritmética de Peano. Conceitualmente a diferença entre a lógica de predicados de primeira ordem e a aritmética de Peano é bastante significativa. 
"Todos os sistemas que satisfazem as cinco proposições primitivas estão em correspondência individual com os números naturais". – G.Peano
Jacques Herbrand foi um matemático francês com uma carreira precoce. Seus trabalhos incluíam estudos e contribuições para a lógica matemática e a teoria dos corpos de classes. O teorema de Herbrand é o resultado da sua tese de doutorado em teoria de demonstração . 
Alfred North Whitehead 
1861 – 1947 d.C
Bertrand Arthur Willian Russell juntamente com Alfred Whitehead (1861 - 1947) publicam Os Principia Mathematica (três volumes de 1910 até 1913). Dá-se início aos surgimentos dos paradoxos dentro da lógica embora ainda nesta época acreditava-se ser possível reduzir a matemática à lógica.
 
1872 – 1970 d.C
Um dos grandes feitos do século XX foi introduzir a teoria axiomática das probabilidades na lógica de predicados, feito este, atribuído ao matemático Rudolf Carnap (1891 – 1970).
 Rudolf Carnap publicou em 1950 o livro “Fundamentos Lógicos da Probabilidade”.
1903 – 1987 d.C
AN Kolmogorov é o autor de resultados clássicos em muitos ramos da matemática e da ciência contemporânea em geral. É amplamente reconhecido que ele foi um dos cientistas mais destacados do século XX. em 1957 provou a existência de aproximadores universais de funções e isto acabou dando origem ao ramo da Inteligência Artificial denominado RedesNeurais Artificiais
“Aquilo que os homens de fato querem não é o conhecimento, mas a certeza.” – B.A.W. Russell.
"Em ciência não há profundezas; há superfície em todos os lugares.“ – Rudolf Carnap.
Nascido em 14 de junho de 1903, Washington DC, Alonzo Church é um lógico matemático, criador do Cálculo Lambda que contribuiu com o teorema de Church-Rosser para o estudo da ciência da computação.
1903 – 1995 d.C
"Nosso assunto é lógica - ou, como podemos dizer mais detalhadamente, para distinguir de certos tópicos e doutrinas que (infelizmente) foram chamados pelo mesmo nome, é lógica formal". (Introdução à Lógica Formal, Alonzo Church, 1956)
Alan Mathison Turing nasceu em 23 de junho de 1912, em Londres, na Inglaterra. Ele estudou em uma excelente escola particular, depois entrou para a Universidade de Cambridge. Ainda nessa universidade, escreveu diversos artigos cruciais.
Foi na época de seu doutorado que apresentou a teoria para a criação de um aparelho de computação chamado máquina de Turing. Máquina de Turing tornou-se a base para todos os computadores digitais. Turing terminou seu doutorado em 1938.
Alan Turing foi orientado por Alonzo Church.
Na teoria da computabilidade a tese de Church-Turing é uma hipótese sobre a natureza de artefatos mecânicos de cálculo, como computadores, e sobre que tipo de algoritmos eles podem executar.
“Nós só podemos ver um pouco do futuro, mas o suficiente para perceber que há muito a fazer.” – Alan Turing.
Teorema da Completeza (Gödel, 1930): qualquer sentença que é conseqüência lógica tem uma prova finita para a lógica de primeira ordem. 
Teorema da Incompleteza (Gödel, 1931): um sistema lógico que inclua o princípio da indução necessariamente é incompleto. Por conseguinte, existem em tais sistemas conseqüências lógicas, mas que, não têm nenhuma prova finita dentro do sistema.
Kurt Gödel nasceu na república Tcheca em 1906 e faleceu em 1978 em Princeton, EUA onde lecionou por vários anos e tinha como vizinho acadêmico o físico Albert Einstein.
Kurt é conhecido notadamente por suas pesquisas em filosofia e matemática. Doutor pela Universidade de Viena (1930), e lá alcançou a fama por uma publicação divulgando o que seria conhecido com a prova de Gödel, tratando sobre lógica matemática.