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)$$

Ses ouvrages

Anecdotes

  • Tradition rapportée

    Fin novembre 1864, George Boole marche trois miles sous une pluie battante pour aller donner son cours. Il le fait dans ses vêtements trempés. Il tombe malade. On raconte que sa femme Mary, pensant qu'un remède doit ressembler au mal, l'aurait enveloppé de draps mouillés. Il meurt le 8 décembre.

    Source : Wikipédia (en), article George Boole (section Death)

  • Fait attesté

    Boole est le fils d'un cordonnier de Lincoln. Il apprend seul le latin et les langues modernes. Un journal publie sa traduction d'un poème latin. Un érudit l'accuse de plagiat, car il le croit incapable d'un tel travail. À seize ans, Boole fait déjà vivre sa famille comme maître d'école.

    Source : Wikipédia (en), article George Boole (section Early life)

Sources

  • Wikidata CC0-1.0
  • Rédaction Synapx INTERNE