Boole George, 1815-1864, né à Lincoln, mathématicien anglais, un des fondateurs de la logique symbolique.

Boole George, 1815-1864, né à Lincoln, mathématicien anglais, un des fondateurs de la logique symbolique. Reprenant, en la précisant, l'idée leibnizienne de la « caractéristique universelle «, Boole a créé une algèbre de la logique qui consiste à soumettre le raisonnement logique aux règles du calcul (Analyse mathématique de la logique , 1847 ; Recherches sur les lois de la pensée, 1854). Algèbre de Boole. Cette structure algébrique a été étudiée par Boole pour généraliser les propriétés de l'ensemble des parties d'un ensemble. Un ensemble E muni de deux lois, notées + et ., et d'une application x _ ~(généralisant le passage au complémentaire) est une algèbre de Boole lorsque ces deux lois sont associatives et admettent des éléments neutres, notés 0 et 1 ; chacune d'elles est distributive par rapport à l'autre, et pour tout élément x de E, x + x = x et x . x = x, x + ~ = 1 et x . ~ = 0 ; enfin, pour tout couple (x,y) d'éléments de