Histoire des mathématiques Personne

George Boole

Personne

George Boole

logicien, mathématicien et philosophe britannique

vie
2 novembre 1815 – 8 décembre 1864
origine
Lincoln
domaine
XIXe siècle

Logicien, mathématicien et philosophe britannique, né à Lincoln le 2 novembre 1815 et mort le 8 décembre 1864. Son nom est attaché à l'algèbre de Boole, à la fonction booléenne et à l'inégalité de Boole. Il a publié Analyse mathématique de la logique et Les lois de la pensée.

Ses travaux

En logique, l’algèbre de Boole étudie les opérations et les fonctions portant sur des variables logiques, avec des applications également mentionnées en mathématiques et en électronique. Une fonction booléenne associe à une suite finie de valeurs prises dans {0,1} une valeur du même ensemble. Ses travaux comprennent aussi une méthode d’intégration numérique, méthode de Boole-Villarceau, et l’inégalité de Boole en théorie des probabilités, qui borne la probabilité d’une réunion d’événements. Analyse mathématique de la logique et Les lois de la pensée exposent le versant logique de ses publications.

Ses formules

inégalité de Boole a donné son nom à
$$\mathbb P\left(\bigcup_{i=1}^\infty A_i\right) \le \sum_{i=1}^\infty\mathbb P(A_i)$$

Liens

a contribué à
a donné son nom à
a été membre de
a influencé
a publié

Sources

  • Wikidata CC0-1.0
  • Rédaction Synapx INTERNE