Il est le créateur de la logique classique, fondée sur une structure algébrique définissant une sémantique, et que l'on appelle algèbre de Boole en son honneur.
Il a aussi travaillé dans d'autres domaines mathématiques, des équations différentielles aux probabilités en passant par l'analyse.
Les travaux de Boole, s'ils sont théoriques, n'en trouveront pas moins des applications primordiales dans des domaines aussi divers que les systèmes informatiques, la théorie des probabilités, les circuits électriques et téléphoniques, ... |