Peacock George

En 1830, George Peacock publie un Traité d'algèbre à Cambridge, dans le contexte de l'école algébriste anglaise. Il y examine la manière dont on peut calculer avec des symboles, même lorsque leur sens concret n'est plus au premier plan.

Son idée directrice est de séparer deux questions : que représente une opération dans une situation donnée, et quelles règles logiques rendent le calcul cohérent ? Cette séparation contribue à faire comprendre l'algèbre comme un langage symbolique structuré.

George Peacock (1791-1858) est un mathématicien anglais associé à l'école algébriste anglaise. Formé à Cambridge aux côtés de John Herschel et de Charles Babbage, il s'intéresse notamment au calcul différentiel et intégral.

Son apport majeur concerne l'algèbre symbolique. Dans son Traité d'algèbre, publié en 1830, Peacock cherche à donner à l'algèbre une structure logique rigoureuse, comparable à celle des Éléments d'Euclide. L'objectif est de distinguer la signification concrète d'une opération de la logique formelle des transformations effectuées sur les symboles.

Cette distinction ne supprime pas le sens des calculs : elle permet d'étudier les règles qui les gouvernent avec davantage d'abstraction. La démarche de Peacock contribue ainsi à poser les bases d'une algèbre abstraite et symbolique. Elle doit être située dans son contexte historique : la source présente un apport fondateur, et non une description de toute l'algèbre moderne.

Pour illustrer cette lecture, considérons deux lots de livres : le premier en contient 2 et le second 3. On note x = 2 et y = 3 ; l'opération x + y représente donc le nombre total de livres.

Données : x = 2 livres, y = 3 livres, l'opération x + y et la règle de commutation x + y = y + x. Le résultat attendu est 5 livres.

1. On identifie les symboles : x désigne les 2 livres du premier lot et y les 3 livres du second.
2. On écrit le total : x + y = 2 + 3.
3. On applique la règle de commutation : x + y = y + x, donc 2 + 3 = 3 + 2 = 5.
4. On interprète le résultat : les deux lots réunis contiennent 5 livres, quel que soit l'ordre de l'addition.

Le contrôle porte sur les deux niveaux : le calcul doit respecter la logique formelle des symboles, et le résultat doit rester compatible avec leur signification concrète. Cet aller-retour rend visible la distinction défendue par Peacock entre sens d'une opération et règles qui gouvernent sa manipulation.

Lorsqu'un calcul commence dans une situation concrète, on peut d'abord traduire les quantités par des symboles, puis vérifier séparément les règles de transformation utilisées. Cette séparation aide à repérer si une étape est justifiée par le sens des quantités ou par la logique du calcul.

Pour lire un texte d'algèbre symbolique, il est utile de demander ce que désigne chaque symbole avant d'examiner les opérations. Si l'objectif est seulement de résoudre un calcul numérique, une écriture arithmétique directe est une alternative plus adaptée ; les symboles deviennent pertinents lorsque l'on veut dégager une règle générale.

Algèbre symbolique et calcul concret. Le calcul concret dépend de la signification donnée aux quantités dans une situation précise. L'algèbre symbolique porte aussi sur les règles formelles appliquées aux symboles. Un même geste de calcul ne répond donc pas aux mêmes questions selon que l'on cherche une valeur particulière ou une structure logique générale.

Algèbre symbolique et simple emploi d'abréviations. Remplacer des mots par des lettres ne suffit pas à constituer une démarche algébrique. Le critère décisif est l'existence de règles de transformation cohérentes, indépendantes de la seule apparence graphique des symboles.

Le sens concret ne disparaît pas. Une règle formelle ne dispense pas d'indiquer ce que représentent les symboles. Si cette signification est oubliée, le résultat peut être manipulé correctement sur le papier tout en devenant ininterprétable dans la situation initiale. Il faut alors revenir aux quantités et aux opérations de départ.

La rigueur historique ne doit pas être anachronique. Le Traité d'algèbre de 1830 cherche une structure logique comparable à celle des Éléments d'Euclide. Cette formulation décrit le projet attribué à Peacock ; elle ne permet pas de lui attribuer directement toutes les notions de l'algèbre moderne.

Une lettre n'a pas un sens universel. Le même symbole peut représenter des quantités différentes selon le calcul. Le bon réflexe consiste à préciser son rôle dans le contexte étudié avant d'appliquer une transformation formelle.

La fiche algèbre permet d'élargir la réflexion sur les structures et les règles de calcul auxquelles l'algèbre symbolique a contribué.