Étape 1 — Intuition et évidence dans l’Antiquité

Un premier exemple clair se trouve dans les mathématiques égyptiennes. Le papyrus de Rhind (vers −1650) présente des problèmes accompagnés de procédures de calcul. Lorsqu’un résultat est obtenu, aucune justification abstraite n’est donnée : la validité de la méthode repose sur sa réussite pratique. La preuve est implicite et expérimentale, fondée sur la répétition et l’efficacité plutôt que sur un raisonnement déductif.

Dans la tradition mésopotamienne, les tablettes babyloniennes fonctionnent de manière similaire. Par exemple, certaines tablettes donnent des méthodes pour résoudre des équations du second degré ou calculer des aires. Le raisonnement n’est pas formulé comme une démonstration, mais comme une suite d’étapes à suivre. Ici encore, la preuve est contenue dans la méthode elle-même, non dans une justification logique indépendante.

Chez les Grecs, la situation évolue. Prenons un exemple classique attribué aux pythagoriciens : la démonstration que la somme des angles d’un triangle est égale à deux angles droits. Cette preuve repose sur une construction géométrique simple et sur l’observation de relations angulaires évidentes. La figure joue un rôle essentiel : c’est en la contemplant que la nécessité du résultat s’impose. La preuve est convaincante parce qu’elle est visuellement et intellectuellement évidente.

Un autre exemple célèbre est la découverte de l’irrationalité de la racine de 2, attribuée à l’école pythagoricienne. La démonstration utilise un raisonnement par l’absurde, mais repose sur des notions encore intuitives de nombre pair et impair. La force de la preuve vient de la contradiction perçue comme évidente, non d’un cadre formel explicite.

Chez Platon, cette conception est explicitement valorisée. Dans ses dialogues, les mathématiques sont présentées comme un exercice de l’intelligence visant à saisir des vérités nécessaires. La preuve est un cheminement de l’âme vers l’évidence, non une manipulation symbolique. L’accent est mis sur la compréhension profonde plutôt que sur la vérification détaillée de chaque étape.

Ces exemples montrent que la preuve antique est indissociable de l’intuition, de la figure et du sens. Elle constitue une étape fondatrice : sans elle, la rigueur ultérieure serait incompréhensible. Mais elle porte aussi en germe ses limites, car ce qui paraît évident à l’un ne l’est pas nécessairement à tous. C’est cette tension qui conduira progressivement à la recherche de critères de preuve plus explicites et plus universels.

Étape 2 — Euclide : la naissance de la démonstration structurée

Les Éléments ne se contentent pas d’énoncer des résultats. L’ouvrage est organisé de manière hiérarchique : définitions (point, droite, angle), postulats (tracer, prolonger, construire), axiomes généraux, puis propositions démontrées une à une. Chaque preuve dépend explicitement de ce qui précède. Cette organisation impose un idéal nouveau : un théorème est vrai parce qu’il est déduit correctement de principes admis.

Un exemple emblématique est la démonstration du théorème de Pythagore (Livre I, proposition 47). Euclide n’affirme pas simplement la relation entre les côtés du triangle rectangle : il la déduit par une construction précise et une chaîne d’arguments fondés sur des égalités déjà établies. La figure accompagne la preuve, mais c’est la logique de l’enchaînement qui garantit la validité.

Cette méthode introduit une distinction essentielle entre ce qui est admis et ce qui est prouvé. La preuve devient un objet transmissible et vérifiable indépendamment de l’intuition personnelle. Deux lecteurs différents, s’ils acceptent les mêmes principes, doivent parvenir à la même conclusion.

Cette conception dominera les mathématiques pendant plus de deux millénaires. Elle impose un modèle de rigueur sans formalisation symbolique complète, mais suffisamment précis pour structurer durablement la discipline. En même temps, elle conserve une part d’intuition, notamment à travers l’usage des figures, ce qui ouvrira plus tard un débat sur les limites de cette rigueur « classique ».

Étape 3 — Preuve, autorité et transmission au Moyen Âge

Les Éléments d’Euclide sont conservés, commentés et enseignés aussi bien dans le monde byzantin que dans le monde arabo-musulman. Des savants comme Thābit ibn Qurra ou Al-Khwarizmi traduisent, adaptent et prolongent les textes grecs. La preuve y reste essentiellement euclidienne : elle est géométrique, structurée et déductive, mais rarement remise en question dans ses fondements.

Dans ce contexte, prouver consiste souvent à commenter et à clarifier. Les démonstrations sont reprises, reformulées ou illustrées, mais l’objectif principal est pédagogique : assurer la compréhension et la transmission fidèle du savoir hérité.

En Europe médiévale, les mathématiques sont intégrées au quadrivium. La preuve mathématique est alors souvent associée à la logique aristotélicienne, et elle est perçue comme un exemple de raisonnement certain, mais non comme un objet d’analyse autonome. La rigueur est valorisée, mais elle repose sur des cadres hérités plutôt que sur une réflexion critique sur la notion même de preuve.

Cette période joue néanmoins un rôle essentiel. En assurant la conservation et la diffusion des démonstrations antiques, elle rend possible les transformations ultérieures. Lorsque, à l’époque moderne, les mathématiciens commenceront à questionner la rigueur des preuves et à en inventer de nouvelles formes, ils le feront à partir de ce socle transmis et stabilisé.

Étape 4 — Rigueur croissante et algébrisation à l’époque moderne

Avec René Descartes, la géométrie est profondément renouvelée. En introduisant la géométrie analytique, il montre qu’un problème géométrique peut être traduit en équations algébriques. La preuve change alors de nature : démontrer une propriété géométrique peut consister à résoudre une équation ou à établir une identité algébrique. La certitude provient de la cohérence des calculs plutôt que de l’évidence visuelle.

Dans le même esprit, Pierre de Fermat développe des méthodes algébriques nouvelles et introduit des raisonnements par descente infinie. Ces preuves sont souvent courtes, élégantes, mais parfois elliptiques : elles supposent chez le lecteur une forte intuition algébrique et la capacité de combler des étapes implicites.

L’essor du calcul infinitésimal, avec Isaac Newton et Gottfried Wilhelm Leibniz, accentue encore cette évolution. Les preuves font appel à des infinitésimaux et à des raisonnements sur l’infini, souvent justifiés par l’intuition du mouvement ou de la variation, mais sans cadre logique strictement défini.

Cette période est marquée par une tension nouvelle : les méthodes sont extraordinairement efficaces, mais leur rigueur est parfois contestée. Des résultats justes sont obtenus à l’aide de raisonnements dont les fondements ne sont pas entièrement clairs. La preuve devient un outil de découverte puissant, mais son statut logique reste ambigu.

Cette situation prépare une crise féconde. Les succès spectaculaires du calcul et de l’algèbre rendent indispensable une clarification des notions de preuve, de limite et d’infini. C’est au XIXᵉ siècle que cette exigence conduira à une refondation en profondeur de la rigueur mathématique.

Étape 5 — XIXᵉ siècle : crise de rigueur et refondation de la preuve

Cette prise de conscience concerne en premier lieu l’analyse mathématique. Des paradoxes et des erreurs apparaissent lorsque l’on manipule des séries infinies ou des fonctions sans précautions suffisantes. La preuve, telle qu’elle est pratiquée, montre ses limites : elle repose encore trop souvent sur des intuitions héritées de la géométrie ou du calcul du mouvement.

Un tournant décisif est amorcé par Augustin-Louis Cauchy, qui entreprend de définir rigoureusement des notions comme la limite et la convergence. La preuve devient alors plus exigeante : chaque affirmation doit être justifiée par des définitions précises et des arguments contrôlables.

Cette démarche est poursuivie et systématisée par Karl Weierstrass, qui élimine les infinitésimaux au profit d’une définition arithmétique des notions fondamentales de l’analyse. Les célèbres définitions \(\varepsilon\)-\(\delta\) imposent un nouveau standard : une preuve est valide si elle peut être décomposée en une suite d’arguments explicitement quantifiés.

Dans le même temps, la théorie des ensembles naissante, avec Georg Cantor, introduit de nouveaux objets (ensembles infinis, cardinaux, ordinaux) qui nécessitent des formes de preuve inédites. La manipulation de l’infini devient possible, mais elle exige une rigueur extrême pour éviter les contradictions.

Cette refondation transforme durablement la pratique mathématique. La preuve devient un objet d’analyse en soi, et la rigueur n’est plus laissée à l’intuition du lecteur. Toutefois, cette exigence accrue ouvre une nouvelle question : peut-on formaliser complètement les preuves, au point de les réduire à des règles purement logiques ? C’est cette interrogation qui conduira à l’étape suivante.

Étape 6 — Formalisation logique et preuves modernes

Cette orientation est amorcée par Gottlob Frege, qui cherche à fonder l’arithmétique sur la logique. La preuve est alors conçue comme une déduction purement symbolique, indépendante de toute intuition géométrique ou numérique. Même si son programme rencontre des difficultés, il inaugure une nouvelle manière de penser la démonstration.

Au début du XXᵉ siècle, David Hilbert propose un programme ambitieux : axiomatiser toutes les mathématiques et démontrer, par des moyens finis, la cohérence de ces systèmes. Dans ce cadre, une preuve devient un objet mathématique à part entière, susceptible d’être analysé, transformé et étudié indépendamment de son contenu.

Cette vision est profondément bouleversée par les résultats de Kurt Gödel. Ses théorèmes d’incomplétude montrent que, dans tout système formel suffisamment puissant pour contenir l’arithmétique, il existe des énoncés vrais qui ne peuvent pas être démontrés à l’intérieur du système. La preuve formelle atteint alors une limite conceptuelle : la formalisation totale ne garantit pas l’exhaustivité.

Parallèlement, les travaux de Alan Turing clarifient la notion de calcul effectif. La preuve peut être vue comme un processus algorithmique, mais tous les problèmes ne sont pas décidables. Cette perspective relie la preuve mathématique à l’informatique théorique et introduit de nouvelles questions sur ce qui peut être prouvé ou vérifié mécaniquement.

Aujourd’hui, la preuve mathématique se décline sous plusieurs formes : démonstrations informelles acceptées par la communauté, preuves formelles vérifiées par ordinateur, et raisonnements exploratoires guidés par l’intuition. Cette pluralité montre que la preuve n’est pas une notion figée, mais un équilibre toujours renouvelé entre intuition, rigueur et formalisation.