George Boole (2 novembre 1815 – 8 décembre 1864) était un mathématicien et philosophe anglais. On lui attribue la transformation de la logique, d'une étude philosophique du langage, en un système mathématique d'équations algébriques utilisant des valeurs binaires et des opérateurs logiques. Son développement de l'algèbre de Boole a jeté les bases de la tradition de l'algèbre de la logique et constitue le fondement de la conception des circuits numériques et de l'informatique moderne.
Boole a publié environ 50 articles et plusieurs publications distinctes au cours de sa vie. Ses œuvres clés comprennent « The Mathematical Analysis of Logic » (1847), qui a introduit la logique symbolique, et « The Laws of Thought » (1854), qui contient son exposé le plus complet de l'algèbre de Boole. Il a également écrit deux traités systématiques : « Treatise on Differential Equations » (1859) et « Treatise on the Calculus of Finite Differences » (1860). Ses contributions aux mathématiques lui ont valu des honneurs, notamment le premier prix d'or de la Royal Society pour les mathématiques, la médaille Keith, et des diplômes honorifiques des universités de Dublin et d'Oxford.
Jeunesse et éducation
Boole est né le 2 novembre 1815 à Lincoln, dans le Lincolnshire, en Angleterre, de John Boole Sr (1779–1848), cordonnier, et de Mary Ann Joyce. Il a reçu une éducation primaire et des leçons de son père, mais en raison d'un grave déclin de l'entreprise familiale, il a eu peu d'enseignement académique formel supplémentaire. William Brooke, un libraire de Lincoln, a peut-être aidé à lui apprendre le latin, qu'il aurait également pu apprendre à l'école de Thomas Bainbridge. Il était en grande partie autodidacte en langues modernes. Lorsqu'un journal local a publié sa traduction d'un poème latin, un érudit l'a accusé de plagiat, supposant qu'il n'était pas capable d'un tel travail.
À 16 ans, Boole est devenu le soutien de famille de ses parents et de ses trois jeunes frères et sœurs, en prenant un poste d'enseignant junior à l'école Heigham à Doncaster. Il a brièvement enseigné à Liverpool. Il a participé au Lincoln Mechanics' Institute, fondé en 1833, où Edward Bromhead l'a aidé à obtenir des livres de mathématiques. Le révérend George Stevens Dickson de St Swithin's, à Lincoln, lui a donné le texte de calcul de Sylvestre François Lacroix. Sans professeur, Boole a mis de nombreuses années à maîtriser le calcul.
À 19 ans, Boole a établi sa propre école à Lincoln sur Free School Lane. Quatre ans plus tard, il a repris l'académie Hall à Waddington après la mort de Robert Hall. En 1840, il est retourné à Lincoln, où il a dirigé un pensionnat. Il s'est impliqué dans la Lincoln Topographical Society, servant au sein de son comité et présentant un article intitulé « On the origin, progress, and tendencies of polytheism, especially amongst the ancient Egyptians and Persians, and in modern India ».
Débuts mathématiques
À partir de 1838, Boole a établi des contacts avec des mathématiciens académiques britanniques sympathisants et a lu plus largement. Il a étudié l'algèbre sous la forme de méthodes symboliques telles qu'elles étaient comprises à l'époque et a commencé à publier des articles de recherche. En 1844, son article « On a General Method in Analysis » a remporté le premier prix d'or pour les mathématiques décerné par la Royal Society. Ce travail a contribué aux débuts de la théorie des invariants et à la théorie des équations différentielles linéaires.
En 1847, Boole a publié « The Mathematical Analysis of Logic », qui a introduit la logique symbolique. Ce travail a développé l'algèbre de Boole, un concept fondamental de la logique binaire. Le système utilise des valeurs binaires (vrai/faux, 1/0) et des opérateurs logiques tels que ET, OU, et NON, exprimés sous forme d'équations algébriques. Cela a jeté les bases de la tradition de l'algèbre de la logique.
Professorat au Queen's College de Cork
Le statut de Boole en tant que mathématicien a été reconnu par sa nomination en 1849 comme premier professeur de mathématiques au Queen's College de Cork (aujourd'hui University College Cork) en Irlande. Il a travaillé principalement dans les domaines des équations différentielles et de la logique algébrique. Il a rencontré sa future épouse, Mary Everest, en 1850 alors qu'elle rendait visite à son oncle John Ryall, professeur de grec. Ils se sont mariés en 1855.
Boole a maintenu ses liens avec Lincoln, travaillant avec E. R. Larken dans une campagne pour réduire la prostitution. En 1861, il a été impliqué dans un jugement de la Cour du banc de la reine en Irlande contre John Hewitt Wheatley de Craig House, Sligo, pour la somme de 400 £, par lequel la succession et l'intérêt de Wheatley dans les terres de Maghan/Mahon, comté de Cork, ont été conférés à Boole.
En mars 1863, Boole a loué Litchfield Cottage, à Cork, où il a vécu avec sa femme jusqu'à sa mort en décembre 1864. Son testament a légué tout son « domaine, terme et intérêt » dans le bail à sa femme. En août 1865, Mary, vivant alors au 68 Harley Street, à Londres, a transmis la maison à Francis Heard de Ballintemple, Cork, capitaine dans le 87e régiment de Sa Majesté du South Cork.
Les Lois de la pensée et l'algèbre de Boole
Boole est surtout connu comme l'auteur de « The Laws of Thought » (1854), qui contient sa présentation la plus systématique de l'algèbre de Boole. Dans cet ouvrage, il a tenté de découvrir une méthode générale en probabilités, en se concentrant sur la détermination de la probabilité conséquente d'événements logiquement liés à des probabilités données. Le livre a formalisé l'algèbre de la logique, montrant comment le raisonnement logique pouvait être exprimé comme des opérations algébriques sur des variables binaires.
L'algèbre de Boole est devenue une pierre angulaire de la logique numérique moderne. Dans les années 1930, Claude Shannon et Victor Shestakov ont indépendamment employé l'algèbre de Boole pour optimiser la conception des systèmes de relais électromécaniques, conduisant au développement des ordinateurs numériques électroniques modernes. Ce travail est crédité d'avoir aidé à jeter les bases de l'ère de l'information. La logique booléenne reste essentielle à la programmation informatique et à la conception des circuits numériques.
Vie ultérieure et honneurs
Boole a reçu la médaille Keith de la Royal Society of Edinburgh en 1855 et a été élu Fellow de la Royal Society (FRS) en 1857. Il a reçu des diplômes honorifiques de LL.D. de l'Université de Dublin et de l'Université d'Oxford. Son travail a été développé par des érudits tels que Charles Sanders Peirce et William Stanley Jevons, qui ont développé et promu davantage l'algèbre de Boole.
Boole a continué son implication dans des causes sociales et a maintenu des liens avec Lincoln. Il était un membre actif des sociétés locales et a collaboré avec des mathématiciens. En 1864, Boole est décédé d'un épanchement pleural induit par la fièvre après avoir développé une pneumonie. Il avait 49 ans.
Héritage
Les idées de Boole ont eu un impact profond sur les mathématiques, la philosophie et l'informatique. Sa logique binaire est fondamentale pour le fonctionnement de tous les appareils numériques modernes, des simples calculatrices aux systèmes complexes d'intelligence artificielle. Le développement des techniques de apprentissage automatique et de apprentissage profond, y compris les architectures de réseaux de neurones et les modèles transformeurs utilisés dans les systèmes de grands modèles de langage, repose sur les principes sous-jacents de la logique booléenne dans les circuits numériques.
L'University College Cork a célébré le 200e anniversaire de la naissance de Boole en 2015, soulignant son impact significatif sur l'ère numérique. Son travail continue d'être étudié et appliqué dans des domaines allant de l'informatique à la philosophie. L'héritage de Boole est évident dans la conception des circuits numériques qui alimente l'informatique moderne, et son nom est commémoré dans le terme « booléen » utilisé dans toutes les mathématiques et l'informatique.
Vie personnelle
Boole a épousé Mary Everest en 1855. Ils ont eu cinq filles, dont Alicia Boole Stott, qui est devenue une mathématicienne notable. Boole était connu pour son dévouement à l'enseignement et son implication dans des causes sociales. Il était un admirateur de John Kaye, l'évêque de Lincoln, et a participé à des campagnes locales pour la fermeture anticipée. Avec Edmund Larken et d'autres, il a créé une société de construction en 1847. Il s'est également associé au chartiste Thomas Cooper, dont la femme était une parente.
La vie personnelle de Boole a été marquée par sa curiosité intellectuelle et son engagement envers l'éducation. Malgré sa scolarité formelle limitée, il est devenu un mathématicien de premier plan de son temps. Son travail en logique et en algèbre a eu une influence durable, et ses méthodes sont désormais intégrales à la conception de tous les systèmes électroniques numériques.