George Peacock
George Peacock ( – ) est un mathématicien anglais surtout connu au  pour son Treatise on Algebra, un ouvrage qui veut placer l'algèbre sur une base logique.

Biographie 
Peacock vit dans le nord de l'Angleterre à 14 miles de Richmond, North Yorkshire. Son père, le révérend Thomas Peacock, est un clergyman de l'Église d'Angleterre qui occupe le poste de curé pendant 50 ans de la paroisse de Denton, où il tient également une école. Dans sa jeunesse, George montre beaucoup plus d'habileté à escalader qu'à étudier. Il reçoit sa formation de niveau élémentaire de son père et, à 17 ans, il est envoyé à une école de Richmond où il reçoit les enseignements d'un diplômé de l'Université de Cambridge dans le but de préparer son examen d'admission à cette université. Dans cette école, il se distingue dans les matières dites classiques et dans les mathématiques. En 1809, il est admis au Trinity College de Cambridge.

En 1812, George Peacock obtient le titre de deuxième wrangler (le premier wrangler est John Herschel) et le deuxième prix Smith. Deux ans plus tard, il est candidat pour un fellowship à son collège et l'obtient immédiatement, en partie à cause de son excellente connaissance des matières classiques. Un fellowship représente un revenu de 200 livres sterling par année, renouvelable pendant les six années subséquentes si le fellow ne se marie pas pendant cette période, et qui est prolongé par la suite si le fellow entre dans un ordre religieux.

L'année après avoir accepté le fellowship, Peacock est nommé tuteur et lecturer de son college, poste qu'il occupe pendant plusieurs années. En accord avec plusieurs étudiants de son rang, il est profondément convaincu que la notation qui a cours à Cambridge pour les intégrales est incorrecte. En 1815, il forme une association avec Charles Babbage et John Herschel, l’Analytical Society, dans le but d'influencer les mathématiciens de Cambridge. Leur but est de faire adopter la notation , mise de l'avant par Leibniz et adoptée sur le continent européen, et d'abandonner la notation des points (par exemple, la dérivée de y est dénotée par ), mise de l'avant par Isaac Newton et adoptée sur l'île britannique.

Dans un premier temps, l’Analytical Society traduit du français un court ouvrage de Sylvestre-François Lacroix sur le calcul différentiel, publié en 1816. À cette époque, les meilleurs ouvrages et les meilleurs travaux étaient rédigés en français. Peacock poursuit ensuite en rédigeant ensuite un volumineux ouvrage intitulé Collection of Examples of the Application of the Differential and Integral Calculus (Collection d'exemples d'applications du calcul différentiel et du calcul intégral), publié en 1820. Les ventes des deux ouvrages sont importantes et permettent à l’Analytical Society de poursuivre ses objectifs. À cette époque, les wranglers les plus élevés d'une année sont nommés examinateurs des examens de classement trois ou quatre ans plus tard. Peacock est nommé examinateur en 1817, et profite de sa position pour avancer de façon notable la cause de la réforme. Dans les questions qu'il pose, la notation différentielle de Leibniz est pour la première fois officiellement utilisée dans un examen de Cambridge. Son innovation est découverte par la censure, mais il écrit à l'un de ses amis : 

 Quelques années plus tard, l’Analytical Society obtint le succès escompté.

Il est élu fellow de la Royal Society en .

Peacock s'attaque par la suite à une autre réforme : l'enseignement de l'algèbre. En 1830, il publie Treatise on Algebra qui vise à placer l'algèbre sur des bases scientifiques, tout en reflétant les dernières avancées réalisées par les mathématiciens continentaux. 

L’Astronomical Society of London (« Société astronomique de Londres ») est fondée dans le but d'améliorer l'astronomie. Les trois fondateurs de l’Analytical Society sont les principaux responsables de la création de cette association. Peacock est l'un des plus actifs promoteurs d'un observatoire astronomique à Cambridge. Il est aussi l'un des fondateurs de la Philosophical Society of Cambridge (« Société philosophique de Cambridge »).

En 1831, la British Association for the Advancement of Science tient sa première rencontre dans l'ancienne ville d'York. L'une des premières résolutions adoptées est de commander des rapports sur l'état et la progression de certains domaines scientifiques, à rédiger de temps à autre par une personne compétente pour la rencontre annuelle. Un rapport sur l'état des mathématiques est commandé à William Rowan Hamilton, mais celui-ci refuse. Deuxième choix de rédacteur, Peacock remet son rapport (Report on the Recent progress and actual state of certain branches of analysis) lors de la troisième rencontre annuelle de l'association tenue à Cambridge en 1833. Bien qu'il se soit limité à l'algèbre, la trigonométrie et à l'arithmétique des sinus, c'est l'un des meilleurs rapports parmi la longue liste de rapports de qualité publiés par l'association.

En 1837, Peacock est nommé professeur de la chaire Lowndean of Astronomy à l'université de Cambridge. En 1839, il est nommé doyen d'Ely, le diocèse de Cambridge. Pendant qu'il occupe ce poste, il rédige un texte sur l'algèbre en deux volumes, le premier intitulé Arithmetical Algebra et le deuxième, Symbolical Algebra. Peacock participe aussi activement à la réforme des statuts de l'université en tant que membre d'une commission appointée par le gouvernement dans ce but. Il meurt à Ely le . Son corps est enterré au cimetière d'Ely.

Théorie algébrique 
Le principal apport de Peacock à l'analyse est sa tentative de placer l'algèbre sur des bases logiques. Il fonde ce qui est appelé l' « école philologique » ou « école symbolique » des mathématiciens Gregory, De Morgan et George Boole en sont membres. Peacock s'oppose à Francis Maseres et Frend en affirmant que l'algèbre est constituée de deux parties : l'arithmétique algébrique et la symbolique algébrique. Maseres et Frend se concentraient sur la partie arithmétique seulement.

Selon Peacock, les symboles élémentaires de l'algèbre arithmétique dénotent un entier naturel, donc toute combinaison valide de symboles élémentaires peut se réduire à un nombre. Si  et  sont des entiers, alors  est toujours un entier naturel, par contre  est un entier seulement si . Sous les mêmes conditions,  est toujours un entier, alors que  est un entier seulement si  est un diviseur exact de . D'où le dilemme soit  est impossible en général ou bien les opérations élémentaires d'algèbre s'appliquent pour les nombres rationnels. Peacock tente de s'affranchir de cette difficulté en supposant qu'un symbole qui sert de multiplicateur est toujours un entier, alors que le multiplicande peut être une fraction. Cette position mène à des contradictions.

L'un des premiers auteurs anglais sur l'arithmétique est Robert Recorde. Dans son traité, qui contient un long dialogue entre un érudit et son élève, l'érudit discute longuement pour tenter de faire comprendre qu'une multiplication peut rendre un objet plus petit. Peacock contourne cette difficulté de compréhension en ayant recours à l'algèbre symbolique qui adopte les règles de l'algèbre arithmétique mais élimine des restrictions. Par exemple, la soustraction algébrique diffère de la soustraction arithmétique en ce qu'elle autorise toutes opérations entre des symboles algébriques qui respectent les règles de l'algèbre. Ce qui mène Peacock à énoncer le  en page 59 de son Symbolical Algebra : 

Soit , ,  et  qui désignent des entiers naturels, avec les restrictions  et . Alors, de façon arithmétique, . Le principe de Peacock affirme que la forme à la gauche est équivalente à la forme à la droite, et pas seulement en imposant les restrictions susmentionnées : , ,  et  sont des symboles généraux. , ,  et  peuvent représenter des fractions, des nombres imaginaires ou des opérateurs mathématiques (tel ). L'équivalence existe de par l'algèbre et non de par la nature des objets mathématiques en jeu. Puisque l'égalité est considérée comme vraie en général, le mathématicien tente d'interpréter la nature des symboles. Cette interprétation mène à un problème de logique : comment peut-on passer d'une résultat particulier à un résultat plus général ? Au , les généralisations provoquent encore des débats dans la communauté mathématique.

Notes et références

Traductions de

Références

Sources

Liens externes 

 

Mathématicien britannique du XIXe siècle
Naissance en avril 1791
Décès en novembre 1858
Lauréat du prix Smith
Décès à 67 ans
Doyen d'Ely