MATHÉMATIQUES FONDEMENTS DES
Carte mentale
Élargissez votre recherche dans Universalis
Au sens premier et fort, le mot « fondement » désigne la base, jugée inébranlable, sur laquelle repose un corps d'énoncés, un système de connaissances, un complexe de croyances ou de conduites. « Reposer sur la base » signifie ici « trouver en elle à la fois son origine et sa raison ». Point fixe à partir de quoi l'on explique et déploie, région originaire où prend racine le riche contenu de l'expérience instruite, tel apparaît le sens fort de l'expression « fondement ». À prendre le mot en ce sens, la question du « fondement des mathématiques » déboucherait sur un problème métaphysique. Elle consisterait à se demander : Pourquoi existe-t-il une mathesis ? De quelle région de l'Être le mathématicien instaure-t-il son discours ? Dans quels champs d'objets se déploient et de quelle origine sont les enchaînements opératoires qui, dans leur ordonnance réglée, manifestent les êtres et les propriétés mathématiques ? Sur ces questions, de Pythagore à Husserl (pour fixer deux bornes), la tradition philosophique n'a pas été avare de paroles. Il s'en faut.
Le Grec Pythagore (580 av. J.-C. env.-env. 500 av. J.-C.), philosophe et mathématicien, n'a laissé aucun écrit et n'est connu que par la tradition orale.
Crédits : Hulton Archive/ Getty Images
Depuis un demi-siècle cependant, l'expression « fondements des mathématiques » a acquis un sens plus restreint et plus précis. C'est en vain, par exemple, que l'on chercherait dans le monumental ouvrage de David Hilbert et Paul Bernays, Grundlagen der Mathematik, un discours philosophique apportant aux questions que nous venons de poser une réponse organiquement développée. En revanche, on y trouve l'exposé d'un ensemble de méthodes mathématiques propres (tel était du moins le projet des auteurs) à assurer la validité des enchaînements démonstratifs que proposent les mathématiques effectivement produites. Les méthodes employées débouchent, certes, sur une conception des mathématiques, sur une interprétation de la nature de leurs objets et de leurs opérations. Mais ni cette conception ni cette interprétation ne sont strictement requises pour la mise en œuvre des méthodes elles-mêmes.
C'est en ce sens restreint que nous prendrons ici l'expression « fondements des mathématiques », entendant par là le système des énoncés, objets d'une théorie explicite, propres à assurer les démarches démonstratives dont l'enchaînement constitue le tissu de la mathématique.
Historiquement, on peut dater du Begriffsschrift de Gottlob Frege (1879) le moment où un tel projet a été conçu dans sa pleine autonomie et où a été produit pour la première fois un système théorique capable d'en préciser le concept et d'en permettre la mise en œuvre.
Mais si, sur ce point, l'« histoire » commence avec Frege, la « préhistoire » n'est pas négligeable. La « démonstration » mathématique a été l'objet de discours fort anciens. Et si, pendant longtemps, ces discours n'ont pas été produits dans la forme mathématique, ils n'en ont pas moins ouvert le champ des problèmes, manifesté les polarités élémentaires, en fonction desquels (et en partie contre lesquels) s'est posée ouvertement, et en son domaine théorique propre, la question des fondements.
Comment s'est dégagé ce domaine théorique ? Dans quelle configuration de la mathématique, dans quel champ conceptuel et pour quelles espèces de problèmes s'est-il manifesté ? Pour répondre à cette question, il importe de voir comment, au lever du rideau, à la veille de la création frégienne, s'était noué le lien entre les protagonistes, à vrai dire déjà anciens, de la pièce qui va se jouer.
La tradition, de Platon à Descartes
La pièce est construite sur une situation triangulaire où deux personnages élaborent les stratégies de nature à s'assurer le contrôle exclusif d'un troisième qui, de son côté, pour préserver son autonomie, essaye tour à tour de contrôler les deux autres. Philosophie, Logique, Mathématique, tels sont ici les noms traditionnels de nos personnages. Ils sont à peu près du même âge, si l'on juge de l'âge par la date de naissance. Mais l'un d'eux, la Mathématique, jouit d'un privilège étrange : celui d'être d'autant plus jeune qu'il est plus vieux.
Dans ce mouvement qui, éloignant la mathémat [...]
1
2
3
4
5
…
pour nos abonnés,
l’article se compose de 16 pages
Écrit par :
- Jean Toussaint DESANTI : professeur émérite à l'université de Paris-I-Panthéon-Sorbonne
Classification
Autres références
« MATHÉMATIQUES FONDEMENTS DES » est également traité dans :
ACKERMANN WILHELM (1896-1962)
Mathématicien allemand, spécialiste de la logique. Né le 29 mars 1896 à Schönebeck, près d'Altena en Westphalie (alors en Prusse, aujourd'hui en Allemagne), Wilhelm Ackermann fait ses études supérieures à l'université de Göttingen. Dans sa thèse, accomplie sous la direction de David Hilbert (1862-1943), il démontre en 1924 la cohérence de l'arithmétique sans avoir recours à l'induction. Ce travai […] Lire la suite
AXIOMATIQUE
La méthode axiomatique est un mode d'exposition des sciences exactes fondé sur des propositions admises sans démonstration et nettement formulées et des raisonnements rigoureux. On se limitera ici à quelques indications méthodologiques et historiques, en renvoyant à l'article logique mathématique pour les problèmes posés par l'étude des systèmes d'axiomes. L'axiomatique commence par un inventaire […] Lire la suite
BACHELARD GASTON (1884-1962)
Dans le chapitre « La rationalité scientifique » : […] À partir de son doctorat de philosophie ( Essai sur la connaissance approchée , 1927), Bachelard va chercher à comprendre l’aventure scientifique, celles des mathématiciens, physiciens, chimistes. Parmi les premiers, il s’efforce d’interpréter les hypothèses novatrices de la physique mathématique, à l'échelle de l'infiniment grand (la vitesse de la lumière) ou de l'infiniment petit (le monde atomi […] Lire la suite
BOLYAI JÁNOS (1802-1860)
S'intéressant aux mathématiques, János Bolyai y consacra les loisirs que lui laissait son métier d'officier du génie sous l'impulsion de son père Farkas Bolyai (1775-1856), professeur de mathématiques et ancien condisciple de Gauss, avec qui il entretenait une correspondance sur les fondements de la géométrie. À l'âge de vingt deux ans, János Bolyai travailla à la construction d'une géométrie dans […] Lire la suite
BOLZANO BERNARD (1781-1848)
Dans le chapitre « Le système de la « Grössenlehre » et les « Paradoxes de l'infini » » : […] La Grössenlehre , qui date quant à l'essentiel des années 1830-1834, représente la réalisation, inachevée, du grand projet de Bolzano de donner un exposé rigoureusement scientifique de la mathématique à partir de ses premiers concepts et selon les normes de la Wissenschaftslehre . Quoique Bolzano revienne à la définition traditionnelle de la mathématique, il est le premier mathématicien à édifier […] Lire la suite
BOURBAKI NICOLAS (XXe s.)
Nicolas Bourbaki est un pseudonyme désignant un groupe de mathématiciens français qui, depuis 1940, a entrepris de publier un traité intitulé Éléments de mathématique . De ces éléments ont été déjà publiées plus de trente monographies représentant un volume d'environ cinq mille pages. En plus de ce traité, Nicolas Bourbaki a aussi publié quelques articles et un livre d'histoire des mathématiques. […] Lire la suite
CANTOR : THÉORIE DES ENSEMBLES
Georg Cantor (1845-1918), professeur de mathématiques à l'université de Halle (Allemagne), publie en 1874 dans le Journal de Crelle l'article fondateur de la théorie des ensembles. Après quelques travaux en théorie des nombres et une rencontre décisive avec le mathématicien Richard Dedekind (1831-1916), Cantor s'était consacré à l'étude des séries trigonométriques et aux nombres irrationnels. Da […] Lire la suite
CAVAILLÈS JEAN (1903-1944)
Philosophe et logicien français, professeur à l'École normale supérieure, à l'université de Strasbourg et à la Sorbonne. Pendant la Seconde Guerre mondiale, plusieurs fois prisonnier et évadé, il est l'un des premiers et des plus actifs fondateurs de réseaux de résistance. Il a été fusillé par les Allemands en 1944. Son souvenir est évoqué par sa sœur, G. Ferrières : Cavaillès, philosophe et comb […] Lire la suite
COMTE AUGUSTE (1798-1857)
Dans le chapitre « La classification des sciences » : […] L'évolution n'est pas terminée, ce qui supprimerait la question, et, d'ailleurs, elle s'opère de manière discontinue, les sciences accédant à l'état positif les unes après les autres. Cela détermine un plan, un ordre qui va donner naissance à une classification : « Les différentes branches de nos connaissances n'ont pas dû parcourir d'une vitesse égale les trois grandes phases de leur développemen […] Lire la suite
CONCEPT
Dans le chapitre « Le concept dans les mathématiques, la physique et le langage scientifique » : […] Les mathématiques posent un problème spécial. Les entités dont elles traitent ont un caractère idéal et, à ce titre, paraissent appartenir au même domaine que les concepts. Il faut cependant distinguer complètement les objets mathématiques (tels que les nombres, les fonctions, les espaces, etc.) des concepts au moyen desquels nous les caractérisons et en décrivons les propriétés. Du point de vue l […] Lire la suite
Voir aussi
- ARITHMÉTIQUE FORMELLE
- AXIOME
- PAUL ISAAK BERNAYS
- THÉORÈME DE BOLZANO-WEIERSTRASS
- AXIOME DU CHOIX
- DÉDUCTION
- THÉORIE AXIOMATIQUE DES ENSEMBLES
- HISTOIRE DE LA LOGIQUE
- LOGIQUE MATHÉMATIQUE
- HISTOIRE DES MATHÉMATIQUES
- NON-CONTRADICTION
- PARADOXE mathématiques
- POSTULAT
- THÉORIE DES TYPES logique mathématique
- AXIOMES DE ZERMELO-FRAENKEL
Pour citer l’article
Jean Toussaint DESANTI, « MATHÉMATIQUES FONDEMENTS DES », Encyclopædia Universalis [en ligne], consulté le 22 mai 2022. URL : https://www.universalis.fr/encyclopedie/fondements-des-mathematiques/