Liste de publications importantes en mathématiques
La liste qui suit présente des publications qui ont, soit créé un nouveau sujet, soit changé de manière significative les connaissances scientifiques, soit enfin eu un impact sur l'enseignement des mathématiques.
Sur la thématique de l'importance de ces publications, on peut lire en particulier les ouvrages suivants :
- Ivor Grattan-Guinness, Landmark Writings in Western Mathematics 1640–1940, Elsevier, (ISBN 978-0-08-045744-4, lire en ligne).
- David Eugene Smith, A Source Book in Mathematics, Courier, (1re éd. 1929) (ISBN 978-0-486-15829-7, lire en ligne).
- Stephen Hawking, Et Dieu créa les nombres, Dunod, (lire en ligne).
Algèbre
modifierThéorie des équations
modifierBaudhayana Sulba Sutra
modifier- Baudhayana (en) (VIIIe siècle av. J.-C.)
Écrit aux alentours du VIIIe siècle av. J.-C., c'est l'un des textes géométriques les plus anciens. Il a posé les bases des mathématiques indiennes et a été influant en Asie du Sud et de ses régions environnantes, et peut-être même la Grèce. Bien que ce fût d'abord un texte géométrique, il contenait également quelques développements algébriques importants, y compris la première liste des triplets pythagoriciens découverts algébriquement, des solutions géométriques d'équations linéaires, la première utilisation des équations du second degré de formes ax2 = c et ax2 + bx = c, et des solutions intégrales d'équations diophantiennes jusqu'à quatre inconnues.
Les Neuf Chapitres sur l'art mathématique
modifier- Les Neuf Chapitres sur l'art mathématique du Xe – IIe siècle avant notre ère.
Contient la première description de l'élimination de Gauss-Jordan pour une résolution de système d'équations linéaires, il contient également une méthode pour trouver la racine carrée et la racine cubique.
Le manuel mathématique de l'île de la mer
modifier- Liu Hui (220-280)
Contient l'application des triangles à angle droit pour l'étude de la profondeur ou la hauteur des objets éloignés.
Classique mathématique de Sun Zi
modifier- Sunzi (période du IIIe au Ve siècle)
Contient la description du théorème des restes chinois.
Aryabhata
modifier- Aryabhata (499)
Aryabhata introduit la méthode dite « Modus Indorum » ou la méthode des Indiens, qui est devenue notre algèbre aujourd'hui. Le texte contient 33 versets couvrant, arithmétiques et progressions géométriques, gnomon/ombres (Shanku-ChhAyA), simple, quadratique, simultanées et équations indéterminées.
Jigu Suanjing
modifierJigu Suanjing (626)
Ce livre de la dynastie des Tang mathématicien Wang Xiaotong contient la première équation du troisième ordre au monde.
- Brahmagupta (628)
Contient des règles pour manipuler les nombres positifs et négatifs, une méthode de calcul des racines carrées, et des méthodes générales de la résolution d'équation linéaire et du second degré[2],[3],[4],[5].
Le premier livre sur les solutions algébriques systématiques des équations linéaires et quadratiques par le savant musulman et persan Al-Khwârizmî. Le livre est considéré comme le fondement de l'algèbre moderne et les mathématiques arabo-islamique. Le mot «algèbre» est lui-même dérivé de al-Jabr du titre du livre[6].
Yigu yanduan
modifier- Liu Yi (XIIe siècle)
Contient la première invention de l'équation polynomiale de 4e ordre.
Traité Mathématique en Neuf Section
modifier- Qin Jiushao (1247)
Ce livre du XIIIe siècle contient la première solution complète de la méthode de Ruffini-Horner du XIXe siècle de résoudre des équations polynomiales d'ordre élevé (jusqu'à 10 ordre). Il contient également une solution complète du théorème des restes chinois, qui est antérieure à Euler et Gauss de plusieurs siècles.
Ceyuan haijing
modifier- Li Zhi (1248)
Contient l'application d'équation polynomial haute afin équation polynomiale pour résoudre des problèmes de géométrie complexe.
- Zhu Shijie (1303)
Contient la méthode du système d'équations de polynômes d'ordre supérieur jusqu'à quatre inconnues.
- Gerolamo Cardano (1545)
Contient que les premières méthodes publiées pour résoudre des équations cubiques et quartiques (en raison de Scipione del Ferro, Niccolò Fontana Tartaglia, et Lodovico Ferrari), et expose les premiers calculs publiés impliquant des nombres complexes non réels[7],[8].
Vollständige Anleitung zur Algebra
modifier- Leonhard Euler (1770)
Aussi connu sous le titre Éléments de l'Algèbre, le manuel d'Euler sur l'algèbre élémentaire est l'un des premiers à définir l'algèbre dans sa forme moderne. La première partie traite de la détermination des équations, tandis que la seconde partie traite des équations diophantiennes. La dernière section contient une preuve du dernier théorème de Fermat pour le cas n = 3, ce qui rend certaines hypothèses valables en ce qui concerne Q(√−3) qu'Euler n'a pas prouvé[9].
Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse
modifier- Carl Friedrich Gauss (1799)
La thèse de doctorat de Gauss[10] contient une preuve largement acceptée à l'époque, mais incomplète[11] du théorème fondamental de l'algèbre.
Algèbre abstraite
modifierRéflexions sur la résolution algébrique des équations
modifier- Joseph Louis Lagrange (1770)
La résolvante de Lagrange a introduit la transformation de Fourier discrète d'ordre 3.
Articles publiés par Galois dans les Annales de Mathématiques
modifier- Journal de Mathématiques pures et Appliquées, II (1846)
Publication posthume des manuscrits mathématiques de Évariste Galois par Joseph Liouville. Sont inclus les documents de Galois Mémoire sur les conditions de résolubilité des équations par radicaux et Des équations primitives qui sont solubles par radicaux.
Traité des substitutions et des équations algébriques
modifier- Camille Jordan (1870)
Le premier livre sur la théorie de groupe, qui donne une étude puis exhaustive des groupes de permutation et de la théorie de Galois. Dans ce livre, Jordan a introduit la notion de groupe simple et d'épimorphisme (qu'il appelait l'isomorphisme mériédrique)[12], partie prouvée du théorème de Jordan-Hölder[13].
Théorie der Transformationsgruppen
modifier- Sophus Lie, Friedrich Engel (1888–1893).
Donnée de publication : 3 volumes, B.G. Teubner, Verlagsgesellschaft, mbH, Leipzig, 1888–1893. Volume 1, Volume 2, Volume 3.
Le premier travail exhaustif sur les groupes de transformation, servant de base à la théorie moderne des groupes de Lie.
Solvability of groups of odd order
modifier- Walter Feit et John Thompson (1960)
Description: Solvability of groups of odd order (Solvabilité des groupes d'ordre impair) a donné une preuve complète de la solvabilité des groupes finis d'ordre impair, en établissant le Problème de Burnside selon laquelle tous les groupes simples non-abéliens finis sont d'ordre pair. Bon nombre de techniques originales utilisées dans le ce document ont été utilisés dans la classification des groupes simples finis.
Sur quelques points d'algèbre homologique
modifier- Alexander Grothendieck (1957)
Révolution de l'algèbre homologique en introduisant les catégories abéliennes et en fournissant un cadre général pour la notion de Cartan et Eilenberg des foncteurs dérivés.
Géométrie algébrique
modifierThéorie der Abelschen Functionen
modifier- Bernhard Riemann (1857)
Donnée de publication: Journal für die Reine und Angewandte Mathematik
André Weil a écrit que ce document «est l'une des plus grandes pièces des mathématiques qui n'ait jamais été écrite, il n'y a pas un seul mot dans celle-ci qui n'ait pas de conséquence.» [14]
Faisceaux Algébriques Cohérents
modifierDonnée de publication: Annals of Mathematics, 1955
FAC, comme il est généralement appelé, était utilisation de préfaisceaux en géométrie algébrique, allant au-delà du cas des variétés complexes. Serre introduit cohomologie de Čech des préfaisceaux dans ce document, et, en dépit de quelques lacunes techniques, a révolutionné les formulations de la géométrie algébrique.
Géométrie Algébrique et Géométrie Analytique
modifier- Jean-Pierre Serre (1956)
En mathématiques, la géométrie algébrique et la géométrie analytique sont étroitement reliés, où la géométrie analytique est la théorie des variétés complexes et les espaces analytiques plus généraux définis localement par la disparition des fonctions analytiques de plusieurs variables complexes. Une théorie (mathématique) de la relation entre les deux a été mis en place au cours de la première partie des années 1950, afin de poser les bases de la géométrie algébrique pour inclure, par exemple, les techniques de la théorie de Hodge. Le document a consolidé la théorie Géometrie Algébrique et Géométrie Analytique par Serre, maintenant généralement désignée sous le nom GAGA.
Le théorème de Riemann–Roch, d'après A. Grothendieck
modifier- Armand Borel, Jean-Pierre Serre (1958)
L'exposition de Borel et Serre de la version de Grothendieck du Théorème de Riemann–Roch, publié après Grothendieck a précisé qu'il ne souhaitait pas écrire son propre résultat[15]. Dans sa preuve, Grothendieck a innové avec son concept de groupes de Grothendieck, qui a conduit à l'élaboration de la K-théorie[16].
- Alexander Grothendieck (1960–1967)
Rédigé avec l'aide de Jean Dieudonné, ceci est l'exposition de Grothendieck de son travail des fondements de la géométrie algébrique. Elle est devenue la base de travail la plus importante dans la géométrie algébrique moderne.
- Alexander Grothendieck et al.
Contrairement à EGA, qui est destiné à fixer les fondations, SGA décrit les recherches en cours comme elle se déroulait au séminaire de Grothendieck; en conséquence, il est assez difficile à lire, puisque la plupart des résultats plus élémentaires et fondamentaux ont été relégués à EGA. L'une des personnes principale de résultats dans SGA est la preuve de Pierre Deligne de la dernière conjectures de Weil ouvertes au début des années 1970.
Théorie des nombres
modifier- Brahmagupta (628)
Brahmasphutasiddhanta de Brahmagupta est le premier livre qui mentionne zéro comme un nombre, Brahmagupta est alors considéré comme le premier à formuler le concept de zéro. Le système actuel des quatre opérations fondamentales (addition, soustraction, multiplication et division) basé sur le système de nombre hindou-arabe est également apparu la première fois dans Brahmasphutasiddhanta. Il a également été l'un des premiers textes à fournir des idées concrètes sur les nombres positifs et négatifs.
De fractionibus continuis dissertatio
modifier- Leonhard Euler (1744)
D'abord présenté en 1737, cet article [17] fourni le premier compte complet des propriétés des fractions continues. Il contient également la première preuve que le nombre e est irrationnel[18].
Recherches d'Arithmétique
modifier- Joseph Louis Lagrange (1775)
Développement d'une théorie générale des formes quadratiques binaires pour traité le problème général quand un nombre entier est représentable par la forme . Cela comprenait une théorie de réduction des formes quadratiques binaires, où il a prouvé que toute forme est équivalente à une certaine forme réduite canoniquement choisie[19],[20].
- Carl Friedrich Gauss (1801)
Le Disquisitiones Arithmeticae est un livre profond et magistrale sur la théorie des nombres écrits par le mathématicien allemand Carl Friedrich Gauss et publié en 1801 lorsque Gauss avait 24 ans. Dans ce livre, Gauss rassemble les résultats dans la théorie des nombres obtenus par les mathématiciens tels que Fermat, Euler, Lagrange et Legendre et ajoute de nombreux nouveaux résultats importants. Parmi ses contributions, la première preuve complète connue du théorème fondamental de l'arithmétique, les deux premières preuves publiées de la loi de réciprocité quadratique, une étude profonde des formes quadratiques binaires allant au-delà du travail de Lagrange dans les Recherches d'Arithmétique, une première apparition de la somme de Gauss, cyclotomie, et la théorie des polygones constructibles avec une application particulière à la constructibilité d'un heptadécagone[21]. [22]
Beweis des Satzes, daß jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Factor sind, unendlich viele Primzahlen enthält
modifierCe document est le premier concernant la théorie analytique des nombres, il a introduit les caractères de Dirichlet et de leurs fonctions L pour établir le théorème de la progression arithmétique. Dans ses publications ultérieures, Dirichlet a utilisé ces outils pour déterminer, entre autres, le numéro de classe pour les formes quadratiques.
Über die Anzahl der Primzahlen unter einer gegebenen Grösse
modifier- Bernhard Riemann (1859)
Über die Anzahl der Primzahlen unter einer gegebenen Grösse (Sur le nombre de nombres premiers inférieurs à une taille donnée) est un article de 8 pages écrit par Bernhard Riemann publié dans l'édition de novembre 1859 des Rapports mensuels de l'Académie de Berlin. Bien que ce soit le seul article qu'il ait publié sur la théorie des nombres, il contient des idées qui ont influencé des milliers de chercheurs depuis la fin du XIXe siècle jusqu'à nos jours. L'article contient d'abord des définitions, des arguments heuristiques, des esquisses de preuves et l'application de méthodes analytiques puissantes ; toutes celles-ci sont devenues des concepts essentiels et des outils de la théorie analytique des nombres moderne. Il contient également la célèbre hypothèse de Riemann, l'un des problèmes ouverts les plus importants des mathématiques[23].
Vorlesungen über Zahlentheorie
modifierVorlesungen über Zahlentheorie est un livre sur la théorie des nombres écrits par les mathématiciens allemands P. G. Lejeune Dirichlet et R. Dedekind, publié en 1863. Le Vorlesungen peut être considérée comme un tournant entre la théorie des nombres classique de Fermat, Jacobi et Gauss, et la théorie des nombres moderne de Dedekind, Riemann et Hilbert.
Zahlbericht
modifier- David Hilbert (1897)
Bien que critiqué par André Weil (qui a déclaré que «plus de la moitié de son célèbre Zahlbericht n'est guère plus qu'un compte rendu du travail de Kummer sur la théorie des nombres, avec des améliorations non essentielles»)[24] et par Emmy Noether[25], il a été très influent de nombreuses années après sa publication.
Fourier Analysis in Number Fields and Hecke's Zeta-Functions
modifier- John Tate (1950)
Fourier Analysis in Number Fields and Hecke's Zeta-Functions est généralement appelé la thèse de Tate. La thèse, sous Emil Artin, est un remaniement de la théorie de Erich Hecke des fonctions-zéta et L en termes d'analyse de Fourier.
La conjecture de Weil
modifier- Pierre Deligne (1974)
La conjecture de Weil, tome I, contient la preuve de l'hypothèse de Riemann pour les variétés sur les corps finis, réglant la dernière des conjectures de Weil ouvertes.
Endlichkeitssätze für abelsche Varietäten über Zahlkörpern
modifier- Gerd Faltings (1983)
Faltings prouve une collection de résultats importants dans cet article, dont le plus célèbre est la première preuve de la conjecture de Mordell (une conjecture datant de 1922).
Modular Elliptic Curves and Fermat's Last Theorem
modifier- Andrew Wiles (1995)
Modular Elliptic Curves and Fermat's Last Theorem (Courbes Elliptiques Et le Dernier Théorème de Fermat) prouve un cas particulier de la conjecture de Shimura-Taniyama à travers l'étude de la théorie de la déformation des représentations galoisiennes. Ceci implique le célèbre dernier théorème de Fermat.
The geometry and cohomology of some simple Shimura varieties
modifier- Michael Harris et Richard Taylor (2001)
Harris et Taylor fournissent la première preuve de la conjecture locale de Langlands pour GL(n).
Le lemme fondamental pour les algèbres de Lie
modifierNgô Bảo Châu a prouvé un problème non résolu de longue date dans le programme de Langlands, en utilisant des méthodes du programme géométrique de Langlands.
Analyse
modifierIntroductio in analysin infinitorum
modifier- Leonhard Euler (1748)
L'historien des mathématiques Carl Boyer a une fois appelé Introductio in analysin infinitorumd'Euler le plus grand texte moderne mathématiques[26]. Publié en deux volumes[27],[28], ce livre plus que tout autre, a réussi à établir l'analyse comme une branche importante des mathématiques, avec un accent sur celle utilisée en géométrie et en algèbre[29],[30]. Dans ce texte, Euler a prouvé que chaque nombre rationnel peut être écrit comme une fraction continue finie, que la fraction continue d'un nombre irrationnel est infini[27].Ce texte contient également un énoncé de la formule d'Euler et une déclaration du théorème des nombres pentagonaux, dont il avait fait la découverte plus tôt et publierait sa preuve en 1751.
Calculus
modifier- Jyeshtadeva (1501)
Écrit en Inde en 1501, ce fut le premier texte de calcul au monde. «Ce travail a posé les bases d'un système complet de fluxions»[31]et a servi comme un résumé des réalisations de l'École du Kerala à propos du calcul, la trigonométrie et l'analyse mathématique, dont la plupart ont été découverts plus tôt par le mathématicien Madhava au XIVe siècle. Il est possible que ce texte a influencé le développement ultérieur du calcul en Europe. Certains de ses développements importants dans le calcul comprennent : les idées fondamentales d'intégration, de dérivé, d'équations différentielles, l'intégration numérique au moyen de série infinie, la relation entre la zone d'une courbe et son intégrale, et le théorème des accroissements finis.
Nova methodus pro maximis et minimis, itemque tangentibus, quae nec fractas nec irrationales quantitates moratur, et singulare pro illi calculi genus
modifier- Gottfried Leibniz (1684)
Première publication de Leibniz sur le calcul différentiel, contenant la notation désormais familière des différentiels ainsi que les règles de calcul des dérivés, des produits et des quotients.
Philosophiae naturalis principia mathematica
modifier- Isaac Newton (1867)
Le Philosophiae naturalis principia mathematica (Latin: «Principes mathématiques de la philosophie naturelle», souvent raccourci Principia ou Principia Mathematica) est un travail en trois volumes écrit par Isaac Newton publié le 5 juillet 1687. Peut-être le livre scientifique le plus influent jamais publié, il contient l'exposé des lois du mouvement de Newton, formant la base de la mécanique classique, ainsi que sa loi de la gravitation universelle, et tire les lois de Kepler pour le mouvement des planètes (qui ont d'abord été obtenues empiriquement)[32].
Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum
modifier- Leonhard Euler (1755)
Publié en deux livres[33], Le Traité du calcul différentiel d'Euler sur le calcul différentiel présente le sujet en termes de fonction, qu'il avait introduit dans son Introductio dans analysin infinitorum de 1748. Ce travail a ouvert l'étude du calcul des différences finies [34]. On y trouve aussi une étude des polynômes de Bernoulli et des nombres de Bernoulli[35], et une nouvelle étude de la Constante d'Euler[36].
Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe
modifier- Bernhard Riemann (1867)
Écrit en 1853, les travaux de Riemann sur les séries trigonométriques ont été publiés à titre posthume. Dans ce document, il étend la définition de Cauchy de l'intégrale de Riemann, ce qui permet à certaines fonctions des sous-ensembles denses de discontinuités sur un intervalle d'être intégrées (démonstration par un exemple)[37]. Il a également déclaré son théorème de réarrangement de Riemann[37], prouvé le théorème de Riemann-Lebesgue pour le cas des fonctions de Riemann intégrables[38], et a développé le principe de Riemann de localisation[39].
Intégrale, longueur, aire
modifier- Henri Lebesgue (1901)
La thèse de doctorat de Lebesgue, résumant et étendant ses recherches en ce qui concerne son développement de la théorie de la mesure et de l'intégrale portant son nom.
Analyse complexe
modifierGrundlagen für eine allgemeine Théorie der Functionen einer veränderlichen complexen Grösse
modifier- Bernhard Riemann (1851)
La thèse de doctorat de Riemann a introduit la notion de surface de Riemann, transformation conforme, la sphère de Riemann, et le théorème de l'application conforme.
Analyse fonctionnelle
modifierThéorie des opérations linéaires
modifier- Stefan Banach (1932; initialement publié en 1931 en Polonais sous le titre Teorja operacyj.)
Première monographie mathématique sur le thème des espaces métriques linéaires, comportant l'étude abstraite de l'analyse fonctionnelle. Le livre introduit les idées d'un espace normé et la notion d'un espace-B dit, un espace normé complet. Les espaces-B sont maintenant appelés les espaces de Banach et sont l'un des objets de base de l'étude dans les domaines de l'analyse mathématique moderne. Banach a également donné des preuves du théorème ouvert de cartographie, théorème du graphe fermé, et de Hahn-Banach.
Analyse de Fourier
modifierMémoire sur la propagation de la chaleur dans les corps solides
modifier- Joseph Fourier (1807)[40]
Introduction à l'analyse de Fourier, en particulier aux séries de Fourier. La contribution clé était de ne pas simplement utiliser les séries trigonométriques, mais de modéliser toutes les fonctions par séries trigonométriques.
Sur la convergence des séries trigonométriques qui servent à représenter une fonction arbitraire entre des limites données
modifierDans sa thèse d'habilitation sur les séries de Fourier, Riemann décrit les travaux de Dirichlet comme «le premier document profond sur le sujet»[41].Ce document a donné la première preuve rigoureuse de la convergence des séries de Fourier dans des conditions assez générales en considérant les sommes partielles, que Dirichlet a transformé en une intégrale de Dirichlet particulière, que l'on appelle maintenant le noyau de Dirichlet[42].
Géométrie
modifierBaudhayana Sulba Sutra
modifier- Baudhayana
Écrit aux alentours du VIIIe siècle av. J.-C., c'est l'un des textes géométriques les plus anciens. Il a posé les bases des mathématiques indiennes et a été influant en Asie du Sud et de ses régions environnantes, et peut-être même la Grèce. Quelques découvertes géométriques importantes de ce texte: la première liste des triplets pythagoriciens découvert algébriquement, le premier énoncé du théorème de Pythagore, des solutions géométriques des équations linéaires, plusieurs approximations de π, la première utilisation des nombres irrationnels, et un calcul précis de la racine carrée de deux, correcte à cinq décimales.
Éléments d'Euclide
modifierDonnée de publication : 300 av. J.-C.
Celui-ci est souvent considéré comme, non seulement le travail le plus important de la géométrie, mais aussi l'une des œuvres les plus importantes des mathématiques. Il contient de nombreux résultats importants en géométrie plane et solide, l'algèbre (livres II et V), et la théorie des nombres (livre VII, VIII et IX)[43]. Les Éléments d'Euclide se réfère généralement au texte le plus réussi et influent[44] jamais écrit.
- Auteur inconnu
Contient la première description de l'élimination de Gauss pour une résolution de système d'équations linéaires, il contient également une méthode pour trouver la racine carrée et la racine cubique. La première solution d'une matrice en utilisant une méthode équivalente à la méthode actuelle.
Les Coniques a été écrit par Apollonius de Perga, un mathématicien grec. Sa méthodologie et la terminologie novatrice, en particulier dans le domaine des coniques, ont influencé de nombreux chercheurs, comme Ptolémée, Francesco Maurolico, Isaac Newton ou encore René Descartes. C'est Apollonius qui a donné les noms de l'ellipse, la parabole, et l'hyperbole.
- Inconnu (400)
Il contient les racines de la trigonométrie moderne. Il décrit les théories d'archéo-astronomie, les principes et les méthodes des anciens Hindous. Ce siddhanta est censé être la connaissance que le dieu Soleil a donné à un Asuraappelé Maya. Il utilise des sinus (jya), cosinus (kojya ou «sinus perpendiculaire») et sinus inverse (jya otkram) pour la première fois, et contient également la première utilisation de la tangente et de la sécante.
- Aryabhata (499)
Ce fut un texte très influent au cours de l'âge d'or des mathématiques en Inde. Celui-ci a grandement contribué à la géométrie et à l'astronomie, y compris l'introduction des sinus/cosinus, la détermination de la valeur approximative de Pi et un calcul précis de la circonférence de la terre.
La Géométrie
modifier- René Descartes (1637)
La Géométrie a été écrit par René Descartes et publié en 1637. Le livre a été influent dans le développement du système de coordonnées cartésiennes et plus particulièrement de la représentation des points d'un plan, par des nombres réels et la représentation des courbes, via des équations.
Grundlagen der Geometrie
modifierVersion en ligne : (en) En ligne
Donnée de publication: (en) David Hilbert, Grundlagen der Geometrie, Teubner-Verlag Leipzig, (ISBN 1-4020-2777-X)
L'axiomatisation de Hilbert de la géométrie.
Regular Polytopes
modifierRegular Polytopes (Polytopes réguliers) est une étude exhaustive de la géométrie des polytopes réguliers, la généralisation des polygones réguliers et des polyèdres réguliers aux dimensions supérieures. Originaire d'un essai intitulé Dimensional Analogy écrit en 1923, la première édition du livre a pris 24 ans à Coxeter pour la compléter. À l'origine écrit en 1947, le livre a été mis à jour et réédité en 1963 et en 1973.
Géométrie différentielle
modifierRecherches sur la courbure des surfaces
modifier- Leonhard Euler (1760)
Donnée de publication: Mémoires de l'académie des sciences de Berlin 16 (1760) p. 119–143; publié en 1767.
Ce document établie la théorie des surfaces, et introduit l'idée de courbures principales, posant les bases de développements de la géométrie différentielle des surfaces.
Disquisitiones generales circa superficies curvas
modifier- Carl Friedrich Gauss (1827)
Donnée de publication: «Disquisitiones generales circa superficies curvas», Commentationes Societatis Regiae Scientiarum Gottingesis Recentiores Vol. VI (1827), p. 99–146; «General Investigations of Curved Surfaces» (publié en 1965) Raven Press, New York.
Travaux novateurs en géométrie différentielle, en introduisant la notion de courbure de Gauss.
Über die Hypothesen, welche der Geometrie zu Grunde Liegen
modifier- Bernhard Riemann (1854)
Donnée de publication: «Über die Hypothesen, welche der Geometrie zu Grunde Liegen», Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Vol. 13, 1867.
Le célèbre Habiltationsvortrag de Riemann, dans laquelle il introduit les notions de variété, métrique riemannienne et de tenseur de courbure.
Leçons sur la théorie génerale des surfaces et les applications géométriques du calcul infinitésimal
modifierDonnée de publication: (en) Gaston (1887,1889,1896) Darboux, Leçons sur la théorie génerale des surfaces, Gauthier-Villars Volume I, Volume II, Volume III, Volume IV
Un traité couvrant pratiquement tous les aspects de la géométrie différentielle des surfaces du XIXe siècle.
Topologie
modifierAnalysis situs
modifier- Henri Poincaré (1895, 1899–1905)
L'Analysis situs de Poincaré et ses Compléments à l'Analysis situs posent les bases de la topologie algébrique. Dans ces documents, Poincaré introduit les notions d'homologie et de groupe fondamental, et mentionne plusieurs conjectures importantes, y compris la conjecture de Poincaré.
L'anneau d'homologie d'une représentation, Structure de l'anneau d'homologie d'une représentation
modifier- Jean Leray (1946)
Dans ces deux notes aux Comptes rendus de 1946, Leray introduit les concepts nouveaux de préfaisceau, cohomologie des faisceaux, et de suite spectrale, qu'il mit au point au cours de ses années de captivité comme prisonnier de guerre. Les déclarations et les applications de Leray (publiées dans les notes des Comptes rendus de 1946) attire l'attention immédiate d'autres mathématiciens. Après la clarification, le développement et la généralisation par Henri Cartan, Jean-Louis Koszul, Armand Borel, Jean-Pierre Serre et Leray lui-même, permettent à ces concepts d'être compris et appliqués dans de nombreux autres domaines mathématiques[45],[46].
Quelques propriétés globales des variétés différentiables
modifier- René Thom (1954)
Dans cet article, Thom prouve le théorème de transversalité de Thom, introduit les notions de cobordisme orienté et non-orienté, et démontre que les groupes de cobordisme peuvent être calculés comme les groupes d'homotopie de certains espaces de Thom[47],[48].
Théorie des catégories
modifierGeneral theory of natural equivalences
modifier- Samuel Eilenberg et Saunders Mac Lane (1945)
General theory of natural equivalences (Théorie générale et équivalences naturelles) est le premier article concernant la théorie des catégories. Mac Lane a plus tard écrit dans Categories for the Working Mathematician que lui et Eilenberg ont introduit les catégories afin qu'ils puissent introduire les foncteurs, pour pouvoir présenter des équivalences naturelles.
- Saunders Mac Lane (1971, deuxième édition en 1998)
Saunders Mac Lane, l'un des fondateurs de la théorie des catégories, a écrit cette exposition pour apporter des catégories pour les masses.
Théorie des ensembles
modifierÜber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen
modifier- Georg Cantor (1874)
Version en ligne: version en ligne
Contient la première preuve que l'ensemble des nombres réels est innombrable; contient également une preuve que l'ensemble des nombres algébriques est dénombrable. (Voir le premier article de la théorie des ensembles de Georg Cantor.)
Grundzüge der Mengenlehre
modifierD'abord publié en 1914, ce fut la première introduction complète à la théorie des ensembles. Le livre contient également des chapitres sur la théorie de la mesure et de la topologie, qui sont toujours considéré comme parties de la théorie des ensembles.
The Independence of the Continuum Hypothesis
modifier- Paul J. Cohen (1963, 1964)
le travail de Cohen a prouvé l'indépendance de l'hypothèse du continu et l'axiome du choix par rapport à théorie des ensembles Z-F. Pour prouver ceci, Cohen a introduit la notion de forcing,qui a conduit à de nombreux autres résultats dans la théorie des ensembles axiomatique.
Logique
modifierLes Lois de la pensée
modifier- George Boole (1854)
Publié en 1854, Les Lois de la pensée a été le premier livre à fournir une base mathématique pour la logique. Son objectif était une extension de la logique d'Aristote en mathématiques. Le travail de Boole a fondé la discipline de la logique algébrique.
Begriffsschrift
modifier- Gottlob Frege (1879)
Publié en 1879, le titre Begriffsschrift peut être traduit par Idéographie. C'est un langage entièrement formalisé inventé par le logicien Gottlob Frege et qui a pour but de représenter de manière parfaite la logique mathématique. Il était sans doute la publication la plus importante de logique depuis Aristote.
Formulaire de mathématiques
modifier- Giuseppe Peano (1895)
D'abord publié en 1895, le Formulaire de mathématiques fut le premier livre mathématique entièrement écrit dans un langage formel. Il contient une description de la logique mathématique et de nombreux théorèmes importants. Bon nombre des notations introduites dans ce livre sont maintenant couramment utilisées.
Principia Mathematica
modifier- Bertrand Russell et Alfred North Whitehead (1910–1913)
Les Principia Mathematica sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés à compte d'auteur en 1910-1913. Cette œuvre a pour sujet les fondements des mathématiques. Avec en particulier l'idéographie de Gottlob Frege, c'est un ouvrage fondamental, dans la mesure où il participe de façon décisive à la naissance de la logique moderne. Les Principia englobent la théorie des ensembles, avec les nombres cardinaux, les nombres ordinaux, ainsi que les nombres réels. Des théorèmes plus avancés de l'analyse réelle n'ont pas été inclus. Un quatrième volume était initialement prévu, mais n'a jamais été réalisé.
Systems of Logic Based on Ordinals
modifier- Thèse d'Alan Turing
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
modifier- Kurt Gödel (1931)
En logique mathématique, les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres prouvés par Kurt Gödel en 1931.
Combinatoire
modifierOn sets of integers containing no k elements in arithmetic progression
modifier- Endre Szemerédi (1975)
Ce document règle la conjecture de Paul Erdős et Pál Turán (maintenant connu comme le théorème de Szemerédi). La solution de Szemerédi a été décrit comme un «chef-d'œuvre de la combinatoire»[49]. [50]
Théorie des graphes
modifierSolutio problematis ad geometriam situs pertinentis
modifier- Leonhard Euler (1741)
La solution d'Euler du problème des ponts de Königsberg dans Solutio problematis ad geometriam situs pertinentis (La solution d'un problème lié à la géométrie de la position) est considéré comme le premier théorème de la théorie des graphes.
On the evolution of random graphs
modifier- Paul Erdős et Alfréd Rényi (1960)
Il fournit une analyse détaillée des graphes aléatoires[51].
Network Flows and General Matchings
modifier- Ford, L. et Fulkerson, D.
- Flows in Networks. Prentice-Hall, 1962.
Présente l'algorithme de Ford-Fulkerson pour résoudre le problème de flot maximum.
Théorie de la complexité
modifierThéorie des probabilités
modifierThéorie des jeux
modifierZur Théorie der Gesellschaftsspiele
modifier- John von Neumann (1928)
Ce document alla bien au-delà des études initiales de Émile Borel dans la théorie stratégique du jeu à deux personnes en prouvant le théorème minimax.
Livre de mathématiques, en anglais, écrit en 1976. Il introduit notamment le concept de nombre surréel et pose les bases de la théorie des jeux. Avec Winning Ways for your Mathematical Plays, ce livre est considéré comme fondateur de la théorie des jeux combinatoires.
Recueil d'informations sur les jeux mathématiques. Il a été publié pour la première en 1982 en deux volumes, l'un se concentrant sur la théorie des jeux combinatoires et les nombres surréels, et l'autre sur un certain nombre de jeux spécifiques.
Analyse numérique
modifierMethod of Fluxions
modifierMethod of Fluxions est un livre écrit par Isaac Newton publié en 1736. Dans ce livre, Newton décrit une méthode (la méthode de Newton-Raphson) pour trouver les vrais zéros d'une fonction.
Essai d'une nouvelle méthode pour déterminer les maxima et les minima des formules intégrales indéfinies
modifier- Joseph Louis Lagrange (1761)
Premiers travaux majeurs sur le calcul des variations, se fondant sur certaines des études antérieures de Lagrange, ainsi que celles d'Euler. Il contient des études sur la détermination de la surface minimale, ainsi que l'aspect initial des multiplicateurs de Lagrange.
Математические методы организации и планирования производства
modifier- Leonid Kantorovich (1939) « La méthode mathématique de planification de la production et de l'organisation]» (en Russe).
Il a reçu le prix Nobel pour ce travail en 1975.
How good is the simplex algorithm?
modifier- Victor Klee et George J. Minty
Klee et Minty ont donné un exemple montrant que l'algorithme du simplexe peut prendre de façon exponentielle de nombreuses étapes pour résoudre un programme linéaire.
Premiers manuscrits
modifierCe sont les publications qui ne sont pas nécessairement pertinentes pour un mathématicien contemporain, mais ce sont néanmoins des publications importantes dans l'histoire des mathématiques.
Un des textes mathématiques les plus anciens, datant de la Deuxième Période intermédiaire de l'Égypte antique. Il a été copié par le scribe Ahmes à partir d'un papyrus. Il a posé les bases des mathématiques égyptiennes. En plus de décrire comment obtenir une approximation de π, il décrit l'une des premières tentatives de la quadrature du cercle.
Les problèmes traités ici sont ceux du centre de gravité d'un hémisphère solide, du centre de gravité d'un tronc de paraboloïde circulaire, et de la surface d'une région délimitée par une parabole et une de ses lignes sécantes. Pour plus de détails explicites sur la méthode utilisée, voir l'utilisation d'Archimède des infinitésimaux.
Le premier système connu de numérotation qui peut être étendu au-delà des besoins de la vie quotidienne.
Œuvres encyclopédiques
modifierÉléments de mathématique
modifier- Nicolas Bourbaki (à partir de 1939)
Les Éléments de mathématique est un traité voulant reformuler et unifier l'ensemble des domaines des mathématiques. C'est une œuvre parmi les plus influentes de la littérature mathématique française. Elle introduit certaines des notations et définitions désormais usuelles, comme le symbole ∅ ou la notion de Bijection. Caractérisé par un niveau extrême de rigueur, de formalisme et de généralité, au point d'en être vivement critiqué, sa publication a débuté en 1939 et reste inachevée.
Articles connexes
modifier- Liste de publications importantes en cryptologie
- Liste de publications importantes en informatique
- Liste de publications importantes en informatique théorique
- Liste de publications importantes en statistique
- Liste de publications importantes en médecine
- Liste de publications importantes en biologie
- Liste de publications importantes en chimie
- Liste de publications importantes en géologie
- Liste de publications importantes en physique
- Chronologie de la classification botanique
- Liste de publications importantes en anthropologie
- Liste de publications importantes en économie
Références
modifier- Bill Casselman, « One of the Oldest Extant Diagrams from Euclid », University of British Columbia (consulté le )
- (en) Shashi S. Sharma, Mathematics & Astronomers of Ancient India, Pitambar (ISBN 978-81-209-1421-6), p. 29
« Brahmagupta is believed to have composed many important works of mathematics and astronomy. However, two of his most important works are: Brahmasphutasiddhanta (BSS) written in 628 AD, and the Khandakhadyaka... »
- (en) Miodrag Petković, Famous puzzles of great mathematicians, American Mathematical Society, , 77, 299 (ISBN 978-0-8218-4814-2, lire en ligne)
« many important results from astronomy, arithmetic and algebra", "major work »
- (en) Helaine Selin (dir.), Encyclopaedia of the history of science, technology, and medicine in non-western cultures, Springer, , 1117 p. (ISBN 978-0-7923-4066-9, lire en ligne), p. 162
« holds a remarkable place in the history of Eastern civilzation", "most important work", "remarkably modern in outlook", "marvelous piece of pure mathematics", "more remarkable algebraic contributions", "important step towards the integral solutions of [second-order indeterminate] equations", "In geometry, Brahmagupta's achievements were equally praiseworthy. »
- (en) John Tabak, Algebra : sets, symbols, and the language of thought, Infobase Publishing, , 38ff (ISBN 978-0-8160-4954-7)
« Brahmagupta's masterpiece", "a great deal of important algebra", "The Brahma-sphuta-siddhānta was quickly recognized by Brahmagupta's contemporaries as an important and imaginative work. It inspired numerous commentaries by many generations of mathematicians. »
- (en) Allan Clark, Elements of abstract algebra, United States, Courier Dover Publications, , 205 p. (ISBN 978-0-486-64725-8, lire en ligne), ix
- J. J. O'Connor et E. F. Robertson, « Girolamo Cardano »,
- (en) Markus Fierz, Girolamo Cardano : 1501-1576. Physician, Natural Philosopher, Mathematician, Birkhäuser Boston, (ISBN 978-0-8176-3057-7)
- (en) André Weil, Number Theory : An approach through history From Hammurapi to Legendre, Birkhäuser, , 239–242 p. (ISBN 0-8176-3141-0)
- J.C.F. Gauss, « Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse »,
- J. J. O'Connor et E. F. Robertson, « The fundamental theorem of algebra »,
- (en) ed. by A. N. Kolmogorov..., Mathematics of the 19th Century : Mathematical Logic, Algebra, Number Theory, and Probability Theory, Birkhäuser Verlag, , 39, 63, 66–68 (ISBN 3-7643-6441-6)
- J. J. O'Connor et E. F. Robertson, « Marie Ennemond Camille Jordan »,
- Martin H. Krieger, « A 1940 Letter of André Weil on Analogy in Mathematics », Notices of the American Mathematical Society, vol. 52, no 3, , p. 338 (lire en ligne [PDF], consulté le )
- Allyn Jackson, « Comme Appelé du Néant — As If Summoned from the Void: The Life of Alexandre Grothendieck », Notices of the American Mathematical Society, vol. 51, no 9, , p. 1045–1046 (lire en ligne [PDF], consulté le )
- (en) Jean Dieudonné, A history of algebraic and differential topology 1900–1960, Basel/Boston, Birkhäuser, , 598–600 p. (ISBN 0-8176-3388-X)
- L. Euler, « De fractionibus continuis dissertatio » [PDF], (consulté le )
- Ed Sandifer, « How Euler Did It: Who proved e is irrational? », MAA Online, (lire en ligne [PDF], consulté le )
- Dorian Goldfeld, « Gauss' Class Number Problem For Imaginary Quadratic Fields », Bulletin of the American Mathematical Society, vol. 13, no 1, , p. 24 (DOI 10.1090/S0273-0979-1985-15352-2, lire en ligne [PDF])
- (en) André Weil, Number Theory : An approach through history From Hammurapi to Legendre, Birkhäuser, , 316–322 p. (ISBN 0-8176-3141-0)
- (en) K. Ireland et M. Rosen, A Classical Introduction to Modern Number Theory, New York, New York, Springer-Verlag, , 358–361 p. (ISBN 0-387-97329-X)
- (en) J. Silverman et J. Tate, Rational Points on Elliptic Curves, New York, New York, Springer-Verlag, , 281 p. (ISBN 0-387-97825-9), p. 110
- H. M. Edwards, Riemann's Zeta Function, Academic Press, 1974
- Franz Lemmermeyer et Norbert Schappacher, « Introduction to the English Edition of Hilbert’s Zahlbericht » [PDF] (consulté le ), p. 3
- Franz Lemmermeyer et Norbert Schappacher, « Introduction to the English Edition of Hilbert’s Zahlbericht » [PDF] (consulté le ), p. 5
- Gerald L. Alexanderson, « Euler’s Introductio In Analysin Infinitorum », Bulletin of the American Mathematical Society, vol. 44, no 4, , p. 635–639 (DOI 10.1090/S0273-0979-07-01183-4, lire en ligne [PDF])
- L. Euler, « E101 – Introductio in analysin infinitorum, volume 1 » (consulté le )
- L. Euler, « E102 – Introductio in analysin infinitorum, volume 2 » (consulté le )
- (en) Ronald Calinger, Classics of Mathematics, Oak Park, Illinois, Moore Publishing Company, Inc., , 396–397 p. (ISBN 0-935610-13-8)
- J. J. O'Connor et E. F. Robertson, « The function concept »,
- Charles Whish, « On the Hindu Quadrature of the circle and the infinite series of the proportion of the circumference to the diameter exhibited in the four Sastras, the Tantra Sahgraham, Yuktibhasa, Carana Padhati and Sadratnamala », Royal Asiatic Society of Great Britain and Ireland, vol. 3, no 3, , p. 509–523 (DOI 10.1017/S0950473700001221, JSTOR 25581775)
- Jeremy Gray, « MAA Book Review: Reading the Principia: The Debate on Newton's Mathematical Methods for Natural Philosophy from 1687 to 1736 by Niccolò Guicciardini », .
- L. Euler, « E212 – Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum » (consulté le )
- J. J. O'Connor et E. F. Robertson, « Leonhard Euler »,
- Ed Sandifer, « How Euler Did It: Bernoulli Numbers », MAA Online, (lire en ligne [PDF], consulté le )
- Ed Sandifer, « How Euler Did It: Partial Fractions », MAA Online, (lire en ligne [PDF], consulté le )
- (en) David Bressoud, A Radical Approach to Real Analysis, Mathematical Association of America, , 248–255 p. (ISBN 978-0-88385-747-2 et 0-88385-747-2, lire en ligne)
- (en) Morris Kline, Mathematical Thought From Ancient to Modern Times : Volume 3, Oxford University Press, , 1046–1047 p. (ISBN 0-19-506137-3, lire en ligne)
- (en) John Benedetto, Harmonic Analysis and Applications, CRC Press, , 170–171 p. (ISBN 0-8493-7879-6, lire en ligne)
- (en) Mémoire sur la propagation de la chaleur dans les corps solides, présenté le 21 décembre 1807 à l'Institut national – Nouveau Bulletin des sciences par la Société philomatique de Paris, vol. I, Paris, Bernard, , 112–116 p., chap. 6
- (en) Helmut Koch, Mathematics in Berlin : Gustav Peter Lejeune Dirichlet, Berlin/Basel/Boston, Birkhäuser, , 33–40 p. (ISBN 3-7643-5943-9)
- Jürgen Elstrodt, « The Life and Work of Gustav Lejeune Dirichlet (1805–1859) », Clay Mathematics Proceedings, , p. 19–20 (lire en ligne [PDF])
- Carl B. Boyer, A History of Mathematics, Princeton, New Jersey, Princeton University Press, (ISBN 0-691-02391-3), p. 126
- Carl B. Boyer, A History of Mathematics, , chap. VII (« Euclid of Alexandria »), p. 119 :
« The Elements of Euclid not only was the earliest major Greek mathematical work to come down to us, but also the most influential textbook of all times. [...]The first printed version of the Elements appeared at Venice in 1482, one of the very earliest of mathematical books to be set in type; it has been estimated that since then at least a thousand editions have been published. Perhaps no book other than the Bible can boast so many editions, and certainly no mathematical work has had an influence comparable with that of Euclid's Elements. »
- Haynes Miller, « Leray in Oflag XVIIA: The origins of sheaf theory, sheaf cohomology, and spectral sequences » [ps],
- (en) Jean Dieudonné, A history of algebraic and differential topology 1900–1960, Basel/Boston, Birkhäuser, , 123–141 p. (ISBN 0-8176-3388-X)
- (en) Jean Dieudonné, A history of algebraic and differential topology 1900–1960, Basel/Boston, Birkhäuser, , 556–575 p. (ISBN 0-8176-3388-X)
- Dennis Sullivan, « René Thom's Work On Geometric Homology And Bordism », Bulletin of the American Mathematical Society, vol. 41, no 3, , p. 341–350 (DOI 10.1090/S0273-0979-04-01026-2, lire en ligne [PDF])
- « 2008 Steele Prizes; Seminal Contribution to Research: Endre Szemerédi », Notices of the American Mathematical Society, vol. 55, no 4, , p. 488 (lire en ligne [PDF], consulté le )
- « Interview with Endre Szemerédi », Notices of the American Mathematical Society, vol. 60, no 2, , p. 226 (DOI 10.1090/noti948, lire en ligne [PDF], consulté le )
- (en) Béla Bollobás, Modern Graph Theory, Springer, , 394 p. (ISBN 978-0-387-98488-9, lire en ligne), p. 252