Algèbre de Boole
George Boole (1815-1864) est l'un des fondateurs de la logique moderne. L'algèbre qui porte son nom est notamment utilisée dans la théorie des ensembles. Un ensemble, fini ou infini, est une collection d'éléments individuels. On distingue plusieurs opérateurs dans l'algèbre de Boole : l'union, l'intersection et la soustraction. Ces opérations peuvent être illustrées concrètement par des volumes, représentant alors des ensembles de points.
© Larousse 2006