Contenu
- Définition - Que signifie George Boole?
- Introduction à Microsoft Azure et au nuage Microsoft | Tout au long de ce guide, vous apprendrez ce qu'est le cloud computing et comment Microsoft Azure peut vous aider à migrer et à exploiter votre entreprise à partir du cloud.
- Techopedia explique George Boole
Définition - Que signifie George Boole?
George Boole (1815-1864) était un logicien, mathématicien et éducateur anglais. Il a commencé comme professeur en Angleterre et est devenu professeur de mathématiques à l’Université Queen’s, à Cork, en Irlande. Il a produit deux ouvrages majeurs en logique, à savoir "L'analyse mathématique de la logique" (1847) et "Les lois de la pensée" (1854).
Il a inventé l'algèbre booléenne, qui a élargi la relation entre la logique et les mathématiques. Il est ensuite devenu la base de la vérification de la validité des propositions logiques, effectuée à l'aide d'un caractère binaire à deux valeurs - vrai ou faux. Boole est considéré comme le «père de l'ère de l'information» pour ses énormes contributions à l'informatique, en particulier dans la logique informatique numérique.
Introduction à Microsoft Azure et au nuage Microsoft | Tout au long de ce guide, vous apprendrez ce qu'est le cloud computing et comment Microsoft Azure peut vous aider à migrer et à exploiter votre entreprise à partir du cloud.
Techopedia explique George Boole
Enfant prodige largement autodidacte, Boole n'est jamais allé à l'université. Il a été contraint de quitter l'école à l'âge de 16 ans après l'effondrement du commerce de chaussures de son père. La même année, il devint professeur adjoint et ouvrit plus tard sa propre école à 20 ans. Bientôt, George s'intéressa aux mathématiques et découvrit une nouvelle branche des mathématiques appelée théorie des invariants. En 1844, pour un article sur les équations différentielles, Boole se voit attribuer la première médaille d'or de la Royal Society de Londres. Bien que Boole n’ait aucun diplôme universitaire, il a été nommé professeur de mathématiques à l’Université Queen’s en 1849 uniquement sur la base de ses publications.
Boole fut 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 de manipulation et de résolution mathématique d'arguments logiques. Boole a proposé de réduire les propositions logiques à des équations algébriques et de remplacer les opérandes mathématiques par des mots logiques tels que AND, OR et NOT. 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 "Laws of Thought", il tente également de trouver une méthode commune de probabilités.