Analogia entre a Álgebra de Boole e a Lógica Matemática

ANALOGIA ENTRE A ÁLGEBRA DE BOOLE E A LÓGICA MATEMÁTICA

ARACAJU
2014

Matemático, lógico, professor e autor inglês, nascido em Lincoln, Lincolnshire, cujos estudos deram início a um processo que conduziria a importantes aplicações tecnológicas, tais como os computadores eletrônicos baseados em dígitos binários. De uma família sem muitos recursos, foi praticamente um autodidata, inicialmente se dedicando ao estudo de latim e grego, tornando-se professor para seu sustento (1831) e fundando sua própria escola (1835). Paralelamente se interessou por matemática, estudou obras de Newton, de Laplace e de Lagrange e começou a publicar suas ideias sobre o assunto tornando-se, então, autor de importantes textos sobre equações diferenciais e transformação linear, com ênfase no conceito de invariância. Foi, então, condecorado com uma medalha da Royal Society por suas contribuições ao desenvolvimento da análise matemática (1844). Depois divulgou uma de suas mais originais contribuições em The Mathematical Analysis of Logic (1847), com os princípios da moderna lógica simbólica, mostrando que a esta deveria ser associada à matemática e acabando com a controvérsia sobre lógica criada entre William Hamilton e De Morgan e conseguindo com esta publicação, o cargo de professor de matemática no recém-fundado Quenns College, da cidade irlandesa de Cork (1849), apesar de não possuir grau universitário. O desenvolvimento de suas ideias deu origem à chamada álgebra de Boole ou álgebra booliana, base da lógica simbólica e e das probabilidades e sua principal obra, apresentada no livro An Investigation into the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities (1854), considerada um clássico na história da matemática. Com este trabalho ganhou o grau honorário da Universidade de Dublin. Faleceu em Ballintemple, County Cork, Irlanda e é considerado o pai da lógica matemática moderna por introduzir o