Histoire des Mathématiques

Introduction

Les mathématiques comptent parmi les réalisations intellectuelles les plus anciennes et les plus durables de l'espèce humaine. Des premières marques gravées sur des os par des chasseurs préhistoriques tenant le compte de leur gibier, aux vastes édifices de raisonnement abstrait construits par les logiciens et les géomètres du vingtième siècle, l'histoire des mathématiques est indissociable de l'histoire de la civilisation humaine elle-même. Aucune autre discipline n'a, aussi discrètement et aussi profondément, façonné la manière dont les êtres humains comprennent l'univers, bâtissent leurs villes, naviguent sur leurs mers, conduisent leur commerce et repoussent les frontières de la science. L'histoire complète des mathématiques, des systèmes de numération anciens aux mathématiques modernes et à ses plus grandes découvertes, embrasse au moins cinquante mille ans d'effort, d'ingéniosité, d'échecs et de triomphes humains.

Ce qui rend l'histoire des mathématiques si captivante, c'est qu'elle n'est pas simplement une chronique de formules découvertes et de théorèmes démontrés. C'est le récit d'êtres humains aux prises avec les mystères les plus profonds de la quantité, de l'espace, du changement et de la structure. Pourquoi les mêmes vérités mathématiques apparaissent-elles indépendamment dans des cultures séparées par de vastes océans et des siècles ? Comment le simple acte de compter des moutons a-t-il finalement conduit au concept de l'infini ? Comment des marchands tenant leurs comptes dans la Mésopotamie antique ont-ils posé les fondements de l'algèbre que les élèves étudient encore à l'école aujourd'hui ? Ces questions font de l'histoire de la pensée mathématique l'un des récits les plus riches de l'histoire intellectuelle.

Le développement des mathématiques n'a jamais été une progression linéaire et régulière. Des périodes de créativité explosive ont été suivies de longs siècles de consolidation ou de stagnation apparente. Le savoir mathématique a été acquis, perdu et redécouvert. Des idées qui semblaient de simples curiosités abstraites à une époque se sont révélées, des siècles plus tard, être précisément les outils nécessaires pour décrire l'univers physique. L'invention de la géométrie non euclidienne au dix-neuvième siècle fut rejetée par beaucoup comme un exercice purement théorique, et pourtant elle devint le langage mathématique de la relativité générale d'Einstein. La théorie des nombres sur laquelle se penchaient les mathématiciens de la Grèce antique trouva une application inattendue dans la cryptographie moderne et les communications internet sécurisées.

Cet article parcourt l'ensemble de l'histoire des mathématiques, depuis les origines préhistoriques du comptage jusqu'aux réalisations monumentales des civilisations antiques de Mésopotamie, d'Égypte, de Grèce, d'Inde, du monde islamique et de Chine, en passant par la grande révolution du calcul infinitésimal et la prolifération extraordinaire des disciplines mathématiques aux dix-neuvième et vingtième siècles, jusqu'aux défis profonds et aux problèmes ouverts qui confrontent encore aujourd'hui les mathématiciens. En chemin, il brosse le portrait des plus grands esprits mathématiques de l'histoire, examine comment les mathématiques ont façonné la vie quotidienne, et s'interroge sur les mystères non résolus qui continuent d'appeler depuis la frontière de la connaissance humaine.

Les mathématiques sont parfois décrites comme la reine des sciences, une expression attribuée à Carl Friedrich Gauss, l'un des plus grands génies mathématiques du dix-neuvième siècle. On pourrait tout aussi bien les appeler la servante de toutes les sciences, car aucune branche de l'enquête naturelle n'a pu progresser bien loin sans emprunter à la boîte à outils du mathématicien. Comprendre comment cette boîte à outils a été assemblée, affinée et enrichie au fil des millénaires, c'est comprendre un fil central dans le tissu de la civilisation humaine.

Les mathématiques préhistoriques et le comptage

Bien avant l'invention de l'écriture, avant que les premières villes ne s'élèvent au bord des fleuves de Mésopotamie et d'Égypte, les êtres humains pratiquaient les mathématiques. Les témoignages sont fragmentaires mais indéniables : des os et des pierres ornés de marques de dénombrement, des arrangements d'objets suggérant un comptage délibéré, et des motifs géométriques peints sur des parois de grottes indiquent que la pensée mathématique n'est pas un acquis récent ou spécialisé, mais une caractéristique fondamentale de l'esprit humain.

Le plus ancien artefact mathématique connu est l'os de Lebombo, un péroné de babouin découvert dans les montagnes de Lebombo à la frontière du Swaziland et de l'Afrique du Sud. L'os, qui date d'environ 43 000 ans, porte vingt-neuf encoches distinctes disposées de manière apparemment délibérée. Certains chercheurs ont supposé que les marques correspondent à un calendrier lunaire, tandis que d'autres y voient simplement un dispositif de comptage utilisé pour suivre les animaux chassés ou d'autres quantités. Quelle que soit sa destination originale, l'os de Lebombo démontre que les êtres humains pratiquaient l'énumération systématique il y a des dizaines de milliers d'années.

Tout aussi remarquable est l'os d'Ishango, trouvé près de la rivière Semliki dans la région qui constitue aujourd'hui la République démocratique du Congo. Datant d'environ 20 000 ans, cet outil en péroné de babouin porte trois colonnes d'encoches qui ont fasciné les mathématiciens et les anthropologues. Une colonne semble présenter des séquences de doublement. Une autre colonne contient des encoches qui semblent correspondre aux nombres premiers compris entre dix et vingt. Que le créateur de l'os d'Ishango ait ou non compris les nombres premiers dans un sens abstrait, l'organisation des marques suggère un niveau de conscience mathématique qui va bien au-delà du simple comptage par encoches.

L'universalité du comptage de base est en soi un fait mathématique profond. Toutes les cultures humaines connues, aussi isolées soient-elles, possèdent des systèmes de numération adaptés au dénombrement des objets de leur environnement. La plupart des langues possèdent au minimum des mots pour les nombres de un à dix, et de nombreux linguistes pensent que l'utilisation répandue des systèmes de numération en base dix reflète le fait biologique que les êtres humains ont dix doigts. D'autres bases ont également été utilisées historiquement. Les Sumériens de la Mésopotamie antique ont développé un système en base soixante dont l'héritage persiste aujourd'hui dans notre division de l'heure en soixante minutes et du cercle en trois cent soixante degrés. Les Mayas d'Amérique centrale sont parvenus indépendamment à un système en base vingt, reflétant peut-être le comptage à la fois des doigts des mains et des pieds.

Avant l'émergence de systèmes de numération formels, les peuples préhistoriques utilisaient probablement la correspondance terme à terme comme principal outil mathématique. Un berger suivant son troupeau de moutons pouvait placer un caillou dans une bourse pour chaque animal envoyé aux pâturages et retirer un caillou pour chaque animal rentrant en fin de journée. Ce processus consistant à faire correspondre les objets de deux ensembles sans nécessairement leur attribuer des nombres représente la forme la plus primitive de raisonnement quantitatif, et il encode le concept mathématique de cardinalité — la mesure de la taille d'un ensemble — dans une procédure purement physique.

La pensée géométrique semble également avoir des racines préhistoriques très profondes. Les peintures rupestres de Lascaux en France et d'Altamira en Espagne, datant de quinze mille à vingt mille ans, témoignent d'une compréhension sophistiquée des proportions et de l'organisation spatiale. La construction de monuments mégalithiques tels que Stonehenge en Angleterre, commencée vers 3000 avant notre ère, nécessitait la capacité de mesurer des distances, de tracer des cercles et d'aligner des structures avec une précision astronomique. Les bâtisseurs de ces monuments ne disposaient d'aucune mathématique écrite au sens formel, et pourtant ils possédaient clairement une connaissance pratique robuste de la géométrie qui avait été accumulée et transmise au fil de nombreuses générations.

La transition d'une connaissance mathématique purement intuitive et pratique vers quelque chose de reconnaissable comme mathématiques systématiques se produisit parallèlement à l'essor des civilisations agricoles sédentaires. Lorsque les populations commencèrent à pratiquer l'agriculture, à stocker des surplus de grain, à partager les terres entre héritiers, à payer des impôts à une autorité centrale et à commercer sur de longues distances, les exigences imposées à leurs capacités mathématiques augmentèrent considérablement. Le comptage ne suffisait plus. Les gens devaient mesurer des surfaces, calculer des volumes, suivre les cycles astronomiques pour les calendriers agricoles et enregistrer les transactions de manière à pouvoir les vérifier ultérieurement. Ces nécessités pratiques ont conduit au développement des premiers systèmes mathématiques formels, qui ont émergé presque simultanément en Mésopotamie et en Égypte il y a environ cinq mille ans.

L'histoire des mathématiques au sens plein du terme commence donc avec les grandes civilisations des vallées fluviales, mais elle repose sur des fondements bien plus anciens de pratique mathématique préhistorique qui remontent aux origines mêmes de la cognition humaine. Chaque enfant qui apprend à compter récapitule une réalisation intellectuelle d'une immense antiquité, qui distingue l'espèce humaine et qui a rendu possible tout, des pyramides au téléphone intelligent.

Les mathématiques de la Mésopotamie antique

La civilisation qui s'est développée entre le Tigre et l'Euphrate dans ce qui est aujourd'hui l'Irak a produit les premiers documents mathématiques écrits étendus. Les anciens Mésopotamiens, en particulier les Sumériens et plus tard les Babyloniens, ont développé une tradition mathématique d'une sophistication remarquable qui a prospéré pendant plus de deux mille ans et dont l'influence se fait encore sentir aujourd'hui dans la façon dont nous mesurons le temps et les angles.

Les mathématiques mésopotamiennes étaient consignées sur des tablettes d'argile imprimées avec un stylet en forme de coin, une écriture connue sous le nom de cunéiforme. Des milliers de ces tablettes ont été excavées sur des sites à travers l'Irak, et celles à contenu mathématique vont de simples tables de multiplication et de listes de réciproques à des problèmes sophistiqués impliquant des équations du second degré et des calculs géométriques. Les tablettes étaient produites dans des écoles de scribes où les jeunes hommes étaient formés aux arts administratifs et intellectuels nécessaires pour servir l'État et l'économie templière mésopotamiens. Les mathématiques étaient fondamentalement une discipline pratique dans ce contexte : les scribes devaient calculer les rations de grain, planifier les canaux d'irrigation, répartir les surfaces de champs et compiler les registres fiscaux.

La caractéristique la plus distinctive des mathématiques mésopotamiennes est l'utilisation d'un système de numération positionnel en base soixante, ou sexagésimal. Dans un système positionnel, la valeur d'un chiffre dépend non seulement de quel chiffre il s'agit, mais aussi de l'endroit où il apparaît dans le nombre. Les Babyloniens ne disposaient que de deux signes cunéiformes distincts pour les chiffres : l'un représentant la valeur un et l'autre représentant la valeur dix. Les nombres entre un et cinquante-neuf étaient exprimés en combinant ces signes de diverses manières. Pour les valeurs de soixante et au-delà, les scribes utilisaient une convention positionnelle dans laquelle les mêmes signes changeaient de position pour indiquer la multiplication par des puissances successives de soixante. C'est la même logique positionnelle qui sous-tend le système décimal que nous utilisons aujourd'hui, mais fonctionnant en base soixante plutôt qu'en base dix.

De manière frappante, les Babyloniens semblent avoir fonctionné pendant longtemps sans signe pour le zéro en tant qu'indicateur de position, ce qui rendait parfois leur notation ambiguë. Une version ultérieure du système cunéiforme introduisit bien un symbole de remplacement, bien qu'il fonctionnât différemment du zéro des mathématiques modernes et ne fût pas traité comme un nombre à part entière. Le développement complet du zéro en tant que nombre attendit les mathématiciens de l'Inde, plusieurs siècles plus tard.

Le contenu mathématique des tablettes babyloniennes est impressionnant par tous les aspects. Les scribes ont compilé de vastes tables de carrés, de racines carrées, de cubes et de racines cubiques, ainsi que des tables de réciproques nécessaires pour effectuer la division par voie de multiplication. Ils ont calculé l'aire de rectangles, de triangles et de trapèzes. Ils ont travaillé avec la relation entre les côtés d'un triangle rectangle qui est aujourd'hui connue sous le nom de théorème de Pythagore, des siècles avant la naissance de Pythagore dans la Grèce antique. Une tablette célèbre, connue sous le nom de Plimpton 322 et datant d'environ 1800 avant notre ère, contient un tableau de triplets pythagoriciens — des ensembles de trois entiers satisfaisant l'équation régissant les triangles rectangles —, ce qui suggère que les mathématiciens babyloniens non seulement connaissaient cette relation, mais avaient développé des méthodes systématiques pour générer de tels triplets.

Les Babyloniens étaient également capables de résoudre ce que nous appellerions aujourd'hui des problèmes algébriques. Leur approche n'était pas symbolique au sens moderne : ils exprimaient tout en mots et en nombres spécifiques plutôt qu'en lettres et en variables abstraites. Mais la structure logique de leurs solutions correspond étroitement au raisonnement algébrique moderne. Ils pouvaient résoudre des équations du second degré en utilisant une procédure équivalente à la complétion du carré. Ils traitaient des problèmes impliquant deux inconnues, résolvant essentiellement des équations simultanées. Certaines tablettes contiennent des équations du troisième degré et des problèmes relevant de ce qui correspond à la théorie élémentaire des nombres.

L'une des réalisations les plus célèbres des mathématiques babyloniennes est leur approximation de la racine carrée de deux. Une petite tablette d'argile datant d'environ 1700 avant notre ère montre un carré avec ses diagonales tracées, et inscrite sur la diagonale se trouve une valeur numérique correspondant à la racine carrée de deux avec une précision de cinq décimales. Cette approximation, 1,41421..., est remarquablement précise pour une civilisation sans outils de calcul modernes, et elle atteste du profond engagement des Babyloniens avec ce que nous reconnaissons aujourd'hui comme des nombres irrationnels, même s'ils ne les auraient pas conceptualisés comme tels.

L'astronomie et les mathématiques babyloniennes étaient étroitement imbriquées. La prédiction des cycles lunaires et solaires, la compilation de tables astronomiques qui suivaient le lever et le coucher des planètes, et le développement d'un calendrier nécessitaient une modélisation mathématique sophistiquée. Les astronomes babyloniens ont finalement produit des procédures arithmétiques pour prédire les positions planétaires avec une précision considérable, un travail qui a influencé l'astronomie grecque et islamique ultérieure et représente l'un des premiers exemples d'application d'outils mathématiques à la description systématique des phénomènes naturels.

L'héritage des mathématiques mésopotamiennes dans l'histoire mondiale est immense. Le système en base soixante inventé par les anciens Mésopotamiens s'est révélé extraordinairement durable. Aujourd'hui, des milliers d'années après que la dernière tablette cunéiforme a été pressée, nous divisons encore l'heure en soixante minutes, la minute en soixante secondes et le cercle complet en trois cent soixante degrés, chacune de ces conventions étant un héritage direct des mathématiciens de l'Irak antique.

Les mathématiques de l'Égypte antique

Le long du Nil, la civilisation de l'Égypte antique a développé sa propre tradition mathématique qui, bien que moins sophistiquée sur le plan algébrique que celle de la Mésopotamie, possédait sa propre élégance et a obtenu des résultats pratiques remarquables. Les mathématiques égyptiennes sont préservées principalement dans deux papyrus conservés, le papyrus mathématique de Rhind et le papyrus mathématique de Moscou, ainsi que dans un nombre plus restreint d'autres documents. Ces sources nous donnent une image claire de la manière dont les scribes égyptiens abordaient les problèmes mathématiques et du niveau de connaissance mathématique attendu d'un professionnel instruit dans la société égyptienne antique.

Le papyrus mathématique de Rhind, datant d'environ 1550 avant notre ère mais apparemment copié d'une source plus ancienne d'environ 1650 avant notre ère, est l'une des meilleures sources pour comprendre les mathématiques de l'Égypte antique. Nommé d'après l'antiquaire écossais Alexander Henry Rhind qui l'a acheté en 1858, le papyrus contient quatre-vingt-quatre problèmes mathématiques avec leurs solutions, couvrant des sujets tels que l'arithmétique, la géométrie et ce que nous pourrions appeler aujourd'hui des équations du premier degré. Ses premières lignes le décrivent comme un guide vers la connaissance de toutes les choses existantes et de tous les secrets obscurs, une façon typiquement égyptienne de présenter les mathématiques comme une forme de sagesse pratique ésotérique.

L'arithmétique égyptienne était basée sur un système décimal, comme le nôtre, mais elle n'utilisait pas la notation positionnelle. Au lieu de cela, les Égyptiens utilisaient des symboles hiéroglyphiques distincts pour chaque puissance de dix : un, dix, cent, mille, dix mille, cent mille et un million. Pour écrire un nombre, les scribes combinaient simplement ces symboles, en répétant chacun autant de fois que nécessaire. L'addition dans ce système est assez naturelle : on combine simplement les symboles de deux nombres et on simplifie en échangeant dix symboles d'une dénomination contre un symbole de la dénomination supérieure suivante lorsque nécessaire.

La multiplication et la division dans les mathématiques égyptiennes s'effectuaient par un procédé de doublement et de division répétés, parfois appelé méthode des doublings successifs ou algorithme du paysan russe. Pour multiplier deux nombres, le scribe écrivait une série de doublements de l'un des nombres, puis sélectionnait dans cette liste les entrées dont la somme donne l'autre nombre, ajoutant les doublements correspondants du premier nombre pour obtenir le produit. Cette méthode fonctionne pour deux nombres entiers quelconques et ne requiert que la capacité de doubler des nombres et d'additionner, des compétences bien à la portée de tout scribe formé.

Les fractions égyptiennes étaient exprimées comme des sommes de fractions unitaires, c'est-à-dire des fractions de numérateur un. Les Égyptiens disposaient d'un signe spécial pour la fraction deux tiers, mais toutes les autres fractions étaient décomposées en sommes de fractions unitaires distinctes. Par exemple, ce que nous écririons comme trois quarts s'exprimait comme un demi plus un quart. Le papyrus de Rhind s'ouvre sur un tableau donnant les décompositions de fractions de la forme deux divisé par un nombre impair de trois à cent un, en sommes de fractions unitaires. La génération de ces décompositions requiert une ingéniosité considérable, et les décompositions particulières choisies dans le tableau minimisent souvent le nombre de termes ou maintiennent les dénominateurs petits, ce qui suggère que les mathématiciens égyptiens avaient des préférences esthétiques quant à la façon d'exprimer les fractions.

La géométrie égyptienne était largement motivée par des préoccupations pratiques, notamment la nécessité de rétablir les limites des champs après que les crues annuelles du Nil avaient emporté les bornes. Le mot géométrie vient lui-même des mots grecs signifiant terre et mesure, reflétant ce lien ancien entre la discipline et l'arpentage pratique des terres. Les scribes égyptiens pouvaient calculer avec précision les aires des triangles, des rectangles et des trapèzes. Ils approchaient l'aire d'un cercle en utilisant une formule équivalente au calcul de l'aire d'un carré dont le côté est les huit neuvièmes du diamètre du cercle, ce qui donne une valeur implicite de pi d'environ 3,1605, une très bonne approximation à des fins pratiques.

L'exemple le plus étonnant de géométrie pratique égyptienne se trouve peut-être dans le papyrus mathématique de Moscou, qui contient une formule pour le volume d'une pyramide tronquée, ou frustum. Le problème quatorze de ce papyrus donne une formule correcte pour le volume d'un frustum à base carrée, exprimée en fonction de sa hauteur et des longueurs des côtés de ses deux faces carrées. Il s'agit d'un résultat non trivial qui requiert une perspicacité mathématique considérable, et le fait qu'il apparaisse dans ce qui est essentiellement un manuel de formation des scribes indique qu'il faisait partie des connaissances mathématiques opérationnelles des professionnels égyptiens. La façon dont les Égyptiens ont dérivé cette formule reste incertaine, car ils n'enregistrent jamais leur processus de raisonnement, seulement les étapes procédurales et la réponse.

Les mathématiques égyptiennes étaient largement pratiques et procédurales par nature. Les scribes égyptiens résolvaient les problèmes en suivant des algorithmes établis, et les papyrus mathématiques présentent des problèmes et des solutions sans expliquer rarement pourquoi les méthodes fonctionnent. Cette absence de démonstration formelle distingue la tradition mathématique égyptienne de la tradition grecque ultérieure, qui fit de la démonstration rigoureuse des vérités mathématiques sa préoccupation centrale. Pourtant, les réalisations pratiques des mathématiques égyptiennes furent extraordinaires, et la construction des pyramides et d'autres structures monumentales atteste d'un niveau de connaissance géométrique appliquée qui a impressionné les observateurs pendant des millénaires.

Les mathématiques de la Grèce antique et Euclide

La transformation des mathématiques, d'un ensemble de techniques de calcul pratiques en une science déductive rigoureuse, fut l'une des révolutions intellectuelles les plus profondes de l'histoire humaine, et elle fut accomplie principalement par les anciens Grecs sur une période d'environ quatre siècles, de 600 avant notre ère environ à 300 avant notre ère environ. Les mathématiciens grecs furent les premiers à insister sur le fait que les affirmations mathématiques ne devaient pas simplement être procéduralement efficaces, mais logiquement démontrées, prouvées nécessairement vraies à partir de premiers principes par une chaîne de raisonnements valides. Cette exigence de preuve, qui est aujourd'hui la caractéristique définissante des mathématiques en tant que discipline, fut la contribution la plus durable des Grecs à la pensée humaine.

Les premiers mathématiciens grecs que nous connaissons par leur nom étaient étroitement liés aux traditions pratiques et philosophiques du Proche-Orient antique. Thalès de Milet, qui prospéra vers 600 avant notre ère, est crédité d'avoir introduit la géométrie d'Égypte en Grèce et d'avoir prouvé plusieurs théorèmes géométriques de base, notamment la proposition selon laquelle un cercle est divisé en deux parties égales par l'un quelconque de ses diamètres et que les angles à la base d'un triangle isocèle sont égaux. La question de savoir si Thalès a effectivement offert des démonstrations formelles de ces résultats ou les a simplement énoncés comme des faits observés est débattue par les historiens, mais il est rappelé comme le fondateur de la tradition grecque consistant à chercher une justification logique aux affirmations mathématiques.

Les Pythagoriciens, disciples de Pythagore de Samos qui prospéra à la fin du sixième siècle avant notre ère, firent des mathématiques le centre de leur vision philosophique du monde. Ils croyaient que les nombres étaient la réalité fondamentale sous-jacente à toute la nature et que l'étude de l'arithmétique, de la géométrie, de la musique et de l'astronomie était la voie vers la sagesse et même vers la purification de l'âme. Leur réalisation mathématique la plus célèbre, le théorème portant le nom de Pythagore reliant les carrés des côtés d'un triangle rectangle, était presque certainement connu des mathématiciens babyloniens et peut-être des Indiens avant eux, mais les Pythagoriciens semblent avoir été les premiers à le démontrer rigoureusement.

La découverte qui troubla profondément les Pythagoriciens fut l'existence de grandeurs incommensurables, ce que nous appelons aujourd'hui les nombres irrationnels. La diagonale d'un carré de côté un a une longueur égale à la racine carrée de deux, et les Pythagoriciens prouvèrent que cette quantité ne peut être exprimée comme un rapport de deux nombres entiers. Ce résultat, qui brisa la croyance pythagoricienne selon laquelle toutes les quantités de la nature étaient rationnellement liées, était selon la tradition antique considéré comme si troublant qu'il fut gardé secret, et le membre de la confrérie pythagoricienne qui le révéla à des étrangers fut jeté à la mer.

Les cinquième et quatrième siècles avant notre ère virent un épanouissement extraordinaire de la pensée mathématique grecque. Eudoxe de Cnide, qui prospéra vers 370 avant notre ère, développa la méthode d'exhaustion, une technique pour calculer les aires et les volumes de figures courbes en les approchant par des suites de figures rectilignes d'aire connue. Cette méthode est une précurseur du calcul intégral développé par Newton et Leibniz deux mille ans plus tard, et Eudoxe l'utilisa pour démontrer, entre autres résultats, que les volumes des sphères sont dans le rapport des cubes de leurs diamètres. Eudoxe développa également une théorie rigoureuse des proportions capable de traiter les grandeurs irrationnelles, fournissant ainsi un fondement logique à une grande partie de la géométrie grecque.

L'œuvre culminante des mathématiques grecques antiques fut les Éléments d'Euclide, composés vers 300 avant notre ère à Alexandrie en Égypte, alors partie du monde hellénistique qu'Alexandre le Grand avait créé. Les Éléments constituent l'un des livres les plus influents de l'histoire de la pensée. Ils se composent de treize livres couvrant la géométrie plane, la théorie des nombres, la géométrie tridimensionnelle et la théorie des proportions, le tout organisé comme un système déductif procédant à partir d'un petit nombre de définitions, de postulats et de notions communes à travers des centaines de propositions, chacune rigoureusement dérivée de ce qui précède.

La réalisation d'Euclide dans les Éléments n'était pas principalement la découverte de nouveaux résultats mathématiques, dont la plupart étaient connus avant lui, mais l'organisation et la codification logique des connaissances mathématiques existantes en un système déductif cohérent. En identifiant un ensemble minimal d'hypothèses — les cinq postulats — à partir desquelles tout le reste de la géométrie pouvait être dérivé, Euclide montra que les mathématiques pouvaient être rendues complètement rigoureuses et autonomes. Sa méthode devint le modèle de toute exposition mathématique ultérieure et de l'idéal de rigueur logique dans tout domaine d'enquête.

Quatre des cinq postulats d'Euclide sont des énoncés simples et non controversés sur les points, les droites et les cercles. Le cinquième postulat, connu sous le nom de postulat des parallèles, est beaucoup plus complexe : il affirme, en substance, que par un point n'appartenant pas à une droite donnée, il passe exactement une droite parallèle à la droite donnée. Le statut logique de ce postulat a troublé les mathématiciens pendant plus de deux mille ans, car beaucoup estimaient qu'il était trop complexe pour servir d'axiome et devait être dérivable comme théorème à partir des quatre autres. La résolution ultime de cette question, par le développement des géométries non euclidiennes au dix-