George Boole

{{#ifeq:||Un article de Ziki, l'encyclopédie libre.|Une page de Ziki, l'encyclopédie libre.}}

Modèle:Voir homonymes Modèle:Infobox Biographie2

George Boole, né le Modèle:Date à Lincoln (Royaume-Uni) et mort le Modèle:Date à Ballintemple (Irlande), est un logicien, mathématicien et philosophe britannique. Il est le créateur de la logique moderne, fondée sur une structure algébrique et sémantique, 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. Autodidacte, il publia ses premiers travaux d'algèbre tout en exerçant son métier d'instituteur et de directeur d'école dans la région de Lincoln. Ses travaux lui valurent en 1844 la Royal Medal de la Royal Society, puis une chaire de mathématiques à l'université (Queen's College) de Cork en 1849.

De 1844 à 1854, il crée une algèbre binaire, dite booléenne, n'acceptant que deux valeurs numériques : 0 et 1. Cette algèbre aura de nombreuses applications en téléphonie et en informatique, notamment grâce à Claude Shannon en 1938, près d'un siècle plus tard. Modèle:Sommaire

Biographie

Enfance

George Boole est né à Lincoln le Modèle:Date-. Il est l'aîné des époux John Boole et Mary Ann Joyce ; très peu de temps après, c'est sa sœur Mary Ann qui voit le jour, suivie de William et Charles. John Boole est cordonnier, son épouse femme de chambre, il est passionné de sciences, de littérature et de mathématiques. Dans la vitrine de son magasin, il expose avec fierté et enthousiasme un télescope qu'il a construitModèle:Note. John Boole transmet à son fils George Modèle:Cita et sa passion pour l'optique et l'astronomie, et ils fabriquent tous deux des kaléidoscopes, des cadrans solaires, et essaient même de construire une machine à calculer rudimentaire.

Les revenus des époux permettent à peine de subvenir aux besoins de la famille. George étudie donc dans l'école locale et, afin de s'élever dans l'échelle sociale, il étudie le latin et le grec, tandis que le libraire William Brooke l'aide dans son étude du latin et lui enseigne aussi les bases de la grammaireModèle:Note. À l'âge de quatorze ans il traduit du grec un poème de Méléagre, Modèle:Cita, publié dans le Lincoln Herald, un journal localModèle:Sfn. Son âge étant précisé dans l'article, un professeur écrit au journal, estimant impossible qu'un jeune garçon soit capable d'une telle traductionModèle:Sfn. Cette première controverse et les critiques faites à sa traduction le poussent à intensifier ses efforts pour maîtriser les langues anciennesModèle:Sfn.

Après l'école primaire, la seule éducation secondaire que le père peut offrir à son fils aîné est de suivre, dès le Modèle:Date-, les cours dispensés à l'académie commerciale de Thomas Bainbridge, dans la ville de Lincoln. George y réalise des progrès remarquables en mathématiques et se concentre spécialement sur l'étude des équations algébriques. Pendant son temps libre, il apprend en autodidacte le français, l'allemand et l'italienModèle:Sfn, les langues qui lui seront utiles pour comprendre et développer ses propres idées mathématiques. Malheureusement, John Boole néglige son affaire de cordonnerie, ce qui débouche sur une failliteModèle:Sfn,<ref>Modèle:Harvsp</ref>.

Premiers emplois

À seize ans, George est contraint d'abandonner totalement ses études pour pouvoir aider sa famille financièrement. Il trouve un emploi en Modèle:Date- en tant que professeur assistant dans une petite école méthodiste de DoncasterModèle:Sfn. Cette vie lui convient puisqu'il peut consacrer ses soirées à l'étude. Il évoquera un événement survenu lors de son séjour à Doncaster. Alors qu'il se promène dans un pré, pendant l'après-midi, une idée illumine soudain son esprit : les relations logiques peuvent être exprimées par le biais de relations mathématiques qui permettent d'expliquer la logique de la pensée humaineModèle:Note. Néanmoins, pendant la période qu'il passe à Doncaster, ses croyances religieuses de plus en plus proches des unitaristes suscitent l'indignation des méthodistesModèle:Sfn.

Il enseigne ensuite dans une école de Liverpool Modèle:Incise et tout aussi brièvement à WaddingtonModèle:Sfn. En 1834, il devient la seule source de revenus de sa familleModèle:Sfn et, pour subvenir aux besoins de ses proches, il n'a d'autre choix que de retourner à Lincoln où il ouvre sa propre écoleModèle:Sfn. Pendant les quinze années suivantes, il en fondera successivement trois autres. Sa sœur Mary-Ann et son frère William l'aident dans son travail d'enseignant et d'administrateurModèle:Sfn.

Pour enseigner les mathématiques, il part du principe qu'une grande part de cette discipline trouve son origine dans la résolution de problèmes purement pratiques. C'est pourquoi il concentre ses travaux sur l'utilisation pratique des idées mathématiques, plus que sur leur utilisation abstraite. Ainsi, lors des années d'apprentissage, il accorde une attention prépondérante à l'enseignement de l'arithmétique et à la résolution de problèmes de mesures. Il propose d'autres disciplines comme les langues, la littérature et l'étude des classiques. Quant à l'éducation morale, George la considère comme Modèle:CitationModèle:Sfn.

Dès son retour à Lincoln, George consacre la majeure partie de son temps libre à l'Institut de Mécanique, suivant les pas de son père qui fut lié à cette institution pendant de nombreuses annéesModèle:Note. Il adhère immédiatement au comité directeur. Pendant de nombreuses années, sans être rémunéré, il y donne des cours d'arithmétique, de mathématiques, de sciences et de culture classique. Bénéficiant d'une certaine réputation locale, l'allocution pour la présentation à Lincoln d'un buste d'Isaac Newton lui est confiéeModèle:Sfn. Publié dans la Gazette Office en 1835Modèle:Note, ce premier article scientifique de George Boole montre à la fois sa connaissance des œuvres d'Isaac Newton et, de par les critiques qu'il formule, un certain aplombModèle:Sfn. En 1838, à la mort de Robert Hall, son ancien employeur à Waddington, George Boole lui succède à la tête de l'écoleModèle:Sfn,Modèle:Sfn.

Ses parents et ses frères Modèle:Incise déménagent dans la commune de la nouvelle école. Dès que l'établissement commence à fonctionner sous sa direction, sa réputation et ses bénéfices financiers augmentent considérablement et la famille Boole peut oublier ses problèmes financiers passés. La croissance est telle que George décide d'élargir l'activité et de rouvrir son école de Lincoln. Au cours de l'été 1840, la famille Boole au complet revient dans sa ville natale. À cette époque, sa sœur Mary-Ann (22 ans) et son frère William (21 ans) commencent à dispenser des cours dans la nouvelle école, toujours sous la direction de leur frère aînéModèle:Sfn.

Pendant toute cette période il avait poursuivi, en autodidacte, son apprentissage des mathématiques en débutant, à seize ans, par la lecture du Traité du calcul différentiel et du calcul intégral<ref>Modèle:Ouvrage</ref> de LacroixModèle:Sfn. Bénéficiant des moyens de l'Institut de Mécanique de Lincoln fondé en 1834, dont son père est le premier conservateur, il se confronte aux œuvres d'Isaac Newton (Principia), Pierre-Simon de Laplace (Mécanique céleste) et Joseph-Louis Lagrange (Mécanique analytique)Modèle:Note. Bien plus tard il estimera avoir perdu près de cinq ans à progresser lentement, tentant d'apprendre seul, sans professeur pour le guiderModèle:Sfn.

Premières publications mathématiques

À quelques kilomètres de Lincoln, dans la commune de Thurlby Hall, vit Edward Ffrench Bromhead, célèbre mathématicien d'origine irlandaise, ami de Charles Babbage et de George Peacock, spécialisé dans l'étude des méthodes analytiques. Une chance pour George, car il lui prête plusieurs livres de mathématiques piochés dans sa vaste bibliothèque personnelle. C'est à lui qu'il doit les premiers commentaires sur ses travaux mathématiques, qu'il juge valides et originaux. C'est aussi grâce à lui qu'il peut avoir connaissance de certains travaux les plus avancés de son époque, entre 1838 et 1849, notamment ceux des Français Gaspard Monge et Joseph Fourier. Ses lectures Modèle:Citation lui font découvrir qu'un symbolisme mathématique adéquat peut être d'une grande aide pour résoudre correctement un problèmeModèle:Note. Une part importante de ses premiers travaux explorent cet aspect, en particulier dans le domaine de l'algèbreModèle:Sfn.

En 1839, il écrit son premier article de mathématiques (ce n'est pas le premier publié) qui trouve son origine dans la Mécanique analytique de LagrangeModèle:Sfn; au cours de sa lecture il prend des notes et envisage des améliorationsModèle:Note. Ce premier travail mathématique Modèle:Incise traite du calcul des variations.

Il entre alors en contact avec Duncan Farquharson Gregory, qui a fondé en 1837 The Cambridge Mathematical Journal (CMJ)Modèle:Sfn. Il lui soumet d'abord un autre article, lui aussi inspiré par ses lectures de LagrangeModèle:Sfn : Modèle:Harvsp. D. F. Gregory lui répond, dans une lettre datée du Modèle:Date-, qu'une fois quelques corrections apportées, il serait heureux de le publier ainsi que son article sur le calcul des variations qu'il lui a précédemment mentionnéModèle:Sfn. Lorsque George visite Gregory à Cambridge, l'Écossais lui présente la méthode de séparation de symboles utilisée par LagrangeModèle:Note. Ces deux articles et deux autres sont publiés dans le volume 2 du CMJ. Encouragé par GregoryModèle:Sfn, bénéficiant de son soutien et de ses conseils, George Boole publiera vingt-quatre articles dans son journal et entretiendra avec lui une correspondance mathématique, témoignant d'une grande et solide amitié. À partir de ce moment, il se sert systématiquement des contributions de Lagrange dans ses propres recherches, et en particulier dans la conception de son algèbre de la logiqueModèle:Sfn,Modèle:Sfn.

L'une des plus grandes découvertes que George Boole réalise, en 1841, pendant l'élaboration de ses premiers travaux mathématiques, est celle des invariants algébriques. L'idée avait surgi pour la première fois au cours des recherches de Lagrange et Gauss, mais c'est lui qui se rend compte de son importance en étudiant et approfondissant les travaux de Mécanique analytique. En Modèle:Date-, il publie dans le volume 3 du CMJ deux articles intitulés Exposition d'une théorie générale des transformations linéaires Partie I et Partie IIModèle:Note qui donneront naissance à une toute nouvelle branche des mathématiques, aujourd'hui connue sous le nom de Théorie des invariants algébriques. Cette importante découverte mathématique est à la base des travaux à grande échelle de deux célèbres mathématiciens britanniques, James Sylvester et Arthur Cayley qui deviendront les véritables fondateurs de la théorie des invariants.

En 1842, il commence à correspondre avec Auguste De MorganModèle:Note qui l'encouragera, avec le mathématicien irlandais Charles Graves, à décrocher le poste tant convoité de professeur dans un des trois Queen's College irlandais, et qui agira en ami très influentModèle:Sfn. Arthur Cayley lui écrit une première lettre en 1844 pour complimenter son travailModèle:Note. George Boole et Arthur Cayley entretiennent une correspondance régulière pendant l'été 1844 et se rencontrent à Lincoln. C'est le début d'une longue amitiéModèle:Sfn. Cayley tente de le persuader de poursuivre ses recherches sur la théorie des invariants, mais l'intérêt de Boole pour cette question se dissipe peu à peu, à mesure que son attention est attirée par d'autres questions mathématiquesModèle:Sfn.

Reconnaissance et premiers travaux en logique

Sur les conseils de De Morgan et de Gregory (article trop long pour le CMJ), Boole soumet un article à la Royal Society en Modèle:Date- pour publication dans les Philosophical Transactions<ref>Modèle:Harvsp</ref>. Grâce à l'intervention de Philip Kelland son article est publié et reçoit la médaille royaleModèle:Sfn. Cet article, s'inspirant notamment des travaux de Gregory, pose les bases de ses travaux ultérieurs en logiqueModèle:Note.

En 1847, sort Mathematical Analysis of Logic<ref>Modèle:Ouvrage</ref>, puis An Investigation Into the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities en 1854.

Entre 1847 et 1852, il est examinateur en mathématiques au College of Preceptors, institution créée pour améliorer le niveau des enseignants du secondaire en Angleterre et au pays de Galles<ref name=ODNB/>.

Professeur à Cork

En 1845, à presque trente ans, il pense sérieusement à entamer des études à l'université de Cambridge, mais son projet avorte parce qu'il impliquerait l'abandon, financièrement, de ses parents. Il réfléchit à la possibilité d'obtenir un poste de professeur d'université, même si pour ce faire, il doit quitter La Grande-Bretagne. Hasard de l'histoire, une occasion s'offre à lui. Pour résoudre le conflit politico-religieux entre l'Irlande et l'Angleterre, les autorités britanniques autorisent l'ouverture de trois nouvelles universités Modèle:Incise irlandaises, appelées Queen's College qui devront s'établir à Belfast, Galway et Cork. Boole profite de cette situation pour solliciter un poste dans l'un de ces établissements.

Le Modèle:Date-, il envoie une lettre à William Thomson, éditeur du CMJ, détaillant son parcours Modèle:Incise et il reçoit une réponse favorable l'invitant à adresser directement un courrier au secrétariat du château de Dublin, le siège du gouvernement britannique en Irlande. À son curriculum vitae, il joint un résumé détaillé des succès les plus significatifs obtenus dans sa carrière, une impressionnante collection de lettres de recommandation signées par les principaux mathématiciens britanniques de l'époque, ainsi que d'autres écrites par les représentants de premier plan de Lincoln. Le Modèle:Date-, il envoie à Dublin son dossier au complet, accompagné d'une liste décrivant ses quinze publications mathématiques. Parmi les nombreuses lettres de recommandation, celle du mathématicien et logicien Auguste De Morgan et de Charles Graves, professeur de mathématiques au Trinity College de Dublin, étaient ses meilleurs atouts.

La réponse se fait attendre et entre-temps son père décède le Modèle:Date- et il doit s'assurer que sa famille sera à l'abri du besoin. Il réitère sa demande et manifeste alors sa préférence pour Belfast ou Cork, plus facilement accessibles par la mer. En Modèle:Date-, la commission de sélection universitaire lui concède le premier poste de professeur de mathématiques au Queen's College de Cork, qui ouvrira ses portes au mois de novembre de la même annéeModèle:Sfn. En 1857, il est nommé membre de la Royal Society. Il s'intéresse ensuite aux équations différentielles à travers deux traités qui auront une influence certaine : Modèle:Langue<ref>Modèle:Ouvrage</ref> (1859) et Treatise on the Calculus of Finite Differences<ref>Modèle:Ouvrage</ref> (1860).

Mariage et fin de vie

Les controverses politiques et religieuses fréquentes, qui agitent la communauté universitaire de Cork, empoisonnent la vie de George Boole. Avec un maigre salaire annuel légèrement supérieur à trois cents livres, il vit une espèce d'exil en Irlande. En 1850, il fait la connaissance de Mary Everest qui, depuis son plus jeune âge, manifeste des dispositions pour les mathématiquesModèle:Note. Quand le père de Mary décède, la laissant financièrement désemparée, il l'épouse le Modèle:Date- à l'église paroissiale de WickwarModèle:Sfn,Modèle:Sfn.

Ce fut un mariage heureux, George et Mary ont eu cinq filles :

Le Modèle:Date-, il prend la route du Queen's college depuis sa maison de Ballintemple, parcourant à pied une distance de plusieurs kilomètres. Il tombe une pluie torrentielle et il part dispenser ses cours. Il arrive au College totalement trempé, et rentre chez lui après les cours, dans ses habits mouillés et avec de la fièvre. La bronchite évolue en pleuropneumonie et il en meurt la nuit du Modèle:Date-. Il est inhumé dans le cimetière de l'église de Saint-Michael à Blackrock (Cork) quatre jours plus tard. Après le décès de George, Mary Everest ira vivre à Londres où elle meurt en 1916, âgée de 84 ans<ref name=ODNB>I. Grattan-Guinness, Boole, George (1815–1864), Oxford Dictionary of National Biography, Oxford University Press, 2004 Modèle:Lire en ligne</ref>,Modèle:Sfn

Travaux

En 1847, George Boole envoie aux presses universitaires de Cambridge un livre de quatre-vingts pages intitulé Analyse mathématique de la logique, essai pour un calcul du raisonnement déductif. L'idée essentielle de ce petit livre est de démontrer que les raisonnements logiques sont sujets à des lois mathématiques comme celles de l'algèbre et qu'ils peuvent, par conséquent, être représentés et analysés par le biais d'équations mathématiques grâce à un nouveau calcul qui n'opère pas avec des nombres, mais avec des classes d'objetsModèle:Sfn.

Boole développe une nouvelle forme de logique, à la fois symbolique et mathématique. Le but : traduire des idées et des concepts en équations, leur appliquer certaines lois et retraduire le résultat en termes logiques<ref name=Serf>Modèle:Article</ref>. Pour cela, il crée une algèbre binaire, dite booléenne, n'acceptant que deux valeurs numériques : 0 et 1. Cette algèbre est définie par la donnée d'un ensemble E (non vide) muni de deux lois de composition interne (le ET et le OU) satisfaisant à un certain nombre de propriétés (commutativité, distributivité...).

De The mathematical analysis of logic à The Laws of Thought

Modèle:Article connexe

En 1847, dans The mathematical analysis of logic, Modèle:Citation bloc

Après la publication de son premier ouvrage, où il parvient à faire accepter une distinction entre la logique et la philosophie et à transformer la première en une nouvelle branche des mathématiques, Boole dispose du temps et des moyens nécessaires pour mener une réflexion plus profonde sur ce premier travail et analyser les réactions et commentaires émis par des mathématiciens contemporains. Il entreprend de consacrer une part importante de son temps libre aux mathématiques et à la recherche, et, plus concrètement, à ce qui serait sa principale contribution : élargir son algèbre de la logique pour réduire les opérations logiques qui se cachent derrière les raisonnements à de simples manipulations élémentaires de formules mathématiques. Ce nouvel ouvrage développe les idées et les théories présentes dans le premier. Il contient toutefois de nouveaux chapitres sur la théorie des probabilitésModèle:Note. Dans Les lois de la pensée, George Boole a pour objectif de trouver les principes et les lois générales qui régissent nos raisonnements valides. Il cherche également à découvrir une méthode générale qui permette de déterminer la probabilité de tout événement aléatoire complexe logiquement lié à un ensemble plus simple d'événements aléatoires dont les probabilités individuelles seraient connuesModèle:Sfn.

En 1854, dans The Laws of Thought, Modèle:Citation bloc

Derniers travaux

Entre 1855 et 1856, il travaille à la mise au point d'un ouvrage intitulé On the Application of the Theory of Probabilities to the Question of the Combination of Testimonies or JudgementsModèle:Note. La Royal Society of Edinburgh en reconnaît les mérites et récompense son auteur de la prestigieuse médaille Keith, sa plus haute distinction correspondant à la période bisannuelle de 1855-1857. La présentation officielle se déroule le Modèle:Date-, mais George Boole ne peut pas se déplacer jusqu'en Écosse pour recevoir son prixModèle:Sfn.

En plus de continuer à développer ses idées sur la logique, les probabilités et la théorie des opérateurs, Boole revient petit à petit vers des idées et des découvertes remontant à ses premiers travaux mathématiques et sur le calcul différentiel. De ces nouvelles réflexions, il tire deux manuels scolaires : Traité sur les équations différentiellesModèle:Note, publié en 1859, où il présente une méthode générale pour résoudre et étudier différents types d'équations différentielles ; et Traité sur le calcul des différences finiesModèle:Note, sorti en 1860 en complément du précédent, où il propose plus de deux cents problèmes avec des solutions explicatives pour aborder la résolution d'équations aux différencesModèle:Sfn.

Diffusion et applications de ses travaux

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 téléphoniques, hydrauliques et pneumatiquesModèle:Etc., grâce à des scientifiques comme Frege, Russell, Turing.

En 1867, le logicien Charles Sanders Peirce, qui était aussi professeur de mathématiques et d'astronomie à l'université Harvard, diffuse les idées principales de l'algèbre de Boole aux États-Unis.

En 1869, l'économiste et logicien William Stanley Jevons construit la première machine logique d'importance notable, qu'il présente à la Royal Society de Londres l'année suivante. C'est la première machine qui permet d'utiliser l'algèbre de la logique de Boole pour obtenir automatiquement la solution d'un problème logique, de telle sorte que la conclusion qui pourrait être tirée d'un ensemble donné de prémisses puisse également être obtenue de façon mécanique. Elle est créée pour illustrer les avantages de la nouvelle logique booléenne sur la théorie des syllogismes d'Aristote. Du fait de sa ressemblance avec un piano, cette machine est connue à cette époque sous le nom de Modèle:Citation.

En 1881, Modèle:Lien, professeur à l'université de Princeton, invente à son tour une nouvelle machine logique, qui apporte quelques améliorations au piano logique de Jevons et envisage avec Peirce de résoudre les problèmes logiques et arithmétiques en construisant un système électrique.

Durant les années 1930, l'Américain Claude Shannon se rend compte qu'il est possible d'appliquer l'algèbre de la logique à la conception et à l'analyse de circuits électriques. Il avait étudié minutieusement la théorie de Boole dans son œuvre fondamentale, Les Lois de la pensée et, dans son ouvrage intitulé L'analyseur différentiel. Il réalise la similitude et la ressemblance qui existent entre les opérations effectuées par les relais électroniques et la logique de Boole. En 1938, il parvient à montrer, dans sa thèse intitulée Analyse symbolique des relais et des circuits commutateurs, comment cette théorie peut être appliquée à la conception et à la simplification de circuitsModèle:Sfn.

En 1985, son biographe Des MacHale publie George Boole: His Life and Work, la toute première biographie de George Boole dont la préface est rédigée par le mathématicien et physicien irlandais John Lighton Synge. En 2014, une année avant le bicentenaire de Boole<ref name="boole">Modèle:Lien web</ref>, ce livre est réédité et enrichi sous le titre The Life and Work of George Boole: A Prelude to the Digital Age. Des MacHale, considéré comme le plus grand spécialiste mondial de Boole et de son œuvre, publie en 2018 un nouveau livre New Light on George Boole<ref>Cork University Press</ref>, co-écrit avec Yvonne Cohen.

Hommages

  • Un cratère de la Lune porte le nom de Boole.
  • Un astéroïde (17734) Boole porte le nom de Boole.
  • Le Modèle:Date-, date du bicentenaire de la naissance de George Boole, le moteur de recherche Google lui consacre une version alternative de son logo officielModèle:Sfn.

Publications

Articles

Ouvrages

Notes et références

Notes

Modèle:Références

Références

Modèle:Références

Annexes

Modèle:Autres projets

Bibliographie

Français

Modèle:Légende plume

Anglais

Articles connexes

Liens externes

Bases de données et dictionnaires

Modèle:Liens

Modèle:Palette Modèle:Portail

Récupérée de « https://wiki.trucsazeb.re:443/index.php?title=George_Boole&oldid=11417 »