CONSTRUCTIVISME, mathématique
Bibliographie
D. S. Bridges, « Constructive Truth in Practice », in H. G. Dales et G. Oliveri éd., Truth in Mathematics, pp. 53-69, Clarendon Press, Oxford, 1998
J. Dubucs, « Logique, effectivité et faisabilité », in Dialogue, vol. 36, pp. 45-68, 1997
D. C. McCarty, « Constructivism in Mathematics », in E. Craig éd., Routledge Encyclopaedia of Philosophy, Routledge, Londres, 2005 (http ://www.rep.routledge.com/article/Y063)
A. S. Troelstra & D. van Dalen, Constructivism in Mathematics : An Introduction, 2 vol., North-Holland Publ., Amsterdam, 1988.
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
-
CONCEPTUALISME, philosophie
- Écrit par Joseph VIDAL-ROSSET
- 1 329 mots
...paradoxes de la théorie naïve des ensembles (la théorie simple des types étant une des premières solutions). Le prédicativisme relève d'une position constructiviste en mathématiques mais se distingue d'une autre position constructiviste qu'est l'intuitionnisme. Il est une expression logique du conceptualisme... -
ÉPISTÉMOLOGIE
- Écrit par Gilles Gaston GRANGER
- 13 112 mots
- 4 médias
...des intuitions opératoires élémentaires, autorisant de proche en proche la production effective d'objets abstraits, comme le veulent les intuitionnistes et les constructivistes. Dans tous les cas, le problème est alors de délimiter un domaine d'opérations et d'objets aussi étroit et aussi universellement...
