George Boole
Veja uma homenagem ao matemático George Boole no bicentenário de seu nascimento, da University College Cork, Irlanda Uma homenagem ao matemático George Boole no bicentenário de seu nascimento, da University College Cork (antigo Queen's College), Cork, Irlanda. University College Cork, Irlanda (um parceiro editorial da Britannica) Veja todos os vídeos para este artigo
George Boole , (nascido em 2 de novembro de 1815, Lincoln, Lincolnshire, Inglaterra - morreu em 8 de dezembro de 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 álgebra booleana , é básico para o design de Computador digital circuitos.
Boole recebeu suas primeiras aulas em matemática por seu pai, um comerciante, que também o ensinou a fazer instrumentos ópticos. Além da ajuda de seu pai e de alguns anos em escolas locais, Boole era autodidata em matemática. Quando o negócio de seu pai entrou em declínio, George teve que trabalhar para sustentar a família. Aos 16 anos, ele lecionou em escolas de vilarejos em West Riding of Yorkshire e abriu sua própria escola em Lincoln quando tinha 20 anos. Durante o escasso tempo de lazer, ele lia jornais de matemática no Lincoln’s Mechanics Institute. Lá ele também leu Isaac Newton 'S princípios , Pierre-Simon Laplace 'S Tratado de mecânica celeste , e Joseph-Louis Lagrange 's Mecânica analítica e começou a resolver problemas avançados de álgebra.
Boole submeteu um fluxo de artigos originais para o novo Cambridge Mathematical Journal , começando em 1841 com suas Pesquisas sobre a Teoria da Analítico Transformações. Esses artigos versavam 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 na Transações filosóficas da Royal Society , Em um Método Geral de Análise, pelo qual ele foi premiado com a primeira medalha de ouro da Royal Society em matemática, ele discutiu como os métodos de álgebra e cálculo podem ser combinados. Boole logo percebeu que sua álgebra também poderia ser aplicada na lógica.
Desenvolvendo novas idéias sobre o método lógico e confiante no raciocínio simbólico que derivou de suas investigações matemáticas, ele publicou em 1847 um panfleto, A Análise Matemática da Lógica, sendo um Ensaio para um Cálculo do Raciocínio Dedutivo , no qual ele argumentou persuasivamente que a lógica deve ser aliada à matemática, não filosofia . Ele ganhou a admiração do lógico inglês Augustus De Morgan, que publicou Lógica Formal o mesmo ano. Com base em suas publicações, Boole em 1849 foi nomeado professor de matemática no Queen’s College, County Cork (agora 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 fundamentam as teorias matemáticas da lógica e das probabilidades , que ele considerou como uma declaração madura de suas idéias. No ano seguinte, ele se casou com Mary Everest, sobrinha de Sir George Everest, que deu nome à montanha. Os Booles tiveram cinco filhas.
Um dos primeiros ingleses a escrever sobre lógica, Boole apontou o analogia entre os símbolos algébricos e aqueles que podem representar formas lógicas e silogismos, mostrando como os símbolos de quantidade podem ser separados daqueles de operação. Com Boole em 1847 e 1854 começou a álgebra da lógica, ou o que hoje é chamado de álgebra booleana. O método simbólico geral original e notável de Boole de lógica inferência , totalmente declarado em Leis do Pensamento (1854), permite que alguém, dadas quaisquer proposições envolvendo qualquer número de termos, tire conclusões que estão logicamente contidas no instalações . Boole's abstruso o raciocínio 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 dependem da lógica booleana para seu projeto e operação. Ele também tentou um método geral em probabilidades, o que tornaria possível, a partir das probabilidades dadas de qualquer sistema de eventos, determinar o conseqüenteprobabilidadede qualquer outro evento logicamente conectado com os eventos dados.
Em 1857, Boole foi eleito membro da Royal Society. O influente Um Tratado sobre Equações Diferenciais apareceu em 1859 e foi seguido no ano seguinte por sua sequência, Um Tratado sobre o Cálculo das Diferenças Finitas . Usados como livros didáticos por muitos anos, esses trabalhos incorporam uma elaboração das descobertas mais importantes de Boole.
Boole contraiu pneumonia depois de caminhar cinco quilômetros de sua casa até o Queen’s College durante uma tempestade em 24 de novembro de 1864. Ele morreu em 8 de dezembro.
Compartilhar:
