Il y a cent quatre-vingt cing ans naissait Georges Boole. Celui qui a ouvert la voie à l'avènement de l'informatique, sans même le savoir !
Mathématicien , logicien et un peu philosophe , Georges Boole est bien le père fondateur de la logique moderne. En créant l'algèbre booléenne, il a réussi là ou leibniz avait échoué : allier en un mème langage mathématiques et symbolisme.
Georges Boole développe une nouvelle forme de logique, à la fois symbolique et mathématique ayant pour but de traduire des idées et des concepts en équations et de leur appliquer certaines lois et ainsi de retraduire le résultat en termes logiques . Il crée alors une algèbre binaire n'acceptant que deux valeurs numériques : 0 et 1. Cette algèbre est définie par la donnée d'un ensemble E ( non vide ) muni de deux lois de composition interne ( le ET et le OU ) satisfaisant à un certain nombre de propriétés ( commutativité, distributivité...)
Des méthodes comme la "table de vérité", tableau permettant de décrire toutes les possibilités de sortie en fonction des entrées, conduisent à définir les opérations que l'on désire réaliser et à transcrire le résultat en une expression algébrique. Grâce à des règles appelées "lois de composition", ces expressions peuvent être simplifiées.
Hors justement, en informatique on utilise les nombres binaires, composés des deux chiffres : 0 et 1. Et l'algèbre de boole permet de représenter grâce à des symboles, un "circuit logique", c'est à dire un circuit qui schématise l'agencement des composants de base (au niveau logique) sans se préoccuper de la réalisation au moyen de transistors (niveau physique).
On lui doit aussi les variables et fonctions logiques ainsi que les portes logiques.
George Boole est mort d'une pneumonie le 8 décembre 1864.
Rechercher
Génération Virtuelle
Menu rapide
WebFTP gratuit
