George Boole

Un article de Wikipédia, l'encyclopédie libre.
George Boole
George Boole vers 1860.
Biographie
Naissance
Décès
Sépulture
Nationalité
Domicile
Activités
Conjoint
Mary Everest Boole (à partir de )Voir et modifier les données sur Wikidata
Enfants
Mary Boole Hinton (d)
Margaret Boole Taylor (d)
Alicia Boole Stott
Lucy Everest Boole
Ethel Lilian VoynichVoir et modifier les données sur Wikidata
Autres informations
Membre de
Distinctions

George Boole, né le à Lincoln (Royaume-Uni) et mort le à 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.

Biographie[modifier | modifier le code]

Enfance[modifier | modifier le code]

George Boole est né à Lincoln le . 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 construit[n 1]. John Boole transmet à son fils George « l'amour de l'étude et des livres[2] » 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 grammaire[n 2]. À l'âge de quatorze ans il traduit du grec un poème de Méléagre, « Ode au Printemps », publié dans le Lincoln Herald, un journal local[2]. 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 traduction[2]. Cette première controverse et les critiques faites à sa traduction le poussent à intensifier ses efforts pour maîtriser les langues anciennes[2].

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 , 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'italien[4], 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 faillite[5],[6].

Premiers emplois[modifier | modifier le code]

À seize ans, George est contraint d'abandonner totalement ses études pour pouvoir aider sa famille financièrement. Il trouve un emploi en en tant que professeur assistant dans une petite école méthodiste de Doncaster[5]. 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 humaine[n 3]. 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éthodistes[8].

Il enseigne ensuite dans une école de Liverpool — où il ne reste que six mois à cause de la désorganisation et du chaos qui y règnent[9] — et tout aussi brièvement à Waddington[5]. En 1834, il devient la seule source de revenus de sa famille[9] et, pour subvenir aux besoins de ses proches, il n'a d'autre choix que de retourner à Lincoln où il ouvre sa propre école[5]. 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'administrateur[10].

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 « la partie la plus difficile de l'activité pédagogique, mais aussi la plus importante »[11].

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ées[n 4]. 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ée[4]. Publié dans la Gazette Office en 1835[13], 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 aplomb[14]. En 1838, à la mort de Robert Hall, son ancien employeur à Waddington, George Boole lui succède à la tête de l'école[5],[15].

Ses parents et ses frères — qui l'aideront également dans la direction du nouvel établissement — 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é[16].

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[17] de Sylvestre-François Lacroix[18]. 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)[n 5]. Bien plus tard il estimera avoir perdu près de cinq ans à progresser lentement, tentant d'apprendre seul, sans professeur pour le guider[5].

Premières publications mathématiques[modifier | modifier le code]

À 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 « d'origine continentale » lui font découvrir qu'un symbolisme mathématique adéquat peut être d'une grande aide pour résoudre correctement un problème[n 6]. Une part importante de ses premiers travaux explorent cet aspect, en particulier dans le domaine de l'algèbre[20].

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 Lagrange[21]; au cours de sa lecture il prend des notes et envisage des améliorations[n 7]. Ce premier travail mathématique — sans l'aide d'un guide ou d'un tuteur — traite du calcul des variations.

Il entre alors en contact avec Duncan Farquharson Gregory, qui a fondé en 1837 The Cambridge Mathematical Journal (CMJ)[18]. Il lui soumet d'abord un autre article, lui aussi inspiré par ses lectures de Lagrange[22] : « Researches on the Theory of Analytical Transformations, with a special application to the Reduction of the General Equation of the Second Order ». D. F. Gregory lui répond, dans une lettre datée du , 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é[23]. Lorsque George visite Gregory à Cambridge, l'Écossais lui présente la méthode de séparation de symboles utilisée par Lagrange[n 8]. Ces deux articles et deux autres sont publiés dans le volume 2 du CMJ. Encouragé par Gregory[5], 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 logique[18],[25].

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 , 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 II[n 9] 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 Morgan[n 10] 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 influent[18]. Arthur Cayley lui écrit une première lettre en 1844 pour complimenter son travail[n 11]. 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é[18]. 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ématiques[26].

Reconnaissance et premiers travaux en logique[modifier | modifier le code]

Sur les conseils de De Morgan et de Gregory (article trop long pour le CMJ), Boole soumet un article à la Royal Society en pour publication dans les Philosophical Transactions[27]. Grâce à l'intervention de Philip Kelland son article est publié et reçoit la médaille royale[28]. Cet article, s'inspirant notamment des travaux de Gregory, pose les bases de ses travaux ultérieurs en logique[29].

En 1847, sort Mathematical Analysis of Logic[30], 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[31].

Professeur à Cork[modifier | modifier le code]

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 — laïques — 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 , il envoie une lettre à William Thomson, éditeur du CMJ, détaillant son parcours — surtout en tant que mathématicien — 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 , 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 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 , 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ée[32]. 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 : Treatise on Differential Equations[33] (1859) et Treatise on the Calculus of Finite Differences[34] (1860).

Mariage et fin de vie[modifier | modifier le code]

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ématiques[n 12]. Quand le père de Mary décède, la laissant financièrement désemparée, il l'épouse le à l'église paroissiale de Wickwar[5],[36].

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

Le , 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 . 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[31],[38]

Travaux[modifier | modifier le code]

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'objets[39].

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[40]. 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[modifier | modifier le code]

En 1847, dans The mathematical analysis of logic,

« Ce qui rend la logique possible, c’est l’existence en nos esprits de notions générales, notre faculté de concevoir une classe et de désigner les individus qui en sont membres par un même nom. La théorie de la logique est ainsi intimement liée à celle du langage. Une entreprise qui réussirait à exprimer des propositions logiques par des symboles, dont les lois de combinaison seraient fondées sur les lois des opérations mentales qu’elles représentent, serait, du même coup, un pas vers un langage philosophique. Mais c’est là une vue que nous n’avons pas ici à pousser plus avant dans le détail. »

— George Boole, The mathematical analysis of logic[41]

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és[n 13]. 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 connues[43].

En 1854, dans The Laws of Thought,

« Le but de ce traité est d'étudier les lois fondamentales des opérations de l'esprit par lesquelles s'effectue le raisonnement ; de les exprimer dans le langage symbolique d'un calcul, puis, sur un tel fondement, d'établir la science de la logique et de constituer sa méthode ; de faire de cette méthode elle-même la base d'une méthode générale qu'on puisse appliquer à la théorie mathématique des Probabilités ; et enfin de dégager des divers éléments de vérité qui seront apparus au cours de ces enquêtes des conjectures probables concernant la nature et la constitution de l'esprit humain. [...] la connaissance des lois de l'esprit n'a pas besoin de se fonder sur un vaste ensemble d'observations. La vérité générale y est aperçue dans l'exemple particulier, et ce n'est pas la répétition des exemples qui la confirme. »

— George Boole, The Laws of Thought[44]

Derniers travaux[modifier | modifier le code]

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 Judgements[n 14]. 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 , mais George Boole ne peut pas se déplacer jusqu'en Écosse pour recevoir son prix[46].

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érentielles[n 15], 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 finies[n 16], 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érences[49].

Diffusion et applications de ses travaux[modifier | modifier le code]

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 pneumatiques, 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 « piano logique ».

En 1881, Allan Marquand (en), 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 circuits[50].

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[51], 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[52], co-écrit avec Yvonne Cohen.

Hommages[modifier | modifier le code]

  • Un cratère de la Lune porte le nom de Boole.
  • Un astéroïde (17734) Boole porte le nom de Boole.
  • Le , date du bicentenaire de la naissance de George Boole, le moteur de recherche Google lui consacre une version alternative de son logo officiel[53].

Publications[modifier | modifier le code]

Articles[modifier | modifier le code]

  • « An Address on the Genius and Discoveries of Sir Isaac Newton », Gazette Office,‎ (lire en ligne)
  • « Researches on the Theory of Analytical Transformations, with a special application to the Reduction of the General Equation of the Second Order », Cambridge Mathematical Journal, vol. 2,‎ , p. 64-73 (lire en ligne)
  • « On Certain Theorems in the Calculus of Variations », Cambridge Mathematical Journal, vol. 2,‎ , p. 97-102 (lire en ligne)
  • « On the Integration of Linear Differential Equations with Constant Coefficients », Cambridge Mathematical Journal, vol. 2,‎ , p. 114-119
  • « Exposition of a General Theory of Linear Transformations, Part I », Cambridge Mathematical Journal, vol. 3,‎ , p. 1-20
  • « Exposition of a General Theory of Linear Transformations, Part II », Cambridge Mathematical Journal, vol. 3,‎ , p. 106-119
  • « Analytical Geometry », Cambridge Mathematical Journal, vol. 2,‎ , p. 179-188
  • « On a General Method in Analysis », Philosophical Transactions of the Royal Society, vol. 134,‎ , p. 225-282 (lire en ligne)
  • « On the Application of the Theory of Probabilities to the Question of the Combination of Testimonies or Judgements », Transactions of the Royal Society of Edinburgh, vol. 21,‎ , p. 597-653 (lire en ligne)

Ouvrages[modifier | modifier le code]

  • 1847 : The Mathematical Analysis of Logic, being an Essay towards a Calculus of Deductive Reasoning
    George Boole (trad. Frédéric Gillot), Algèbre et logique d'après les textes originaux de G. Boole et W. J. Jevons, Blanchard, — Contient une adaptation française de The mathematical analysis of logic
    Voir aussi Daniel Parrochia, Qu'est-ce que penser/calculer?, Vrin, coll. « Pré-Textes », et « L’analyse mathématique de la logique », Cahiers pour l'analyse, vol. 10 « La formalisation »,‎ (lire en ligne)

Notes et références[modifier | modifier le code]

Notes[modifier | modifier le code]

  1. À côté, une affichette dit « Quiconque souhaite observer l'œuvre de Dieu avec un esprit humble et respectueux est invité à entrer et à regarder dans mon télescope »[1]
  2. Ainsi, à seulement douze ans, il traduit vers l'anglais un poème en vers du poète romain Horace[3]
  3. Cette expérience, à laquelle il faisait référence à plusieurs reprises au cours de sa vie en raison de sa nature messianique, ne porterait cependant ses fruits que bien longtemps après, dans ce qui serait sa plus importante contribution aux mathématiques, Les Lois de la pensée[7]
  4. Cet établissement de Lincoln avait pour but de dispenser une éducation gratuite aux artisans et autres travailleurs, principalement en horaire de nuit[12]
  5. Il « dévora ces volumes, les relisant encore et encore, si nécessaire, jusqu'à ce qu'il en eût une parfaite maîtrise. » in Hawking 2006, p. 699
  6. Cette découverte s'était vue renforcée par l'introduction, sous la plume du mathématicien allemand Gottfried Wilhelm Leibniz, d'un symbolisme très puissant et adapté au calcul différentiel qui pouvait être utilisé pour résoudre de manière simple de nombreux problèmes[19]
  7. « It would perhaps have been more just to entitle this communication "Notes on Lagrange". The paper from which it is selected were written towards the close of the year 1838, during the perusal of the Mécanique Analytique. » in « On Certain Theorems in the Calculus of Variations », Cambridge Mathematical Journal,‎ .
  8. Cette méthode consistait à considérer un problème physique ou mathématique comme ceux abordés par le calcul des variations, le traduire dans les symboles adéquats, manipuler ces derniers sans tenir compte de leur signification conformément à certaines lois mathématiques jusqu'à obtenir tous les résultats possibles, et finalement, essayer d'interpréter les résultats obtenus[24]
  9. Exposition of a General Theory of Linear Transformations, Part I et Part II
  10. Leur correspondance est publiée dans Smith 1982.
  11. Lettre du 13 juin 1844 : « Will you allow me to make an excuse of the pleasure afforded me by a paper of yours published some time ago in the Mathematical Journal, “On the theory of linear transformations” and of the interest I take in the subject, for sending you a few formulae relative to it, which were suggested to me by your very interesting paper; I should be delighted if they were to prevail upon you to resume the subject, which really appears inexhaustible. » D'après Paul R. Wolfson, « George Boole and the origins of invariant theory », Historia Mathematica, vol. 35,‎ (DOI 10.1016/j.hm.2007.06.004)
    Sur l'influence de Boole sur les travaux de Cayley concernant la théorie des invariants, voir aussi Tony Crilly, « The rise of Cayley's invariant theory (1841-1862) », Historia Mathematica, vol. 13,‎ , p. 241-254 (DOI 10.1016/0315-0860(86)90091-1),
  12. C'est la fille d'un prêtre excentrique, et la nièce du colonel George Everest, le responsable de la mission cartographique, en l'honneur de qui on baptisa le mont Everest[35]
  13. William Fishburn Donkin (en), professeur d'astronomie, titulaire de la chaire savilienne d'astronomie de l'Université d'Oxford et responsable de nombreux travaux importants sur les probabilités, lui offrit son aide entre 1851 et 1854, et lui suggéra d'y inclure une présentation détaillée de la relation entre la logique et les probabilités[42]
  14. Sur l'application de la théorie des probabilités à la question de la combinaison de témoignages et de jugements[45]
  15. Son Traité sur les équations différentielles fut choisi comme manuel scolaire par l'Université de Cambridge où on l'édita sans interruption jusqu'en 1923[47]
  16. SonTraité sur le calcul des différences finies deviendra un manuel scolaire et sera utilisé en Grande-Bretagne jusqu'à la fin du XIXe siècle[48]

Références[modifier | modifier le code]

  1. del Vado Vírseda et Sanchez 2018, p. 17
  2. a b c et d Diagne 1989, p. 18.
  3. del Vado Vírseda et Sanchez 2018, p. 18
  4. a et b Broadbent 2008.
  5. a b c d e f g et h O'Connor et Robertson 2004.
  6. del Vado Vírseda et Sanchez 2018, p. 17-20
  7. del Vado Vírseda et Sanchez 2018, p. 20
  8. del Vado Vírseda 2018, p. 20-21.
  9. a et b del Vado Vírseda 2018, p. 21.
  10. del Vado Vírseda 2018, p. 21-22.
  11. del Vado Vírseda 2018, p. 22.
  12. del Vado Vírseda et Sanchez 2018, p. 23
  13. Voir « An Address on the Genius and Discoveries of Sir Isaac Newton », Gazette Office,‎
  14. Diagne 1989, p. 41.
  15. del Vado Vírseda 2018, p. 23-24.
  16. del Vado Vírseda 2018, p. 24/26.
  17. Silvestre-François (1765-1843) Auteur du texte Lacroix, Traité du calcul différentiel et du calcul intégral. Tome 1 : , par S.-F. Lacroix, 1797-1798 (lire en ligne)
  18. a b c d et e Burris 2018.
  19. del Vado Vírseda et Sanchez 2018, p. 28
  20. del Vado Vírseda 2018, p. 28.
  21. Diagne 1989, p. 22.
  22. Diagne 1989, p. 24.
  23. Harley 1866, p. 146-147.
  24. del Vado Vírseda et Sanchez 2018, p. 35
  25. del Vado Vírseda 2018, p. 30/35.
  26. del Vado Vírseda 2018, p. 36/40-41/47/50-51.
  27. « On a general method in analysis », Philos. Trans. R. Soc., vol. 134,‎
  28. Diagne 1989, p. 27-28.
  29. Luis M. Laita, « The Influence of Boole’s Search for a Universal Method in Analysis on the Creation of His Logic » dans Gasser 2000, p. 52-53
  30. George Boole, The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning, Macmillan, Barclay, & Macmillan ..., (lire en ligne)
  31. a et b I. Grattan-Guinness, Boole, George (1815–1864), Oxford Dictionary of National Biography, Oxford University Press, 2004 [lire en ligne]
  32. del Vado Vírseda 2018, p. 45-47/50-51.
  33. George (1815-1864) Auteur du texte Boole, A treatise on differential equations : by George Boole,..., (lire en ligne)
  34. George (1815-1864) Auteur du texte Boole, A treatise on the calculus of finite differences : by George Boole ; ed. by J. F. Moulton, (lire en ligne)
  35. del Vado Vírseda et Sanchez 2018, p. 100
  36. del Vado Vírseda 2018, p. 99-100.
  37. (en) « Taylor, Edward Ingram, 1855–1923 | Art UK », sur www.artuk.org (consulté le )
  38. del Vado Vírseda 2018, p. 118/120-123/135.
  39. del Vado Vírseda 2018, p. 52.
  40. Michel Serfati, « À la recherche des Lois de la pensée : Sur l'épistémologie du calcul logique et du calcul des probabilités », Math. & Sci hum., no 150,‎ , p. 42 (lire en ligne, consulté le )
  41. Introduction
  42. del Vado Vírseda et Sanchez 2018, p. 83
  43. del Vado Vírseda 2018, p. 74-75.
  44. Boole 1992, Chap. 1, Nature et but de l'ouvrage, p. 21.
  45. del Vado Vírseda et Sanchez 2018, p. 90
  46. del Vado Vírseda 2018, p. 90/92.
  47. del Vado Vírseda et Sanchez 2018, p. 106
  48. del Vado Vírseda et Sanchez 2018, p. 110
  49. del Vado Vírseda 2018, p. 105.
  50. del Vado Vírseda 2018, p. 93-95/141.
  51. « Professor Des MacHale », sur georgeboole.com (consulté le )
  52. Cork University Press
  53. del Vado Vírseda 2018, p. 147/149.

Annexes[modifier | modifier le code]

Sur les autres projets Wikimedia :

Bibliographie[modifier | modifier le code]

Français[modifier | modifier le code]

Document utilisé pour la rédaction de l’article : document utilisé comme source pour la rédaction de cet article.

  • Jean-Claude Boudenot et Jean-Jacques Samueli, 30 ouvrages de mathématiques qui ont changé le monde, Paris, Ellipses, , 543 p. (ISBN 978-2-7298-8462-8), chap. 24, p. 417-429
  • Nicolas Bourbaki, Éléments d'histoire des mathématiques [détail des éditions]
  • [Coumet 1966] Ernest Coumet, « Logique, mathématiques, et langage dans l'œuvre de G. Boole », Mathématiques et Sciences humaines, vol. 16,‎ , p. 1-14 (www.numdam.org/article/MSH_1966__16__1_0.pdf)
  • [Durand-Richard 2004] Marie-José Durand-Richard, « Babbage et Boole : les lois du calcul symbolique », Intellectica « Des lois de la pensée aux constructivismes », no 39,‎ , p. 23-53 (lire en ligne)
  • [Diagne 1989] Souleymane Bachir Diagne (notes et annexes de Marie-José Durand), Boole : 1815-1864, l'oiseau de nuit en plein jour, Paris, Belin, coll. « Un savant, une époque », , 262 p. (ISBN 2-7011-1120-X). Ouvrage utilisé pour la rédaction de l'article
    Hourya Sinaceur, « Souleymane Bachir Diagne, Boole, 1815-1864. L'oiseau de nuit en plein jour, avec des notes et annexes de Marie-José Durand (Paris : Belin, 1989) », Revue d'histoire des sciences, vol. 44, nos 3-4,‎ , p. 498-499 (lire en ligne)
    Luis M. Laita, « Review of Boole, 1815-1864: L'oiseau de nuit en plein jour », Isis, vol. 83, no 4,‎ , p. 674–675 (ISSN 0021-1753, JSTOR 234307, lire en ligne)
  • Nadine Gessler, « George Boole et l'algèbre de la logique », Travaux de logique, Centre de Recherches Sémiologiques, Université de Neuchâtel, no 9,‎ (lire en ligne)
  • [Grattan-Guinness 2011] Ivor Grattan-Guinness (trad. Anne Michel-Pajus), « La psychologie dans les fondements de la Logique et les mathématiques. Les cas de Boole, Cantor et Brouwer », dans Michel Serfati, De la méthode : Recherches en histoire et philosophie des mathématiques, Presses universitaires de Franche-Comté, (ISBN 9782848673240, présentation en ligne)
  • [Hawking 2006] Stephen Hawking (trad. Julien Randon-Furling), Et Dieu créa les nombres : Les plus grands textes de mathématiques, Dunod, , 1172 p. (ISBN 978-2-10-007598-0), p. 697-703
  • [Serfati 2000] Michel Serfati, « À la recherche des Lois de la pensée : Sur l'épistémologie du calcul logique et du calcul des probabilités », Mathématiques et sciences humaines, no 150,‎ , p. 41-79 (DOI 10.4000/msh.2823, lire en ligne). Ouvrage utilisé pour la rédaction de l'article
  • Rafael del Vado Vírseda et Stephen Sanchez (Trad.), Une approche algébrique de la logique : Boole, Barcelone, RBA Coleccionables, , 156 p. (ISBN 978-84-473-9562-0). Ouvrage utilisé pour la rédaction de l'article

Anglais[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Liens externes[modifier | modifier le code]

Bases de données et dictionnaires[modifier | modifier le code]