
ChronoMath,
une chronologie des MATHÉMATIQUES
à l'usage des professeurs de
mathématiques, des étudiants et des élèves des lycées & collèges
à strictement parler, la
réponse à cette question pourrait être aucun
! L'origine d'un concept ou d'une appellation
est souvent ambiguë car la mathématique,
dans chacun de ses aspects,
ne fut pas, n'est pas, l'œuvre d'un seul.
Les noms cités correspondent à l'acceptation définitive, par
la communauté mathématique, de la notation ou du concept.
Au fait, c'est quoi un concept ?
Et une notion, c'est la même notion ?...
Concept
nous vient du latin conceptus, participe passé de concipere =
concevoir, pour exprimer la mise en forme, la formalisation d'une
idée; formaliser signifiant définir avec précision, ce qui n'est pas
toujours simple. Par exemple, parler d'ensemble en mathématiques (»
Cantor) fut, et reste
encore relativement flou : le concept d'ensemble est difficile à formaliser. En
classe, un professeur de mathématiques qui aborde le sujet parlera plus
volontiers de la notion
d'ensemble. Ce terme nous vient (encore) du latin noscere = connaître
et notion = connaissance. Lorsqu'on parle de notion, on entend une
approche simple susceptible d'être comprise sans entrer dans des détails
préjudiciables à une bonne compréhension, sans pour autant être vague. On
trouvera sur Internet des définitions plus approfondies à vocation
philosophique.
Pour consolider la pensée mathématique
et permettre un raisonnement universel des idées, les mathématiciens ont
généralement eu
recours à
l'axiomatisation de leurs concepts en établissant,
pour une théorie naissante, une liste de
définitions et propriétés des objets qui la constituent, les
axiomes (»
postulats) acceptés comme indiscutables
et considérés nécessaires et suffisants afin de développer ladite théorie. La
première théorie axiomatique est apparue il y a 2300 ans, avec Les Eléments
de géométrie de l'illustrissime Euclide
d'Alexandrie.
» Tarski ,
Gödel ,
Cohen
Toute théorie
axiomatique ou non peut être évidemment critiquée voire réfutée. Le
5ème postulat d'Euclide est un exemple
fameux de vaine contestation : pendant 2000 ans toutes les générations de
mathématiciens s'évertuèrent à le prouver à partir des quatre premiers. La saga
ne prendra fin qu'au 19è siècle avec les travaux de
Bolyai,
Riemann et
Lobatcheski
et la "découverte" de géométries non
euclidiennes.
-
Abscisse : Thomas Corneille
(frère de Pierre, le célèbre poète dramatique français) dans
son Dictionnaire des termes
d'Arts et de Sciences (1694),
»
Voir abscisse et ordonnée selon d'Alembert
- affine, affinité (application, espace, fonction,
transformation) :
Euler
- affixe (d'un point du plan complexe) :
Cauchy

- aléatoire (probabilités) :
»
Huygens
- algèbre (structure) : Benjamin Peirce
- algébrique
(nombre) :
Abel
- algébrique
(courbe) :
Leibniz
- algébrique (mesure) :
Carnot »
Voir Argand
- alligation : Peletier
- analyse :
Guillaume de l'Hospital
- analyse fonctionnelle : Lévy
- analytique (fonction) :
Condorcet
- analytique (géométrie) : Lacroix
- angle orienté : Wessel,
Möbius
- anharmonique (rapport) : Chasles
- anneau : Fraenkel,
Hilbert
- argument (d'un nombre complexe)
:
Cauchy
»
Argand
- axes de coordonnées :
Leibniz
- Barycentre : Möbius
- bijection :
Chevalley
- binaire (système) :
Leibniz
- bit (binary digit) :
Tukey
- borne supérieure, inférieure :
Bolzano
- Calcul des variations : Euler
-
canonique : semble apparaître au 19è siècle.
Qualifie une expression ou un objet mathématique remarquable par sa
simplicité ou sa commodité et à laquelle ou auquel, on cherche généralement à
se ramener par des transformations appropriées :
base canonique,
forme
canonique du trinôme du second degré, décomposition canonique
- cardinal (d'un
ensemble) :
Cantor
, Dedekind
- caractère d'un groupe :
Dirichlet (»
définition en page Pontriaguine)
- caractéristique d'un anneau, d'un corps
: Steinitz
- centre de gravité
:
Archimède
- Circonférence :
»
suivre ce lien
- coefficient de corrélation :
Pearson
- commutatif : Servois
- compact (espace) : Fréchet
- complémentaire (d'un sous ensemble) :
Bourbaki
- complet (espace métrique-) : Fréchet
- complexe (nombre) :
Gauss
- computer : Turing
- congruences (arithmétique) : Gauss
- conique (courbe algébrique)
: Descartes ,
Wallis
, sections coniques
: Apollonius de Perge
- continuité
:
Bolzano
/ Cauchy
- coordonnées : Leibniz
- coordonnées polaires, paramétriques :
Jacques
Bernoulli ,
Lefébure de Fourcy
- coordonnées barycentriques :
Möbius
- coordonnées
homogènes : Möbius ,
Plücker
- corps :
Dedekind
(Körper en allemand, notation K),
Weber
et
Dickson
(définition abstraite),
Steinitz (généralisation).
- coordonnées :
Leibniz,
d'Alembert

- courbe gauche :
Clairaut
- cosinus (co-sinus) :
Gunter
- cos , cot (cotan)
: Oughtred
- cosinus hyperbolique : Riccati Vincenzo
- cotangente
(co-tangente) :
Gunter
- curvilignes (coordonnées)
:
Gauss
- cybernétique :
Wiener
- cycloïde :
Galilée
- Déduction :
Oresme
- degré (d'angles) :
Hipparque
- dénombrable
:
Cantor

- dérivé (ensemble) :
Cantor
»
point d'accumulation
- dérivée (fonction)
: Lagrange
dérivée (concept) : Leibniz
, Newton (fluxion)
- dérivée partielle :
Leibniz & Jakob Bernoulli »
notation actuelle : Legendre &
Jacobi
- dénombrable (ensemble) :
Cantor
- déterminant
:
Gauss /Cauchy
-
déviation standard (écart-type) :
Pearson
- différentielle
: Leibniz
- directrice (d'une conique)
:
Dioclès,
Pappus
- discriminant :
Sylvester
- distance, distancié (dans un espace abstrait)
:
Fréchet
- distingué
(sous-groupe) :
Galois
- distributif :
Servois
- division euclidienne :
Bourbaki
- dual (d'un polyèdre) :
Gergonne/Catalan

- Ecart-type (déviation standard) :
Pearson
»
voir aussi Hyugens
- ellipse, parabole, hyperbole (appellations) :
Archimède , Apollonius
»
coniques ,
ellipse
- elliptique (intégrale) :
Legendre
- elliptique (courbe) :
Serret
- ensemble (formalisation de la théorie des-)
: Cantor
»
Dedekind
- équation aux dérivée partielles :
Euler
& Daniel Bernoulli
- équation intégrale : Du Bois-Reymond
»
Volterra
- équicontinuité
: Ascoli
- équipollence :
Bellavitis
- espace métrique : Haussdorff ,
Fréchet
- espace
vectoriel :
Peano
(cas réel) , Töplitz
(cas général)
- excentricité : Kepler
- exponentielle (fonction) :
Leibniz ,
Bernoulli
Jean
- exposant (des puissances) :
Stifel ,
Descartes

- Faisceau (théorie des-) :
Leray
- fermé, ouvert (intervalle, pavé dans un espace euclidien)
: Cantor
- fibré (espace) : Whitney
- fluxion (équivalent au nombre dérivé actuel)
: Newton
- fonction :
Leibniz
- fonction caractéristique d'une variable aléatoire :
Levy
- filtre (topologie) :
Cartan
- fractal : Benoît
Mandelbrot
- fraction : voir
Oresme
- fraction décimale :
Al-Kashi
- fraction continue (ou continuée) :
Wallis
- foyer (d'une conique) :
Kepler
- Gauche
(courbe) :
Clairaut
- Géodésie, lignes géodésiques :
Legendre
- géométrie analytique :
Lacroix
- graphe (au sens de la théorie des-)
: Sylvester
- graphique : d'Alembert
(Encyclopédie)
- groupe : Galois
, Cauchy
, Cayley
, Weber (axiomatisation),
Frobenius ,
von Dyck
- groupe libre :
Nielsen
- Hardware :
»
Tukey

- histogramme : Pearson
- holomorphe : Bouquet
et Briot
- homéomorphe, homéomorphisme :
Poincaré
- homéomorphie : Fréchet
- homomorphisme : Jordan
- homographie, homothétie :
Chasles
- homologie (géométrie) :
Poncelet
- homologie (topologie algébrique) :
Poincaré
- homotopie :
Poincaré
- hyperbole :
Archimède ,
Apollonius
de Perge , Descartes
»
hyperbole
- hyperboloïde : Dictionnaire
raisonné des Sciences, des Arts et
des Métiers
(d'Alembert)
- hypoténuse : Pythagore
- Idéal (d'anneau) : Dedekind »
Kummer
- idempotent : Peirce B.
- image directe, image réciproque :
Dedekind
- imaginaire (quantité, nombre) :
Descartes »
Cardan ,
Bombelli ,
Gauss
- incommensurable : Oresme

- indécidable (proposition) :
Gödel
- induction (raisonnement par-) :
Pascal
- Informatique :
Dreyfus (ingénieur Bull)
- injectif, injection : Chevalley
- intégral
(calcul) :
Bernoulli
Jakob
- intégrale :
Bernoulli
Jean,
l'Hospital
- intégrale elliptique :
Legendre
- inversion géométrique :
Bellavitis ? , Steiner ?
- irrationnel (nombre) :
Oresme , Dedekind
- isocèle
(du grec
iso = égal et skelos = jambe) :
Euclide
et sans doute antérieur :
Thalès ?
- itération, itérée (fonction) :
Julia
- isotrope : Cauchy
»
formes bilinéaires
- Jacobien :
Jacobi
- Ker (de l'allemand Kern = noyau, en anglais
kernel) : Hilbert
»
Fredholm
- K-théorie :
Grothendieck
- Latitude :
Ptolémée
- Lieu géométrique :
»
La notion de courbe selon d'Alembert
- linéaire (équation, équation différentielle) :
d'Alembert
- logarithme :
Neper

- logarithmique :
Huygens
- logiciel :
»
Tukey
- loi de Laplace-Gauss :
Fréchet
- loi faible des grands nombres :
Poisson
»
loi faible
- loi forte des grands nombres :
Borel
- loi normale : Pearson
- Longitude :
Ptolémée
- losange : de l'arabe
lauza, laouza (approximativement)
- loxodromie :
Nonius
- Magnitude (notion de-) :
Hipparque ; le terme est dû à
l'astronome anglais Norman Pogson (1829-1891)
- mathématique :
Pythagore
- martingale : Levy
- matrice :
Cayley &
Sylvester
- mécanique rationnelle : Newton
- médiane (géométrie élémentaire) :
Rouché
- métrique
(espace) :
Hausdorff
- millième : Oresme
- mesure algébrique :
Carnot »
Voir Argand,
Chasles,
Möbius
- module (d'un nombre
complexe) :
Argand
- morphisme : s'emploie comme synonyme d'homomorphisme
mais possède cependant un sens plus large
sans doute dû à
Bourbaki.
»
foncteurs
- Nabla : Maxwell
- nadir : issu de l'arabe,
Ibrahim al-Qattan
- négatif (nombre) : Liu
Hui, Brahamgupta ,
Descartes (terme dû à J.
de Beaugrand)
- nilpotent : Peirce B.
- normal (espace topologique) :
Tietze
- normale (loi) : Pearson
- normé (espace
vectoriel) :
Banach
- noyau (d'une équation intégrale linéaire) :
Fredholm
- Ombilic :
Laguerre
- Orbite : du latin orbis = cercle, anneau :
»
suivre ce lien
- ordinal (nombre) :
Cantor ,
Dedekind
- ordinateur : Perret (1955)
- ordonnée (d'un point) :
Pascal
»
Voir abscisse et
ordonnée selon d'Alembert
- ordre (relation d') :
Dedekind,
Cantor
- Parabole :
Archimède ,
Apollonius
de Perge
- paraboloïde :
Huygens
- paracompact (espace topologique) :
Dieudonné
- parfait (ensemble) :
Cantor
»
point d'accumulation
- partielle (dérivation) :
Leibniz & Jakob Bernoulli »
notation :
Legendre
- partition : groupe
Bourbaki
- planète : Copernic

- point décimal : Neper,
De Morgan
- point d'accumulation :
Cantor
- polaires (coordonnées) :
Jakob Bernoulli
»
Voir Lacroix
- polaire, polaire réciproque :
Monge
- polytope : Alicia
Boole Scott
- prédicat : Frege
- produit scalaire : Hamilton ,
Clifford,
Gibbs
- produit vectoriel : Gibbs
- programmation linéaire :
Kantorovitch
- primitive
:
Lagrange
- probabilité :
de Moivre
- puissance (d'un ensemble) :
Cantor
- Quaternion :
Hamilton
- Récurrence (raisonnement par-) :
Poincaré
- racine carrée, racine d'une équation :
Al-Khwarizmi ,
Al-Qalasadi
- rayon-vecteur : Kepler
- rectifiable (arc) :
Jordan
- récursif, récursion :
Skolem ,
Gödel

- réel
(nombre) :
Dedekind ,
Cantor
- règle de trois : Al-biruni
, Al-Karaji ,
Peletier
- résidu :
Cauchy
- résoluble (groupe) :
Artin
- Scalène (triangle) : Charles de Bovelles
philosophe et géomètre français (1479-1566),
in Livre singulier et utile touchant l'art et practique de Géométrie
(1542).
- sécante (fonction sec = 1/cos) :
B. de Frénicle
»
Abu al-wafa
- sections coniques :
Apollonius
de Perge
- semblables
(matrices) :
Frobenius
- semi-continuité :
Baire
- semi-réguliers (polyèdres) :
Catalan
- séparé (espace
topologique) :
Hausdorff
- sesquilinéaire :
Bourbaki
»
produit
scalaire
- sinus :
Aryabhata ,
Regiomontanus

- sinus hyperbolique : Riccati Vincenzo,
Lambert
- sin , tan , sec (abréviations)
: Girard
- sinusoïde :
Belidor (appellation),
Roberval,
Leibniz
(étude)
- software : Tukey
- sourd (nombre) : Al-Khwarizmi
- sporadique (groupe) : Burnside
- suite de Cauchy :
Bolzano
- surjectif, surjection :
Chevalley (Bourbaki)
- symplectique : Weyl
- synectique (holomorphe) :
Cauchy
- Tangente :
Abu
l'Wafa
- tenseur : Levi-Civita
- topologie (terme) :
Listing
- topologie algébrique :
Lelfschetz

- topologique (espace) :
Hausdorff
- transcendant (nombre) :
Liouville
- transformation (géométrique) :
Petersen
- trapèze, du grec trapezion =
petite table, comptoir
contracté de tetra = quatre et
pous = pied.
- travail (d'une force) :
Coriolis
- treillis : Skolem
- tribu (algèbre de Borel) :
Bourbaki
- trigonométrie :
Pitiscus
- Unicursale (courbe) :
Cayley,
»
courbe algébrique

- uniforme (fonction) : Hermite
»
Cauchy
- uniforme
(convergence) :
Weierstrass
- uniforme
(continuité) :
Heine
- Variance
(statistique, probabilités) :
Huygens
- Variation (calcul des-) : Euler
- variation de la constante (méthode de-) :
Laplace
- variété (topologie, géométrie différentielle) :
Riemann
- vecteur :
Hamilton
, Stevin
- voisinage :
Weierstrass
- zénith : issu de l'arabe,
Ibrahim al-Qattan
- zodiaque

Cette page, comme
toutes les
autres, représente un travail personnel non négligeable de recherches. A
ceux qui l'ont recopiée et publiée sur leur site sans pudeur ni scrupule
(ou qui s'apprêteraient à commettre cette abomination...) , je recommande
de vérifier les informations qu'elle contient car elles peuvent être
entachées d'erreurs (y compris d'orthographe !) et de s'interroger sur les
problèmes de déontologie, de bonne éducation et de droits d'auteur...
➔
Pour
tout savoir, ou presque... :
© Serge Mehl -
www.chronomath.com