George Boole nasceu em 2 de novembro de 1815 em Lincoln, Inglaterra,
onde começou a freqüentar a escola. Foi de seu pai que Boole recebeu as
primeiras instruções sobre matemática e o gosto pelos instrumentos
óticos. Quando começou a se interessar por idiomas passou a ter aulas
com um livreiro local de latim e grego e acreditava que esse
conhecimento o ajudaria a melhorar sua condição social.
Boole não teve formação acadêmica, mas aos 16 anos já era um professor
assistente. Em 1835 abriu uma escola e mudou o seu interesse, passando a
estudar matemática.
Seu primeiro trabalho em matemática teve como base os estudos de Laplace
e Lagrange sendo encorajado por Duncan Gregory que estava em Cambridge.
Boole não pode aceitar o conselho de Duncan para freqüentar cursos em
Cambridge, pois precisou cuidar de seus pais, mas ele começou a fazer
publicações na recém fundada Cambridge Mathematical Journal. Também por
influência de Duncan passou a estudar álgebra.
Recebeu uma medalha da Royal Society por uma publicação na Trasactions of the Royal Society sobre métodos algébricos para a solução de equações diferenciais e a partir de então o seu trabalho começou a ser conhecido.
Tornou-se amigo de De Morgan e interessou-se por uma controvérsia sobre lógica que o filósofo escocês Sir William Hamilton (1788-1856) tinha iniciado com De Morgan. O resultado foi que Boole em 1847 publicou uma obra curta chamada The Mathematical Analysis Logic, um pequeno livro que marcou época.
Em 1849 ganhou a cadeira de matemática no Queens College em Cork,
onde passou o resto de sua vida ensinando. Foi um professor muito
dedicado. Um grande filósofo do século XX, Berthand Russell, afirmou que
a maior descoberta do século IXX foi a natureza da matemática pura.
Acrescenta a essa asserção as palavras “A matemática pura foi descoberta
por Boole numa obra que ele chamou As Leis do Pensamento”. Nesta
asserção Russell se refere à obra mais conhecida de Boole, publicada em
1854.
Publicou, em 1854, An investigation into the Laws of Thought onde
definiu as teorias matemáticas da lógica e da probabilidade
estabelecendo ao mesmo tempo a lógica formal e uma nova algebra. Boole
viu a lógica de um modo novo e chegou a uma álgebra mais simples. Ele
fez uma analogia entre os símbolos algébricos e os que representavam a
lógica. E isso deu inicio a álgebra da lógica conhecida como Álgebra Booleana, que é muito aplicada na computação (notadamente em programção, via linguagens de programação).
Boole teve muitos outros trabalhos publicados, em 1859 um Tratado em
Equações Diferenciais, em 1860 um Tratado em Cálculo de Diferenças
Finitas, além de mais de 50 documentos sobre as propriedades básicas dos
números.
Nenhum comentário:
Postar um comentário