George Boole(1815 — 1864)
George Boole
Royaume-Uni
6 min de lecture
Mathématicien et logicien britannique du XIXe siècle, fondateur de l'algèbre booléenne. Il a révolutionné la logique en la traduisant dans un système mathématique, posant les fondations de l'informatique moderne.
Questions fréquentes
Faits marquants
- 1847 : Publication de 'The Mathematical Analysis of Logic', premier ouvrage formalisent la logique comme système mathématique
- 1854 : Publication de 'An Investigation of the Laws of Thought', ouvrage majeur fondant l'algèbre booléenne
- Création d'un système logique utilisant les opérateurs AND, OR, NOT, permettant de traiter les propositions logiques comme des équations
- 1849 : Nomination professeur de mathématiques au Queens College, Cork
- Son algèbre devient la base théorique des circuits logiques et de l'informatique numérique au XXe siècle
Œuvres & réalisations
Premier ouvrage dans lequel Boole propose de traiter la logique comme une branche des mathématiques, en introduisant un système algébrique pour représenter les raisonnements logiques.
Œuvre maîtresse de Boole, dans laquelle il développe pleinement son algèbre logique. Ce traité pose les fondements de ce qu'on appelle aujourd'hui l'algèbre booléenne, base de l'informatique moderne.
Article publié dans les Philosophical Transactions de la Royal Society, portant sur le calcul des opérateurs différentiels. Ce travail lui valut la médaille royale de la Royal Society.
Manuel universitaire influent sur les équations différentielles, largement utilisé dans l'enseignement supérieur britannique pendant plusieurs décennies.
Ouvrage complémentaire au précédent, traitant du calcul aux différences finies, qui fut également un manuel de référence dans les universités.
Anecdotes
George Boole était largement autodidacte. Issu d'une famille modeste de cordonnier à Lincoln, en Angleterre, il apprit le latin, le grec, le français et l'allemand par lui-même dès l'adolescence, en empruntant des livres à la bibliothèque locale. À 16 ans, il enseignait déjà dans une école pour subvenir aux besoins de sa famille.
En 1849, Boole fut nommé premier professeur de mathématiques au Queen's College de Cork, en Irlande, alors qu'il n'avait aucun diplôme universitaire. Sa réputation reposait uniquement sur ses publications mathématiques remarquées par des savants comme Augustus De Morgan, qui l'encouragea vivement dans ses travaux.
Boole mourut à seulement 49 ans dans des circonstances souvent racontées. En novembre 1864, il marcha sous la pluie jusqu'au Queen's College et donna son cours trempé. Il contracta une pneumonie. Son épouse Mary Everest Boole, adepte de l'hydrothérapie, l'aurait enveloppé dans des draps mouillés, ce qui aurait aggravé son état.
L'algèbre de Boole, considérée comme une curiosité abstraite de son vivant, ne trouva son application majeure que près d'un siècle plus tard. En 1937, Claude Shannon démontra dans sa thèse de master au MIT que l'algèbre booléenne pouvait être utilisée pour concevoir des circuits électriques, ouvrant la voie à l'informatique moderne.
Sources primaires
We might justly assign it as the definitive character of a true Calculus, that it is a method resting upon the employment of Symbols, whose laws of combination are known and general, and whose results admit of a consistent interpretation.
The design of the following treatise is to investigate the fundamental laws of those operations of the mind by which reasoning is performed; to give expression to them in the symbolical language of a Calculus.
De Morgan écrivit à Boole pour le féliciter de son ouvrage de 1847, reconnaissant que sa méthode de réduction de la logique à un système algébrique constituait une avancée majeure dans le domaine.
Lieux clés
Ville natale de George Boole où il grandit, apprit en autodidacte et ouvrit sa première école. Il y vécut jusqu'à sa nomination en Irlande.
Université irlandaise où Boole fut nommé premier professeur de mathématiques en 1849. Il y enseigna jusqu'à sa mort et y produisit ses travaux majeurs.
Quartier résidentiel de Cork où Boole vécut avec sa famille. C'est dans sa maison de Ballintemple qu'il mourut en décembre 1864.
Lieu de sépulture de George Boole, où sa tombe est encore visible aujourd'hui et fait l'objet de visites commémoratives.
Institution scientifique prestigieuse qui décerna à Boole sa médaille d'or en 1844, reconnaissant ainsi ses contributions mathématiques exceptionnelles.
Liens externes & ressources
Références
Œuvres
The Mathematical Analysis of Logic
1847
An Investigation of the Laws of Thought
1854
A Treatise on Differential Equations
1859
A Treatise on the Calculus of Finite Differences
1860
