Algèbre de Boole
Au début du XIXe siècle, la froideur des mathématiques de nos voisins britanniques contraste avec l'effervescence continentale. Une querelle entre disciples de Newton et de Leibniz avait sclérosé les travaux outre-Manche. Tandis que l'Europe calculait avec la notation différentielle leibnizienne, les Britanniques s'accrochaient aux fluxions newtoniennes, moins pratiques, moins fécondes.
Vers 1810, quelques esprits novateurs fondèrent la Société Analytique à Cambridge. Babbage et ses camarades brisèrent l'isolement intellectuel en important les méthodes du continent. Cela mit en question les fondements mêmes de l'algèbre : que signifiaient réellement ces nombres négatifs, ces quantités imaginaires ? Une réponse émergea dans l'algèbre symbolique. Elle ne tirait plus sa légitimité d'opérations sur des nombres, mais établissait des lois formelles applicables à n'importe quels symboles.
C'est dans cette atmosphère intellectuelle que George Boole forgea son œuvre. Né en 1815 à Lincoln dans un milieu modeste, jamais diplômé d'université, il se forma seul aux mathématiques avec une rigueur stupéfiante. D'abord maître d'école, il finit professeur au Queen's College de Cork en 1849. Une controverse entre Augustus De Morgan et William Hamilton sur la quantification du prédicat l'incita à publier en 1847 The Mathematical Analysis of Logic. Son intuition était d'appliquer l'algèbre au raisonnement logique.
Boole transforma la logique en système formel avec sa notation algébrique. Des symboles littéraux comme x ou y représentaient des classes d'objets, combinables par opérateurs (+, ×). Ces opérations suivaient des règles précises : commutativité (xy = yx), distributivité (x(u + v) = xu + xv), et cette propriété singulière : x2 = x. Cette dernière règle marquait une rupture avec l'algèbre numérique ordinaire, où seuls 0 et 1 la respectent.
Son système traduisait les propositions logiques en équations. Ainsi, tous les X sont Y devenait x(1 − y) = 0. L'usage du symbole 1 pour l'univers du discours et 0 pour la classe vide constituait une autre trouvaille.
Augustus De Morgan, ami et contemporain de Boole, développait parallèlement ses propres théories logiques. Son Formal Logic parut le même jour que l'ouvrage de Boole en 1847. De Morgan introduisit la notion d'univers du discours variable, rompant avec l'univers fixe aristotélicien. Il formula aussi les fameuses lois qui portent son nom : la négation d'une conjonction équivaut à la disjonction des négations, et réciproquement.
La notation booléenne souffrait de limitations. Boole exigeait que l'addition ne s'applique qu'à des classes disjointes, compliquant l'expression de certaines relations. Sa définition de la soustraction imposait que la classe soustraite soit incluse dans celle de départ.
Dans les décennies suivantes, des mathématiciens affinèrent ce système. Charles Sanders Peirce apporta des contributions décisives dans les années 1880, démontrant notamment que toutes les opérations booléennes pouvaient se réduire à une seule : le NAND (non-et) ou le NOR (non-ou).
La notation moderne prit forme progressivement. Bertrand Russell introduisit le symbole ∨ (ou) en 1906, tandis que Arend Heyting proposa ∧ (et) en 1930. L'expression « algèbre booléenne » fut employée pour la première fois par Henry Maurice Sheffer en 1913.
En 1936, Marshall Harvey Stone franchit un pas vers l'abstraction en unifiant les travaux antérieurs sous le concept d'anneau booléen. Il établit l'isomorphisme entre l'algèbre booléenne et cette structure, créant un pont théorique fondamental.
Les applications pratiques de l'algèbre de Boole explosèrent au XXe siècle. En 1938, Claude Shannon démontra dans sa thèse de master au MIT que ces principes permettaient d'analyser et concevoir des circuits de commutation électrique. Cette découverte créa un lien entre logique mathématique et conception électronique, fondant l'informatique moderne.
De nos jours, l'algèbre booléenne traverse toute l'informatique. Elle structure la conception des circuits logiques, la vérification formelle des programmes et l'optimisation des requêtes dans les bases de données. Chaque microprocesseur repose sur des techniques d'optimisation issues de cette théorie.
L'histoire de l'algèbre de Boole montre comment une théorie abstraite, née de questions sur la logique, transforme un domaine technologique entier. Elle souligne l'importance des notations mathématiques en lesquelles un symbolisme adapté révèle des relations invisibles auparavant. George Boole rêvait d'un « calcul de la pensée » mécanisant le raisonnement logique. Si ce projet philosophique n'a pas abouti tel quel, ses outils mathématiques sont devenus le langage secret des machines qui façonnent notre monde.