CONSTRUCTIVISME, mathématique
Carte mentale
Élargissez votre recherche dans Universalis
Le constructivisme est une philosophie des mathématiques définie par deux composantes. Au plan ontologique, le constructiviste considère les objets mathématiques, non comme existant « par eux-mêmes », mais comme le résultat des constructions mentales du mathématicien. Au plan méthodologique, il insiste sur l'importance des preuves dites « constructives », c'est-à-dire des démonstrations qui, si elles concluent à l'existence d'un objet, donnent une méthode permettant d'en produire effectivement un exemplaire, au lieu de se contenter d'établir que l'inexistence de l'objet conduirait à une contradiction. Par exemple, la démonstration par Euclide (ive-iiie siècle avant J.-C.) du théorème établissant l'existence d'une infinité de nombres premiers peut être qualifiée de constructive, puisqu'elle spécifie, un nombre premier p étant donné, qu'il s'en trouvera un autre avant p !+1, l'intervalle de recherche pour le nombre premier suivant étant ainsi borné.
Naturellement, l'intérêt méthodologique particulier des preuves constructives – elles donnent plus d'informations que les autres – n'échappe à personne, et notamment pas aux réalistes « platoniciens », qui tiennent, quant à eux, que les objets mathématiques ne sont pas nos créations. Aussi, la différence entre les constructivistes et leurs adversaires tient au fait que, pour les premiers, et non pour les seconds, les preuves non constructives ne sont pas, au sens strict, des preuves. Comme les preuves non constructives abondent dans les mathématiques classiques, le constructivisme est donc une philosophie révisionniste, qui s'attache à réformer les mathématiques classiques en limitant leurs méthodes aux procédés constructifs.
1
2
3
4
5
…
pour nos abonnés,
l’article se compose de 3 pages
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 :
- Jacques-Paul DUBUCS : chargé de recherche au C.N.R.S.
Classification
Autres références
« CONSTRUCTIVISME, mathématique » est également traité dans :
CONCEPTUALISME, philosophie
Dans le chapitre « Le prédicativisme, expression logique du conceptualisme ontologique » : […] Pour éviter toute confusion entre ces deux usages, il serait évidemment préférable de convenir de l'utiliser pour faire référence à l'une ou bien à l'autre position. Dans Nécessité ou Contingence (1984), Jules Vuillemin réserve le terme de conceptualisme à ce que l'on a appelé le conceptualisme ontologique, et utilise le terme d'intuitionnisme pour faire référence à une position philosophique qu […] Lire la suite
ÉPISTÉMOLOGIE
Dans le chapitre « Sciences formelles, sciences empiriques » : […] Le développement simultané, et parfois conjoint, d'une mathématique et d'une physique semble poser plus que jamais la question de leurs statuts respectifs et de leurs rapports instrumentaux. Les néo-positivistes du Cercle de Vienne, qui se sont explicitement posé le problème dans les années trente, l'ont généralement résolu d'une façon radicale en ramenant les sciences formelles aux règles – larg […] Lire la suite
Voir aussi
Pour citer l’article
Jacques-Paul DUBUCS, « CONSTRUCTIVISME, mathématique », Encyclopædia Universalis [en ligne], consulté le 01 février 2023. URL : https://www.universalis.fr/encyclopedie/constructivisme-mathematique/