Definição – o que George Boole quer dizer?
George Boole (1815-1864) foi um lógico, matemático e educador inglês. Começando como professor na Inglaterra, ele se tornou professor de matemática na Queen’s University, Cork, Irlanda. Ele produziu duas grandes obras em lógica, a saber “The Mathematical Analysis of Logic” (1847) e “The Laws of Thought” (1854).
Ele inventou a álgebra booleana, que expandiu a relação entre lógica e matemática. Posteriormente, tornou-se a base para verificar a validade das proposições lógicas, feita com a ajuda de um caractere binário de dois valores – verdadeiro ou falso. Por suas enormes contribuições para a ciência da computação, especialmente na lógica do computador digital, Boole é considerado o “pai da era da informação”.
Definirtec explica George Boole
Uma criança prodígio autodidata, Boole nunca frequentou a universidade. Ele foi forçado a deixar a escola aos 16 anos após o colapso do negócio de calçados de seu pai. No mesmo ano, ele se tornou professor assistente e, mais tarde, abriu sua própria escola aos 20 anos. Logo, George se interessou por matemática e descobriu um novo ramo da matemática conhecido como teoria invariante. Em 1844, por um artigo sobre equações diferenciais, Boole recebeu a primeira medalha de ouro da Royal Society of London. Embora Boole não tivesse diploma universitário, em 1849 ele foi nomeado professor de matemática na Queen’s University apenas com base em suas publicações.
Boole foi um dos primeiros ingleses a escrever sobre lógica. Ele desenvolveu um novo tipo de álgebra linguística, agora conhecido como álgebra booleana, como um método para manipular e resolver matematicamente argumentos lógicos. Boole propôs que as proposições lógicas poderiam ser reduzidas a equações algébricas e os operandos matemáticos podem ser substituídos por palavras lógicas como AND, OR e NOT. Ele forneceu algoritmos gerais em uma linguagem algébrica que podem ser aplicados a diferentes tipos de argumentos complexos. Em sua obra “Leis do Pensamento”, ele também tentou encontrar um método comum nas probabilidades.