PEANO GIUSEPPE (1858-1932)
La formalisation
La langue usuelle est peu adaptée à la rigueur mathématique. Cela incite Peano (après C. S. Peirce, E. Schröder et G. Frege) à réaliser le vieux projet de Leibniz : l'élaboration d'un langage formalisé, utilisant peu de symboles et soumis à une grammaire rationnelle. Le symbolisme de Peano, qu'il nomme pasigraphie (cf. illustration), sera repris, avec des modifications mineures, par B. Russell et A. Whitehead dans Principia Mathematica. Essentiellement, les mêmes notations sont utilisées de nos jours (cependant, Peano écrit ∧ là où l'on écrit actuellement ∅, ɔ au lieu de ⇒, etc.). Ce n'est pas un langage complètement formalisé, car il comporte de nombreux symboles d'abréviation.
Avec la collaboration de nombreux élèves, Peano rédige de 1894 à 1908 son Formulaire de mathématiques qui préfigure, avec un demi-siècle d'avance, les fascicules de résultats de N. Bourbaki. Il s'agit de réécrire, en langage pasigraphique, les fondements des mathématiques. Le Formulaire traite successivement de logique, des fondements de l'arithmétique, de l'analyse et de la géométrie.
Auparavant, Peano s'intéresse à l'élaboration de symbolismes intrinsèques. En 1888, il publie le Calcul géométrique selon l'Ausdehnungslehre de Grassmann, où s'élabore le calcul vectoriel, compte tenu des travaux de W. R. Hamilton, G. Bellativis, A. F. Möbius... Il faudra plus de trente ans pour imposer le calcul vectoriel dans l'enseignement des mathématiques, et là encore Peano est un précurseur.
L'intérêt de Peano pour les langages rationnels ne se borne cependant pas au seul domaine mathématique. Pionnier du mouvement pour une langue auxiliaire internationale, il fut président de l'Academia pro interlingua. Dans ce domaine, ses travaux comportent l'étude critique des diverses langues proposées (volapük, esperanto, etc.), la compilation du vocabulaire commun aux langues vivantes usuelles, ainsi que l'élaboration du latino sine flexione, qui utilise le vocabulaire latin sans en adopter la grammaire. Les déclinaisons et conjugaisons y sont supprimées, ainsi que les distinctions de genre et de nombre, conformément aux suggestions de Leibniz. Par exemple, on écrit « mater est bono », et, si l'on tient à insister sur le genre féminin de la mère, « mater est femina bono ».
Actuellement, la linguistique a pris une importance de premier plan. Là encore, Peano est à l'origine du mouvement.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Georges GLAESER : professeur à la faculté des sciences de Strasbourg
Classification
Média
Construction de la courbe de Peano
Encyclopædia Universalis France
Autres références
-
AXIOMATIQUE
- Écrit par Georges GLAESER
- 2 036 mots
On doit à G. Peano (1858-1932) et à R. Dedekind (1831-1916) un exposé axiomatique de la théorie des nombres entiers ; désirant caractériser axiomatiquement l'ensemble N* des nombres entiers strictement positifs, Peano prend comme concept primitif la fonction S qui, à tout entier, associe... -
CALCUL INFINITÉSIMAL - Calcul à plusieurs variables
- Écrit par Georges GLAESER
- 5 442 mots
...prouva, en 1873, que la formule :est valable, sous réserve de la continuité d'un des deux membres par rapport à l'ensemble des variables. Peano donna l'exemple de la fonction :
prolongée par continuité en posant f (0,0) = 0, pour laquelle la permutation des dérivées partielles...
-
CATÉGORIES
- Écrit par Fernando GIL
- 6 071 mots
...», qui correspondent de près aux principes constitutifs et d'individuation (Individuals, 1959). Par exemple, si l'on examine les cinq postulats de Peano pour l'axiomatisation de l'arithmétique – à savoir : (1) 1 est un nombre ; (2) le successeur de tout nombre est un nombre ; (3) deux nombres ne peuvent... -
DÉMONSTRATION THÉORIE DE LA
- Écrit par Jean-Yves GIRARD
- 6 140 mots
- 1 média
Théorème. Soit AP l'arithmétique de Peano de premier ordre, T un sous-système finiment axiomatisable de AP et A un énoncé arbitraire à une variable libre x ; soit enfin ThmT (⌈A⌉) l'énoncé de AP qui exprime que A est démontrable dans T. On a :Pour la démonstration, on se ramène...
- Afficher les 9 références
