Définition - Que signifie George Boole?
George Boole (1815–1864) était un logicien, mathématicien et éducateur anglais. Commençant comme instituteur en Angleterre, il est devenu professeur de mathématiques à l'Université Queen's de Cork, en Irlande. Il a produit deux ouvrages majeurs en logique, à savoir "The Mathematical Analysis of Logic" (1847) et "The Laws of Thought" (1854).
Il a inventé l'algèbre booléenne, qui a élargi la relation entre la logique et les mathématiques. Il est devenu plus tard la base pour vérifier la validité des propositions logiques, effectuée à l'aide d'un caractère binaire à deux valeurs - vrai ou faux. Pour ses énormes contributions à l'informatique, en particulier à la logique informatique numérique, Boole est considéré comme le «père de l'ère de l'information».
Definir Tech explique George Boole
Enfant prodige largement autodidacte, Boole n'a jamais fréquenté l'université. Il a été contraint de quitter l'école à 16 ans après l'effondrement de l'entreprise de chaussures de son père. La même année, il devient professeur assistant, puis ouvre sa propre école à l'âge de 20 ans. Bientôt, George s'intéresse aux mathématiques et découvre une nouvelle branche des mathématiques connue sous le nom de théorie des invariants. En 1844, pour un article sur les équations différentielles, Boole reçut la première médaille d'or de la Royal Society of London. Même si Boole n'avait pas de diplôme universitaire, en 1849, il fut nommé professeur de mathématiques à l'Université Queen's uniquement sur la base de ses publications.
Boole a été l'un des premiers Anglais à écrire sur la logique. Il a développé un nouveau type d'algèbre linguistique, maintenant connu sous le nom d'algèbre booléenne, comme méthode pour manipuler et résoudre mathématiquement des arguments logiques. Boole a proposé que les propositions logiques puissent être réduites à des équations algébriques et que les opérandes mathématiques peuvent être remplacés par des mots logiques tels que ET, OU et NON. Il a fourni des algorithmes généraux dans un langage algébrique qui pourraient être appliqués à différents types d'arguments complexes. Dans son ouvrage «Les lois de la pensée», il a également tenté de trouver une méthode commune des probabilités.