George Boole

George Boole, (nascido em 2 de novembro de 1815, Lincoln, Lincolnshire, England-died December 8, 1864, Ballintemple, County Cork, Irlanda), matemático inglês que ajudou a estabelecer a lógica simbólica moderna e cuja álgebra da lógica, agora chamada de álgebra booleana, é básica para o design de circuitos digitais de computador.

Boole recebeu suas primeiras lições de matemática de seu pai, um comerciante, que também o ensinou a fazer instrumentos ópticos. Além da ajuda de seu pai e alguns anos nas escolas locais, Boole foi autodidata em matemática. Quando o negócio de seu pai declinou, George teve que trabalhar para sustentar a família. A partir dos 16 anos, ensinou em escolas da aldeia no West Riding of Yorkshire, e abriu a sua própria escola em Lincoln quando tinha 20 anos. Durante o pouco tempo de lazer, ele leu revistas de matemática no Lincoln’s Mechanics Institute. Lá ele também leu Principia de Isaac Newton, Traité de mécanique céleste de Pierre-Simon Laplace e Mécanique analytique de Joseph-Louis Lagrange e começou a resolver problemas avançados em álgebra.

Boole submeteu uma série de artigos originais ao novo Cambridge Mathematical Journal, começando em 1841 com suas “Pesquisas sobre a Teoria das Transformações Analíticas”. Estes artigos foram sobre equações diferenciais e o problema algébrico da transformação linear, enfatizando o conceito de invariância. Em 1844, em um importante artigo no Philosophical Transactions of the Royal Society, “On a General Method of Analysis”, pelo qual ele foi premiado com a primeira medalha de ouro da Royal Society para matemática, ele discutiu como os métodos de álgebra e cálculo poderiam ser combinados. Boole logo viu que sua álgebra também poderia ser aplicada em lógica.

Desenvolvendo novas idéias sobre método lógico e confiante no raciocínio simbólico que ele tinha derivado de suas investigações matemáticas, ele publicou em 1847 um panfleto, The Mathematical Analysis of Logic, sendo um Ensaio para um Cálculo de Raciocínio Dedutivo, no qual ele argumentou persuasivamente que a lógica deve ser aliada à matemática, e não à filosofia. Ele ganhou a admiração do lógico inglês Augustus De Morgan, que publicou a Lógica Formal no mesmo ano. Com base em suas publicações, Boole em 1849 foi nomeado professor de matemática no Queen’s College, County Cork (hoje University College Cork), embora não tivesse diploma universitário. Em 1854 ele publicou Uma Investigação sobre as Leis do Pensamento, nas quais se baseiam as Teorias Matemáticas da Lógica e das Probabilidades, que ele considerava como uma declaração madura de suas idéias. No ano seguinte, casou-se com Mary Everest, sobrinha de Sir George Everest, para quem a montanha foi nomeada. Os Booles tiveram cinco filhas.

Um dos primeiros ingleses a escrever em lógica, Boole apontou a analogia entre símbolos algébricos e aqueles que podem representar formas lógicas e silogismos, mostrando como os símbolos de quantidade podem ser separados dos símbolos de operação. Com Boole em 1847 e 1854 começou a álgebra da lógica, ou o que agora é chamado de álgebra booleana. O original e notável método simbólico geral de inferência lógica de Boole, totalmente enunciado nas Leis do Pensamento (1854), permite, dadas as proposições que envolvem qualquer número de termos, tirar conclusões que estão logicamente contidas nas premissas. O raciocínio abstruso de Boole levou a aplicações com as quais ele nunca sonhou – por exemplo, comutação telefônica e computadores eletrônicos usam dígitos binários e elementos lógicos que se baseiam na lógica booleana para seu design e operação. Ele também tentou um método geral em probabilidades, que tornaria possível a partir das probabilidades dadas de qualquer sistema de eventos, determinar a consequente probabilidade de qualquer outro evento logicamente conectado com os eventos dados.

Em 1857 Boole foi eleito um membro da Royal Society. O influente Tratado A sobre Equações Diferenciais apareceu em 1859 e foi seguido no ano seguinte pela sua sequência, Um Tratado sobre o Cálculo das Diferenças Finitas. Utilizados como livros didáticos por muitos anos, estes trabalhos incorporam uma elaboração das descobertas mais importantes de Boole.

Boole contraiu pneumonia após andar três milhas de sua casa para o Queen’s College em uma tempestade no dia 24 de novembro de 1864. Ele morreu em 8.

de Dezembro.