George Boole (Luma)

Introdução
George Boole foi um matemático inglês, criador da “Álgebra
Booleana”, trabalho fundamental para a posterior evolução dos
computadores.
Tornou-se conhecido após a publicação na Trasactions of the
Royal Society, de “On a General Method in Analysis”, um artigo
sobre métodos algébricos para a solução de equações
diferenciais. Em 1844 foi condecorado com a medalha da Royal
Society.

Desenvolvimento
Em 1847 publicou o livro “A Análise Matemática da Lógica”, uma
de suas mais significativas contribuições na área da lógica no
qual demonstrou que se podia aplicar a matemática à lógica.
Em reconhecimento à importância de seus textos publicados, em
1849 foi nomeado professor de matemática do Queens’ College,
de Cork, na Irlanda, apesar de não possuir formação
universitária, onde passou o resto de sua vida lecionando.
Em 1854 pulicou sua obra prima: “Na Investigation into the Laws
of Thought”, “Uma Investigação das Leis do Pensamento”, em
que se fundamentam as teorias matemáticas da lógica e
probabilidades, estabelecendo ao mesmo tempo a lógica formal
e uma nova álgebra.

Conclusão
Boole fez uma analogia entre os símbolos algébricos e os que
representavam a lógica, dando início à álgebra da lógica, que
posteriormente foi fundamental para a evolução dos
computadores. O tipo de dados “Boolean” é muito usado em
linguagens modernas da computação.
Em 1857, Boolen foi eleito membro da Royal Society. Recebeu
títulos das Universidades de Dubli e Oxford. Entre seus trabalhos
publicados estão: “Tratado em Equações Diferenciais” (1859),
“Tratado em Cálculo de Diferenças Finitas” (1860), além de mais
de 50 trabalhos sobre as propriedades básicas dos números.