VÉRITÉ, mathématique
Assez paradoxalement, la notion de vérité mathématique est délicate du point de vue du philosophe et peu problématique dans le travail quotidien du mathématicien. Comprendre cette opposition est crucial pour se faire une idée juste des mathématiques contemporaines.
Une multitude d'attitudes sont possibles vis-à-vis du sens à donner aux énoncés mathématiques, ces attitudes dépendant en particulier du statut que l'on accordera aux objets mathématiques. Nous décrirons ici trois attitudes principales que nous nommerons, conformément à la tradition, réalisme, formalisme et intuitionnisme. Notons qu'il s'agit ici à chaque fois de ces mots pris dans le cadre de la philosophie des mathématiques : le réalisme en philosophie des mathématiques (aussi nommé platonisme mathématique) n'a pas grand-chose à voir avec le réalisme en philosophie de la physique. De même, pour formalisme et intuitionnisme. Nous décrirons les traits principaux de ces doctrines sans entrer dans le détail des multiples variantes possibles.
Réalisme
Pour un réaliste, l'existence des objets mathématiques leur est spécifique et ne se réduit pas à l'existence des objets du monde physique : il y a en quelque sorte deux prédicats « il existe », l'un propre à la physique, l'autre propre aux mathématiques. Le nombre 357 existe (mathématiquement) de toute éternité, et cela n'a rien à voir avec le fait qu'un être doué de raison en ait conscience. De même le continu (l'ensemble des nombres réels) existe dans le monde des entités mathématiques et ses propriétés sont déterminées par son être. Pour le réaliste, les moyens que nous avons de connaître ces objets, c'est-à-dire la possibilité de savoir ce qui est vrai ou faux à leur sujet, résultent de capacités particulières de notre intelligence. Ce sont, soit des facultés d'abstraction nous permettant de tirer de nos relations avec le monde physique des informations sur le monde abstrait, soit – conception plus radicale – une intuition particulière conduisant à une intimité immédiate avec les objets abstraits – Kurt Gödel (1906-1978) défendait une doctrine de ce type. La formulation d'axiomes, les raisonnements que nous faisons et qui lient les vérités mathématiques les unes aux autres, tout cela est évidemment important pour le réaliste, mais n'est pas premier. De la même façon que, pour un physicien, le langage mathématique est un outil permettant de parler des objets physiques, d'exprimer et d'organiser des énoncés à leur sujet, le réaliste mathématique conçoit le raisonnement comme un instrument d'accès parmi d'autres à une vérité mathématique indépendante de nous.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Jean-Paul DELAHAYE : professeur à l'université des sciences et technologies de Lille
Classification
Autres références
-
DÉMONSTRATION THÉORIE DE LA
- Écrit par Jean-Yves GIRARD
- 6 140 mots
- 1 média
...et A un énoncé arbitraire à une variable libre x ; soit enfin ThmT (⌈A⌉) l'énoncé de AP qui exprime que A est démontrable dans T. On a :Pour la démonstration, on se ramène au cas où T est le calcul des prédicats ; il s'agit de montrer, par induction sur une démonstration, que tout énoncé...
-
HILBERT DAVID (1862-1943)
- Écrit par Rüdiger INHETVEEN , Jean-Michel KANTOR et Christian THIEL
- 14 726 mots
- 2 médias
...correspondance, d'une grande importance scientifique, entre Frege et Hilbert, montre qu'ici s'opposent diamétralement deux positions scientifiques fondamentales. Tandis que Frege fonde une théorie sur ses objets et ne voit dans les axiomes que des théorèmes distingués (dont la vérité dépend avant tout de la référence... -
INFORMATIQUE ET VÉRITÉ MATHÉMATIQUE
- Écrit par Jean-Paul DELAHAYE
- 1 988 mots
« Tel nombre est premier », « tels graphes sont isomorphes », « telle classification est complète », etc. Traditionnellement, en mathématiques, la certitude concernant de telles affirmations formelles ne peut résulter que d'une démonstration. La pratique, cependant, semble remettre en question certaines...
-
INTUITIONNISME
- Écrit par Jacques-Paul DUBUCS
- 1 647 mots
Compte tenu de cette accessibilité, l'idée d'une vérité mathématique inconnue est absurde : comme l'écrit en 1948 le Néerlandais Luitzen Egbertus Brouwer (1881-1966), créateur et promoteur de la doctrine, « il n'y a pas de vérité sans expérience de la vérité ».
