George Boole

George Boole (1815-1864) foi um matemático inglês, criador da "Álgebra Booleana", trabalho fundamental para a posterior evolução dos computadores.

George Boole nasceu em Lincoln, Inglaterra, no dia 2 de novembro de 1815. Filho de um proprietário de uma pequena loja de sapatos recebeu do pai as primeiras lições de matemática. Frequentou a escola local e interessado por outros idiomas passou a ter aulas de latim com um livreiro local.

Aos 12 anos, Boole traduziu os versos de Horácio para o inglês, que foi publicado em um jornal da cidade. Decidiu também estudar grego. Ao terminar a escola fez um curso comercial.

Formação e carreira

Aos 16 anos, Boole começou a dar aulas e durante quatro anos ensinou em escolas elementares. Buscando melhores perspectivas para o futuro resolveu tornar-se padre e durante os quatro anos em que se preparava para a carreira eclesiástica estudou francês, alemão e italiano.

Em 1835 abriu uma escola e passou a estudar matemática. Ao estudar as obras de Newton, Laplace e Lagrange, escreveu uma série de textos. Foi encorajado pelo matemático Duncan Gregory e começou a estudar álgebra e a publicar seus trabalhos no Cambridge Mathematical Journal.

Principais contribuições

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.

George Boole continuava lecionando e se correspondendo com os principais matemáticos britânicos. Tornou-se amigo de De Morgan e investigou a controvérsia sobre lógica que o filósofo escocês Sir William Hamilton e De Morgan tinham iniciado.

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.

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.

George Boole faleceu em Ballintemple, Cork, Irlanda, no dia 8 de dezembro de 1864.